標籤: philosophy-of-logic

De Benedetto 與 Osta-Vélez 在 Erkenntnis 回應 Russell「邏輯不是規範性的」：把邏輯看成科學模型，規範性來自理想化在實作中如何被辯護，並逐項分類一階古典邏輯的理想化。