5 ideas
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
Full Idea: The substitutional interpretation says the universal quantifier is true just in case it remains true for all substitutions of terms of the same type as that of the universally bound variable. | |
From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143) | |
A reaction: This doesn't seem to tell us how it gets started with being true. |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
Full Idea: Some substitutional quantificationists in logic hope to avoid philosophical entanglements about the metaphysics of objects, ..and nominalists can find aid and comfort there. | |
From: Dale Jacquette (Intro to III: Quantifiers [2002], p.143) | |
A reaction: This has an appeal for me, particularly if it avoids abstract objects, but I don't see much problem with material objects, so we might as well have a view that admits those. |
20795 | Some things are their own criterion, such as straightness, a set of scales, or light [Sext.Empiricus] |
Full Idea: Dogmatists say something can be its own criterion. The straight is the standard of itself, and a set of scales establishes the equality of other things and of itself, and light seems to reveal not just other things but also itself. | |
From: Sextus Empiricus (Against the Mathematicians [c.180], 442) | |
A reaction: Each of these may be a bit dubious, but deserves careful discussion. |
20794 | How can sceptics show there is no criterion? Weak without, contradiction with [Sext.Empiricus] |
Full Idea: The dogmatists ask how the sceptic can show there is no criterion. If without a criterion, he is untrustworthy; with a criterion he is turned upside down. He says there is no criterion, but accepts a criterion to establish this. | |
From: Sextus Empiricus (Against the Mathematicians [c.180], 440) | |
A reaction: This is also the classic difficulty for foundationalist views of knowledge. Is the foundation justified, or not? |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
Full Idea: Whereas particular reality statements are in principle completely verifiable or falsifiable, things are different for general reality statements: they can indeed be conclusively falsified, they can acquire a negative truth value, but not a positive one. | |
From: Karl Popper (Two Problems of Epistemology [1932], p.256), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 18 'Laws' | |
A reaction: This sounds like a logician's approach to science, but I prefer to look at coherence, where very little is actually conclusive, and one tinkers with the theory instead. |