김우진 논증 이론과 실제

Part Ⅰ. 논증 분석

1. 명시적 요소 분석 2
1) 논증의 구성 2
(1) 근거와 주장, 전제와 결론 2
(2) 논증의 언어 2
2) 논증의 형태 5
(1) 근거 나열형 논증 5
(2) 연쇄 논증 5
(3) 반론형 논증 5
(4) 선언이나 조건문에 의한 논증 5
2. 암묵적 요소 분석 27
1) 암묵적 가정 27
2) 명시적인 맥락 27
3. 논증의 구조 47
1) 복합논증의 구조 파악 - 논증 다이어그램 47
2) Toulmin 모델 52

Part Ⅱ. 논쟁 및 반론

1. 반박 및 반론 66
1) 전제 및 결론의 신뢰성 66
(1) 생략된 전제 66
(2) 가정 및 대전제 69
(3) 명시적 전제의 신뢰성 72
2) 반례 (counter example)설정 75
2. 논쟁 분석 78
1) 대화식 논쟁 78
2) 이항 대립적 논쟁 85
3) 다중 견해의 비교 92
3. 오류 파악 123
1) 언어적 오류 123
(1) 애매어의 오류 123
(2) 애매한 문장의 오류 124
(3) 강조의 오류 124
(4) 합성(결합)의 오류 124
(5) 분해의 오류 125
2) 심리적 오류 126
(1) 힘에 호소하는 논증 126
(2) 사람에의 논증 127
(3) 연민에의 호소 오류 128
(4) 군중 심리 128
(5) 권위에의 논증 128
3) 귀납 논증의 오류 129
(1) 성급한 일반화의 오류 129
(2) 사실 외면의 오류 (편향된 자료의 오류) 129
(3) 유비 추론의 오류 130
4) 인과논증의 오류 130
(1) 거짓 원인의 오류 130
(2) 본말전도의 오류 130
(3) 공통원인의 무시 오류 131
(4) 발생적 오류 131
5) 부적합성의 오류 131
(1) 복합 질문의 오류 131
(2) 선결문제 요구의 오류 (순환논증의 오류) 132
(3) 논점 선취의 오류 (fallacy of petitio principii; begging the question) 135
(4) 무지로부터의 논증 135
(5) 우연의 오류 136
(6) 논점 일탈의 오류 136
(7) 가정 망각의 오류 137
(8) 흑백사고의 오류 137
(9) 거짓 딜레마 137
(10) 의도확대의 오류 138
(11) 허수아비 논증의 오류 139
(12) 미끄러운 비탈길 오류(slippery slope argument) 139
(13) 무한 소급(무한 퇴행; Regressio in infinitum) 142

Part Ⅲ. 평가 및 문제해결

1. 연역 논증의 평가 148
1) 타당성 148
2) 부당성 파악 148
3) 건전성 151
2. 귀납논증의 평가 161
1) 귀납적 일반화(Inductive generalization)와 평가 164
2) 통계적 삼단논법과 평가 164
3) 유비 논증과 평가 164
4) 인과 논증의 평가 170
5) 가설 추론과 평가 178
6) 최선의 설명에로의 추론(Inference to the best explanation) 194
3. 논쟁 평가 211
4. 합리적 선택과 문제 해결 238

[부록] 논증 이론과 실제 <추리편>

추리영역 개괄 256

제1장 형식적 추리 258
1. 연역추리 - 명제논리형식(Sentence Logic) 258
2. 진리함수적 결합사와 진리표 259
1) 연언 (conjunction) 259
2) 선언 (disjunction) 260
3) 부정 260
4) 조건문 260
3. 추론규칙 및 자연 연역적 증명 263
1) 진리함수적 추리규칙 263
(1) 긍정논법(전건긍정식; M.P.: Modus Ponens) 263
(2) 부정논법(후건부정식; M.T.: Modus Tollens) 263
(3) 조건(가언)삼단논법(H.S.: Hypothetical Syllogism) 263
(4) 선언 논법 (D.S.: Disjunctive Syllogism) 263
(5) 딜레마 264
(6) 분리논법 (단순화; Simp.: Simplification) 264
(7) 연언논법 (Conj.: Conjunction) 264
(8) 부과논법 (Add.: Addition) 264
2) 진리함수적 대치규칙 265
(1) 드 모르간의 법칙(DeM: De Morgan's Theorems) 265
(2) 교환법칙 (Com: Commutation) 265
(3) 결합법칙 (Assoc.: Association) 265
(4) 분배법칙 (Dist.: Distribution) 265
(5) 이중부정 (D.N.: Double Negation) 265
(6) 대우법칙(Contra.: Contraposition; 對偶) 265
(7) 단순함언 (Imp.: Material Implication) 265
(8) 단순동치(Equiv.: Material Equivalence) 265
(9) 추출법칙 (Exp.: Exportation) 266
(10) 항진법칙 (Taut.: Tautology; 恒眞) 266
(11) 복합명제의 번역 266
3) 자연연역적 증명 266
4. 귀류법(truth table reductio ad absurdum test) 267
5. 논리적 함축과 논리적 일관성 267
6. 필요충분조건 273

제2장 연역추리·술어논리형식 (Predicate Logic) 288
1. 고전논리학 288
1) 정언명제의 종류 288
(1) 전칭긍정명제 (全稱肯定命題) 288
(2) 전칭부정명제 (全稱否定命題) 288
(3) 특칭긍정명제 (特稱肯定命題) 289
(4) 특칭부정명제 (特稱否定命題) 289
2) 대당관계 289
(1) 모순대당 (contradictories) 289
(2) 반대대당 (contraries) 290
(3) 소반대대당 (subcontraries) 290
(4) 대당사각형 - 직접추리 290
2. 현대논리학 - 양화(量化; quantify) 296
1) 보편 양화 296
2) 존재 양화 296
(1) 정언명제의 양화 297
(2) 양화사와 변항(quantifiers and variables) 298
(3) 술어·관계 논리의 원리 302

제3장 귀납추리 (Inductive Inference) 318
1. 귀납적 일반화 318
2. 귀납적 유비 324
3. 원인에 대한 가설 324
1) 일치법 324
2) 차이법 325
3) 공변법 325
4. 인과관계와 상관관계 325
5. 가설 추론 330
6. 최선의 설명에로의 추리 330

제4장 언어 추리 (Verbal Reasoning) 332
1. 함축 및 귀결 332
2. 원리 적용 335
3. 사실관계추리 338
1) 인문 영역 340
2) 사회 영역 352
3) 과학·기술 영역 361
(1) 메커니즘의 파악 361
(2) 실험 결과로부터 추론 364
4) 법적 추리 386

제5장 논리게임 (Logic Puzzle) 416
1. 배열하기 416
2. 속성매칭시키기 426
3. 연결하기 / 그룹핑하기 434
4. 진실 혹은 거짓 게임 441
5. 수학적 퍼즐 449

제6장 수리추리 (Mathmaical Reasoning) 458
1. 수리연산(Arithmetic)과 대수학(Algebra) 458
2. 도형 및 기하 (geometry) 461
3. 게임이론과 이산수학 466
1) 게임이론 466
2) 이산수학 466
4. 표와 그래프, 다이어그램 471