자료유형  

 단행본

 

19970127988

ISBN  

9788931002607 03170 : \18000

언어부호  

본문언어 - kor, 원저작언어 - eng

소장사항  

00075738

DDC  

160-19

청구기호  

160 메69ㄱ

저자명  

메이츠, 벤슨

서명/저자  

기호 논리학 / 벤슨 메이츠 지음 ; 김영정 ; 선우환 [공]옮김

원표제  

[원표제]Elementary logic

발행사항  

서울 : 문예출판사, 1995

형태사항  

381p ; 23cm

주기사항  

원저자명 : Benson Mates

서지주기  

색인수록

초록/해제  

요약: 미국과 독일에서 교재로 널리 사용되고 있는 표준적인 기호논리학 교과서로서 우리의 일상적인 논리 전개방식과 가장 유사한 자연적 연역방식을 중심으로 논의가 전개되고 있어 기본적인 논리학의 모습을 쉽게 그려볼 수 있다.이 책의 특징은 기호논리학에 입문한 사람이면 섭렵해야 할 기본적인, 핵심적인 내용들을 거의 대부분 포괄하고 있다는 것이다. 자연적 연역방식을 중심으로 하면서도 전통적인 공리적 방식의 소개에도 인색하지 않으며, 메타논리학을 전개하기에 편리한 기계적 절차의 간접증명방식도 소개하고 있다. 또한 기본적인 메타논리학, 확장된 술어논리, 술어논리를 사용하여 개진된 형식이론들, 그리고 간추린 철학사까지도 소개하고 있다. 그러나 이 책의 가장 주된 특징은 철학함의 표준적인 태도와 방식을 잘 드러내 보여주고 있다는 것이다. 사람들이 품고 있는 생각을 어떻게 체계적으로 엄밀하게 개진할 수 있는가 하는 것에 대한 한 모범을 보여주고 있다.

언어주기  

영어 원작을 한국어로 번역

키워드  

기호 논리학 ELEMENTARY LOGIC

기타저자  

김영정 [공]옮김

기타저자  

선우환 [공]옮김, 1968-

기타저자  

Mates, Benson 지음

가격  

\16200

Control Number  

sacl:116556

책소개  

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



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



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