8.1 명제의 정의와 진리값

1. 절의 학술적 목표

본 절은 명제(proposition)의 학술적 정의와 진리값(truth value)의 개념을 체계적으로 검토하는 것을 목표로 한다. 명제는 논리학의 가장 기본적 분석 단위이며, 진리값은 명제의 논리적 성질을 규정하는 핵심 개념이다. 본 절은 두 개념의 정의, 형식적 구조, 학술적 의의를 정리한다.

2. 명제의 학술적 정의

명제는 참(true) 또는 거짓(false)의 진리값을 가질 수 있는 선언적 문장의 의미 내용이다. 명제는 특정 언어의 문장과 구별되며, 서로 다른 언어의 문장들이 동일한 명제를 표현할 수 있다. 예를 들어 “눈은 희다“와 “Snow is white“는 동일한 명제를 표현한다. 명제는 언어적 표현의 의미론적 내용이며, 논리적 분석의 기본 단위이다(Russell, 1903).

3. 명제와 문장의 구분

명제와 문장(sentence)은 엄격히 구분된다. 문장은 특정 언어의 구체적 언어적 표현이며, 명제는 그 문장이 표현하는 의미 내용이다. 한 명제는 여러 문장으로 표현될 수 있고, 한 문장은 맥락에 따라 여러 명제를 표현할 수 있다. 이러한 구분은 의미론적 분석의 정확성을 위하여 중요하다(Frege, 1892).

4. 진리값의 개념

진리값은 명제가 가질 수 있는 논리적 값이다. 고전 논리에서는 참(T)과 거짓(F)의 두 값만이 인정되며, 이는 이가 논리(two-valued logic)의 기본 전제이다. 모든 명제는 참이거나 거짓이며, 제3의 진리값은 존재하지 않는다. 이러한 전제는 이가 원리(principle of bivalence)로 알려져 있다(Łukasiewicz, 1920).

5. 이가 원리와 배중률

이가 원리는 “모든 명제는 참 또는 거짓의 진리값을 가진다“는 원리이며, 이는 고전 논리의 기본 전제이다. 이와 밀접하게 관련된 배중률(law of excluded middle)은 “P ∨ ¬P“가 항상 참이라는 원리이다. 두 원리는 형식적으로 다르지만 고전 논리에서 긴밀히 연결되어 있다(Aristoteles, trans. 1984).

6. 다치 논리의 관점

이가 논리의 대안으로 다치 논리(many-valued logic)가 제안되어 왔다. 얀 우카시에비치(Jan Łukasiewicz)는 1920년에 세 가지 진리값(참, 거짓, 불확정)을 가지는 삼치 논리를 제안하였으며, 이후 더 많은 값을 가지는 체계들이 개발되었다. 다치 논리는 미래 우발적 명제, 양자 역학적 현상, 모호한 명제 등의 분석에 활용된다(Łukasiewicz, 1920).

7. 진리값의 할당

논리적 분석에서 진리값은 명제에 할당된다. 원자 명제의 경우 진리값은 해당 명제가 표현하는 사실의 성립 여부에 의하여 결정된다. 복합 명제의 진리값은 구성 명제의 진리값과 논리 연결사의 진리값 함수에 의하여 결정된다. 이러한 할당은 진리값 평가(truth value assignment) 또는 해석(interpretation)이라 한다(Tarski, 1944).

8. 진리값과 명제의 의미

진리값은 명제의 의미의 한 측면을 구성한다. 프레게는 진리값을 명제의 지시체(Bedeutung)로 간주하였으며, 명제의 의미는 진리값에 의하여 부분적으로 규정된다고 보았다. 반면 명제의 뜻(Sinn)은 진리값을 결정하는 방식이며, 진리값 자체와 구별된다. 이러한 구분은 의미론적 분석의 정교화에 기여하였다(Frege, 1892).

9. 비명제적 문장

모든 문장이 명제를 표현하는 것은 아니다. 의문문, 명령문, 감탄문 등은 일반적으로 명제를 표현하지 않는다. 명제는 선언적 문장(declarative sentence)의 내용으로 한정되며, 참 또는 거짓의 진리값을 가질 수 있는 것이어야 한다. 이러한 구분은 논리적 분석의 대상을 명확히 한다(Copi, Cohen, & McMahon, 2014).

10. 진리값과 인식론

진리값의 존재는 인식 가능성과 구별된다. 즉, 명제가 참이라는 것과 우리가 그 명제가 참임을 아는 것은 별개의 문제이다. 객관적 진리값은 인식 주체의 지식 상태와 독립적으로 존재한다는 관점이 고전 논리의 기본 전제이다. 반면 직관주의 논리(intuitionistic logic)는 이러한 전제를 제한하며, 진리값을 증명 가능성과 연결한다(Heyting, 1956).

11. 명제 논리에서의 명제

명제 논리에서는 명제의 내부 구조가 분석되지 않고, 명제 전체가 하나의 단위로 취급된다. 명제는 원자 명제(P, Q, R 등)로 표현되며, 진리값만이 논리적 분석에 관련된다. 이는 명제 논리가 명제들 사이의 논리 연결 관계에 초점을 맞추고, 명제 내부의 구조(주어, 술어, 양화사 등)는 다루지 않기 때문이다(Enderton, 2001).

12. 본 절의 결론적 정리

명제는 참 또는 거짓의 진리값을 가질 수 있는 선언적 문장의 의미 내용이며, 언어의 구체적 문장과 구별된다. 진리값은 명제가 가지는 논리적 값이며, 고전 논리에서는 이가 원리에 따라 참과 거짓의 두 값만이 인정된다. 명제 논리에서는 명제의 내부 구조가 분석되지 않고, 진리값과 명제들 사이의 논리 연결 관계가 주된 분석 대상이 된다. 학습자는 이 개념들을 정확히 이해하고, 이후의 명제 논리 분석을 위한 기반을 마련하여야 한다.

13. 출처

• Aristoteles. (trans. 1984). The Complete Works of Aristotle (J. Barnes, Ed.). Princeton: Princeton University Press.
• Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50.
• Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge University Press.
• Łukasiewicz, J. (1920). O logice trójwartościowej. Ruch Filozoficzny, 5, 170–171.
• Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341–376.
• Heyting, A. (1956). Intuitionism: An Introduction. Amsterdam: North-Holland.
• Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15