직관주의적 유형론에서의 진리개념The Notion of Truth in Intuitionistic Type Theory
- Other Titles
- The Notion of Truth in Intuitionistic Type Theory
- Authors
- 정인교
- Issue Date
- 2013
- Publisher
- 한국논리학회
- Keywords
- 직관주의적 유형론; 직관주의적 진리개념; 증명의 존재; 마틴뢰프; 프라위츠; Intuitionistic type theory; Intuitionistic notion of truth; Existence of proofs; Martin-Löf; Prawitz
- Citation
- 논리연구, v.16, no.3, pp.407 - 436
- Indexed
- KCI
- Journal Title
- 논리연구
- Volume
- 16
- Number
- 3
- Start Page
- 407
- End Page
- 436
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/105208
- DOI
- 10.22860/kafl.2013.16.3.407
- ISSN
- 1598-7493
- Abstract
- 이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - College of Liberal Arts > Department of Philosophy > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.