직관주의적 유형론에서의 진리개념
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 정인교 | - |
dc.date.accessioned | 2021-09-06T07:56:14Z | - |
dc.date.available | 2021-09-06T07:56:14Z | - |
dc.date.created | 2021-06-17 | - |
dc.date.issued | 2013 | - |
dc.identifier.issn | 1598-7493 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/105208 | - |
dc.description.abstract | 이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다. | - |
dc.language | Korean | - |
dc.language.iso | ko | - |
dc.publisher | 한국논리학회 | - |
dc.title | 직관주의적 유형론에서의 진리개념 | - |
dc.title.alternative | The Notion of Truth in Intuitionistic Type Theory | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 정인교 | - |
dc.identifier.doi | 10.22860/kafl.2013.16.3.407 | - |
dc.identifier.bibliographicCitation | 논리연구, v.16, no.3, pp.407 - 436 | - |
dc.relation.isPartOf | 논리연구 | - |
dc.citation.title | 논리연구 | - |
dc.citation.volume | 16 | - |
dc.citation.number | 3 | - |
dc.citation.startPage | 407 | - |
dc.citation.endPage | 436 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART001815693 | - |
dc.description.journalClass | 2 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | 직관주의적 유형론 | - |
dc.subject.keywordAuthor | 직관주의적 진리개념 | - |
dc.subject.keywordAuthor | 증명의 존재 | - |
dc.subject.keywordAuthor | 마틴뢰프 | - |
dc.subject.keywordAuthor | 프라위츠 | - |
dc.subject.keywordAuthor | Intuitionistic type theory | - |
dc.subject.keywordAuthor | Intuitionistic notion of truth | - |
dc.subject.keywordAuthor | Existence of proofs | - |
dc.subject.keywordAuthor | Martin-Löf | - |
dc.subject.keywordAuthor | Prawitz | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.