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

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 3. 1.

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

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

[작성자] 김오늘 [분류] 오늘의 논리학 [작성일] 2022. 2. 24.

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