• 논리연구
• /
• 제7권1호
• /
• pp.101-117
• /
• 2004

베나세라프는, 프레게의 플라톤주의를 비판하기 위하여 서로 다른 집합 순서열들이 수 순서열로 간주될 수 있다는 수 미결정성 논제를 주장한다. 이에 대하여 신프레게주의자인 헤일은 수 미결정성 논제를 정면으로 부정하는 논증을 제시하였다. 본 논문에서 필자는 헤일의 논증에서 핵심적인 역할을 하는 형이상학적 원리가 수용되기 어려운 것임을 보이고자 한다.

• 논리연구
• /
• 제22권1호
• /
• pp.43-86
• /
• 2019

1차 이론인 ZFC는 뢰벤하임-스콜렘 정리(이하 'LST')에 의해 그것이 일관적이라면(모형($M_1$)이 존재한다면) 그것은 이행적인 열거가능한 모형($M_2$)을 갖는다. 이러한 사실에 의해 '스콜렘 역설'이라 불리는 역설적 상황이 발생한다. 스콜렘의 전형적인 해소 방식에 따라, 이것은 어렵지 않게 해소될 수 있지만 그 과정에서 우리는 집합 개념에 대한 모형 상대성을 받아들여야 한다. 이것은 예를 들어 는 집합론적 개념의 의미가 모형에 따라 다르게 주어지는 상황을 발생시킨다. 문제는 다음이다. 이 경우에 PN이 열거불가능하다는 사실을 나타내는 ZFC의 문장 '¬denu(PN)'이 그 두 모형에서, 진리 값의 측면에서, 똑같이 참이 되기 때문에 ZFC에서는 <¬denu> 개념에 대한 차이를 구분할 수 없는 구분불가능성 문제가 발생한다. 혹은 어떤 것이 의도하는 의미인지 결정할 수 없는 미결정성 문제가 발생한다. 나는 먼저, 이러한 문제가 어떤 성격의 문제인지에 대한 구체적인 분석을 제시할 것이다. 그리고 이러한 문제에 대해서 ZFC를 지지하는 입장에서 할 수 있는 세 가지 방식의 대답을 제시할 것이다. 첫 째로, ZFC에서 모형론을 형식화할 수 있음을 이용하여 모형 상대적으로 다르게 주어질 수 있는 <¬denu> 개념이 ZFC에서도 '거의' 구분될 수 있다는 논변을 제시할 것이다. 두 번째로, <¬denu> 개념의 상대성(구분불가능성)에서 핵심적인 역할을 하는 양화사에 대한 의미론적 고려를 통해 <¬denu>이 본질적으로 혹은 자연스럽게 맥락 의존적으로 의미가 변할 수 있는 것임을 보일 것이다. 그래서 <¬denu> 개념의 모형 상대적인 의미 변화는 ZFC가 책임을 져야할 문제가 아니라 언어 외적인 자연스러운 현상이라는 논증을 제시할 것이다. 세 번째로, 문제의 출발점이었던 비표준 모형이 사실은 <¬denu> 개념의 구조적 내용을 예화 할 수 있어서 그것이 단지 문제적 요소가 아니라 의미론적으로 중요한 역할을 할 수 있음을 논증할 것이다. 이러한 논변들을 통해서 나는 비표준 모형과 관련하여 ZFC에 대해서 발생하는 것처럼 보이는 위의 구분불가능성(혹은 미결정성) 문제가 심각한 것이 아님을 논증할 것이다.

• 교육시설 논문지
• /
• 제19권2호
• /
• pp.41-50
• /
• 2012

This study aims to analyze chlidcare philosophy and the architectural characteristics of communal childcare cooperative nurseries(parent cooperative childcare facilities), and also to examine their mutual relationship. The communal childcare cooperative is an ideal childcare method to break away from employee-supported childcare system and cooperatively solve childcare problems in the family community system. The child-rearing philosophy of the communal childcare can bring spontaneous and creative development amidst 'daily life' and 'play' by switching from knowledge and skill-oriented education and puts an emphasis on physical environments in child's growth. The features of architecture related the childcare philosophy derived from this study are as follows: the way of participation and self-help, the extension of spatial scope and focuses on outside space, architecture of house-like residence rather than educational facility, spatial 'overlapping' focusing on transitional space and multi-purpose space rather than spatial partitions, the pursuit of creativity through play is realized in the incompletion and unspecification of space evolving over time.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2008년도 하계학술대회 논문집 Vol.9
• /
• pp.225-225
• /
• 2008

ITO (Indium-tin oxide) 박막은 평판디스플레이, 유기발광소자, 박막태양전지 등 다양한 광전자소자의 투명전극으로 폭 넓게 이용되고 있다. 하지만 Si 박막태양전지의 투명전극에 요구되는 특성으로는 가시광 영역에서의 고투과율 및 고전도도 외에, 수소 플라즈마 분위기에서의 화학적 고안정성이 강하게 요구된다. 왜냐하면, 최근 Si 박막태양전지의 고효율화를 위해 미결정질 Si 박막 및 나노결정 Si 박막이 이용되고 있는데, 이러한 박막은 Si 원료가스를 고농도의 수소가스로 희석한 공정조건에서 플라즈마 CVD 증착기술을 이용하여 제조되기 때문에 투명 전극재료가 화학적으로 안정하지 않으면 계면특성의 열화로 인해 태양전지 효율이 저하되는 요인으로 작용하기 때문이다. 본 연구에서는 박막태양전지용 ITO계 투명전극의 수소 플라즈마에 대한 물리적 특성 변화를 조사하기 위하여 combinatorial sputter를 이용해 Ga 및 Zn의 도핑량을 연속적으로 변화시킨 ITO 박막을 제조하였고, $H_2$ plasma 중에 일정 시간 노출 시킨 후 박막의 물리적 특성 변화를 관찰하였다.

• 한국전산구조공학회논문집
• /
• 제20권2호
• /
• pp.113-125
• /
• 2007

탄성지반 위의 비대칭 개/폐단면의 박벽보에 대한 탄성해석 및 안정성해석을 수행하기 위해 엄밀한 강성행렬을 계산하기 위한 개선된 수치해석 기법을 새롭게 제시한다. 본 연구에서 제시한 수치해석기법은 박벽보의 안정성 해석을 위한 엄밀한 강성행렬을 산정하는 선행된 수치해석기법의 결점을 보완하고 있다. 본 연구에서 제시한 기법은 일반화된 고유치 문제에 관한 해를 얻는 것으로서 일반화된 14개의 변위에 대한 고유치 문제를 평형방정식에 관한 1차의 연립상미분 방정식으로 변환함으로써 얻어진다. '0'의 고유치에 대응되는 변위파라미터에 대해 다항식이 가정되며 항등조건으로부터 '0'의 고유치의 수와 동일한 미결정된 파라미터를 포함하는 고유 모우드가 결정되고 이로부터 'non-zero'의 고유치와 다항식의 해를 조합함으로써 엄밀한 변위함수가 결정된다. 이후 부재력-변위의 관계를 이용하여 엄밀한 강성행렬을 산정하게 된다. 본 연구에서 개발한 수치해석 기법의 타당성을 검증하기 위해서 본 연구에서 제시한 이론에 의한 해를 제시하고 보요소 및 쉘요소을 사용한 유한요소해와 비교 검토한다.