• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.101-117
• /
• 2004

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

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.43-86
• /
• 2019

If 1st order ZFC is consistent(has a model($M_1$)) it has a transitive denumerable model($M_2$). This leads to a paradoxical situation called 'Skolem paradox'. This can be easily resolved by Skolem's typical resolution. but In the process, we must accept the model theoretic relativity for the concept of set. This relativity can generate a situation where the meaning of the set concept, for example, is given differently depending on the two models. The problem is next. because the sentence '¬denu(PN)' which indicate that PN is not denumerable is equally true in two models, A indistinguishability problem that the concept <¬denu> is not formally indistinguishable in ZFC arise. First, I will give a detail analysis of what the nature of this problem is. And I will provide three ways of responding to this problem from the standpoint of supporting ZFC. First, I will argue that <¬denu> concept, which can be relative to the different models, can be 'almost' distinguished in ZFC by using the formalization of model theory in ZFC. Second, I will show that <¬denu> can change its meaning intrinsically or naturally, by its contextual dependency from the semantic considerations about quantifier that plays a key role in the relativity of <¬denu>. Thus, I will show the model-relative meaning change of <¬denu> concept is a natural phenomenon external to the language, not a matter of responsible for ZFC.

• Journal of the Korean Institute of Educational Facilities
• /
• v.19 no.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.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2008.06a
• /
• pp.225-225
• /
• 2008

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

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.2
• /
• pp.113-125
• /
• 2007

Improved numerical method to obtain the exact stiffness matrices is newly proposed to perform the spatially coupled elastic and stability analyses of non-symmetric and open/closed thin-walled beam on elastic foundation. This method overcomes drawbacks of the previous method to evaluate the exact stiffness matrix for the spatially coupled stability analysis of thin-walled beam-column This numerical technique is accomplished via a generalized eigenproblem associated with 14 displacement parameters by transforming equilibrium equations to a set of first order simultaneous ordinary differential equations. Next polynomial expressions as trial solutions are assumed for displacement parameters corresponding to zero eigenvalues and the eigenmodes containing undetermined parameters equal to the number of zero eigenvalues are determined by invoking the identity condition. And then the exact displacement functions are constructed by combining eigensolutions and polynomial solutions corresponding to non-zero and zero eigenvalues, respectively. Consequently an exact stiffness matrix is evaluated by applying the member force-deformation relationships to these displacement functions. In order to illustrate the accuracy and the practical usefulness of this study, the numerical solutions are compared with results obtained from the thin-walled beam and shell elements.