6 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. |
15453 | The main rivals to universals are resemblance or natural-class nominalism, or sparse trope theory [Lewis] |
Full Idea: The leading rivals to a theory of universals are resemblance or natural-class nominalism, or sparse trope theory. | |
From: David Lewis (Comment on Armstrong and Forrest [1986], p.110) | |
A reaction: If that is the complete menu, I choose resemblance nominalism. All discussion of properties in terms of classes is wildly misguided (because properties come first). Why not 'natural' tropes? |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
Full Idea: The theory of Forms is not a theory of universals but a first attempt to explain how predication, the application of a single term to many objects - now considered one of the most elementary operations of language - is possible. | |
From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxvii) |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
Full Idea: Only Tallness and nothing else really is tall; everything else merely participates in the Forms and, being excluded from the realm of Being, belongs to the inferior world of Becoming. | |
From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xxviii) | |
A reaction: This is just as weird as the normal view (and puzzle of participation), but at least it makes more sense of 'metachein' (partaking). |
15452 | We could not uphold a truthmaker for 'Fa' without structures [Lewis] |
Full Idea: We could not, without structures, uphold the principle that every truth has a truthmaker. If Fa is true, the truthmaker is not F, not a, nor both together; not their mereological sum; not a set-theoretic construction. These would exist just the same. | |
From: David Lewis (Comment on Armstrong and Forrest [1986], p.109) | |
A reaction: This point ought to trouble Lewis, as well as Armstrong and Forrest. If we assert 'Fa', we must (in any theory) have some idea of what unites them, as well as of their separate existence. It must a fact about 'a', not a fact about 'F'. |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
Full Idea: The Greek 'episteme' is usually translated as 'knowledge' but, I argue, closer to our notion of understanding. | |
From: Alexander Nehamas (Introduction to 'Virtues of Authenticity' [1999], p.xvi) | |
A reaction: He agrees with Julia Annas on this. I take it to be crucial. See the first sentence of Aristotle's 'Metaphysics'. It is explanation which leads to understanding. |