서로 모순된 기록이 있으면 어떤 결론이든 따라올까?
모순을 발견해도 관련 없는 결론까지 허용하지 않는 비폭발적 추론을, 상충하는 행사 기록으로 살펴봅니다.
Paraconsistent Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사186편
검색 결과 제목
일어나지 않은 일을 다르게 가정하면 결과도 달라졌다고 말할 수 있을까?
반사실 조건문 이론은 실제가 아닌 가정을 어떤 비교 세계와 대조해야 하는지 묻습니다.
Counterfactuals
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
모두 알고 있으면 서로도 안다고 믿어도 될까?
개별 안내와 공동 공지는 서로 다른 지식 상태를 만듭니다. 인식논리로 ‘내가 안다’, ‘상대도 안다’, ‘그 사실을 서로 안다’를 구분합니다.
Epistemic Logic
게시 2026-09-12 · 약 8분논리학 학습 글 읽기 →
미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?
시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.
Temporal Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?
불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.
Gödel’s Incompleteness Theorems
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
156–160 / 186편