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 |
| 4375 | Evaluations are not disguised emotions; instead, emotion is a type of evaluation [Achtenberg] |
| Full Idea: The emotivist gets things backwards: evaluations are not disguised emotions; instead, emotions are types of evaluation. | |
| From: Deborah Achtenberg (Cognition of Value in Aristotle's Ethics [2002], 6.1) | |
| A reaction: A nice comment, though a bit optimistic. It is certainly a valuable corrective to emotivist to pin down the cognitive and evaluative aspects of emotion, rather than regarding them as 'raw' feelings. |
| 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. |