논리학

최근 수정 시각:

파일:나무위키+상위문서.png   상위 문서: 학문 관련 정보, 형식과학

파일:나무위키+넘겨주기.png   관련 문서: 철학


論理學 / logic

논리학은 수학의 청년 시대이고, 수학은 논리학의 장년 시대이다.


- 버트런드 러셀


1. 개요2. 논리학의 영역
2.1. 비형식 논리학2.2. 형식 논리학
2.2.1. 표준 논리2.2.2. 비표준 논리2.2.3. 메타 논리
3. 역사
3.1. 서양
3.1.1. 논리학사 참고 문헌
3.2. 동양
4. 교과서5. 논리학 관련 정보

1. 개요[편집]

논리학이 무엇이냐는 질문에 대한 대답은 물론 시대에 따라 달랐다. 역사가 흐르면서 새로운 다양한 철학자들이 새로운 논리 체계들을 주장함에 따라 당연히 논리학의 정의도 바뀌었다.

아리스토텔레스가 정언 논리categorical logic 체계를, 스토아 학파가 명제 논리propositional logic 체계를 발전시키고, 라이프니츠는 논리학의 기호화를 제창했다. 그리고 고틀로프 프레게와 버트런드 러셀이 양화 논리quantificational logic(=술어 논리predicate logic) 체계를 만든다. 양화논리의 개발 이후 논리학계에는 양상 논리modal logic, 규범 논리deontic logic, 시제 논리temporal logic, 연관 논리relevance logic, 다치 논리many-valued logic, 퍼지 논리Fuzzy logic 등 여러 확장된 논리 체계를 갖추게 된다. 이런 다양한 논리학이 제시된 이후 논리학계에선 논리학을 '올바른 논증과 올바르지 않은 논증을 구별해내는 법을 연구하는 학문' 정도로 정의한다.

여기서 올바르지 않은 논증과 올바른 논증은 각 논리체계마다 다르다. 마치 수학에서 미분기하학과 대수기하학이 다른 분야인 것처럼 논리학에서도 다치논리와 퍼지논리는 다른 체계다. 이렇게 수학이나 논리학이나 약속된 형식체계를 연구한다고 해서 이들을 형식과학이라 부른다.

수학과의 차이점이라 하면, 논리학은 언어적이고, 수학은 수학기호만 인정한다고 보면 된다. 현대 수학은 힐베르트가 제창한 공리주의/형식주의에 무한 개념을 인정했기 때문에, 언어성이나 현실성은 배제된다. 흔히 오해하는 부분은 수리논리학인데, 수리논리학은 언어를 수학화-기호화시키거나 수학을 언어화시키는 체계이지 수학과 논리학이 같음을 의미하는게 아니다. 물론 컴퓨터공학, 암호학 등의 필요성에 의해서 언어를 기호화 수리화시키는 수리논리학이 논리학계에서 대세 of 대세인 것은 맞다. 재정지원이 다 이쪽으로 쏠려서...

2. 논리학의 영역[편집]

2.1. 비형식 논리학[편집]

일상적으로 우리가 말하고 듣고 쓰는 이 타당하고 합당한 논증으로서 잘 성립하는지 따지는 학문. 즉 흔히들 "난 논리적인 사람이야!"라고 말할 때, 논술에서 "글을 논리적 흐름에 맞춰서 써라!"고 말할 때 "논리적"이라는 것은 비형식 논리학을 기준으로 따지는 경우가 대부분이다.

가령, <순환논증 오류>, <논점일탈의 오류>, <인신공격의 오류>, <피장파장의 오류>, <허수아비 공격의 오류> 등이 비형식 논리학에서 다루는 것들이다.

이처럼 비형식 논리학은 추상적인 형식뿐만이 아니라 구체적인 말의 내용을 따지는 것이므로 수학이나 기호 등을 동원하는 형식적인 방법론을 잘 취하지 않는다. 그 때문에 비형식 논리학은 좁은 의미의 "논리학"에는 포함되지 않는다고 여겨지는 경우도 잦다. 하지만 시험[1]에서 필요한 경우도 있거니와, 대다수의 사람들이 실제 생활에서 써먹기에는 형식 논리학보다 훨씬 더 중요한 분야. 결정적으로 나무위키에서도 중요하다! 나무위키에서 토론을 하기에 앞서서 나무위키:토론 도움말에 실린 '논리적 오류' 항목을 참조하자.

흔히 대학교양 과목으로 개설되는 <비판적 사고>나 <논리와 사고> 수업에서 주로 비형식 논리를 중점적으로 배울 수 있다. 논리적 오류 항목에 비형식 논리에 관한 자세한 내용들이 수록되어 있다.

2.2. 형식 논리학[편집]





논증을 구성하는 명제/진술 등의 내용에 관심을 두는 것이 아니라 그 형식에 초점을 두어 연구하는 학문. 추상적인 형식에 초점을 기울이니만큼 현대에는 당연히 수학적 기법과 기호 등을 도구로 삼아 이루어진다. 실질적으로 학계에서 "논리학"이라고 할 때에는 형식 논리학을 가리킨다고 볼 수 있다.

형식 논리학에서 쓰는 논리식은 일상에서 쓰는 말을 추상화시킨 것이지만, 일상 언어 표현과 형식 논리 정식 간에는 의미상의 괴리가 있을 수 있다. 예를 들어 표준 논리의 논리식인 실질 조건문 "PQ""P \to Q"는 자칫 한국어 문장 "만약 P이면 Q다" 혹은 영어 문장 "If P, then Q"와 의미가 똑같은 것으로 오해하기 쉽지만 그 의미상 다를 수 있다. 보다 자세한 사항은 표준논리를 다룬 문서에서 확인할 수 있다.

2.2.1. 표준 논리[편집]

Standard logic. 동일률(ϕϕ\phi \to \phi), 무모순율(¬(ϕ¬ϕ) \neg (\phi \wedge \neg \phi)), 배중률(ϕ¬ϕ\phi \vee \neg \phi) 등을 비롯한 전통적인 논리적 법칙들 혹은 공리들을 받아 들이는, 말 그대로 표준적인 논리체계. "고전 논리(Classical Logic)"이라고도 불린다. 아리스토텔레스삼단논법고틀로프 프레게수리 논리학이 모두 표준 논리에 해당한다.

철학과의 전공과목이나 수학과의 수리논리에서 명제논리와 1차 술어 논리를 시작으로 기본적으로 배우게 되는 논리 체계. 이 과정에서 일상언어(혹은 수학의 언어)의 형식언어로의 번역, 형식 논리학의 추론규칙, 의미이론 등을 배우게 된다.

보다 구체적인 내용은 수리 논리학 문서에서 다룬다.

2.2.2. 비표준 논리[편집]

Non-standard logic. 표준 논리에 (i) 새로운 공리/추론규칙을 추가하거나 (ii) 표준 논리의 공리/추론규칙 대신 다른 공리/규칙을 채택한 언어 및 논리체계를 통틀어 이르는 말. 즉 비표준 논리에서 채택되는 형식언어들은 표준적인 형식언어들과는 다른 의미체계를 갖는다. 그중 유명한 예시들을 들자면 다음과 같다:

  • 다치 논리(many-valued logic): 명제/문장이 참(T)과 거짓(F) 말고도 다른 진리치를 가질 수 있는 논리 체계. 즉 이가원리(principle of bivalence)[2]를 받아 들이지 않는 체계다. 대표적으로 3가지 진리치를 인정하는 3가 논리(혹은 3진 논리)가 있다.

  • 퍼지 논리(fuzzy logic): 진리치가 참과 거짓만이 아니라 연속 폐구간 [0,1] 가운데 어느 한 실수이면 되는 논리체계. 즉 참과 거짓으로 딱 나뉘어 떨어지지 않는 경우를 설명하기에 적합하다. 안드레이 콜모고로프가 공리체계로 제시한 현대 확률론, 혹은 귀납논리 또한 비슷한 취지에서 비표준논리로 간주될 여지가 있다.

  • 직관주의 논리(intuitionistic logic): 어떤 명제가 그 증명과 독립적으로 참이거나 거짓이라는 전제를 거부하는 입장. 즉 배중률을 거부하며, 그 때문에 표준 논리의 일부 추론규칙들[3]을 받아들이지 않는다. 또한 참 개념 대신 증명가능 개념을 쓰기 때문에, 임의의 명제 ϕ\phi 의 참은 'ϕ\phi은 증명이 가능함', 거짓은 'ϕ\phi의 증명이 가능하면 모순도 증명이 가능함'으로 대체된다. 따라서 직관주의 논리를 처음 접하는 사람들이 오해하는 것과는 달리 직관주의 논리가 다치논리의 일종인 것은 아니다.[4]

  • 양상 논리(modal logic): "필연적이다", "가능하다" 같은 표현을 다루기 위해 표준 논리학에 양상연산자(modal operator)를 도입하여 만들어진 논리 체계. 시제를 다루기 위한 '시제 논리', 의무를 도입하기 위한 '당위 논리' 등 역시 양상 논리에 포함된다. 자세한 내용은 양상 논리 참조.


철학적 논리학(philosophical logic)이란 표준/비표준 논리를 막론하고 철학의 여러 분야에서 유용하게 쓰이는 논리 체계들 및 그에 관한 논리철학적 연구를 포괄적으로 일컫는 말이다. 예컨대 양상 논리는 타 분야보다도 철학에서 특히 많은 관심을 갖는 논리체계이며, 부사구 수식이나 사건 존재론 등에서 나타나는 논리적 문제를 다루기 위해서 고안된 논리체계 또한 있다.(가령 의도를 연산자로 도입하는 체계가 있다.)

2.2.3. 메타 논리[편집]

Metalogic. 메타논리학이란 논리체계에 대해서 성립하는 속성들을 탐구하는 논리학의 중요한 영역이다. 쿠르트 괴델불완전성 정리 이후 본격적으로 발전하기 시작했다. 잘 알려진 괴델의 불완전성 증명 역시 이들 연구에 빚짐과 동시에 큰 영향을 끼쳤다. 뿐만 아니라, 메타논리의 성과는 전산학이나 컴퓨터과학의 발전에도 큰 영향을 주었다. 대표적인 메타논리적 속성으로 완전성(completeness), 건전성(soundness), 조밀성(compactness) 등의 속성이 있다. 메타논리학의 연구영역으로 크게 4가지 영역이 있다.

  • 계산가능성 이론(회귀함수 이론)

    • 어떤 것이 기계적으로 계산 가능한지 혹은 결정가능한지에 대해서 탐구하는 분야. 잘 알려진 튜링머신에 관련된 논의가 이루어지는 영역이다. 어떤 체계에서 주어진 문제가 튜링머신을 통해서 해결가능한지의 문제나 어떤 해결방법이 튜링머신의 해결방법과 동등한지 등의 문제들을 다룬다. 결정가능성(decidability)역시 큰 주제중 하나다.(결정가능성이란 어떤 체계에서 주어진 문장이 그 체계의 정리인지 아닌지를 결정하는 기계적 절차가 존재하는가에 관한 문제)

  • 모형 이론

    • 어떤 체계의 언어표현의 의미에 대해서 다루는 분야다. 주로 1차언어의 표현의 의미와 그 구조에 대해서 탐구하는 분야이다. 주로 귀결개념과 관련된 문제들을 다룬다.

  • 증명 이론

    • 모형이론이 언어표현의 의미에 대해서 다룬다면 증명이론은 언어표현 자체에 대해서 다루는 구문론적 영역이다. 주로 증명의 구조에 대한 탐구가 이루어진다.

3. 역사[편집]

3.1. 서양[편집]

고대 그리스의 논리적 사유는 엘레아 학파제논(1번 항목) 및 프로타고라스, 고르기아스소피스트 사상가들에게서 그 원류를 찾을 수 있으나, 그것이 일정한 학문으로 정립된 것은 아리스토텔레스에 이르러서다. 어떤 연구자들은 아리스토텔레스는 순전히 무에서 유를 창조했다고 주장하나, 당장 밑에 참고도서로서 제시되어 있는 닐 부부의 논리학의 역사조차 플라톤에게 한 장 전체를 할애하고 있다. 즉 아리스토텔레스가 순전히 무에서 유를 창조했다고 주장하는 것에 대해 어떤 연구자들이 명확히 반대하고 있다는 것은 확실히 할 수 있다. 또한 논리학의 역사에서 말하길 고전 논리 전체를 아리스토텔레스가 완성했다고 종전에는 생각되었으나, 적극적인 논리학사 연구를 통해 열심히 살펴보니 아리스토텔레스 이후의 기여도 상당히 많이 있다고 한다. 그래도 이런 연구들이 증명하는 것은 생각보다 아리스토텔레스의 공헌도가 조금 작았다는 거지, 아리스토텔레스가 체계 자체를 세우다시피 한 것은 사실이며 《명제론》, 《범주론》 등 함께 뭉쳐져 『오르가논』이라고 불리는 아리스토텔레스의 저작들에서 삼단논법을 비롯한 고전적인 연역논리의 대부분이 마련되었다. 아리스토텔레스의 논리학은 이후 스토아 학파 등에 의해 계승되었으며, 명제논리의 많은 부분이 스토아 학파 등 고대 후기의 논리학자들에 의해 발견되었다.

보에티우스 같은 철학자를 통해 이어진 논리학은 중세 유럽스콜라 철학에서 매우 중시되었고, 스코투스 등 유명한 스콜라 철학자 중 많은 이들은 논리학에서도 많은 업적을 남겼다. 고전적인 연역논증이 중세에 확립되었다고 볼 수 있다. "귀결(consequence)" 개념이 확립된 것이 그 대표적인 예시 중 하나이다.

르네상스 이후 아리스토텔레스주의가 지성들 사이에서 의심을 받게 됨에 되었고, 곧 아리스토텔레스의 핵심적 유산인 논리학 또한 근대에 접어들면서 어느 정도 침체에 접어들었다. 다만 유의할만한 점으로는 그 반작용으로 베이컨 등에 의한 귀납논리의 중요성이 제시된 점을 들을 수 있다. 그리고 이러한 귀납논리의 전통은 까지 이어진다. 예외적으로 라이프니츠는 수학에서 수 대신 대수(代數)를 사용하는 것처럼 논리학 역시 자연언어 대신 기호를 사용할 것을 주장하면서, 논리적 보편언어 및 논리적 연산법의 이념, 즉 기호논리학에 해당하는 발상을 구체적으로 제시했다는 점에서 특기할 만하다.

이런 침체가 극적으로 해소되기 시작한 것은 드모르간 그리고 퍼스 등이 (기호)논리학을 본격적으로 발전시키면서부터였다. 이러한 추세는 프레게페아노, 데데킨트 등이 산수를 논리학으로 환원시키고자 하는 논리주의(logicism)[5]를 발전시키면서 더욱 가속화되었다. 특히 프레게는 1차 술어 논리 체계를 구체적으로 고안함으로써 아리스토텔레스 이래 내려온 논리학을 근본적으로 탈바꿈해놓았다. 비록 프레게 자신이 <산술의 기초(Grundgesetze der Arithmetik)>에서 제시했던 기획은 러셀의 역설에 의해 좌초되었지만, 논리주의는 오히려 러셀화이트헤드에 <수학 원리(Principia Mathematica)>에 의해 계승되었다. 이에 반발한 브라우어의 직관주의, 힐베르트의 형식주의가 등장하는 등 수학 기초론 논의가 활활 타오름에 따라 논리학 또한 급격한 발전을 이루기 시작했다. 힐베르트의 23가지 문제 등은 20세기 초 논리학과 수학 기초론이 얼마나 각광받았는지 보여주는 좋은 증거다.

이런 논리학의 발전 가운데 가장 극적인 사건은 괴델불완전성 정리를 통해 산술 체계를 포함하는 논리체계가 무모순함과 동시에 완전할 수 없다는 것을 증명한 것이었다. 이는 논리주의와 형식주의를 끝내 좌초시켰으며, 동시에 논리학이 모형 이론, 증명 이론, 집합론 및 철학적 논리학 등 여러 하위 분야로 분화되어 현대적으로 발전하게끔 하는 계기를 제공하였다.

3.1.1. 논리학사 참고 문헌[편집]

3.2. 동양[편집]

동양에서는 고대 중국의 제자백가 가운데 혜시, 등석, 공손룡 등 명가(名家) 사상가들 및 묵가(墨家)에서 논리학적 사유의 원형이 발견되긴 하지만, 형식적 학문으로 정립되는 단계까지 나아가지 못했다. 인도에서는 웃드요따까라 등 니야야-바이셰쉬카 사상가들이 연역법과 유비 추리를 결합시킨 논리학을 정립했고, 디그나가, 샹까라스와민, 다르마끼르띠 등 불교 유식(唯識) 사상가들 역시 논리학에 관심을 두고 깊이 연구하기도 했다.

4. 교과서[편집]

비형식 논리학과 형식 논리학을 막론하고 다양한 소개서 및 교과서들이 나와있다. 수리 논리학양상논리 등 각각의 세부 항목에서 해당 분야의 유명한 교과서에 대한 소개를 찾을 수 있다.

영어로 된 논리학 교과서에 관해서는 전 케임브리지 대학교 교수인 피터 스미스가 정기적으로 업데이트하는 "Teach Yourself Logic" 문서를 참조하면 좋다. 독학용으로 참조하기에 좋은 다양한 교과서들에 대한 평가가 올라와 있다.

5. 논리학 관련 정보[편집]

논리학 개념들 및 논리학자 등에 관해서는 논리학 관련 정보 참조. 아래는 그외 관련된 항목들.


[1] PSAT, LEET, 대기업인적성시험 등[2] 배중률(law of excluded middle)과 혼동할 수 있는데 이가원리는 의미론적 개념으로 한 명제의 진리치는 참과 거짓 둘뿐이라는 얘기고 배중률은 구문론적 개념으로 ϕ¬ϕ\phi \vee \neg \phi 형태의 명제들을 공리(axiom)로 채택한다는 뜻이며 명제의 진리치와는 관련이 없는 개념이다.[3] 예를 들어 간접적 귀류법과 이중부정규칙를 거부한다. 사실 간접적 귀류법과 이중부정규칙은 동일한 규칙으로 볼 수 있다. 수리 논리학 항목 참조.[4] 반면에 배중률은 받아 들이지만 이가원리는 인정하지 않는 비표준논리가 있는데 그 예가 초일관논리(paraconsistent logic)다.[5] 19세기 이후 기존 수학에서 중심적인 역할을 가졌던 수나 도형 같은 직관적 개념들 대신 순수 공리체계가 중요해짐에 따라 촉발되었으며, 자연수를 집합론적으로 정의한 데데킨트-페아노의 업적 또한 논리주의적 기획 중 하나에 해당한다고 볼 수 있다.