제1부|프레게 논리학
머리글
1장 _ 프레게의 치역 개념 - 『산수의 근본법칙』의 10절 분석
1. 들어가는 말
2. 추상화 원리와 치역의 도입
3. 치역명의 지시 고정 문제
4. 고유명의 지시 원리
5. 약정의 자의성
6. 나오는 말
2장 _ 프레게와 다항양화
1. 머리말
2. 다항양화문의 구성 원리
3. 더밋의 원자문과 단순술어
4. 술어의 뜻과 적용 조건
5. 맺는말
3장 _ 추상 대상과 논리적 대상 - 프레게의 논리적 추상화 절차의 재고
1. 들어가며
2. 프레게에게 논리적인 것의 의미
3. 순수 추상 대상
4. 주제 중립성
5. 개념은 다 논리적인가?
6. 논리적 추상화 절차
7. 논리적 대상에서 논리적인 것
4장 _ 프레게 논리주의에서 논리적 진리와 분석적 진리
1. 머리말
2. 서술적 일반성과 규범적 일반성
3. 표현의 적용 범위와 진리의 지배 범위
4. 논리적 전리, 분석적 진리 그리고 논리주의
5장 _ 논리주의와 논리상항의 의미
1. 들어가는 말
2. 암묵적 정의와 참의 약정
3. 추리규칙으로서 흄 원리
4. 흄 원리의 논리적 지위
5. 나오는 말
제2부|프레게와 메타이론
머리글
6장 _ 프레게 논리 개념과 메타이론적 관점
1. 머리말
2. 메타이론 불가능 논제
3. 보편과학과 메타이론
4. 유형론적 메타이론의 가능성
5. 프레게 메타이론의 의의
7장 _ 모형론적 논리적 귀결과 논리상항
1. 머리말
2. 셔어의 모형론적 논리적 귀결 개념
3. 모형론적 귀결의 적합성
4. 맺는말
8장 _ 프레게와 힐버트 - 메타이론적 증명
1. 들어가는 말
2. 메타이론적 증명의 대상
3. 메타이론적 증명의 본성
4. 프레게의 힐버트 메타이론 평가
5. 나오는 말
9장 _ 프레게의 힐버트 비판 - 암묵적 정의
1. 들어가는 말
2. 공리의 두 역할
3. 해석된 이론과 형식이론
4. 프레게의 반론
5. 공리적 정의의 본성
6. 나오는 말
10장 _ 힐버트 형식주의와 이념적 방법
1. 들어가는 말
2. 힐버트 형식주의와 도구주의
3. 이념적 방법과 공리적 방법
4. 증명론과 이념적 방법
5. 힐버트에게 이념적인 것과 형식적인 것
11장 _ 데데킨트 - 공리적 방법과 논리주의
1. 들어가는 말
2. 데데킨트와 공리적 방법
3. 공리적 정의와 추상화
4. 공리적 정의와 메타이론
5. 나오는 말
12장 _ 데데킨트 - 논리적 추상화와 메타이론
1. 들어가는 말
2. 공리적 방법과 메타이론
3. 구조적 정의와 개념 형성 방법
4. 데데킨트와 논리적 추상화
5. 나오는 말
약어표
참고문헌
논문 출처
찾아보기