논리적 추론과 증명

3판 서문
2판 서문
머리말
1장 논증이란 무엇인가?
2장 연역 논증과 귀납 논증
3장 논리적 연결사：부정, 연언 그리고 선언
4장 모순, 반대, 소반대, 정언 진술 그리고 벤 다이어그램
5장 문장 논리의 언어와 진리표를 이용한 타당성 증명
6장 조건문, 쌍조건문, 필요조건 그리고 충분조건
7장 문장 논리Ⅰ：자연 연역에 의한 타당성 증명
8장 문장 논리Ⅱ：파생 규칙
9장 술어 논리Ⅰ：술어 논리의 언어
10장 술어 논리Ⅱ：의미론과 타당성
11장 다중 양화 문장
12장 술어 논리의 자연 연역
13장 동일성 문장과 확정 기술어구
14장 재구성을 통한 논증의 이해
15장 비형식적 오류

부록：삼단논법
연습 문제 해답
찾아보기

논리학(logic)은 어떤 학문인가? 논리학은 추론(inference) 또는 논중(argument)을 연구하고 평가하는 학문이다.