• 한국수학교육학회지시리즈A:수학교육
• /
• 제38권2호
• /
• pp.159-164
• /
• 1999

The purpose of this paper is to find role of in and logic in creative problem solving process. Intuition and logic have played an important role in creative problem solving process. Nevertheless, Intuition has been treated less importantly than logic. Therefore, I intend to review the role of intuition, and then the relationship of intuition and logic, and the role of intuition and logic in creative problem solving process. Although intuition gives an important clue in problem solving process, it may sometimes cause an error. This fact gives an idea that intuition and logic have to be harmoniously cultivated. In fact, Intuition and logic have been playing a complementary role in creative problem solving process. A creative learner is regarded as a mathematician of his age. It must be through intuition and logic that he/she solves the problem creatively, just as a mathematician invents the new mathematical fact through unconscious and conscious process. In this respective, teachers also should make every effort to cultivate intuition and logic themselves.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

• 한국수학사학회지
• /
• 제34권6호
• /
• pp.195-204
• /
• 2021

Mathematical induction is one of the deductive methods used for proving mathematical theorems, and also used as an inductive method for investigating and discovering patterns and mathematical formula. Proper understanding of the mathematical induction provides an understanding of deductive logic and inductive logic and helps the developments of algorithm and data science including artificial intelligence. We look at the origin of mathematical induction and its usage and educational aspects.

• 한국수학사학회지
• /
• 제35권2호
• /
• pp.43-56
• /
• 2022

The 21st century world has experienced all-around changes from the 4th industrial revolution. In this developmental changes, artificial intelligence is at the heart, with data science adopting certain scientific methods and tools on data. It is necessary to investigate on the logic lying underneath the methods and tools. We look at the origins of logic, deduction and induction, and scientific methods, together with mathematical induction, probabilistic method and data science, and their meaning.

• 한국수학사학회지
• /
• 제25권1호
• /
• pp.57-70
• /
• 2012

<묵경(墨经)> 에 나타난 초보적인 형식논리와 수학적 개념 등을 살펴보면서 그 속에 내포된 고대 중국인들의 수리사상(數理思想)을 조명해보고, 이를 통해 <묵경(墨经)> 의 수학적 의의와 가치를 알아보고자 한다.

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.803-808
• /
• 1994

Since L$\ddot{o}$b's announcement of his solution to Henkin's problem (L$\ddot{o}$b (1954, 1955)) there has been successful and fruitful research on provability logic tied up with modal logic. Specially, L$\ddot{o}$b's Theorem is of far-reaching significance in the following meta-mathematical and philosophical sense.

• 호남수학학술지
• /
• 제33권1호
• /
• pp.61-71
• /
• 2011

The notion of a complicated pre-logic is introduced and investigated some properties of it. A special set in a pre-logic is established and some related its properties are discussed. Also more extended special sets in a pre-logic are introduced and some relations with deductive systems are obtained.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.111-119
• /
• 1999

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and thet their satisfiablity. Logical formulas are easily input by a "keyboard" maintained by jLogic. A special finite model, called the "Toy World" can be visually cinstructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the "Inspector window" and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제12권3호
• /
• pp.201-213
• /
• 2008

The main purpose of this study is to explore the relationship between the 'logical reasoning skill' and performance in the logic unit that is part of the grade 9 syllabus in mathematics in Turkey. After the teaching of the logic unit, an achievement test, a general skills test and the test of logical reasoning were administered to the 80, 9th year high school students. Pearson Moments Correlation coefficient was used for the analysis of the data to determine the relations between the variables. In addition to that to obtain the most suitable regression explaining the students' performances in the logic unit, stepwise multiple regressions analysis was used. At the end of the study, statistically significant relations were found between the students' performance in the logic unit and their logical reasoning skills, their results of the shape recognition test from the general skills battery and their overall performance in the mathematics lesson.

• East Asian mathematical journal
• /
• 제23권3호
• /
• pp.313-326
• /
• 2007

The purpose of education of propositional logic is to understand the basic structure of the mathematics and to improve the logical thinking in normal life. But in the seventh curriculum, some basic terms, for examples $\wedge$ and $\vee$, are not introduced, the proposition $p{\\rightarrow}q$ is not defined properly, and use the wrong term $\Rightarrow$ so that it is difficult to understand the propositional logic. In this paper, we present a suitable content for the propositional logic in high-school mathematical class. We also present a proper definition of the proposition $p{x}{\Rightarrow}q{x}$ without using the notation $\rightarrow$. We finally give proper definitions of necessary conditions, sufficient conditions, and necessary and sufficient conditions.