• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.59-88
• /
• 2009

According to David Hume, a deductive demonstration for inductive inference is not possible, because inductive inference is not deductive; and an inductive demonstration for inductive inference is not possible either, because such a demonstration is circular. Thus, on his view, there is no way of justifying inductive inference. Ever since Hume raised this problem of induction, a fair number of philosophers have tried to solve it. Nevertheless there is still no solution which is plausible enough to receive wide endorsement. According to Wilfrid Sellars, we cannot justify inductive inference by any theoretical reasoning; we can vindicate it only by a certain sort of practical reasoning. In this paper, I defend this Sellarsian proposal by developing and explaining it.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.2
• /
• pp.359-367
• /
• 1999

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.

• 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}$.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.45-63
• /
• 1999

학교 수학의 궁극적인 목표는 “수학적 능력과 태도를 육성하는데 있다.” 이러한 목표를 달성하기 위해서는 수학의 기본적인 지식과 기능을 습득하는 일과 수학적으로 사고하는 능력을 기르는 일이 뒷받침되어야 할 것이다. 수학적 사고는 학교수학에서 지도되는 내용 그 자체에 관련된 것이 아니라 이들 수학을 수학내용을 이해하고 지식으로 획득하는 과정에서 행하여지는 수학적인 활동과 관련이 있다고 하겠다. 본고에서는 수학적인 활동의 방법적인 측면에서 귀납 추론, 연역 추론, 유비 추론에 대해서 개괄적으로 알아보고, 귀납 추론의 필요성 및 특성과 구체적인 적용 사례에 대해서 알아보고자 한다.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.425-455
• /
• 2002

본 연구는 수학교육에서 강조되고 있는 수학적 힘의 구성 요소 중의 하나인 수학적 추론 능력에 대한 교사들의 구체적인 이해를 돕고, 문제 해결 과정에서 학생들의 추론 능력을 분석하고 평가하는 데 도움을 주기 위해 문헌 연구 및 학생반응 분석결과에 기초하여 귀납적, 유비적, 연역적 추론능력에 대한 평가기준을 개발하였다. 또한, 개발된 평가기준을 구체적인 문제에 적용하였으며 이를 기초로 문제점을 수정 ${\cdot}$ 보완한 후, 전문가의 타당성 검증과 동일한 학생반응에 대한 채점결과의 일치도를 알아봄으로써 신뢰도 검증을 실시하였다.

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

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

• Journal of the Korean earth science society
• /
• v.29 no.7
• /
• pp.586-601
• /
• 2008

The purpose of this study was to identify the scientists' abductive reasoning in three stages of hypothetical-deductive inquiry process; generating hypothesis, designing, and interpreting data and to suggest new analytic coding frames on abductive reasoning in each of the stages. For this purpose, the interview protocols collected through in-depth interviews with eight scientists were analyzed by the early frame with sub-elements derived from the literature reviews. The need of a new frame of analysis beyond the previously established elements arose from the result of this analysis because the processes of abductive reasoning were found in all three stages. Based on scientists' interview data, this study then designed a new frame of analytic coding frames on the abductive reasoning in each of the stages. The content validity index from four experts was 0.90, and these frames showed a good fit to analyze the scientists' real process of abduction in three stages of hypothetical-deductive inquiry process.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.87-115
• /
• 2013

In my previous article "The Uncontested Principle and Wonbae Choi's Objections", I argued that the validity of modus ponens (as a deductive inference) is compatible with the claim that the Uncontested Principle is controversial. In his recent paper "The Uncontested Principle and Modus Ponens", Wonbae Choi criticizes my view again by making the following three claims: First, even though I do not take an inference of the form 'If A then (probably) C. A. $\therefore$ C' as an instance of modus ponens, this form of inference can be taken to be such an instance. Second, there is no grammatical indicator which allows us to distinguish between an indicative conditional based on a deductive inference and an indicative conditional based on an inductive inference, so that inferences based on these conditionals should not be treated as different types of inferences. Third, if we allow an indicative conditional based on an inductive inference, we thereby violate the so-called 'principle of harmony', which any logical concept should preserve. In this paper, I reply that his criticisms are all implausible.

• The KIPS Transactions:PartD
• /
• v.9D no.6
• /
• pp.991-998
• /
• 2002

With the advent of XML and database languages armed with the object-oriented concept and deductive logic, the problem of efficient query processing for them has become a major issue. We describe a way of processing semi-structured XML data through an implementation of a Deductive and Object-oriented Database (DOODB) language with the explanation of query processing. We have shown how to convert an XML data model to a DOODB data model. We have then presented an efficient query processing method based on Connection Graph Resolution. We also present a knowledge-based query processing method that uses the homomorphism of objects in the database and the associative rule of substitutions.