김우진 논리학 이론과 실제

Chapter 01 연역추론
1. 명제 (proposition) 2
2. 논증(argument) 2
3. 논증 지시어 3
4. 논증의 종류 3
5. 타당성(validity) 3
6. 건전성(sound) 4

I. 명제논리 5
1. 진리 함수적 연결 6
(1) 부정 (negation) 6
(2) 연언 (conjunction) 6
(3) 선언 (disjunction) 7
(4) 조건문 7
(5) 쌍조건문(biconditional) 8

2. 진리표에 의한 논증 분석 9
(1) 타당성 분석 9
(2) 부당성 증명(귀류법) 9

3. 추론 규칙 및 동치 규칙 10
(1) 진리함수적 추리규칙 10
(2) 진리함수적 대치규칙 13
(3) 자연 연역에 의한 증명 16

4. 필요충분조건 57
II. 술어 논리 65
1. 고전 논리학(아리스토텔레스의 논리학) 65
(1) 정언 명제 65
(2) 대당 관계 66
(3) 단칭명제 68
(4) 정언명제의 직접추리 68

2. 현대 논리학 - 양화(Quantification) 75
(1) 보편 양화 75
(2) 존재 양화 75
(3) 정언명제의 양화 76
(4) 단칭 명제의 양화 77
(5) 현대 술어 논리의 원칙 78
(6) 논의 영역 81
(7) 양화적 동치 81
(8) 부정 명제와 명제의 부정 82
(9) 술어의 종류 83

III. 논리게임 116
1. 배열하기 116
2. 속성매치시키기 129
3. 연결하기 / 그룹핑하기 135
4. 진실 혹은 거짓 게임 151
5. 수학적 퍼즐 164

Chapter 02. 귀납추론
1. 귀납적 일반화 170
2. 유비 추론 170
3. 밀의 귀납법 171
(1) 일치법(method of agreement) 171
(2) 차이법(method of difference) 171
(3) 일치 차이 병용법 171
(4) 잉여법(method of residues) 171
(5) 공변법(共變法 ; method of concomitant variation) 172

4. 가설 추론 172
(1) 인과적 가설 172
(2) 최선의 설명에로의 추론 172
(3) 개연성과 설명력 172

5. 논리적 추론 182
(1) 논리적 개념 파악 및 적용 182
(2) 논리학 지문의 판단 191