최상급 - 새책

미국과 독일에서 교재로 널리 사용되고 있는 표준적인 기호논리학 교과서로서 우리의 일상적인 논리 전개방식과 가장 유사한 자연적 연역방식을 중심으로 논의가 전개되고 있어 기본적인 논리학의 모습을 쉽게 그려볼 수 있다.

이 책의 특징은 기호논리학에 입문한 사람이면 섭렵해야 할 기본적인, 핵심적인 내용들을 거의 대부분 포괄하고 있다는 것이다. 자연적 연역방식을 중심으로 하면서도 전통적인 공리적 방식의 소개에도 인색하지 않으며, 메타논리학을 전개하기에 편리한 기계적 절차의 간접증명방식도 소개하고 있다.

또한 기본적인 메타논리학, 확장된 술어논리, 술어논리를 사용하여 개진된 형식이론들, 그리고 간추린 철학사까지도 소개하고 있다. 그러나 이 책의 가장 주된 특징은 철학함의 표준적인 태도와 방식을 잘 드러내 보여주고 있다는 것이다. 사람들이 품고 있는 생각을 어떻게 체계적으로 엄밀하게 개진할 수 있는가 하는 것에 대한 한 모범을 보여주고 있다.

목차

목차

1. 서장
2. 보다 정도 높은 예비사항들
3. 형식언어 L
4. 해석과 타당성
5. 자연언어를 ?로 번역하기
6. 동어반복적 문장들
7. L의 추론규칙들
8. 약간의 메타정리들
9. 동일성과 항들
10. L1에 대한 공리들
11. 형식화된 이론들
12. 논리학사의 개관

부록: 컴퓨터 논리 프로그램 'Logician' 사용설명서