14.1 명제 논리의 표현력 한계

1. 절의 학술적 목표

본 절은 명제 논리의 표현력의 한계를 학술적으로 검토하는 것을 목표로 한다. 명제 논리는 형식 논리학의 가장 기본적인 체계이며, 명제 사이의 진리 함수적 관계를 분석하는 데 적합하다. 그러나 명제 논리는 명제의 내부 구조를 분석하지 않으므로, 수학적 추론과 복잡한 철학적 논증의 형식적 분석에 여러 한계를 가진다. 본 절은 명제 논리의 표현력 한계의 구체적 양상, 형식적 사례, 한계의 이론적 원인, 새로운 논리 체계의 필요성을 체계적으로 정리한다.

2. 명제 논리의 표현 단위

명제 논리는 명제(proposition)를 원자적 단위로 취급하며, 각 원자 명제는 더 이상 내부 구조로 분석되지 않는다. 명제 변항 p, q, r, …은 참 또는 거짓의 값을 가지는 명제를 나타내며, 복합 명제는 진리 함수적 연결사(¬, ∧, ∨, →, ↔)를 통하여 원자 명제로부터 구성된다. 이러한 표현 단위는 명제 사이의 진리 함수적 관계를 분석하는 데는 충분하지만, 명제의 내부 구조에 의존하는 논리적 관계를 포착하지 못한다. 이는 명제 논리의 가장 근본적인 표현력의 제약이다(Mendelson, 2015).

3. 삼단 논법의 형식화 실패

명제 논리의 표현력 한계의 가장 명료한 사례는 아리스토텔레스의 삼단 논법이다. 고전적 예인 “모든 사람은 죽는다. 소크라테스는 사람이다. 따라서 소크라테스는 죽는다“를 명제 논리로 형식화하면, 세 문장은 각각 독립된 명제 변항 p, q, r로 표현된다. 이 형식화에서 p ∧ q → r는 타당한 논증이 아니다. 즉, 명제 논리는 이 삼단 논법의 직관적 타당성을 형식적으로 포착하지 못한다. 이러한 실패의 원인은 명제 논리가 “모든 사람”, “소크라테스는 사람이다”, “소크라테스는 죽는다” 사이의 내부 구조적 연관을 표현할 수 없기 때문이다(Kneale & Kneale, 1962).

4. 일반성의 표현 불가능

명제 논리는 “모든 x에 대하여 P(x)” 또는 “어떤 x가 존재하여 P(x)“와 같은 일반성(generality)의 표현을 다루지 못한다. 수학의 많은 명제는 이러한 일반성을 본질적으로 포함한다. 예를 들어, “모든 자연수 n에 대하여 n + 0 = n”, “소수가 무한히 많이 존재한다”, “모든 연속 함수는 적분 가능하다” 등의 명제는 양화 구조를 포함하며, 명제 논리의 틀 안에서는 이 구조가 내부 분석 없이 원자 명제로 취급된다. 이는 명제 논리가 수학적 추론의 형식적 분석에 부적합함을 드러내는 주요 한계이다(Shapiro, 1991).

5. 관계의 표현 불가능

명제 논리는 두 개체 사이의 관계(relation)를 분석하지 못한다. 예를 들어, “존이 메리를 사랑한다”, “3이 5보다 작다”, “점 A가 직선 L 위에 있다“와 같은 관계적 명제는 명제 논리에서 단일 명제 변항으로 표현되며, 내부 구조(주어, 관계, 목적어)가 사라진다. 이러한 표현은 관계의 대칭성, 이행성, 반사성 등의 성질을 분석하지 못한다. 예를 들어, “존이 메리를 사랑한다“와 “메리가 존을 사랑한다“의 논리적 관계는 명제 논리로 포착할 수 없다. 관계의 표현 불가능성은 명제 논리의 근본적 한계이다(Russell, 1903).

6. 개체와 속성의 구별 불가능

명제 논리는 개체(individual)와 속성(property)을 구별하지 않는다. “소크라테스는 현명하다“와 “플라톤은 현명하다“는 서로 다른 명제 변항 p, q로 표현되며, 두 명제가 공통적으로 “현명함“이라는 속성을 공유한다는 사실은 형식적으로 표현되지 않는다. 따라서 명제 논리는 “현명한 사람이 적어도 한 명 존재한다“와 같은 추론을 형식화할 수 없다. 개체와 속성의 구별은 철학적 논증과 수학적 추론의 많은 형식적 분석에 필수적이며, 명제 논리의 이러한 한계는 술어 논리의 도입의 주요 동기 중 하나이다(Frege, 1879).

7. 다중 양화의 표현 불가능

자연 언어와 수학 언어의 많은 명제는 다중 양화(multiple quantification)를 포함한다. 예를 들어, “모든 사람은 어떤 사람을 사랑한다“와 “어떤 사람이 있어서 모든 사람이 그를 사랑한다“는 논리적으로 다른 명제이며, 이 차이는 양화사의 순서로 표현된다. 전자는 “∀x∃y(사랑(x,y))“로, 후자는 “∃y∀x(사랑(x,y))“로 형식화되며, 전자는 후자에 의하여 함의되지만 그 역은 성립하지 않는다. 명제 논리는 이러한 다중 양화 구조를 표현할 수 없으며, 이는 명제 논리의 표현력의 근본적 제약이다(Frege, 1879).

8. 수학적 진술의 형식화 한계

명제 논리는 수학적 진술의 형식화에 한계를 가진다. 예를 들어, 해석학의 ε-δ 정의(“함수 f가 점 a에서 연속이라는 것은 모든 ε > 0에 대하여 δ > 0이 존재하여 |x − a| < δ이면 |f(x) − f(a)| < ε임을 의미한다”)는 다중 양화와 관계를 본질적으로 포함한다. 이러한 정의는 명제 논리의 틀 안에서는 형식화가 불가능하며, 내부 구조를 분석하는 술어 논리가 필요하다. 19세기 해석학의 엄밀화는 이러한 형식적 표현의 필요성을 부각시켰으며, 술어 논리의 개발의 중요한 배경이 되었다(Dedekind, 1888).

9. 동일성과 기술구의 처리 불가능

명제 논리는 동일성(identity) 관계와 기술구(description)를 형식적으로 다루지 못한다. “샛별은 개밥바라기이다“와 같은 동일성 진술은 명제 논리에서 단일 명제 변항으로 표현되며, 그 동일성의 의미가 사라진다. 마찬가지로 “현재 프랑스의 왕“과 같은 기술구의 지시 대상과 존재 전제의 문제는 명제 논리로는 분석할 수 없다. 러셀의 1905년 논문 “On denoting“은 기술구의 분석을 위해서는 술어 논리의 양화 구조가 필요함을 보였다. 동일성과 기술구의 형식적 분석은 술어 논리의 주요 응용 영역 중 하나이다(Russell, 1905).

10. 표현력 한계의 이론적 원인

명제 논리의 표현력 한계의 이론적 원인은 명제를 원자적 단위로 취급한다는 기본 전제에 있다. 이 전제는 명제 논리를 진리 함수적 체계로 만들며, 그 표현력을 진리 함수적 구조의 분석에 한정한다. 명제의 내부 구조(주어, 술어, 개체, 관계, 양화)를 분석하기 위해서는 이 기본 전제를 넘어서는 새로운 형식 체계가 필요하다. 술어 논리는 명제의 내부 구조를 함수-논항 구조로 분석함으로써 이러한 한계를 극복한다. 따라서 명제 논리의 한계는 더 풍부한 표현력을 가진 논리 체계의 필요성을 이론적으로 정당화한다(van Dalen, 2013).

11. 새로운 논리 체계의 필요성

명제 논리의 표현력 한계는 새로운 논리 체계의 개발을 요청하였다. 이 새로운 체계는 명제의 내부 구조를 분석하며, 양화, 관계, 동일성, 기술구의 형식적 처리를 가능하게 해야 한다. 프레게의 1879년 저작 Begriffsschrift는 이러한 요청에 대한 최초의 체계적 응답이며, 양화사와 함수-논항 구조를 포함하는 형식 언어를 제시하였다. 이후 러셀, 화이트헤드, 힐베르트, 괴델 등에 의하여 술어 논리는 현대적 형태로 발전되었으며, 명제 논리의 한계를 극복한 표준 형식 체계로 자리 잡았다(Frege, 1879; Hilbert & Ackermann, 1928).

12. 본 절의 결론적 정리

명제 논리는 진리 함수적 분석에 적합한 형식 체계이지만, 명제의 내부 구조를 분석하지 않으므로 여러 근본적인 표현력의 한계를 가진다. 명제 논리는 아리스토텔레스의 삼단 논법과 같은 전통적 논증의 형식적 타당성을 포착하지 못하며, 일반성(“모든 x에 대하여 P(x)”), 관계(“x는 y보다 크다”), 다중 양화, 동일성, 기술구 등을 형식적으로 다루지 못한다. 이러한 한계는 명제를 원자적 단위로 취급하는 명제 논리의 기본 전제에서 비롯된다. 수학적 추론의 엄밀한 형식화 요구와 함께, 명제 논리의 이러한 한계는 명제의 내부 구조를 분석하는 새로운 논리 체계의 개발을 요청하였다. 술어 논리는 이러한 요청에 대한 응답으로 프레게의 Begriffsschrift에서 출발하여 현대적 형태로 발전되었으며, 명제 논리의 한계를 극복한 표준 형식 체계로 확립되었다. 학습자는 명제 논리의 표현력 한계의 구체적 양상, 이론적 원인, 그리고 새로운 형식 체계의 필요성을 정확히 이해해야 한다.

13. 출처

• Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
• Dedekind, R. (1888). Was sind und was sollen die Zahlen?. Braunschweig: Vieweg.
• Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge University Press.
• Russell, B. (1905). On denoting. Mind, 14(56), 479–493.
• Hilbert, D., & Ackermann, W. (1928). Grundzüge der theoretischen Logik. Berlin: Springer.
• Kneale, W., & Kneale, M. (1962). The Development of Logic. Oxford: Clarendon Press.
• Shapiro, S. (1991). Foundations without Foundationalism: A Case for Second-Order Logic. Oxford: Oxford University Press.
• van Dalen, D. (2013). Logic and Structure (5th ed.). Berlin: Springer.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

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