‘진실(truth)’은 인간이 세계를 이해하고 소통하는 데 있어 가장 본질적인 개념입니다. 철학, 언어, 수학, 과학에서 모두 진실을 정의하려는 시도가 이어져 왔고, 그 중에서도 논리학은 ‘참(true)’과 ‘거짓(false)’이라는 이진값으로 진실을 형식화하려 했습니다. 그러나 이러한 이진 논리 체계가 실제 세계의 복잡성과 모순을 모두 담아낼 수 있을지는 여전히 논쟁거리입니다.
형식 논리와 진리값
수학과 컴퓨터 과학에서 사용되는 명제 논리(propositional logic)는 진술을 ‘참’ 또는 ‘거짓’이라는 두 가지 값 중 하나로 분류합니다. 예를 들어:
\[ P: \text{“2는 짝수이다”} \Rightarrow \text{참(True)} \] \[ Q: \text{“모든 소수는 짝수이다”} \Rightarrow \text{거짓(False)} \]
이런 명제는 형식적으로 다룰 수 있으며, 진리표(truth table)를 통해 논리 연산의 결과를 계산할 수 있습니다.
진리표의 예: 논리 연산
논리 연산 \( \land \), \( \lor \), \( \rightarrow \)는 진리값을 바탕으로 구성됩니다:
| P | Q | P ∧ Q | P ∨ Q | P → Q |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | F | T | T |
| F | F | F | F | T |
이는 진리값이 논리적 정합성을 판단하는 데 강력한 도구임을 보여줍니다.
진실과 사실의 차이
철학에서는 ‘진실’과 ‘사실(fact)’을 구분합니다. ‘사실’은 실제로 발생한 사건이나 상태이고, ‘진실’은 그것에 대한 언어적 혹은 논리적 설명의 정합성입니다. 예를 들어, “하늘은 파랗다”는 진술은 관찰된 사실이지만, 빛의 산란 이론 없이 논리만으로는 그 원인을 설명하기 어렵습니다.
이러한 구분은 논리적 참/거짓만으로는 현실의 진실 전체를 포착하기 어렵다는 점을 시사합니다.
고전 논리의 한계와 다치 논리
현실은 이진논리만으로 설명되지 않는 경우가 많습니다. 예를 들어, “이 문장은 거짓이다” 같은 자기지시적 문장은 고전 논리에서 모순을 일으킵니다. 이를 해결하기 위해 3치 논리(three-valued logic)나 퍼지 논리(fuzzy logic)가 제안되었습니다.
퍼지 논리에서는 진리값이 0과 1 사이의 연속값을 가지며, 이는 불확실성, 애매성, 확률적 사실에 대한 판단에 적합합니다.
언어, 맥락, 진리조건 의미론
현대 언어철학은 진리조건 의미론(truth-conditional semantics)을 통해 문장의 진위를 문장이 성립하는 조건과 연결지으려 합니다. 하지만 이는 문화, 시간, 관찰자 관점에 따라 달라질 수 있어 절대적 참/거짓 기준의 어려움을 보여줍니다.
결론
‘논리적 참과 거짓’은 진실 판단의 강력한 도구지만, 실제 세계의 복잡성과 의미의 유동성은 이진 논리만으로 설명되기 어렵습니다. 진실은 단순한 명제가 아니라, 언어, 맥락, 인식, 그리고 수학적 구조가 교차하는 복합적인 개념입니다.
수학은 진실을 정제하려는 가장 순수한 시도이며, 논리는 그 시도의 형식적 도구입니다.