양상논리와 형이상학

1장 양상논리 구문론
1.1. 양상논리와 필연성
1.2. 실질 함축과 엄밀 함축
1.3. 양상 명제논리 구문론
1.4. 정규 양상논리체계와 M체계
1.5. S4, S5와 필연성 개념의 차이
1.6. 양화 양상논리와 바르칸 포뮬러
1.7. 양화 양상논리의 문제점과 해결 방안
1.8. 공간적 용어와 비공간적 용어

2장 양상논리 의미론
2.1. 양상논리 의미론의 종류
2.2. 크립키 의미론
2.3. 표준 의미론
2.4. 루이스의 상대역 이론
2.5. 집합과 가능세계 의미론
2.6. 확장논리
2.6.1. 시제논리
2.6.2. 규범논리

3장 가능세계 존재론
3.1. 양상 실재론과 양상 현실론
3.1.1. 양상 실재론.현실성의 상대성
3.1.2. 양상 현실론.현실성의 절대성
3.2. 지시와 본질
3.3. 시제와 양상
3.4. 가능세계와 굿맨의 월드버전
3.5. 가능세계와 가상세계, 평행세계

4장 양상논리와 신 존재 증명
4.1. 필연성과 신 존재 증명
4.2. 양상적 범주에서의 존재론적 증명
4.3. 숨겨진 존재론적 증명
4.4. 비양상적 범주에서의 존재론적 증명
4.5. 집합론적 범주에서의 존재론적 증명
4.6. 괴델의 신 존재 증명
4.7. 신 존재 증명과 공간적 용어

부록
양상 명제논리에 관한 가상세계 의미론
양화 양상논리에 관한 가상세계 의미론
양화 양상논리에 관한 침투자 의미론