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] |
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. |
7295 | Maybe induction is only reliable IF reality is stable [Mitchell,A] |
Full Idea: Maybe we should say that IF regularities are stable, only then is induction a reliable procedure. | |
From: Alistair Mitchell (talk [2006]), quoted by PG - Db (ideas) | |
A reaction: This seems to me a very good proposal. In a wildly unpredictable reality, it is hard to see how anyone could learn from experience, or do any reasoning about the future. Natural stability is the axiom on which induction is built. |