課程名稱 |
哲學邏輯 Philosophical Logic |
開課學期 |
110-1 |
授課對象 |
文學院 哲學研究所 |
授課教師 |
史德凡 |
課號 |
Phl7576 |
課程識別碼 |
124EM8190 |
班次 |
|
學分 |
3.0 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期三7,8,9(14:20~17:20) |
上課地點 |
哲研討室二 |
備註 |
本課程以英語授課。研究所:C領域。
大學部:(C)哲學專題群組。 總人數上限:15人 |
|
|
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
This course is taught in English. It will be an graduate level introduction to tools and techniques in logic that are of particular interest to philosophers. It will cover basics of models, natural deduction proof systems, some simple metatheory, and some non-classical logics. |
課程目標 |
This course aims to give students a solid grasp of logical tools and techniques that they can use in their research. Students will learn natural deduction, model construction, and the basics of important metatheoretic results. Students will learn some philosophically important non-classical logics and extensions of classical logic, culminating in quantified modal logic. Emphasis will be placed on reflection on the limits and philosophical aspects of the formalisms. |
課程要求 |
|
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
The primary textbook will be the draft of Logical Methods by Restall and Standefer. |
參考書目 |
Supplementary articles will be assigned in class. |
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
Attendance and participation |
20% |
|
2. |
Problem sets (5 sets, worth 10% each) |
50% |
|
3. |
Group project |
20% |
|
4. |
Presentation |
10% |
|
|
週次 |
日期 |
單元主題 |
第1週 |
9/22 |
Introduction |
第2週 |
9/29 |
Natural deduction |
第3週 |
10/06 |
Natural deduction |
第4週 |
10/13 |
Normalisation and consequences |
第5週 |
10/20 |
Models |
第6週 |
10/27 |
Metatheory |
第7週 |
11/03 |
Many-valued models |
第8週 |
11/10 |
Modal logic |
第9週 |
11/17 |
Two-dimensional logic and actuality |
第10週 |
11/24 |
Natural deduction for modal logic |
第11週 |
12/01 |
Natural deduction for quantifiers |
第12週 |
12/08 |
Models for quantifiers |
第13週 |
12/15 |
Quantified modal logic |
第14週 |
12/22 |
Possibility semantics |
第15週 |
12/29 |
Hyperintensionality |
第16週 |
1/05 |
Project presentations |
第17週 |
1/12 |
Flexible class |
第18週 |
1/19 |
Flexible class |
|