display all the ideas for this combination of texts
2 ideas
22765 | Wisdom and thought are shared by all things [Empedocles] |
Full Idea: Wisdom and power of thought, know thou, are shared in by all things. | |
From: Empedocles (fragments/reports [c.453 BCE]), quoted by Sextus Empiricus - Against the Logicians (two books) II.286 | |
A reaction: Sextus quotes this, saying that it is 'still more paradoxical', and that it explicitly includes plants. This may mean that Empedocles was not including inanimate matter. |
3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
Full Idea: Gödel in his completeness theorem for first-order logic showed that a certain set of syntactically specifiable rules was adequate to capture all first-order valid arguments. No semantics (e.g. reference, truth, validity) was necessary. | |
From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
A reaction: This implies that a logic machine is possible, but we shouldn't raise our hopes for proper rationality. Validity can be shown for purely algebraic arguments, but rationality requires truth as well as validity, and that needs propositions and semantics. |