• Korean Journal of Logic
• /
• v.1
• /
• pp.65-93
• /
• 1997

거짓말쟁이 역설에 대한 전통적인 설명은 다음 두 가지로 주어진다. 역설을 일으키는 거짓말쟁이 문장이 자기지시적이기 때문에 역설이 발생하므로 자기지시적 문장을 금함으로써 그 역설을 피할 수 있다는 것이 첫 번째이고, 둘째는 모든 문장을 참이나 거짓이라고 주장하는 진리값에 대한 배중률(principle of bivalence)에 집착하기 때문에 그 역설이 발생한다고 생각하고 제3의 진리값을 갖는 문장이 있음을 인정해야 한다는 것이다. 이러한 전통적인 설명과 달리 진리 개념을 비일관적인 개념으로 보고 진리 술어와 그 외의 술어의 용법상의 차이를 설명함으로써 거짓말쟁이 역설에 대한 새로운 설명을 시도하고자 하는 것이 굽타의 "진리 수정론"이다. 굽타의 진리 수정론에 따르면, 진리 술어 외의 술어들은 그 외연이 고정적으로 산출되고 그 과정은 적용 규칙(rule of application)에 의해서 설명되지만 진리 술어는 순환적 정의처럼 고정된 외연을 만들어내지 못하고 단지 가설적 외연만 만들어 낼 뿐이다. 이렇게 진리술어의 가정적 외연을 산출해내는 과정은 수정규칙(rule of revision)에 의해서 설명된다. 요컨대 진리 수정론은 순환적 개념도 의미를 가질 수 있음을 보여주는 의미론적 구조틀이 있다는 것과 진리개념이 바로 그러한 의미구조틀에 의해서 의미를 갖는 순환적 개념이라는 것이다. 그리고 굽타는 그러한 의미구조 틀을 일정한 규칙을 갖는 함수로 설명하려고 시도한다. 즉 진리개념을 일관적인 것으로 보고 거짓말쟁이 역설을 해결해야 할 병리적 현상으로 보는 진리의 일관성론과 달리 굽타의 진리 수정론은 진리술어 자체가 비일관적이기 때문에 거짓말쟁이 역설은 그 술어의 속성상 자연스러운 것이지 피해야 만할 병리적 현상이 아니라고 주장한다. 필자는 의미론적 역설에 대한 여러 가지 설명 중에서 진리 수정론이 가장 설득력 있는 것으로 인정하고 그에 대한 가능한 반론을 검토하고 그에 대한 답변을 시도했다. 또한 진리 수정론을 통해서 거짓말쟁이 역설을 설명하고 -해결하려는 것이 아니라- 나아가서 진리 개념에 대한 이해를 제공해보려고 시도했다.

• Journal of Korean Philosophical Society
• /
• v.143
• /
• pp.27-46
• /
• 2017

This paper research an answer to the question what is the relation between intrinsic value of truth and substantiality of truth. The concept of substantiality can be variably defined, but I characterize it as being an opaque concept. Michael P. Lynch, who is one of the most influential pluralists about truth, accept both that truth is substantial and that truth is intrinsically valuable. This paper analyzes Lynch's argument for the intrinsic value of truth, and will show that his argument is independent of his theory which insists that truth is manifested plurally. Moreover I will discuss how Paul Horwich who is a deflationist denying substantiality of truth explains the intrinsic value of truth. And comparing these two views, I will elaborate the reason why intrinsic value of truth and its substantiality are logically independent each other. Finally, I will suggest a brief case which shows an implication included in the conclusion that plural manifestation of truth does not generally entails plurality of value of truth.

• The Science & Technology
• /
• v.31 no.6 s.349
• /
• pp.26-27
• /
• 1998

신학적 진리나 사회과학적 진리가 '사회의 약속'에 의하여 포장된 진리인 반면 자연과학적 진리는 보편타당성면에서 뛰어난 진리다. 그런데 자연과학을 연구하면서 명예나 어떤 종류의 반대급부를 얻기위한 도구로 이용하려할 때 또는 시작 단계임에도 결과에 대해 과대포장을 할때 자연과학은 때때로 사회나 학문발전에 해악을 끼치기도 한다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Journal of the Daesoon Academy of Sciences
• /
• v.44
• /
• pp.97-140
• /
• 2023

This article is meant to serve as an introduction to the development of digital culture map of Daesoon Jinrihoe. Recently there has been frequent discussion over the need to provide information on the website of Daesoon Jinrihoe's Yeoju Headquarters Temple Complex, and the further need to produce a digital culture map of Daesoon Jinrihoe. The production of digital culture map of Daesoon Jinrihoe has the advantage of being able to publicize and enhance its status worldwide beyond simply building digital archives, collecting data, visualizing Daesoon Jinrihoe materials, and acquiring tools for research on Daesoon Jinrihoe. Therefore, the development of Daesoon Jinrihoe's digital culture map is expected to be a step for Daesoon Jinrihoe to leap forward globally. Next in the process would be the study of data. The current status of Daesoon Jinrihoe's data and analysis of the contents will enable researchers to proceed to the next stage. In the production of digital culture map of Daesoon Jinrihoe, the next step to be studied after data research is to review precedents in the production of digital culture maps related to religion. Researchers will be able to review domestic precedents and overseas precedents, and based on those, it will be possible to suggest a direction for developing Daesoon Jinrihoe's digital culture map.

• Journal of the Daesoon Academy of Sciences
• /
• v.23
• /
• pp.193-239
• /
• 2014

본 논문은 대순사상의 선화(善化)사상을 살펴보고 그 주체성을 밝히는데 목적이 있다. 『전경』에서는 어떻게 선을 드러내고 행하며 더 나아가 선으로 중생을 교육하고 천하를 교화하는가 하는 선화의 문제를 다루고 있는데, 이는 곧 대순진리회의 핵심 사상으로 볼 수 있다. '선화'사상은 세 가지 내용으로 설명할 수 있다. 첫째, 도덕적 의미에서 만물을 도와서 교화시키거나 만물을 크게 이롭게 하는 속성을 가지고 있다. 둘째, 상선(上善)의 덕 외에도 상선의 법이 필요한데, 이는 '선을 행하는 목적'에 부합하고 또한 선을 행하는 법칙을 지키는 실천방법과 절차를 말한다. 셋째, 가장 높은 차원에서의 '선'은 윤리도덕의 단계를 초월한다. 이에 대순진리회의 '선화'사상을 살펴보면 첫째, 대순진리회의 목적인 무자기, 포덕천하, 광제창생, 보국안민, 지상천국건설에 나타난 문자의 표면적 의미와 내재적 의미는 모두 '선화'의 내용에 포함된다. 둘째, 대순진리회 목적의 실현은 그 종지와 신조에 의거하는데, '합덕·조화·해원'과 사강령(四綱領)과 삼요체(三要諦)에도 '선화'의 의미가 포함되어 있다. 셋째, 대순진리회의 목적은 도인들의 구체적 행위를 통해 실현되는데, 수도와 공부의 필요성과 규범 속 그리고 상제와 도주 조정산(趙鼎山)의 창교(創敎)나 선교(宣敎) 등 구체적인 실례에서도 '선화'의 원칙이 분명하게 드러나 있다. 대순진리회의 '선화'사상은 전형적이고 신성한 종교 도덕적 특징과 일상생활의 의미가 담긴 사회 윤리적 특징이 있으며, 또한 윤리를 초월하고 진선(盡善)을 추구하는 궁극적 목적의식과 이론적 깊이가 있다. 대순진리회 '선화'사상의 주체성과 이론구조를 분석하면 다음과 같다. 첫째, 대순진리회의 '선화'사상에서는 무엇보다 윤리 도덕적 측면에서의 선의 배양과 실천을 중시한다. 둘째, 대순진리회의 '선화'사상은 윤리도덕의 선을 실천하는 법문(法門)을 제시하였다. 셋째, 대순진리회의 '선화'사상은 수도의 최종 목적인 대선(大善)·지선(至善)·진선(盡善) 등을 추구하고 실현할 것을 강조하였다. 선화사상이 나타내는 핵심인 '선덕'과 이로부터 발전된 '선행선법(善行善法)'이 결국 윤리도덕의 차원을 초월하였음을 알 수 있다.

• Journal of the Daesoon Academy of Sciences
• /
• v.23
• /
• pp.293-344
• /
• 2014

본 논문은 『전경』에서는 나타나는 숫자 부호 '삼(三)'의 의미와 나아가 '삼'과 『주역』 그리고 도교 신선신앙과의 연관성을 살펴보고자 한다. 중화의 문화에는 예부터 '삼'을 숭상하는 풍속이 있고, 도교문화도 '삼'을 숭상한다. 이는 주로 『주역』, 『도덕경』 및 도교 신선신앙과 관련이 있다. 한국문화는 전체적으로 중국문화의 영향을 깊이 받았다. 대순진리회 또한 이러한 배경 하에 있다고 볼 수 있다. 대순진리회에서는 '삼' 이라는 숫자를 반복해 사용하고 있는데, 어떤 의미에서 이것은 『주역』에 나타나는 부호 상징 사유의 확장된 표현이라 할 것이다. 또한 대순진리회의 교의(敎義)와 부도(符圖)에서도 '삼을 숭배하는(尙三)' 도교 신선신앙의 특징이 나타나고 있다. 그러므로 대순진리회에서 볼 수 있는 '삼'의 의미는 도교의 영향을 받은 것일 가능성이 매우 크다. 이렇게 말하는 것에는 두 가지 이유가 있는데 그 중 하나는 앞서 말한 바와 같이 대순진리회의 상제와 종도들이 중국의 서적을 이해하고 중시했기 때문이며 대순진리회의 구천상제께서 많은 종교를 통섭하였기 때문이다. 공사(公事) 활동, 부주(符呪) 문건, 상제와 도주의 행적 사료, 신령신앙 등의 내용 곳곳에서 '삼'이라는 특별한 숫자에 대한 각별한 관심이 구체적으로 드러난다. 이러한 '삼'은 생명과 시작을 나타내며 또한 완성과 완결을 의미한다. 대순진리회 신앙의 특징을 보면 그 배후에는 아주 깊은 중국문화의 영향이 있으며, 『주역』사상의 구체적인 표현이고, 도교신선신앙의 흔적이기도 하다. 물론 대순진리회는 자신만의 독창적이 재해석으로 이러한 문화나 사상을 계승하고 발전시켰다. 그렇기 때문에 '삼'이라는 숫자의 근원을 탐구하고, '삼'이 지니고 있는 철학적 사상을 파헤쳐 그 속의 오묘함을 발견한다면 대순사상의 깊을 뜻을 이해하는데 더 큰 도움이 될 것이다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.2
• /
• pp.198-202
• /
• 2006

In this paper, we introduce Baldwin's approximate reasoning with fuzzy logic and some truth function mappings usually used in Baldwin's method. And we introduce some assessment criteria for approximate reasonings and we define some truth function mappings which satisfy more criteria than those which are already known.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.674-678
• /
• 2007

Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.