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

請您先登陸，再發跟帖！