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

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

所有跟帖： 

• 形式逻辑不是用来答题的，它是用来保证在一个形式系统里，遵循什么样的原则，您推导的结果永远是对的。 -露重烟微- ♀ (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