PART Ⅰ 문장 논리 ·4 1. 진리표 ·5 (1) 부정(negation) ·6 (2) 연언(conjunction) ·6 (3) 선언(disjunction) ·6 (4) 조건문 ·7 (5) 진리표에 의한 타당성 판단 ·11 2. 규칙 ·13 (1) 진리함수적 추리규칙 ·13 (2) 진리함수적 대치규칙 ·36 (3) 자연 연역에 의한 증명 ·41 3. 필요충분조건 ·42
PART Ⅱ 술어 논리 ·80 1. 고전논리학(아리스토텔레스의 논리학) ·80 (1) 정언 명제(Categorical Proposition) ·80 (2) 대당관계 ·81 (3) 정언명제의 직접추리 ·84 2. 현대논리학 ·89 (1) 양화(Quantification) ·89 (2) 정언명제의 양화 ·90 (3) 단칭 명제의 양화 ·93 (4) 현대 술어 논리의 원칙 ·93 (5) 논의 영역 제한 ·96 (6) 양화적 동치 ·96 (7) 술어의 종류 ·101 (8) 귀류법(truth table reductio ad absturdum test) ·111
PART Ⅲ 논리적 추론과 분석 ·128 1. 논리 개념 ·128 (1) 논리적 함축 및 타당성 ·128 (2) 일관성(consistency) ·128 (3) 양립 ·128 (4) 역설 ·129 2. 연역 논증의 분석 및 평가 ·129 (1) 타당성 ·129 (2) 건전성 ·129
PART Ⅳ 귀납 추론 ·152 1. 귀납적 일반화(Inductive generalization) ·153 (1) 보편 일반화 ·153 (2) 통계 확률적 귀납 ·155 2. 유비 추론 ·156 3. 인과관계 및 상관관계 ·157 (1) 인과 성립의 조건 ·157 (2) 필요 충분 조건으로서의 원인 ·158 (3) 상관관계 ·158 4. 밀의 귀납법 ·159 (1) 일치법 ·159 (2) 차이법 ·160 (3) 일치 차이 병용법 ·160 (4) 잉여법 ·160 (5) 공변법 ·160 5. 가설 추론 ·161 (1) 가설 추론의 평가 ·161 (2) 가설 연역: 과학 방법론 ·161 (3) 경쟁 가설 ·162 6. 최선의 설명으로의 추론(Inference to the best explanation) ·162
■ 정답 및 해설
PART Ⅰ. 문장 논리 ·206 PART Ⅱ. 술어 논리 ·227 PART Ⅲ. 논리적 추론과 분석 ·242 PART Ⅳ. 귀납 추론 ·252