display all the ideas for this combination of texts
2 ideas
8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
Full Idea: In traditional logic from Aristotle to Kant, universal sentences have existential import, but Brentano and Boole construed them as universal conditionals (such as 'for anything, if it is a man, then it is mortal'). | |
From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
A reaction: I am sympathetic to the idea that even the 'existential' quantifier should be treated as conditional, or fictional. Modern Christians may well routinely quantify over angels, without actually being committed to them. |
8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
Full Idea: The substitution view of quantification explains 'there-is-an-x-such-that x is a man' as true when it has a true substitution instance, as in the case of 'Socrates is a man', so the quantifier can be read as 'it is sometimes true that'. | |
From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
A reaction: The word 'true' crops up twice here. The alternative (existential-referential) view cites objects, so the substitution view is a more linguistic approach. |