논리적 사고의 기초

머리말 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