분석-종합 구분Analytic/Synthetic Distinction
s가 분석적이다 iff s가 논리적으로 참이거나, s의 비논리 상항에 대해 이를 그 동의어로 대치함을 통해 논리적으로 참인 문장을 얻을 수 있다.…
반사실문Counterfactuals
표준적 분석에 따를 때, 가정법 조건문 "만일 p였더라면, q였을 것이다"의 진리값은 p인 최근접세계(들)에서 q가 참일 경우 참, 그렇지 않다면 거짓이다.…
진리 제조자Truthmakers
진리 제조자는 진리 담지자(문장, 명제, 진술, ...)들을 참이게 만드는 그러한 존재자들이다.…