이 책은 『논리적 사고의 기초』, 『추론이란 무엇인가』 등을 집필한 한양대학교 최원배 교수가 2016년 한국연구재단 인문저술지원사업 연구과제로 수행한 원고를 책으로 펴낸 것이다. 우리는 일상생활에서 자주 “A이면 C”라는 형태로 된 문장인 조건문을 사용한다. 또한 의사결정을 하거나 결단을 내릴 때, 현재의 상황에서 일정한 조건이 성립한다면 앞으로 어떤 상황이 벌어질지(조건부 사고) 심사숙고하기 마련이다.

논리학의 영역에서도 조건문 논의는 큰 비중을 차지한다. 그러나 조건문을 이론적으로 이해하기는 쉽지 않으며, 조건문은 논리철학에서 가장 논쟁적인 주제 가운데 하나이다. 조건문을 분류하는 문제, 직설법적 조건문에 진리함수적 분석을 적용할 수 있는 것인지, 그 이전에 직설법적 조건문이 진리조건을 갖는지의 여부와 그에 따른 추론의 타당성 문제를 두고도 학자들 사이에 의견이 갈려 있는 상황이다.

이 책의 1부에서는 조건문 논의를 위한 기초적인 내용을 다룬다. 1장에서는 조건문에 관한 대표적 이론인 진리함수적 분석을 소개하고, 2장에서는 조건문의 분류에 관하여 직설법적 조건문과 가정법적 조건문의 구분 문제를 논의한다.

2부에서는 조건문의 진리조건을 다룬다. 3장에서는 일상적 조건문이 진리함수적 조건문임을 보이고자 하는 여러 논증을 소개한다. 4장에서는 진리함수적 분석의 대안으로 제시된 이론들의 논리 체계를 살펴보고, 5장에서는 진리함수적 분석을 옹호하는 입장들을 다룬다.

3부에서는 조건문이 진리조건을 갖지 않는다는 것을 보이고자 하는 논증을 다룬다. 이런 입장은 진리함수적 분석의 근본 가정을 문제 삼는 시도로, 6~8장에서 루이스, 기바드, 에징톤이 제시한 논증을 차례로 검토한다.

4부에서는 조건문이 나오는 추리를 다룬다. 일상적 조건문을 진리함수적 조건문으로 이해하면 타당하다고 해야 하지만 직관적으로는 부당해 보이는 추론이 있다. 이런 반직관적 결과들을 자세히 검토한다. 9장에서는 전건 긍정규칙의 반례라고 제시된 반 멕기의 사례를 따로 다룬다. 10장에서는 반직관적인 결과 가운데 조건 증명과 관련된 추론을 다루고, 11장에서는 조건문의 부정과 관련된 추론을 다룬다.

마지막 5부에서는 지금까지의 논의를 요약한 다음, 일상적 조건문에는 여러 용법이 있다는 점을 시사하고, 남은 문제와 조건문 논의의 최근 동향을 간단히 소개한다.

조건문은 논리철학뿐 아니라 심리철학, 과학철학, 형이상학의 여러 주제와 결부시켜 논의되는 주제이며, 언어학, 심리학, 전산학 등 다른 학문 분야에서도 관심을 가지고 연구하는 주제이기도 하다. 이 책을 통해 조건문 논의의 내용과 흐름, 국내외 학자들의 최근까지의 연구 동향을 살펴보고 이해할 수 있을 것이다.