Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
직관주의적 유형론에서의 분석성과 완전성
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 정인교 | - |
| dc.date.accessioned | 2021-09-07T19:28:17Z | - |
| dc.date.available | 2021-09-07T19:28:17Z | - |
| dc.date.created | 2021-06-17 | - |
| dc.date.issued | 2011 | - |
| dc.identifier.issn | 1598-7493 | - |
| dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/114362 | - |
| dc.description.abstract | 마틴뢰프는 그의 직관주의적 유형론에서의 판단형식들에 관한 분석에 의거하여, 통상적인 논리법칙들과 수학의 흥미로운 판단들은 분석판단이 아닌 종합판단에 해당하며, 분석판단의 논리는 결정가능하고 완전하지만 종합판단의 논리는 결정가능하지 않으며 불완전하다고 주장한다. 이 글의 목적은 마틴뢰프의 논지를 보다 분명히 하여 검토하려는 것이다. 1절에서 필자가 이해한단형 유형론의 기본 사항들을 검토한 후, 2절에서는 마틴뢰프의 분석/종합 구분을 보다 분명히 드러내고, 마틴뢰프의 구분에 대한 가능한 비판 및 ‘통상적인 논리법칙들과 수학의 흥미로운 판단들은 종합판단에 해당한다’는 논제를 검토한다. 3절에서는 ‘분석판단의 논리는 결정가능하고 완전하지만 종합판단의논리는 결정가능하지 않으며 불완전하다’는 논제를 보다 분명히 드러내어 검토한다. | - |
| dc.language | Korean | - |
| dc.language.iso | ko | - |
| dc.publisher | 한국논리학회 | - |
| dc.title | 직관주의적 유형론에서의 분석성과 완전성 | - |
| dc.title.alternative | Analyticity and Completeness in Intuitionistic Type Theory | - |
| dc.type | Article | - |
| dc.contributor.affiliatedAuthor | 정인교 | - |
| dc.identifier.doi | 10.22860/kafl.2011.14.3.101 | - |
| dc.identifier.bibliographicCitation | 논리연구, v.14, no.3, pp.101 - 136 | - |
| dc.relation.isPartOf | 논리연구 | - |
| dc.citation.title | 논리연구 | - |
| dc.citation.volume | 14 | - |
| dc.citation.number | 3 | - |
| dc.citation.startPage | 101 | - |
| dc.citation.endPage | 136 | - |
| dc.type.rims | ART | - |
| dc.identifier.kciid | ART001597790 | - |
| dc.description.journalClass | 2 | - |
| dc.description.journalRegisteredClass | kci | - |
| dc.subject.keywordAuthor | Martin-Löf | - |
| dc.subject.keywordAuthor | Intuitionistic monomorphic type theory | - |
| dc.subject.keywordAuthor | Analytic Judgement | - |
| dc.subject.keywordAuthor | Synthetic Judgement | - |
| dc.subject.keywordAuthor | Incompleteness | - |
| dc.subject.keywordAuthor | 마틴뢰프 | - |
| dc.subject.keywordAuthor | 직관주의적 단형 유형론 | - |
| dc.subject.keywordAuthor | 분석판단 | - |
| dc.subject.keywordAuthor | 종합판단 | - |
| dc.subject.keywordAuthor | 불완전성 | - |
- 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.