메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
정인교 (고려대학교)
저널정보
한국분석철학회 철학적분석 철학적분석 제38호
발행연도
2017.12
수록면
23 - 50 (29page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
액젤은 구성적 집합론이 마틴뢰프의 직관주의적 유형론에서 해석될 수 있음을 보였다. 그의 해석에는 구성적인 반복적 집합 개념이 내포되어있다. 이 글의 목표는 구성적인 반복적 집합 개념을 분명하게 드러내어 설명함으로써, 이 개념은 고전적인 반복적 집합 개념이 지니는 여러 문제들로부터 자유롭다는 점을 보이는 것이다. 이를 위해 반복적 집합 개념을 구성적으로 이해하기 위해서는 유형을 집합보다 더 기본적인 개념으로 간주하여, 집합형성연산은 색인유형과 집합나열규칙에 적용되어 집합을 산출하는 연산으로 간주되어야 한다는 논지가 제시될 것이다. 또한 유형의 본성에 대한 해명과 유형과 명제와 집합의 관계에 대한 규명 및 기본적 유형들에 관한 설명을 통해 구성적인 반복적 집합 개념의 특성을 분명히 드러내고, 구성적 집합론의 공리들이 이 개념에 의해 정당화되는 이유를 밝힐 것이다.

목차

1. 들어가는 말
2. 반복적 집합 개념에 대한 구성적인 이해
3. 유형과 반복적 집합
4. CZF의 유형론적 해석과 그 공리들의 정당화
5. 나가는 말
참고문헌
Abstracts

참고문헌 (28)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2018-160-001693767