• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Korean Journal of Logic
• /
• v.2
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

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

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

• 전기의세계
• /
• v.25 no.1
• /
• pp.30-38
• /
• 1976

전회까지 기술한 논리개폐함수, 개폐식의 표현형식 및 간단화기법을 encoder 설계과정에서 어떻게 적용할 것인가를 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.515-517
• /
• 2003

BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.

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

• Journal of Korean Philosophical Society
• /
• v.137
• /
• pp.151-191
• /
• 2016

Kant and Lacan strongly criticized the epistemological premise of formal logic. However, Lacan was opposed to Kant in terms of subject, object, knowledge and truth. From the viewpoint of Kant's transcendental logic, formal logic does not have the ability to represent the nature of truth. On the other hand, from the viewpoint of Lacan's psychoanalytic logic, Kant's transcendental logic misunderstands or only partially represents the state of things. But I would like to try to criticize the epistemological premise of the two forms of logic. Transcendental logic takes the evident and new function in that it has studied the necessary condition of content rather than the form of thinking which formal logic considers as his object of study. Transcendental logic evidently studies the categories which dominate our way of thinking. Can we say that the 12 categories which Kant provided are sufficient in explaining the necessity of thinking? Lacan's psychoanalytic logics tells us that Kant's categories are only a kind of metaphor related with hypothesis that tries to explain the possibility of synthetical judge a priori. Is Lacan's psychoanalytic logic sufficient in explaining the possibility of science? It is not sufficient in explaining the objectivity and strictness of science, for it depends on metaphor and metonymy which are useful to literature and unconsciousness. I would like to try to synthesize Kant's transcendental and Lacan's psychoanalytic logic in terms of structure-constructivism which combines both formal and dialectical logic, which is consistent with the ideal of human science, and not blinkered science. My conclusion is that Kant's ethical and esthetical theory should be modified though Lacan's psychoanalytic logic, and Lacan's theory of the unconsciousness revised by Kant's transcendental logic.

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

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

• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.51-68
• /
• 2003

많은 논리학 교과서들은 정치 현장과 언론의 정치 비평에서 자주 쓰이는 사람에의 호소 논증을 오류로 소개하고 있다. 그러나 사람에 호소하고 있다는 형식을 갖추고 있더라도 논증의 주장이 그 사람 자신에 관한 것이라면 오류가 아니다. 또 그 논증이 이루어지고 있는 구체적인 맥락과 논증이 비판하고 있는 사람의 가치관 등을 모두 검토해서 오류인지 아닌지 평가해야 한다.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.