이 책은 한양대학교 정책학과에서 논리학을 가르치는 최원배 교수가 지은 책으로 논리학 입문서이다. 그는 이미『비판적 사고 : 실용적 입문』,『피셔의 비판적 사고』를 번역 출판하고 『입증』을 공저한 바 있다. 이 책은 표준적인 논리학 입문서이다. 이 책은 다음 세 가지 특징을 지니고 있다. 첫째, 이 책은 논리학을 처음 배울 때 다루어야 할 핵심 주제를 모두 담고 있다. 이에 따라 명제 논리 체계의 건전성과 완전성 증명도 다루었다. 둘째, 이 책은 입문서라는 점을 감안하여 논리학의 기초 개념이나 논리학에서 사용하는 여러 기법들을 자세하게 소개하고 있다. 특히 기법을 단순히 소개하는 데 그치지 않고, 그 기법의 배후에 있는 작동 원리를 파악할 수 있도록 하였다. 셋째, 이 책은 자연연역의 방법을 채택하여 논리학을 전개하고 있다. 이로써 논리학을 공부하는 것이 실제로 추론 능력을 키우는 데 보탬이 된다는 점을 실감할 수 있도록 하였다

머리말 5 1장 논리학의 기초 개념 11 1.1 논리학과 논증 11 1.2 타당한 논증이란? 16 1.3 좋은 논증과 반박 방법 27 1.4 타당성과 일관성 30 1부 명제논리 39 2장 명제논리의 기초 개념 41 2.1 명제의 분류: 단순 명제와 복합 명제 41 2.2 진리함수적 결합사란? 43 2.3 네 가지 유형의 복합 명제: 부정, 연언, 선언, 그리고 조건언 47 2.4 명제논리의 문법: 형성 규칙 58 2.5 명제논리의 언어로 표현하기: 기호화 62 3장 자연연역의 방법 71 3.1 기초 개념: 제거규칙과 도입규칙 71 3.2 연언 및 조건언 규칙 78 3.3 부정 및 선언 규칙 95 3.4 좀 더 복잡한 명제논리 추론의 증명 121 3.5 정리와 파생규칙 140 4장 진리표와 진리나무 161 4.1 기초 개념: 진리표 161 4.2 진리표의 방법 170 4.3 약식 진리표의 방법 175 4.4 진리나무의 방법 183 5장 몇 가지 메타 논의 205 5.1 표현상의 적합성 205 5.2 타당한 논증과 상응하는 조건언 212 5.3 명제논리 체계의 건전성 215 5.4 명제논리 체계의 완전성 228 2부 양화논리 243 6장 양화논리의 기초 개념 245 6.1 명제의 분류: 단칭명제와 일반명제 245 6.2 두 가지 종류의 양화사와 두 가지 종류의 일반화 251 6.3 좀 더 복잡한 양화 문장 1 259 6.4 좀 더 복잡한 양화 문장 2: 다항 일반성 269 7장 자연연역의 방법 289 7.1 보편 양화사 규칙 289 7.2 존재 양화사 규칙 301 7.3 좀 더 복잡한 양화논리 추론의 증명 320 8장 동일성, 일정 수를 나타내는 양화사, 그리고 한정 기술 351 8.1 동일성 351 8.2 일정 수를 나타내는 양화사 353 8.3 한정 기술 359 8.4 관계의 성질 361 9장 진리나무 365 9.1 진리나무의 방법을 확장하기 365 9.2 진리나무의 방법을 적용하기 374 연습문제 해답 383 참고 문헌 445