3 ideas
| 8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
| Full Idea: Successful explications (giving a precise sense to a term) have been found for the concepts of deduction, probability and computability, to name just three. | |
| From: W Quine / J Ullian (The Web of Belief [1970], 65), quoted by Alex Orenstein - W.V. Quine Ch.3 | |
| A reaction: Quine also cites the concept of an 'ordered pair'. Orenstein adds Tarski's definition of truth, Russell's definite descriptions, and the explication of existence in terms of quantifications. Cf. Idea 2958. |
| 9558 | All scientific tests will verify mathematics, so it is a background, not something being tested [Sober] |
| Full Idea: If mathematical statements are part of every competing hypothesis, then no matter which hypothesis comes out best in the light of observations, they will be part of the best hypothesis. They are not tested, but are a background assumption. | |
| From: Elliott Sober (Mathematics and Indispensibility [1993], 45), quoted by Charles Chihara - A Structural Account of Mathematics | |
| A reaction: This is a very nice objection to the Quine-Putnam thesis that mathematics is confirmed by the ongoing successes of science. |
| 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? |