就這樣而已？正常人都會啊，都是常識就可以回答的。昨天的問題:能否舉一個原則上(不是難度上)不用形式邏輯就解答不了的例題？

這是關於形式邏輯必要性的問題。

所有跟帖： 

• 形式邏輯不是用來答題的，它是用來保證在一個形式係統裏，遵循什麽樣的原則，您推導的結果永遠是對的。 -露重煙微- ♀ (657 bytes) () 11/05/2023 postreply 11:45:53

• 這個，公理係統就足夠了。事實上多數數學家不會對邏輯學特別感興趣，除非是專門研究這個的。 -中間小謝- ♂ (102 bytes) () 11/05/2023 postreply 11:51:33

• 公理係統是一種特殊的形式係統 -露重煙微- ♀ (322 bytes) () 11/05/2023 postreply 12:16:16

• 單獨拿出來問非常容易，但是在實際應用中經常會出錯。 特別是複雜的推理。 -SwiperTheFox- ♂ (0 bytes) () 11/05/2023 postreply 14:13:05

• 是的，三個前提以上的categorical logic 已經很難了。 -露重煙微- ♀ (0 bytes) () 11/05/2023 postreply 22:20:00