3 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
Full Idea: Quine's New Foundations system of set theory, devised with no model in mind, but on the basis of a hunch that a purely formal restriction on the comprehension axiom would block all contradictions. | |
From: report of Willard Quine (New Foundations for Mathematical Logic [1937]) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
A reaction: The point is that Quine (who had an ontological preference for 'desert landscapes') attempted to do without an ontological commitment to objects (and their subsequent models), with a purely formal system. Quine's NF is not now highly regarded. |
7006 | Observing irrelevant items supports both 'all x are y' and 'all x are non-y', revealing its absurdity [Schofield,J] |
Full Idea: Although Hempel's raven paradox produces an absurdity of irrelevant observations, we can ignore it because (unlike good observations) observing a white handbag supports the contradictions of 'ravens are black' and 'ravens are non-black'. | |
From: Jonathan Schofield (talk [2005]), quoted by PG - Db (ideas) | |
A reaction: The idea of 'eliminating it from our enquiries' cannot be totally irrational (e.g. in detective work), but it is only seriously sensible in a restricted domain (such as a country house) |
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? |