• Journal of The Korean Association For Science Education
• /
• v.8 no.1
• /
• pp.81-94
• /
• 1988

본 연구의 목적은 Piaget의 인지발달단계(전조작 구체적 조작 단계)에 따른 자연과 개념획득에 효과적인 교수전략을 탐색하기 위한 연구로서, 첫째는 문헌연구를 통해서, Piaget의 인지이론을 기초로한 교육론과 개념학습을 위한 교수전략을 연구함으로써 전조작 단계의 어린이, 구체적 조작단계의 어린이에게는 연역적 교수전략보다 귀납적 교수전략이 더 효과적이며, 구체적 조작단계의 어린이에게는 초보적인 논리능력이 발달하므로 연역적 교수전략도 가능하며, 이 2가지의 인지단계가 복합돼 있는 국민학교 2학년 집단에게는 귀납적 교수전략이 보다 효과적일 것이라는 데에 이르렀다. 둘째로는 현장 실험연구로서 실제로 자연과 2학년의 한 단원을 연억 귀납의 교수전략의 단계에 맞추어 적용하였다. Piaget의 인지 발달 단계예 따른 자연과 개념획득을 위한 효과적인 교수전략을 탐색해본 결과는 다음과 같다. 첫째, 전조작 단계의 아동은 자연과 개념획득을 위해서는 연역적 교수전략보다 귀납적 교수전략이 더 효과적이다. 둘째, 구체적 조작단계의 아동에게는자연과 개념획득을 위한 교수전략은 귀납적 교수전략이 효과적이지만, 연역적 교수전략도 가능하다는 것이다. 이로써 국민학교 2학년 즉, 전조작 단계와 구체척 조작단계가 복합돼있는 집단에게는 연역적 교수전략보다 귀납적 교수전략이 보다 더 효과적이라는 것이다.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.245-279
• /
• 2012

Hans Kelsen, one of prominent advocators of legal positivism, insisted that every theory of natural law try to show that it is possible to deduce from the nature, that is to say from the nature of man certain rules which provide an altogether adequate prescription for human behavior. But it is impossible to deduce from the nature certain ethical rules. The purpose of this study is to show his insistence false. Firstly, He is based on false assumption that 'nature' in theory of nature law is 'nature' in natural science. Secondary, He is based on false assumption that the entire systems of natural law are deduced from only one first natural law. Thirdly, He makes logical fallacies, that is, straw man, false dichotomy and so on. Fourthly, in spite of his critique of every theory of natural theory, this study tries to certify that theories of natural law of I. Kant and J. Maritain and so on are very excellent.

• Journal of The Korean Association For Science Education
• /
• v.25 no.3
• /
• pp.327-335
• /
• 2005

This study investigates student achievement and science-related attitudes on STS hypothetical deductive instruction strategy in the water section of high school chemistry. Two 11th grade co-ed high school classes participated in the study; one control group and one treatment group. After being taught for 10 class periods during the second semester. ANCOVA analysis revealled no significant difference (p>.05) between two groups' achievement tests. However, analysis by ANCOVA did show that the scores for science-related attitudes in the treatment group were significantly higher than those of the control group (p<.05). In particular, the scores of science learning contents and science value about science-related attitude were significantly higher in the treatment group.

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.71-84
• /
• 1996

Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Proceedings of the KSPS conference
• /
• 1996.10a
• /
• pp.300-307
• /
• 1996

한글은 세계 여느 문자처럼 자연 발생적으로 생긴 문자체계가 아니라 수천년간 인류의 어음에 대한 사유와 고도의 어음기술이 집약된 문자관에 의해 연역적 방법으로 창제된 문자체계이므로 다른 문자와는 차별적인 연구방법이 요구된다. 세종조에 편찬되었던 ${\ll}훈민정음{\gg}{;\}.{\;}{\ll}홍무정운역훈{\gg}{;\}.{\;}{\ll}동국정운{\gg}$는 제작 동기와 목적이 달라서 각각 상이한 어음체계를 가지고 있는데, 각 어음체계가 필요로 하는 글자꼴을 한글은 27개(자음16개, 모음11개)의 기본글자꼴에 발음부위 및 발음방법을 상형한 새로운 글자꼴을 제공하여 각각의 문자체계를 구성하였다. 유교적 언어관의 토양에서 세상 모든 음의 생성원리에 의해 창제된 한글은 바로 세상의 모든 음을 표기할 수 있는 문자체계인 것이다. 이러한 한글음성문자는 오늘날 이질어음체계의 외국어를 표음하는 데에도 예외 없이 적용될 수 있을 뿐만 아니라 글자꼴의 유연성.응용면에서 국제음성문자(I.P.A)보다 월등히 과학적이고 완정한 음성문자로서 기능할 수 있다.

• Education of Primary School Mathematics
• /
• v.15 no.1
• /
• pp.31-40
• /
• 2012

In this paper, we developed teaching learning models using a numeral operation for the mathematical gifted focused on the design of a circle using GSP and investigated effects of this models. This model gave gifted-students to be able to produce creative outputs with mathematical principles and practicality and beauty of mathematics. We found following facts. Firstly, a developed teaching-learning model improves a mathematical gifted student's mathematical creativity as analytic thinking and deductive inference. Secondly, a circular design using GSP helps gifted students to understand the abstract rules because mathematical patterns was represented visually by a circular design. Lastly, a circular design using a numeral operation is helpful to gifted students revealing to creativity and beauty of mathematics.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.65-80
• /
• 2010

The aims of our study are to investigate the nature of mathematical reasoning and the teaching of mathematical reasoning in school mathematics. We analysed the process of shaping deduction in ancient Greek based on Netz's study, and discussed on the comparison between his study and Freudenthal's local organization. The result of our analysis shows that mathematical reasoning in elementary school has to be based on children's natural language and their intuitions, and then the mathematical necessity has to be formed. And we discussed on the sequences and implications of teaching of the sum of interior angles of polygon composed the discovery by induction, justification by intuition and logical reasoning, and generalization toward polygons.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.