1차 양화 논리 (2): 1차 양화 논리의 의미론
이 글에서 우리는 \(\mathcal{L}_{Qt}\)의 해석과 평가를 정의하고, 그리고 이를 위해 모형 개념과 모형에서 참 개념에 관해 이야기할 것이다.…
1차 양화 논리 (1): 1차 양화 논리의 계기와 구문론
이 글에서 우리는 우리의 보완된 논리 체계, 1차 양화 논리에 필요한 사항과, 그 논리 체계의 구문론에 관해 이야기할 것이다.…
명제 논리 (4): 자연어 논증의 형식화와 평가
이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.…
명제 논리 (3): 타당성, 건전성, 완전성
이 글에서 우리는 논리학에서의 타당성 개념 및 명제 논리에서 논증의 타당성을 확인하는 방법에 관해 논하고, 이어 \(Pr\)이 갖는 두 성질인 건전성과 완전성에 대한 증명을 개관할 것이다.…
명제 논리 (2): 명제 논리의 구문론과 의미론, 증명 체계
이 글에서 우리는 형식 체계로서 명제 논리가 어떻게 구성되는지에 대해 개괄할 것이다.…
명제 논리 (1): 명제 논리란?
이 글에서 우리는 명제 논리가 무엇인지, 그리고 명제 논리를 구성하기 위해 무엇이 필요한지를 알아볼 것이다.…
의미에 의한 진리 - 3부 (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 끝으로, 3부에서 그는 분석적 정당화에 관해 제기될 수 있는 쟁점들 및 그의 이론이 이 쟁점들에 대해 시사하는 흥미로운 귀결들을 소개하며 책을 닫는다.…
의미에 의한 진리 - 2부 (Russell 2008)
질리언 러셀의 2008년 저작, Truth in virtue of Meaning은 제목 그대로 의미에 의한 진리, 즉 "분석적 진리"의 문제를 다룬다. 2부, "A Defense"에서 그는 분석적 진리에 관한 (철학사적) 이의제기, 특히 콰인으로부터 제기되었던 비판들을 조망한 뒤, 의미론적 외재주의에 기대어 분석적 진리의 개념을 방어한다.…