변증논리학(Dialectical logic)
소크라테스가 정립하고 헤겔과 마르크스주의자 전통(Marxist tradition) 내에서 개발되어 발전된 사고의 논리 체계. 형식논리학이 모순을 부정하는 데에 반해, 변증논리학은 모순의 필연성을 승인한다. 변증논리학 체계를 계승하는 관념론 헤겔주의와, 변증법적 유물론 학파가 이에 기반한다.
고대 그리스의 논리적 사유는 엘레아의 제논 및 프로타고라스, 고르기아스 등 소피스트 사상가들에게서 그 원류를 찾을 수 있으나, 그것이 일정한 학문으로 정립된 것은 아리스토텔레스에 이르러서다. 어떤 연구자들은 아리스토텔레스는 순전히 무에서 유를 창조했다고 주장하나, 당장 밑에 참고 도서로서 제시되어 있는 닐 부부의 논리학의 역사조차 플라톤에게 한 장 전체를 할애하고 있다. 즉 아리스토텔레스가 순전히 무에서 유를 창조했다고 주장하는 것에 대해 어떤 연구자들이 명확히 반대하고 있다는 것은 확실히 할 수 있다. 또한 논리학의 역사에서 말하길 고전 논리 전체를 아리스토텔레스가 완성했다고 종전에는 생각되었으나, 적극적인 논리학사 연구를 통해 열심히 살펴보니 아리스토텔레스 이후의 기여도 상당히 많이 있다고 한다. 그래도 이런 연구들이 증명하는 것은 생각보다 아리스토텔레스의 공헌도가 조금 작았다는 거지, 아리스토텔레스가 체계 자체를 세우다시피 한 것은 사실이며 《명제론》, 《범주론》 등 함께 뭉쳐져 『오르가논』이라고 불리는 아리스토텔레스의 저작들에서 삼단논법을 비롯한 고전적인 연역논리의 대부분이 마련되었다. 아리스토텔레스의 논리학은 이후 스토아 학파 등에 의해 계승되었으며, 명제논리의 많은 부분이 스토아 학파 등 고대 후기의 논리학자들에 의해 발견되었다.
보에티우스 같은 철학자를 통해 이어진 논리학은 중세 유럽의 스콜라 철학에서 매우 중시되었고, 스코투스 등 유명한 스콜라 철학자 중 많은 이들은 논리학에서도 많은 업적을 남겼다. 고전적인 연역논증이 중세에 확립되었다고 볼 수 있다. "귀결(consequence)" 개념이 확립된 것이 그 대표적인 예시 중 하나이다.
르네상스 이후 아리스토텔레스주의가 지성들 사이에서 의심을 받게 됨에 되었고, 곧 아리스토텔레스의 핵심적 유산인 논리학 또한 근대에 접어들면서 어느 정도 침체에 접어들었다. 다만 유의할만한 점으로는 그 반작용으로 베이컨 등에 의한 귀납논리의 중요성이 제시된 점을 들을 수 있다. 그리고 이러한 귀납논리의 전통은 밀까지 이어진다. 예외적으로 라이프니츠는 수학에서 수 대신 대수(代數)를 사용하는 것처럼 논리학 역시 문자 대신 기호를 사용할 것을 주장하면서, 논리적 보편언어 및 논리적 연산법의 이념, 즉 기호논리학에 해당하는 발상을 구체적으로 제시했다는 점에서 특기할 만하다.
이런 침체가 극적으로 해소되기 시작한 것은 드 모르간 및 불 그리고 퍼스 등이 (기호)논리학을 본격적으로 발전시키면서부터였다. 이러한 추세는 프레게 및 페아노, 데데킨트 등이 수학을 논리학으로 환원시키고자 하는 논리주의(logicism)를 발전시키면서 더욱 가속화되었다. 특히 프레게는 술어 논리 체계를 구체적으로 고안함으로써 아리스토텔레스 이래 내려온 논리학을 근본적으로 탈바꿈해놓았다. 비록 프레게 자신이 <산술의 기초(Grundgesetze der Arithmetik)>에서 제시했던 기획은 러셀의 역설에 의해 좌초되었지만, 논리주의는 오히려 러셀과 화이트헤드에 <수학 원리(Principia Mathematica)>에 의해 계승되었다. 이에 반발한 브라우어의 직관주의, 힐베르트의 형식주의가 등장하는 등 수학 기초론 논의가 활활 타오름에 따라 논리학 또한 급격한 발전을 이루기 시작했다. 힐베르트의 23가지 문제 등은 20세기 초 논리학과 수학 기초론이 얼마나 각광받았는지 보여주는 좋은 증거다.
이런 논리학의 발전 가운데 가장 극적인 사건은 괴델이 불완전성 정리를 통해 산술 체계를 포함하는 논리체계가 무모순함과 동시에 완전할 수 없다는 것을 증명한 것이었다. 이는 논리주의와 형식주의를 끝내 좌초시켰으며, 동시에 논리학이 모형 이론, 증명 이론, 집합론 및 철학적 논리학 등 여러 하위 분야로 분화되어 현대적으로 발전하게끔 하는 계기를 제공하였다.