2 ideas
| 15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
| Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain. | |
| From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3 | |
| A reaction: Lavine summarises this as 'first-order logic with parameters'. |
| 12468 | A state of affairs is only possible if there has been an actual substance to initiate it [Pruss] |
| Full Idea: Non-actual states of affairs are possible if there actually was a substance capable of initiating a causal chain, perhaps non-deterministic, that could lead to the state of affairs that we claim is possible. | |
| From: Alexander R. Pruss (The Actual and the Possible [2002]), quoted by Jonathan D. Jacobs - A Powers Theory of Modality §4.2 | |
| A reaction: This is roughly my view. There are far fewer possibilities in heaven and earth than are dreamt of in your philosophy, Horatio. Logical possibilities and fantasy possibilities are not real possibilities. |