• 논리연구
• /
• 제17권3호
• /
• pp.373-399
• /
• 2014

이 논문은 형이상학적 양진주의가 설득력 있는 견해인가에 대해서 비판적으로 논한다. 구체적으로 말해서 이 글은 "진리 대응설과 양진주의는 양립가능한가?", "관찰 가능한 모순이 존재하는가?" 즉 "경험세계가 비일관적일 수 있는가?" 그리고 "무모순율은 언어나 사고의 원리인가, 형이상학적 원리인가?"라는 세 가지 질문에 대해서 답함으로써 형이상학적 양진주의를 비판적으로 평가하는 것을 목적으로 한다. 결론적으로 진리 대응설과 양진주의가 양립가능하다고 가정하면 전진주의를 받아들이지 않을 수 없음을 보임으로써 진리 대응설과 양진주의가 양립 가능하지 않다고 논증하고, 무모순율을 세계를 제한하는 배제의 원리로 이해해야 함을 보이고, 이로부터 실재 세계는 일관된 세계이며, 모순은 실재하지 않음을 논증한다.

• 논리연구
• /
• 제20권2호
• /
• pp.241-271
• /
• 2017

양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.

• 논리연구
• /
• 제17권2호
• /
• pp.233-253
• /
• 2014

엘드리지-스미스가 제시한 피노키오 역설은 거짓말쟁이 역설과 같은 의미론적 역설의 변형이지만, 의미론적인 술어를 포함하고 있지 않다는 점에서 독특하다. 언어의 위계를 이용하여 의미론적 역설을 해결하려는 타르스키의 해결책이나, 진리 술어를 부분적으로 정의되는 것으로 보고 거짓말쟁이 문장에 대해서 진리 틈새를 인정하는 크립케의 초완전성 견해는 피노키오 역설에 대한 적절한 해결 방안이 아니다. 피노키오 역설을 통해서 양진주의에 대해서 비판하는 엘드리지-스미스의 시도가 성공적이지 않음과 함께 이 역설의 중요한 함축은 진리 술어에 관한 규칙이 비일관적이라는 것을 논증한다. 이 역설에 대한 적절한 진단은 이 역설을 낳는 피노키오 원리가 잠재적으로 비일관적임을 인정하는 것이고, 이 점은 거짓말쟁이 역설과 같은 의미론적 역설이 발생하는 이유는 진리 술어에 대한 규칙이 비일관적이기 때문이라는 점을 시사한다. 피노키오 역설을 통해서 우리가 알 수 있는 것은 의미론적 역설에 대한 진리 일관성주의적 해결책은 성공할 수 없고 진리 비일관성주의를 받아들여야 한다는 것이다.

• 논리연구
• /
• 제22권1호
• /
• pp.87-124
• /
• 2019

더미 역설에 대한 양진주의적 해결전략이란 경계사례를 참인 모순으로 이해하는 것이다. 그러나 이러한 전략을 수용하기 위해서는 모순을 인정하지 않는 대안의 가능성을 먼저 고려해야 한다. 대안이 있다면 굳이 모순을 인정할 필요는 없기 때문이다. 이와 관련해서, 벨은 모순을 인정하지 않으면서 양진주의가 갖는 장점을 모두 갖는 대안을 제시한다. 필자는 이 글에서 이러한 벨의 주장이 성립하지 않음을 보일 것이다. 필자의 논의는 주로 울타리 도식(inclosure schema)에 기초한다. 필자는 더미 역설이 울타리 도식을 만족함을 보인 후, 이 도식에 기초해서 절단점의 존재를 거부하는 대안들이 모두 모순을 함축한다는 것을 보일 것이다. 물론, 이러한 대안에는 벨의 대안 역시 포함된다. 그리고 이것은 모호성에 대한 직관 즉, '관용'을 수용하는 한, 양진주의를 받아들여야 한다는 것을 의미한다.