• Korean Journal of Logic
• /
• v.4
• /
• pp.23-36
• /
• 2000

이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

• Journal of the Korean Society for information Management
• /
• v.12 no.2
• /
• pp.85-101
• /
• 1995

Conventional indexing sytstems support only full-text indexing method for electronic documents and do not use logical structure of documents in retrieval. Most electronic documents are in different formats depending on various systems. Also, they only indicate physical style of the document without considering any logical structure. Thus, in the effort to standardize the exchange of documents. IS0 developed SGML(Stadard Generalized Markup Language) which contains information about logical structure of the documents. In this paper, to resolve the disadvantages of full-text indexing method and to use standard document format. indexing system for SGML document is designed and implemented. In this system, user can assign indexing domain on elements, thus the logical structure of document is reflected in retrieving information. Various retrieval methods can be implemented by using the structural information of the document. In addition, automatic indexing for SGML Hangul document is supported in this system

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.171-199
• /
• 2009

This essay will consider evolutionary views that attempt to capture the continuity of theory-change from Newtonian to Einsteinian physics via the formal aspects of these theories. Although it cannot be denied that the formal aspects such as 'correspondence principles' and 'covariance principles' provide important information concerning this theory-change, these formal properties are not sufficient to capture the essential elements of any evolutionary account of the development of Einstein's special and general theories of relativity from Newtonian mechanics.

• Journal of Science Education
• /
• v.35 no.1
• /
• pp.68-79
• /
• 2011

The purpose of this study was to investigate the recognition of middle school students on 'Thinking Science' activities and the influence on the understanding of the gas particles behavior concepts. For this study 125 students of four classes first grade in middle school were divided into two groups, the experimental and the control group. The SRT II test was carried out to identify the cognitive level of the students. The logical factors, needed to understand of the gas particles behavior concepts, were extracted. And the 9 'Thinking Science' activities designed to develop these factors were chosen and then implemented to the students of the experimental group. After the lesson for the gas particles behaviors, the achievement test of understanding of the gas particles behavior concepts and the survey of the students' recognition on 'Thinking Science' activities were administered. According to the results of the achievement test, there was not significant difference between the two groups on the whole. But only mature concrete operational students in the experimental group got high scores than those in the control group in analyzing the effect size. According to the results of the ANCOVA analysis, there was significant difference between the two girls' group. When students in the experimental group had a positive perceptions about 'Thinking Science' activities, they got higher achievement scores. This implied that there was a correlation between perception about 'Thinking Science' activities and their achievement in the gas particles behavior concepts. Especially, students with positive perception in mature concrete operational period got higher scores in science achievement. After the 'Thinking Science' activities, there was a high perceptions about improving in scientific thinking.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.133-151
• /
• 2002

많은 논리학 교과서들은 무지에의 호소 논증을 무차별적으로 오류로 취급하고 있다. 그러나 나는 무지에 호소하고 있다는 형식적인 이유만으로 오류라고 취급하는 것은 잘못이라고 주장한다. 무지에의 호소가 오류인지 아닌지는 그 무지가 철저한 조사 과정을 거쳐서 나왔는가 그리고 입증의 부담이 누구에게 있는가에 따라 달라진다. 그리고 그것은 그 논증이 어떤 맥락과 상황에서 쓰이고 있느냐에 의존한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.2 no.1
• /
• pp.59-77
• /
• 1992

본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.