논리학

• 강제법 개론
• 자연수라는 신기루: 짧은 논리학 이야기
• 자연주의적 목적론은 논리를 설명할 수 있는가?
• 모델 완전성에 대한 로빈슨 판별법
• 불 대수 구조의 아이디얼과 필터
• 왜 연속함수의 위상적 정의는 “반대”인가?
• 논리적 외계인은 가능한가? 데카르트, 칸트, 프레게, 그리고 《논리철학논고》
• 스톤 공간과 콤팩트성 정리
• 양화사 제거
• 로빈슨, 크레이그, 베스의 정리
• 준동형 사상, 임베딩, 초등적 임베딩
• 무한 죄수 모자 문제
• 워시-타르스키 보존 정리
• 완전성 정리와 뢰벤하임-스콜렘 정리
• 양상 논리
• 양상 문맥 내 존재 양화에 관하여 — 콰인과 프레게
• 시제 논리
• 램지 수와 무한 램지 정리
• 정신은 기계로 환원될 수 있는가: 괴델의 조건문과 펜로즈-루카스 논증
• 산술 위계
• 베타 함수를 통한 페아노 산술에서의 괴델 수 정의
• 워시의 정리
• 프레셰 필터와 비표준 자연수