3 ideas
| 10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
| Full Idea: Kripke proposes that the substitutional quantifier is not a replacement for, or in competition with, the standard interpretation. | |
| From: report of Saul A. Kripke (A Problem about Substitutional Quantification? [1976]) by Ruth Barcan Marcus - Nominalism and Substitutional Quantifiers p.165 |
| 18198 | Mathematics is part of science; transfinite mathematics I take as mostly uninterpreted [Quine] |
| Full Idea: The mathematics wanted for use in empirical sciences is for me on a par with the rest of science. Transfinite ramifications are on the same footing as simplifications, but anything further is on a par rather with uninterpreted systems, | |
| From: Willard Quine (Review of Parsons (1983) [1984], p.788), quoted by Penelope Maddy - Naturalism in Mathematics II.2 | |
| A reaction: The word 'uninterpreted' is the interesting one. Would mathematicians object if the philosophers graciously allowed them to continue with their transfinite work, as long as they signed something to say it was uninterpreted? |
| 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? |