1차 양화 논리

오늘의 논리학

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

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

오늘의 논리학

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

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