고려대학교 세종학술정보원

링크메뉴

통합검색

사이트내 검색

부가기능

기호논리학

상세 프로파일

자료유형단행본
개인저자Mates Benson, 저
김영정, 역
선우환, 역
서명/저자사항기호논리학 / 벤슨 메이츠 지음 ; 김영정 , 선우환 공역
발행사항서울 :文藝出版社,1995
형태사항381 p. ;23 cm
원표제 Elementary logic
ISBN 8931002602
QR Code

소장정보

  • 소장정보

서가에 없는 책 찾기 서가에 없는 책 찾기 SMS 모바일발송

메세지가 없습니다
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 분관대출 서비스
1 중앙도서관/제2자료실(3층)/ 511.3 1995 111057500 대출가능
2 중앙도서관/제2자료실(3층)/ 511.3 1995 111057501 대출가능
3 중앙도서관/제2자료실(3층)/ 511.3 1995 111057502 대출가능

목차/초록



목차

옮긴이 서문 = 5

초판 서문 = 8

재판 서문 = 14

1. 서장 = 21

 1. 논리학은 무엇에 관한 학문인가 = 22

 2. 타당성과 참 = 24

 3. 타당성과 필연적 참 = 27

 4. 부가적인 논의 = 30

 5. 논리적 형식 = 36

 6. 인공언어 = 41

2. 보다 정도 높은 예비사항들 = 47

 1. 사용과 언급 = 48

 2. 뜻과 지시체 = 50

 3. 변항들 = 53

 4. 문장 형식 = 57

 5. 집합 = 66

 6. 대상언어와 메타언어 = 77

3. 형식언어○ = 84

 1. ○의 문법 = 85

 2. 설명들과 예들 = 86

 3. 부가적인 구문론적 용어법 = 91

 4. 표기상의 관례들 = 94

4. 해석과 타당성 = 98

 1. ○의 해석 = 99

 2. 참 = 101

 3. 타당성, 귀결, 일관성 = 112

5. 자연언어를 ○로 번역하기 = 120

 1. 서론 = 121

 2. 해석과 번역 = 129

 3. 연결사들과 양화사들의 번역 = 133

6. 동어반복적 문장들 = 147

 1. 서론 = 148

 2. '동어반복적 문장'의 정의 = 150

 3. 동어반복적 SC문장들; 진리표 = 152

 4. 문장들의 동어 반복적인지를 결정하는 법 = 158

 5. 그 밖의 속성들 = 160

 6. SC문장들에 대한 도출규칙들 = 161

7. ○의 추론규칙들 = 185

 1. 기본 규칙들; 도출가능성 = 186

 2. 예들과 설명들 = 188

 3. 단축규칙 EG, ES, 그리고 Q = 199

 4. 전략 = 209

 5. 논리학의 정리들 = 210

8. 약간의 메타정리들 = 219

 1. 치환, 부정과 대응쌍, 양화사 머리 표준형식 = 219

 2. 건전성과 일관성 = 229

 3. 완전성 = 233

 4. 타당한 문장들에 대한 증명절차 = 241

9. 동일성과 항들 = 248

 1. 동일성; 언어○ = 248

 2. 삽입적 진술들 = 256

 3. 항들; 언어○ = 258

10. ○에 대한 공리들 = 267

 1. 서론 = 268

 2. 문장논리 = 279

 3. 양화이론 = 286

 4. 동일성, 보다 정도 높은 양화이론 그리고 대입 = 289

 5. 가정들로부터의 증명 = 294

11. 형식화된 이론들 = 297

 1. 서론 = 297

 2. 아리스토텔레스의 삼단논법 = 304

 3. 사이에 있음(betweenness)의 이론 = 309

 4. 군(群); 부울대수 = 313

 5. 정의들 = 318

12. 논리학사의 개관 = 331

 1. 고대 논리학 = 332

 2. 중세 논리학 = 350

 3. 근현대 논리학 = 358

참고문헌 = 368

찾아보기 = 370



태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

서평

  • 서평
로그인폼