4 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 |
3271 | We can't control our own beliefs [Nagel] |
Full Idea: Our beliefs are always due to factors outside of our control. | |
From: Thomas Nagel (Moral Luck [1976], p.27) |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
3272 | Moral luck can arise in character, preconditions, actual circumstances, and outcome [Nagel] |
Full Idea: Moral luck involves one's character, the antecedent circumstances of the act, the actual circumstances of the act, and the outcome of the act. | |
From: Thomas Nagel (Moral Luck [1976], p.28) | |
A reaction: Meaning, I take it, that there can be luck in any one of those four. A neat slicing up that doesn't quite fit the real world, where things flow. Helpful, though. |