3 ideas
| 18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
| Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
| From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |
| Full Idea: Hesiod reckons envy among the effects of the good and benevolent Eris, and there was nothing offensive in according envy to the gods. ...Likewise the Greeks were different from us in their evaluation of hope: one felt it to be blind and malicious. | |
| From: report of Hesiod (works [c.700 BCE]) by Friedrich Nietzsche - Dawn (Daybreak) 038 | |
| A reaction: Presumably this would be understandable envy, and unreasonable hope. Ridiculous envy can't possibly be good, and modest and sensible hope can't possibly be bad. I suspect he wants to exaggerate the relativism. |
| 15194 | Time, as it appears in standard modern science, is bad verificationist metaphysics [Smith,Q, by Le Poidevin] |
| Full Idea: Smith argues that the theories of time which appear in the Special and General Theories of Relativity and in orthodox quantum mechanics are false metaphysical theories, based on verificationist assumptions. | |
| From: report of Quentin Smith (Absolute Simultaneity and Infinity of Time [1998]) by Robin Le Poidevin - Intro to 'Questions of Time and Tense' 4 | |
| A reaction: I wouldn't have to confidence to stand up to the panoply of modern scientists, but I am glad Quentin Smith is having a go. I love Shoemaker's three worlds example, which defies all physics. |