자기 자신을 입력으로 받는 규칙은 왜 위험할까?
Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.
Type Theory
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.

해외 학술 연구의 7개 분야
Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.
Type Theory
믿음 수정의 논리는 철회·추가·수정을 서로 다른 연산으로 다룹니다. 판단을 보류하는 것과 반대 명제를 받아들이는 것은 다른 변화입니다.
Logic of Belief Revision
명단의 빈 직책과 가상의 이름을 통해 자유논리가 점검하는 존재 가정을 읽습니다. 문장에 이름을 썼다는 사실에서 어떤 결론까지 나아갈 수 있는지 묻습니다.
Free Logic
아리스토텔레스의 술로기스모스는 좁은 형식 이름이 아니라 전제로부터 필연적으로 다른 결론이 나오는 연역 전체를 가리켰습니다.
Aristotle’s Logic
논리다원주의는 아무 규칙이나 허용하자는 말이 아닙니다. ‘모든 경우’에서 참을 보존한다는 기준에서 경우의 뜻이 어떻게 갈리는지 살펴봅니다.
Logical Pluralism
151–155 / 186편