7.1 논리적 귀결의 개념

1. 절의 학술적 목표

본 절은 논리적 귀결(logical consequence) 개념의 학술적 의미를 명료하게 제시하고, 그 직관적 이해로부터 정확한 정의에 이르는 개념적 이행을 체계적으로 검토하는 것을 목표로 한다. 논리적 귀결은 논리학의 가장 근본적인 개념이며, 타당한 추론의 평가 기준이자 형식 논리 체계의 의미론적 기초이다. 본 절의 학습은 이후의 모든 메타논리학적 논의의 출발점이 된다.

2. 논리적 귀결의 직관적 이해

논리적 귀결의 직관적 이해는 다음과 같이 제시될 수 있다. 명제 Q가 명제 집합 Γ의 논리적 귀결이라는 것은, Γ의 모든 명제가 참이라면 Q도 반드시 참이 될 수밖에 없는 관계이다. 즉, 전제들의 참이 결론의 참을 보장하는 관계가 논리적 귀결이다. 이러한 직관은 “따라서”, “그러므로“와 같은 일상적 추론 표지의 배후에 있는 의미론적 구조를 드러낸다(Tarski, 1936).

3. 논리적 귀결의 형식적 표현

논리적 귀결은 형식적으로 “Γ ⊨ Q“로 표기된다. 여기서 Γ는 전제의 집합, Q는 결론, ⊨는 귀결 관계를 나타내는 기호이다. 이 표기는 “Γ로부터 Q가 논리적으로 따라 나온다” 또는 “Γ가 Q를 논리적으로 함의한다“로 읽힌다. 이러한 형식적 표현은 논리적 귀결에 대한 엄밀한 논의의 기반이 된다(Copi, Cohen, & McMahon, 2014).

4. 보편성의 요건

논리적 귀결의 본질적 특징 중 하나는 보편성의 요건이다. Q가 Γ의 논리적 귀결이라는 것은, 특정 상황이나 해석에서만 성립하는 관계가 아니라 모든 가능한 상황이나 해석에서 성립하는 관계이다. 즉, Γ가 참인 모든 경우에 Q도 반드시 참이어야 한다. 이러한 보편성은 논리적 귀결이 우연적 진리 관계가 아니라 필연적 관계임을 의미한다(Tarski, 1936).

5. 형식성의 요건

논리적 귀결의 또 다른 본질적 특징은 형식성의 요건이다. 논리적 귀결은 명제들의 내용이 아니라 논리적 형식에 의존한다. 즉, Q가 Γ의 논리적 귀결인지 여부는 명제들의 논리적 구조만으로 결정되며, 구체적 의미와 무관하다. 이러한 형식성은 논리적 귀결이 주제 중립적(topic-neutral)임을 의미한다(Etchemendy, 1990).

6. 직관적 귀결 개념의 세 요건

논리적 귀결 개념에 대한 직관은 다음 세 가지 요건으로 요약될 수 있다. 첫째, 필연성: Γ가 참이면 Q도 반드시 참이어야 한다. 둘째, 선험성: 귀결 관계는 경험적 지식이 아닌 논리적 분석을 통해 알 수 있어야 한다. 셋째, 형식성: 귀결 관계는 명제의 논리적 형식에 의해 결정되어야 한다. 이 세 요건은 논리적 귀결 개념의 학술적 특성을 규정한다(Etchemendy, 1990).

7. 귀결 개념의 예시

논리적 귀결의 대표적 예시는 다음과 같다. 전제 “모든 사람은 죽는다“와 “소크라테스는 사람이다“로부터 결론 “소크라테스는 죽는다“가 논리적으로 따라 나온다. 이 관계는 전제와 결론의 구체적 내용에 의존하지 않고, 그 논리적 형식(“모든 F는 G이다”, “a는 F이다” → “a는 G이다”)에 의해 결정된다. 따라서 이 귀결 관계는 형식적이고 보편적이며 필연적이다(Aristotle, trans. 1984).

8. 논리적 귀결과 수반적 참의 구분

논리적 귀결은 단순히 전제와 결론이 함께 참이라는 사실과 구분되어야 한다. 전제와 결론이 우연히 모두 참이라고 해서 결론이 전제의 논리적 귀결이라고 할 수 없다. 예를 들어 “파리는 프랑스의 수도이다“와 “2+2=4“는 모두 참이지만, 후자가 전자로부터 논리적으로 따라 나오는 것은 아니다. 논리적 귀결은 진리값의 우연적 일치가 아니라 필연적 관계이다(Copi, Cohen, & McMahon, 2014).

9. 논리적 귀결과 타당성의 관계

논리적 귀결 개념은 논증의 타당성 개념과 밀접히 연결된다. 논증이 타당하다는 것은 그 논증의 결론이 전제들의 논리적 귀결이라는 것이다. 따라서 논리적 귀결은 타당한 논증의 의미론적 기반이며, 타당성 개념의 형식적 정립을 위한 전제 개념이다(Hurley, 2014).

10. 타르스키의 모델 이론적 정의 서설

알프레드 타르스키는 1936년의 고전적 논문 “Über den Begriff der logischen Folgerung“에서 논리적 귀결에 대한 모델 이론적 정의를 제시하였다. 타르스키의 정의에 따르면, Q가 Γ의 논리적 귀결이라는 것은 Γ의 모든 명제를 참으로 만드는 모든 해석(모델)에서 Q도 참이 되는 경우이다. 이 정의는 논리적 귀결 개념에 엄밀한 수학적 기반을 제공하였다(Tarski, 1936).

11. 논리적 귀결 개념의 학술적 중요성

논리적 귀결 개념의 학술적 중요성은 다음과 같이 정리된다. 첫째, 그것은 타당한 추론과 부당한 추론을 구별하는 의미론적 기준을 제공한다. 둘째, 그것은 형식 논리 체계의 건전성과 완전성을 평가하는 기준이 된다. 셋째, 그것은 수학적 증명의 학술적 정당성을 구성한다. 넷째, 그것은 철학적 논리학과 형식 논리학의 공통 기반을 형성한다. 이러한 중요성은 논리적 귀결이 논리학의 중심 개념임을 보여 준다(van Benthem, 2008).

12. 본 절의 결론적 정리

논리적 귀결은 전제의 참이 결론의 참을 필연적, 보편적, 형식적으로 보장하는 관계이다. 이 개념은 직관적으로 “전제가 참이면 결론도 반드시 참일 수밖에 없는” 관계로 이해되며, 형식적으로는 “Γ ⊨ Q“로 표기된다. 논리적 귀결은 타당한 추론의 의미론적 기반이며, 형식 논리 체계와 철학적 논리학의 공통 중심 개념이다. 학습자는 직관적 이해로부터 출발하여 이후의 엄밀한 형식적 정의에 이르는 개념적 이행을 준비하여야 한다.

13. 출처

• Aristotle. (1984). Prior Analytics. In J. Barnes (Ed.), The Complete Works of Aristotle. Princeton: Princeton University Press.
• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Etchemendy, J. (1990). The Concept of Logical Consequence. Cambridge, MA: Harvard University Press.
• van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88(1), 67–84.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.

14. 버전

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