3 ideas
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| Full Idea: Gödel proved the completeness of first order predicate logic in his doctoral dissertation of 1930. | |
| From: report of Kurt Gödel (Completeness of Axioms of Logic [1930]) by Michal Walicki - Introduction to Mathematical Logic History E.2.2 |
| 3643 | The concept of mind excludes body, and vice versa [Descartes] |
| Full Idea: The concept of body includes nothing at all which belongs to the mind, and the concept of mind includes nothing at all which belongs to the body. | |
| From: René Descartes (Reply to Fourth Objections [1641], 225) | |
| A reaction: A headache? Hunger? The mistake, I think, is to regard the mind as entirely conscious, thus creating a sharp boundary between two aspects of our lives. As shown by blindsight, I take many of my central mental operations to be pre- or non-conscious. |
| 13097 | Force in substance makes state follow state, and ensures the very existence of substance [Leibniz] |
| Full Idea: By the force I give to substances, I understand a state from which another state follows, if nothing prevents it. ...I dare say that without force, there would be no substance. | |
| From: Gottfried Leibniz (Letters to Lelong [1712], 1712), quoted by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 7.1 | |
| A reaction: [the whole quote is interesting] This remark, more than any other I have found, places force at the centre of Leibniz's metaphysics. He is using it to resist Spinoza's one-substance view. |