진리확정자 그리고 두 종류의 현실주의
가브리엘 콘테사는 이 논문에서 양상 현실주의를 '순한맛'(softcore) 현실주의와 '매운맛'(hardcore) 현실주의로 구별한다. 전자는 스톨네이커로 대표되는 전통적 현실주의이고, 후자는 성향주의로 대표되는 새로운 현실주의이다. 저자는 후자에 대해 제기되는 문제에 대응하고 전자에 대해 새로운 문제를 제기하며 매운맛 현실주의를 옹호하고자 시도한다.…
가능세계 없는 양상성 (Vetter 2011)
바바라 베터는 이 논문에서, 가능세계 없이 양상성을 이론화하는 접근과 관련된 최근의 흐름들을 설명한다. 특히, 그는 속성을 성향적으로 간주하는 '성향적 본질 우선주의' 내지는 '성향주의'에 주안점을 둔다. 양상 성향주의자들에 따르면 양상성은 속성들의 본질인 성향에 기반한다.…
모호성, 진리, 논리 (Fine 1975)
이 논문에서 키트 파인은 모호성을 위한 의미론을 전개한다.…
하이브리드 언어: 세계를 언급하기
이 글에서는 패트릭 블랙번에 의해 구상된, ‘하이브리드 언어’의 배경과 목적을 살핀 뒤 하이브리드 언어를 정의하는 방법과 하이브리드 언어에 도입될 수 있는 연산자의 종류를 살펴본다.…
“알다”와 “know”
여기에서 우리는 "알다"와 "know"가 서로 다른 개념을 표현하는 듯 보이는 사례를 살피고, 여기에서의 혼란을 해소할 것이다.…
1차 양화 논리 (2): 1차 양화 논리의 의미론
이 글에서 우리는 \(\mathcal{L}_{Qt}\)의 해석과 평가를 정의하고, 그리고 이를 위해 모형 개념과 모형에서 참 개념에 관해 이야기할 것이다.…
1차 양화 논리 (1): 1차 양화 논리의 계기와 구문론
이 글에서 우리는 우리의 보완된 논리 체계, 1차 양화 논리에 필요한 사항과, 그 논리 체계의 구문론에 관해 이야기할 것이다.…
명제 논리 (4): 자연어 논증의 형식화와 평가
이 글에서 우리는 자연어로 구성된 논증을 \(Pr\)의 논증으로 번역한 뒤 이를 평가하는 방법에 관해 알아 보고, 명제 논리가 갖는 표현력 상의 한계에 관해 논할 것이다.…