• 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을 이용하여 하였다.

• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.69-88
• /
• 2005

Hume's principle says that the number of Fs is the same as the number of Gs iff there are just as many Fs as Gs. Frege seems to suggest at Grundlagen $\S64$ that (i) the content of the two sentences are the same, (ii) the left hand side sentence is a result of 'carving up the content' of the right hand side in a new way, (iii) 'the true order of things' are from the right to left rather than the other way round. We examine here if there is a room for arguing these three theses altogether within Frege's philosophy, and give a positive answer to it.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.65-98
• /
• 2007

정인교는 그의 최근 논문에서 논리적 귀결 관계에 의해 논리 상항의 의미를 정의함에 있어 통상적인 도입 규칙과 제거 규칙에 의거하는 포퍼의 접근법과, 도입 규칙에만 의존하는 정당화주의적 접근법, 그리고 제거 규칙에만 의존하는 실용주의적 접근법을 구분한 바 있다. 이 글에서는 연언과 선언의 연결어의 경우에는 그 세 가지가 동등하다는 것을, 그리고 조건과 부정의 연결어의 경우에는 제거 규칙에 의거하는 실용주의적 접근법과 포퍼의 접근법이 대등하다는 것을, 타르스키가 처음 확립한 논리적 귀결에 관한 공리적 체계에 의존하여 보일 것이다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

• Journal of Science Education
• /
• v.33 no.1
• /
• pp.69-76
• /
• 2009

Probabilistic reasoning and combinational reasoning are essential to build a logical thinking and a process of thinking dealing with everyday life as well as scientific knowledge. This research aims at finding the optimal period to teach reasoning to the students who haven't developed probabilistic reasoning and combinational reasoning. The treatment program was performed for 20 students from each grade who couldn't develop two parts of reasoning. The treatment program using baduk stones and cards was performed repeatedly, focusing on the specific activities. After four weeks of treatment program, the test to check the development of probabilistic reasoning and combinational reasoning was performed again and the changes of reasoning development were identified. After giving treatment program for reasoning development, 15.0%, 25.0% and 40.0% of improvement in the 4th, the 5th, the 6th graders respectively were shown. With regard to the combinational reasoning, the results showed the improvement of 20.0% in the 4th grades, 25.0% in the 5th graders and 63.2% in the 6th graders. As a result of research in the above, students, who were not formed probabilistic reasoning and combinational reasoning, could be known to be enhanced through learning, but to fail to be formed the qualitative change like the cognitive development. It is expected that this research can contribute to the improvement of students' cognitive level and there would be more active researches in different fields to improve the cognitive level of the 6th graders who are in their optimal periods to learn two parts of reasoning.

• Korean Journal of Logic
• /
• v.20 no.3
• /
• pp.313-333
• /
• 2017

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive mianorm logic IMIAL. More precisely, first, seven involutive mianorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for four of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.18 no.2
• /
• pp.197-215
• /
• 2015

In this paper, we deal with standard completeness of some axiomatic extensions of the involutive micanorm logic IMICAL. More precisely, first, four involutive micanorm-based logics are introduced. Their algebraic structures are then defined, and their corresponding algebraic completeness is established. Next, standard completeness is established for two of them using construction in the style of Jenei-Montagna.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

• Korean Journal of Logic
• /
• v.3
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.