Aristotle box of logic for common sense to modal logic

来源: TJKCB 于 2023-11-03 11:16:32 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (1854 bytes)
回答: 俺觉得你说对勒 由 stonebench 于 2023-11-03 10:30:07

ancient Greeks Aristotle provided a framework for understanding deductive reasoning and laid the foundations for the study of formal logic—his box of logic for common sense. Gottfried Wilhelm Leibniz, George Boole, and Bertrand Russell helped with symbolic logic and the development of mathematical logic.

所有跟帖： 

• 逻辑是意识的工作方式，逻辑学是对这种工作方式的认知。正如经济是活动，经济学是对活动规律的认知。 -stonebench- ♂ 给 stonebench 发送悄悄话 stonebench 的博客首页 (0 bytes) () 11/03/2023 postreply 12:03:39

• 逻辑是穿衣; 逻辑学 is fashion? -TJKCB- ♀ 给 TJKCB 发送悄悄话 TJKCB 的博客首页 (0 bytes) () 11/03/2023 postreply 12:39:31

• 类比在此：） -stonebench- ♂ 给 stonebench 发送悄悄话 stonebench 的博客首页 (55 bytes) () 11/04/2023 postreply 10:16:45

• Box-in or Box-out: only endpoint counts-Road leads to Rome -TJKCB- ♀ 给 TJKCB 发送悄悄话 TJKCB 的博客首页 (1733 bytes) () 11/04/2023 postreply 14:15:12

• 逻辑=單件，逻辑學=套裝。 -TJKCB- ♀ 给 TJKCB 发送悄悄话 TJKCB 的博客首页 (0 bytes) () 11/04/2023 postreply 14:47:47

请您先登陆，再发跟帖！