數學哲學
Philosophy of Mathematics
學期
108-1
學分
3
學分
當期課號
B532
永久課號
B1454
開課單位
心智哲學研究所
校區
陽明
類別
選修
上課時間表
| 節 | 週三 |
|---|---|
6 14:20–15:10 | 數學哲學 YX206 3 節連堂 |
7 15:30–16:20 | |
8 16:30–17:20 |
* 根據陽明交大上課時間表所列
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | Introduction: What philosophy of mathematics is about. |
| 第 2 週 | The three main teachings one hundred years ago: logicism, formalism, intuitionism. Benacerraf, Putnam: Introduction; Shapiro, ch. 1. |
| 第 3 週 | Logicism: no subject matter and impredicativity. Benacerraf, Putnam, pp. 41-51. |
| 第 4 週 | Russell''s logicism. Benacerraf, Putnam, pp. 447-469. |
| 第 5 週 | Constructions and mathematical reality. Shapiro, ch. 8. |
| 第 6 週 | Hilbert''s Formalism. Shapiro, ch. 8. |
| 第 7 週 | Brouwer''s Intuitionism. Shapiro, ch. 9 |
| 第 8 週 | Mathematical Intuitionism. Shapiro, ch. 10. |
| 第 9 週 | How to simulate Intuitionism. Shapiro, ch. 11. |
| 第 10 週 | Quine''s Holism and Naturalism. Shapiro, ch. 12. |
| 第 11 週 | Burgess''s and Maddy''s Naturalism. Shapiro, ch. 13. |
| 第 12 週 | Structuralism. Shapiro, ch. 17. |
| 第 13 週 | Platonism. Benacerraf, Putnam, pp. 258-271. |
| 第 14 週 | The iterative concept of set. Benacerraf, Putnam, pp. 486-502. |
| 第 15 週 | Problems with the iterative concept of set. Benacerraf, Putnam, pp. 503-529. |
| 第 16 週 | Problems with the iterative concept of set. Benacerraf, Putnam, pp. 530-570. |
| 第 17 週 | Cantor''s continuum problem. Benacerraf, Putnam, pp. 470-485. |
| 第 18 週 | Conclusion. |