4 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers. | |
From: Nicholas P. White (What Numbers Are [1974], V) |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege. | |
From: Nicholas P. White (What Numbers Are [1974], IV) | |
A reaction: [He adds Quine 1960:268 as a reference] |
12750 | The question is whether force is self-sufficient in bodies, and essential, or dependent on something [Lenfant] |
Full Idea: The whole question is to know if the force to act in bodies is in matter something distinct and independent of everything else that one conceives there. Without that, this force cannot be its essence, and will remain the result of some primitive quality. | |
From: Jacques Lenfant (Letters to Leibniz [1693], 1693.11.07), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8 | |
A reaction: This challenge to Leibniz highlights the drama of trying to simultaneously arrive at explanations of things, and to decide the nature of essence. Leibniz replied that force is primitive, because it is the 'principle' of behaviour and dispositions. |
7482 | Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson] |
Full Idea: The idea of resurrection in Judaism seems to have first developed around 160 BCE, during the time of religious martyrdom, and as a response to it (the martyrs were surely not dying forever?). It is first mentioned in the book of Daniel. | |
From: report of Anon (Dan) (27: Book of Daniel [c.165 BCE], Ch.7) by Peter Watson - Ideas | |
A reaction: Idea 7473 suggests that Zoroaster beat them to it by 800 years. |