논리학의 기본체계와 주요 내용을 찬찬히 살핀 입문 서.
벤슨 메이츠
[인터파크 도서 제공]벤슨 메이츠 (Benson Mates) 1919년 미국 오리건주에서 출생, 캘리포니아 대학에서 박사학위를 받았으며, 현재는 캘리포니아 버클리대 철학과 명예교수이다. 저서로는 『라이프니츠의 철학』이 있으며 「동의성」 「분석문장」 「일상언어에 대한 진술의 검증」「라이프니츠의 가능세계론」 등 주로 논리학, 언어철학, 라이프니츠 철학에 대한 저작과 논문을 발표했다.
1. 서장
2. 보다 정도 높은 예비사항들
3. 형식언어 L
4. 해석과 타당성
5. 자연언어를 ?로 번역하기
6. 동어반복적 문장들
7. L의 추론규칙들
8. 약간의 메타정리들
9. 동일성과 항들
10. L1에 대한 공리들
11. 형식화된 이론들
12. 논리학사의 개관
부록: 컴퓨터 논리 프로그램 'Logician' 사용설명서
![[기호논리학], 벤슨 메이츠 지음, 김영정·선우환 옮김-미국은 물론 독일에서까지 교재로 채택되고 있는 표준적인 기호논리학 교과서](http://blogthumb2.naver.net/20150327_289/imoonye_1427418219001WFEpj_JPEG/400_9788931002607.jpg "[기호논리학], 벤슨 메이츠 지음, 김영정·선우환 옮김-미국은 물론 독일에서까지 교재로 채택되고 있는 표준적인 기호논리학 교과서")
'(NAMGUNGEUN)' 카테고리의 다른 글
| 팜디와 프리셉팅 제품 중심에서 환자 중심으로 (0) | 2018.02.12 |
|---|---|
| 팜디와 프리셉팅 제품 중심에서 환자 중심으로 (0) | 2018.02.12 |
| KS X 1001의 특수 문자 (0) | 2018.02.11 |
| 육군 20사단 (0) | 2018.02.11 |
| 다빈치 공학 (0) | 2018.02.10 |