오늘의 논리학

오늘의 논리학

1차 양화 논리 (2): 1차 양화 논리의 의미론

이 글에서 우리는 \(\mathcal{L}_{Qt}\)의 해석과 평가를 정의하고, 그리고 이를 위해 모형 개념과 모형에서 참 개념에 관해 이야기할 것이다.

오늘의 논리학

1차 양화 논리 (1): 1차 양화 논리의 계기와 구문론

이 글에서 우리는 우리의 보완된 논리 체계, 1차 양화 논리에 필요한 사항과, 그 논리 체계의 구문론에 관해 이야기할 것이다.

오늘의 논리학

명제 논리 (4): 자연어 논증의 형식화와 평가

이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.

오늘의 논리학

명제 논리 (3): 타당성, 건전성, 완전성

이 글에서 우리는 논리학에서의 타당성 개념 및 명제 논리에서 논증의 타당성을 확인하는 방법에 관해 논하고, 이어 \(Pr\)이 갖는 두 성질인 건전성과 완전성에 대한 증명을 개관할 것이다.

오늘의 논리학

명제 논리 (2): 명제 논리의 구문론과 의미론, 증명 체계

이 글에서 우리는 형식 체계로서 명제 논리가 어떻게 구성되는지에 대해 개괄할 것이다.

오늘의 논리학

명제 논리 (1): 명제 논리란?

이 글에서 우리는 명제 논리가 무엇인지, 그리고 명제 논리를 구성하기 위해 무엇이 필요한지를 알아볼 것이다.