Part 3. 형식 논리학: 술어 논리와 양상 논리 Part 3. 형식 논리학: 술어 논리와 양상 논리 Chapter 14. 술어 논리의 도입 배경 Chapter 15. 양화사와 변항의 사용 Chapter 16. 다중 양화와 범위 문제 Chapter 17. 동일성과 기술구 Chapter 18. 양상 논리의 기초 Chapter 19. 가능세계 의미론 Chapter 20. 인식 양상과 당위 양상