3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
Full Idea: Quine charges that the axiom of Reducibility both undoes the effect of the ramification, and commits the theory to a platonist view of propositional functions (which is a theory of sets, once use/mention confusions are cleared up). | |
From: report of Willard Quine (Set Theory and its Logic [1963], p.249-58) by Bernard Linsky - Russell's Metaphysical Logic 6.1 |
12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |
Full Idea: Edgington's position is that logical necessity is an epistemic notion: epistemic necessity which, she claims, is the old notion of the a priori. Like Kripke, she thinks this is two-way independent of metaphysical necessity. | |
From: report of Dorothy Edgington (Epistemic and Metaphysical Possibility [1985]) by Ian McFetridge - Logical Necessity: Some Issues §1 | |
A reaction: [her paper was unpublished] She hence thinks an argument can be logically valid, while metaphysically its conclusion may not follow. Dubious, though I think I favour the view that logical necessity is underwritten by metaphysical necessity. |
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? |