연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.
Graham Priest, The Logic of Paradox (1979)
뉴턴 다 코스타의 《On the Theory of Inconsistent Formal Systems》(1974)을 따라, 모순과 사소성의 구분에서 Cₙ 계층과 NF₁ 집합론까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Newton C. A. da Costa, On the Theory of Inconsistent Formal Systems (1974)
다 코스타와 카르니엘리의 《On Paraconsistent Deontic Logic》(1986)을 따라, 충돌하는 의무와 C₁ᴰ의 비사소성, 가능세계 의미론과 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)
Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.
The Logic of Paradox
1–4 / 4편
