5 ideas
18344 | Truth and falsehood must track what does or doesn't exist [Bigelow] |
Full Idea: If something is true, then it would not be possible for it to be false unless either certain things were to exist which don't, or else certain things had not existed which do. | |
From: John Bigelow (The Reality of Numbers [1988], 19) | |
A reaction: This is described by Rami as Bigelow's 'famous' formulation of the idea that 'truth supervenes on being' in a general way. An immediate question would be about fictions. Is Malvolio a stupid man, given that he doesn't exist? We must stretch 'exist'. |
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] |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |
14409 | I am a presentist, and all language and common sense supports my view [Bigelow] |
Full Idea: I am a presentist: nothing exists which is not present. Everyone believed this until the nineteenth century; it is writing into the grammar of natural languages; it is still assumed in everyday life, even by philosophers who deny it. | |
From: John Bigelow (Presentism and Properties [1996], p.36), quoted by Trenton Merricks - Truth and Ontology | |
A reaction: The most likely deniers of presentism seem to be physicists and cosmologists who have overdosed on Einstein. On the whole I vote for presentism, but what justifies truths about the past and future. Traces existing in the present? |