7 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. |
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). |
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. |
22331 | Moral statements are imperatives rather than the avowals of emotion - but universalisable [Hare, by Glock] |
Full Idea: According to Hare's universal prescriptivism, moral statements are closer to imperatives than to avowals of emotion; their purpose is to guide action. But unlike imeperatives they are universalisable. | |
From: report of Richard M. Hare (Freedom and Reason [1963]) by Hans-Johann Glock - What is Analytic Philosophy? 2.9 | |
A reaction: Why isn't 'everyone ought to support West Ham' a moral judgement? |
22484 | Universalised prescriptivism could be seen as implying utilitarianism [Hare, by Foot] |
Full Idea: Hare has suggested that a fairly tight form of utilitarianism can be obtained from universalised prescriptivism. | |
From: report of Richard M. Hare (Freedom and Reason [1963]) by Philippa Foot - Does Moral Subjectivism Rest on a Mistake? p.191 | |
A reaction: All the benefits of Bentham, Kant and Hume, in one neat package! Since I take all three of them to be wrong about ethics, that counts against this idea. |
6449 | The categorical imperative leads to utilitarianism [Hare, by Nagel] |
Full Idea: Hare has proposed that utilitarianism is the ultimate standard to which we are led by the categorical imperative. | |
From: report of Richard M. Hare (Freedom and Reason [1963], p.123-4) by Thomas Nagel - Equality and Partiality | |
A reaction: It seems to me better to say that Kant starts (unwittingly) from something like utilitarianism, that is, an assumption that human happiness and welfare have some sort of intrinsic value that cannot be demonstrated. Otherwise evil can be universalised. |