7 130 　 Quine 對於分析命題與綜合命題的批判　　　　　　  　 %1_導讀《從邏輯的觀點看》，Quine　　　　　  　 %3_導讀《從邏輯的觀點看》，Quine　　　　　  　 關於數學符號、操作與實體的觀點　　　　　　　　  　 %3_談真理、公理與約定，與其後設要求　　　　  　 談數學的建構性證明與存在性證明　　　　　　　　  　 從集合論公設「空集合存在」談起　　　　　　　　  　 %3_討論「１＋１＝２」的幾個面向　　　　　　  　 推薦《數學與哲學》，張景中　　　　　　　　　　  　 %1_導讀《數學哲學中的革命》，鄭毓信、李國偉　  　 %3_導讀《數學哲學中的革命》，鄭毓信、李國偉　  　 %1_兼談：後設數學、數學哲學與邏輯哲學　　　  　 %3_兼談：後設數學、數學哲學與邏輯哲學　　　  　 %1_探討哥德爾的不完備定理　　　　　　　　　  　 %3_探討哥德爾的不完備定理　　　　　　　　　  　 超越時代的愛因斯坦與哥德爾　　　　　　　　　　  　 談排中律與其它知識問題　　　　　　　　　　　　 cut 　 談思維律則與同一性的爭議　　　　　　　　　　　 cut 　 %3_再談思維與存在的同一性論戰　　　　　　　  　 談模型論與形式語言的語義學　　　　　　　　　　  　 形式化研究的侷限　　　　　　　　　　　　　　　  　 %1_導讀《笛卡兒，拜拜》，德福林　　　　　　  　 %3_導讀《笛卡兒，拜拜》，德福林　　　　　　  　 %1_從人工智慧看當代邏輯學的發展　　　　　　  　 %3_從人工智慧看當代邏輯學的發展　　　　　　  　 人工智慧的認識論問題　　　　　　　　　　　　　 cut