제 80 차 Saving the Truth Schema from paradox

Abstract

「Q인 경우 오직 그 경우만 -T(<Q>)」인 Q가 존재함을 보이는 여러 방법들이 있다. 자기 자신이 참이 아님을 주장하는 역설적 문장이 이러한 Q의 대표적인 예이다. 이에 덧붙여, 만약 우리가 고전적인 참 이론을 받아들이면, 「Tr(<Q>)인 경우 오직 그 경우만 Q」(참 도식)도 받아들여야 하는데, 그럼 결국 「Q인 경우 오직 그 경우만 -Q」를 받아들여야 한다. 그러나, 이는 고적적인 논리학에서는 모순이다. 자 이제 우리에게는 세 가지 선택지가 있는데, 이러한 Q가 존재하지 않도록 하는 해결책과 고전적인 참 이론을 포기하는 해결책은 별로 설득력이 없다. 따라서, 나는 고적전인 논리학을 포기하고 새로운 논리학을 받아들이는 해결책을 제시하겠다.