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. |
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? |
7469 | There is no hereafter in the Book of Job [Anon (Job), by Watson] |
Full Idea: The entire Book of Job is concerned with faith and suffering and inequality in a life where there is no hereafter (all the rewards promised to the Jews by their God are worldly). | |
From: report of Anon (Job) (18: Book of Job [c.535 BCE]) by Peter Watson - Ideas Ch.5 | |
A reaction: It is extraordinary how such ideas can creep into the great religions, and then become taken for granted, as if no one had ever doubted them. |