통합검색

모순이 하나 있어도, 모든 말이 참이 되어야 할까요?

뉴턴 다 코스타의 《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)

모순 하나가 들어오면 아무 결론이나 따라와야 할까?

Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.

The Logic of Paradox

모순 하나가 발견되면 모든 문장이 따라와야 할까?

파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.

Paraconsistent Logic

서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

모순을 발견해도 관련 없는 결론까지 허용하지 않는 비폭발적 추론을, 상충하는 행사 기록으로 살펴봅니다.

Paraconsistent Logic

모순 하나가 들어오면 아무 결론이나 따라와야 할까?

P와 P가 아님의 모순 노드에서 관련 결론은 이어지지만 무관한 Q로 향하는 폭발 화살표는 차단된 도식.