Aristotle box of logic for common sense to modal logic

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- ♂ (0 bytes) () 11/03/2023 postreply 12:03:39

• 邏輯是穿衣; 邏輯學 is fashion? -TJKCB- ♀ (0 bytes) () 11/03/2023 postreply 12:39:31

• 類比在此：） -stonebench- ♂ (55 bytes) () 11/04/2023 postreply 10:16:45

• Box-in or Box-out: only endpoint counts-Road leads to Rome -TJKCB- ♀ (1733 bytes) () 11/04/2023 postreply 14:15:12

• 邏輯=單件，邏輯學=套裝。 -TJKCB- ♀ (0 bytes) () 11/04/2023 postreply 14:47:47