논리적 추론과 증명

머리말

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

부록
연습 문제 해답
찾아보기

연역 논증에 대해서 우리는 논증이 타당한지 아닌지의 평가를 할 수 있다. 그런데 귀납 논증은 전제들이 결론을 절대적으로 보증한다고 주장하지 않고, 단지 전제들이 결론을 받아들일 좋은 근거를 제시한다고 주장한다. 따라서 귀납 논증은 타당성의 여부로 평가할 수 없다.-p23 중에서

사형 제도에 반대하는 것과 흉악범들이 다시 범죄를 저지르도록 허용하자는 것과는 전혀 별개이다. 사형 제도를 폐지하더라도 흉악범들에게 예컨대 종신형을 구형할 수 있기 때문에 그들이 다시 사회에 나와 또 다른 범죄를 저지르게 된다고 볼 이유는 없다.-p257 중에서