책소개

기호논리학의 표준 교과서로 미국은 물론 독일 등에서 교재로 채택하고 있다. 논리학의 엄밀성을 모범적으로 실천하는 책으로, 현대 논리학의 기초적인 핵심 내용을 공부할 수 있을 뿐만 아니라 그 과정에서 엄밀한 논리적 사고와 글쓰기 방식을 체득하게 해준다.

특히 자연적 연역 방식으로 논의를 전개하여 기본 논리학의 모습을 그려보는 데 용이하며, 기호논리학에 입문한 사람이라면 섭렵해야 할 기본적이고도 핵심적인 개념을 담고 있어 기호논리학 분야 필독서로 꼽힌다. 저자인 벤슨 메이츠 교수는 논리학, 철학사, 언어철학 분야의 대표적 철학자로 이 책에서 자연적 연역 방식 외에도 기본적 메타논리학, 확장된 술어논리, 술어논리를 사용해 개진한 형식이론들, 간추린 철학사까지 소개한다. 이는 ‘철학한다’는 일의 표준적 태도와 방식, 사람들이 생각을 체계적으로 엄밀하게 개진하는 방법의 본보기라 할 만하다.

목차

초판 옮긴이의 말
 개정판 옮긴이의 말
 초판 서문
 개정판 서문

1. 서장
1. 논리학은 무엇에 관한 학문인가
2. 타당성과 참
3. 타당성과 필연적 참
4. 부가적인 논의
5. 논리적 형식
6. 인공언어

2. 추가적인 예비사항들
1. 사용과 언급
2. 뜻과 지시체
3. 변항
4. 문장형식
5. 집합
6. 대상언어와 메타언어

3. 형식언어 𝔏
1. 𝔏의 문법
2. 설명들과 예들
3. 부가적인 구문론적 용어법
4. 표기상의 관례들

4. 해석과 타당성
1. 𝔏의 해석
2. 참
3. 타당성, 귀결, 일관성

5. 자연언어를 𝔏로 번역하기
1. 서론
2. 해석과 번역
3. 연결사들과 양화사들의 번역

6. 동어반복적 문장들
1. 서론
2. ‘동어반복적 문장’의 정의
3. 동어반복적 SC문장들; 진리표
4. 문장들이 동어반복적인지를 결정하는 법
5. 그 밖의 속성들
6. SC 문장들에 대한 도출규칙들

7. 𝔏의 추론규칙들
1. 기본 규칙들; 도출가능성
2. 예들과 설명들
3. 단축규칙 EG, ES, 그리고 Q
 4. 전략
5. 논리학의 정리들

8. 메타정리들
1. 치환, 부정과 대응쌍, 양화사 머리 표준형식
2. 건전성과 일관성
3. 완전성
4. 타당한 문장들에 대한 증명 절차

9. 동일성과 항들
1. 동일성; 언어 𝔏I
 2. 부가적 진술들
3. 항들; 언어 𝔏‘

10. 𝔏I에 대한 공리들
1. 서론
2. 문장논리
3. 양화 이론
4. 동일성, 추가적 양화 이론, 그리고 대입
5. 가정들로부터의 증명

11. 형식화된 이론들
1. 서론
2. 아리스토텔레스의 삼단논법
3. 사이에 있음(betweenness)의 이론
4. 군(群); 부울대수
5. 정의들

12. 논리학사의 개관
1. 고대 논리학
2. 중세 논리학
3. 근현대 논리학

 참고문헌
 찾아보기