논리학 (論理學)

명제를 연구하고 논증에서 명제가 어떻게 사용되는가를 연구하는 학문.
형식논리학처럼 매우 추상적 차원에서 연구가 이루어지기도 하고 응용논리학처럼 올바른 추론의 실천적 기술에 초점을 맞추어 진행되기도 한다. 타당한 논증에는 2가지 기본형태가 있다. 첫째, 이미 있는 하나 또는 일련의 명제로부터 그 안에 숨어 있는 어떤 새로운 명제(결론)를 끌어내는 형식의 `연역논증`이다. 연역논증은 결론이 전제에서 엄격하게 필연적으로 도출된다고 강하게 주장한다. 바꾸어 말하면 어떤 전제를 긍정하면서 동시에 그 결론을 부정하면 정합성을 잃고 자기모순에 빠진다는 주장이다. 둘째, 개별사실들을 증거로 일반결론을 끌어내는 형식의 ` 귀납논증`이다. 귀납논증은 전제가 일정한 정도의 개연성 또는 합리성만을 결론에 부여할 뿐이라고 다소 약하게 주장한다. 귀납논리는 물리·사회·역사 과학의 방법론과 거의 같으므로 이제 더이상 논리학에서 다루지 않는다(→ 과학철학). 오늘날 논리학은 연역과정에 관심을 둔다. 그래서 명제와 명제가 서로 관계하는 원리뿐 아니라 이 관계를 해명하고 그에 대한 타당한 진술을 가능하게 하는 사고기법까지도 연구영역에 들어 있다.
가장 좁은 의미의 연역논리는 명제논리(또는 문장논리)와 술어논리(또는 명사표현)로 나뉜다. 가장 넓은 의미에서는 여러 언어이론(논리적 구문론·의미론 등), 메타 논리(형식체계의 방법론), 양상이론(필연성·가능성·불가능성·우연성 등에 대한 분석), 역설과 논리적 오류에 관한 연구 등이 포함된다. 이 2가지 의미의 연역논리는 모두 일련의 추상기호, 논리식을 구성하는 기호들의 연결규칙, 논리를 다루는 규칙 등을 구성하고 분석한다는 점에서 형식논리 또는 순수논리라고도 한다. 한편 기호와 식에 ..