1.2 논리학의 연구 대상과 탐구 범위
1. 절의 학술적 목표
본 절의 학술적 목표는 논리학(logic)의 연구 대상(object of study)과 탐구 범위(scope of inquiry)를 학술적으로 명료히 한정하는 것이다. 학습자는 본 절을 통하여 논리학이 무엇을 연구 대상으로 삼고, 무엇을 연구 대상에서 배제하며, 어떤 영역까지 그 탐구 범위가 확장되는지 표준적 학술 견해에 따라 진술할 수 있어야 한다.
2. 연구 대상으로서의 추론
논리학의 일차적 연구 대상은 추론(inference)이다. 추론은 일정한 명제(proposition)들로부터 다른 명제로 이행하는 인지적 또는 언어적 절차를 말한다. 그러나 논리학은 추론이라는 절차의 심리적·시간적 발생 과정을 다루는 것이 아니라, 명제들 사이에 성립하는 형식적 관계, 즉 ‘귀결 관계(consequence relation)’를 탐구한다. 알프레트 타르스키(Alfred Tarski)는 「Über den Begriff der logischen Folgerung」(1936)에서 논리적 귀결 관계를 형식적·의미론적으로 정식화함으로써 논리학의 연구 대상을 추론의 형식적 구조로 한정하는 현대적 표준을 제시하였다.
3. 연구 대상으로서의 명제와 진리치
논리학은 추론을 구성하는 단위로서 명제(proposition)를 다룬다. 명제는 참(true) 또는 거짓(false) 가운데 하나의 진리치(truth value)를 가지는 진술이다. 고틀로프 프레게(Gottlob Frege)는 『Über Sinn und Bedeutung』(1892)에서 문장의 ‘뜻(Sinn)’과 ‘지시체(Bedeutung)’를 구분하고, 평서문의 지시체를 진리치로 규정하였다. 이러한 구분은 명제와 진리치의 관계를 형식적으로 다루는 현대 논리학의 기본 전제가 된다. 다만 명제 자체의 본성, 즉 명제가 추상적 실체인가 문장 의미인가 사고 내용인가에 대한 존재론적 논의는 본 절의 범위를 넘어선다.
4. 연구 대상으로서의 형식
논리학이 다루는 추론과 명제는 ‘형식(form)’의 차원에서 분석된다. 형식 논리(formal logic)는 명제와 추론의 내용(content)이 아니라 구조(structure)에 주목한다. 예컨대 ‘모든 A는 B이다. 모든 B는 C이다. 따라서 모든 A는 C이다’라는 추론의 타당성은 A, B, C의 구체적 의미와 무관하게 성립한다. 이러한 형식적 분석의 전통은 아리스토텔레스(Aristotle)의 『Prior Analytics』에서 처음 체계화되었으며, 19세기 이후 조지 불(George Boole), 고틀로프 프레게, 주세페 페아노(Giuseppe Peano), 버트런드 러셀(Bertrand Russell)에 의하여 기호 체계로 정식화되었다.
5. 탐구 범위의 한정
논리학의 탐구 범위는 다음의 세 차원에서 한정된다.
첫째, 통사론(syntax) 차원. 통사론은 형식 언어(formal language)의 기호 체계, 잘 형성된 식(well-formed formula)의 정의, 증명(proof)과 도출(derivation)의 규칙을 다룬다.
둘째, 의미론(semantics) 차원. 의미론은 형식 언어의 표현이 어떤 모형(model)에서 어떤 진리치를 갖는가를 다루며, 모형 이론(model theory)이 이를 체계화한다.
셋째, 메타논리(metalogic) 차원. 메타논리는 형식 체계 자체의 성질, 예컨대 일관성(consistency), 완전성(completeness), 결정 가능성(decidability), 무모순성(non-contradiction) 등을 분석한다. 쿠르트 괴델(Kurt Gödel)의 『Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I』(1931)은 메타논리적 탐구의 대표적 결과 가운데 하나이다.
6. 연구 대상에서 배제되는 것
논리학은 추론의 형식적 타당성에 한정하여 탐구하므로, 다음의 영역은 논리학의 일차적 연구 대상에서 배제된다.
첫째, 추론의 심리적 발생 과정. 사고가 어떻게 두뇌에서 일어나는가에 대한 분석은 인지 과학(cognitive science) 또는 신경 과학(neuroscience)의 영역에 속한다.
둘째, 추론자가 실제로 어떤 추론을 수행하는가에 대한 경험적 기술. 이는 추론 심리학(psychology of reasoning)의 영역이며, 그 대표적 연구로는 피터 웨이슨(Peter Wason)과 필립 존슨-레어드(Philip Johnson-Laird)의 Psychology of Reasoning: Structure and Content(1972)가 있다.
셋째, 명제의 사실적 진위. 어떤 명제가 실제로 참인가를 확인하는 작업은 해당 분과 학문(자연 과학, 사회 과학, 역사학 등)의 과제이며, 논리학은 명제의 진위가 주어졌다고 가정한 상태에서 명제들 사이의 형식적 관계만을 다룬다.
이러한 배제는 프레게와 후설(Edmund Husserl)이 비판한 심리주의(psychologism)에 대한 학술적 거리 두기에서 비롯된 것이다.
7. 탐구 범위의 확장
논리학의 표준적 탐구 범위는 명제 논리(propositional logic)와 1차 술어 논리(first-order predicate logic)이며, 이 범위를 ‘고전 논리(classical logic)’라 한다. 그러나 20세기 이후 논리학의 탐구 범위는 다음과 같이 확장되어 왔다.
| 확장 영역 | 주요 연구 대상 | 대표적 정초자 |
|---|---|---|
| 양상 논리(modal logic) | 필연성과 가능성의 형식적 분석 | C. I. Lewis, Saul Kripke |
| 직관주의 논리(intuitionistic logic) | 구성주의적 진리 개념 | L. E. J. Brouwer, Arend Heyting |
| 다치 논리(many-valued logic) | 두 개 이상의 진리치 | Jan Łukasiewicz, Emil Post |
| 퍼지 논리(fuzzy logic) | 정도성을 가진 진리치 | Lotfi A. Zadeh |
| 부적합 논리(relevance logic) | 함의의 적합성 조건 | Alan Ross Anderson, Nuel Belnap |
| 부분구조 논리(substructural logic) | 구조 규칙의 제한 | Jean-Yves Girard |
| 비단조 논리(non-monotonic logic) | 결론의 가변성 | John McCarthy, Raymond Reiter |
이러한 확장은 고전 논리의 표준적 가정을 부분적으로 완화하거나 변경함으로써 새로운 형식 체계를 정초한 결과이다. 본 절은 이러한 확장 영역의 존재와 학술적 위치를 명시적으로 밝히되, 각 체계의 형식적 세부 사항은 해당 체계를 다루는 별도의 학술 문헌과 후속 권의 논의에 위임한다.
8. 본 절의 결론적 정리
본 절은 다음과 같이 정리된다. 논리학의 연구 대상은 ‘추론과 명제 사이에 성립하는 형식적 귀결 관계’이다. 그 탐구 범위는 통사론, 의미론, 메타논리의 세 차원에 걸쳐 형식 체계의 구조와 성질을 분석하는 데 한정된다. 추론의 심리적 발생, 추론자의 실제 행동, 명제의 사실적 진위 등은 본 학문 분과의 일차적 연구 대상에서 배제된다. 본 절에서 정리된 연구 대상과 탐구 범위는 본 절 이후의 모든 절에서 전제로 사용된다.
9. 출처
- Aristotle. Prior Analytics. 기원전 4세기.
- Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
- Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50.
- Husserl, E. (1900–1901). Logische Untersuchungen. Halle: Max Niemeyer.
- Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
- Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173–198.
- Wason, P. C., & Johnson-Laird, P. N. (1972). Psychology of Reasoning: Structure and Content. Cambridge, MA: Harvard University Press.
- Quine, W. V. O. (1970). Philosophy of Logic. Englewood Cliffs: Prentice-Hall.
- Haack, S. (1978). Philosophy of Logics. Cambridge: Cambridge University Press.
- Priest, G. (2008). An Introduction to Non-Classical Logic: From If to Is (2nd ed.). Cambridge: Cambridge University Press.
10. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15