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