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. |
4032 | The problem of universals is how many particulars can all be of the same 'type' [Armstrong] |
Full Idea: The problem of universals is the problem of how numerically different particulars can nevertheless be identical in nature, all be of the same 'type'. | |
From: David M. Armstrong (Nominalism and Realism [1978], p.41), quoted by DH Mellor / A Oliver - Introduction to 'Properties' §7 | |
A reaction: A nice statement of the problem. As usual, the question is whether the 'sameness' is a feature of nature, or a product of human thought |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |