지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록· 키워드
오류제보하기
마틴뢰프의 직관주의적 유형론의 중요 사항들을 설명하고, 그 체계의 가장 중요한 특성 중의 하나인 명제와 판단의 구분에 관해 검토한다. 1절에서 문제를 도입한 후, 2절에서 직관주의적 유형론의 명제개념은 직관주의적 명제개념의 발전된 형태임을 보이고, 3절에서는 직관주의적 유형론에서 가장 기본적인 판단개념을 설명한 후, 4절에서 직관주의적 유형론의 기본적인 추론규칙들을 설명하고 그 적용의 한 사례를 검토할 것이다. 마지막으로 5절에서, 직관주의적 유형론에서 명제와 판단의 구분이 차지하는 중요성을 부연한 후, 기초론적 체계에서 명제와 판단의 구분이 필수적인지의 문제와 관련하여, 통상적인 프레게적 구분으로부터 시작하여 직관주의적 유형론에서와 같은 구분에 이르기 위해서는 어떤 것들이 전제되거나 정당화되어야 하는지 검토할 것이다.
목차
등록된 정보가 없습니다.
참고문헌 (38)
참고문헌 신청
Nordström, B. / 1990 / Programming in Martin-Löf's Type Theory: An Introduction / Clarendon Press
Nordström, B. / 2000 / Martin-Löf's Type Theory, In Handbook of Logic in Computer Science Vol. V / Oxford University Press :1~37
Van der Schaar, M. / 2011 / The Cognitive Act and the First-Person Perspective: An Epistemology for Constructive Type Theory / Synthese 180(3):391~417
Thompson, S. / 1999 / Type Theory & Functional Programming / Computing Laboratory, University of Kent
Troelstra, A. S. / 1988 / Constructivism in Mathematics: An Introduction, 2 Vols / North-Holland
Nordström, B. / 2000 / Martin-Löf's Type Theory, In Handbook of Logic in Computer Science Vol. V / Oxford University Press :1~37
Van der Schaar, M. / 2011 / The Cognitive Act and the First-Person Perspective: An Epistemology for Constructive Type Theory / Synthese 180(3):391~417
Thompson, S. / 1999 / Type Theory & Functional Programming / Computing Laboratory, University of Kent
Troelstra, A. S. / 1988 / Constructivism in Mathematics: An Introduction, 2 Vols / North-Holland
이 논문의 저자 정보
최근 본 자료
댓글(0)
0