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.
|
14596
|
Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr]
|
|
Full Idea:
Just as there are no numbers or properties, there are no relations (like 'being heavier than' or 'betweenness'), or sets. I will provisionally use 'nominalism' for the conjunction of these four claims.
|
|
From:
Cian Dorr (There Are No Abstract Objects [2008], 1)
|
|
A reaction:
If you are going to be a nominalist, do it properly! My starting point in metaphysics is strong sympathy with this view. Right now [Tues 22nd Nov 2011, 10:57 am GMT] I think it is correct.
|
14598
|
Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr]
|
|
Full Idea:
If there are abstract objects, there are necessary truths about these things that cannot be reduced to truths of logic. So only the nominalist, who denies that there are any such things, can adequately respect the idea that there are no brute necessities.
|
|
From:
Cian Dorr (There Are No Abstract Objects [2008], 4)
|
|
A reaction:
This is where two plates of my personal philosophy grind horribly against one another. I love nominalism, and I love natural necessities. They meet like a ring-species in evolution. I'll just call it a 'paradox', and move on (swiftly).
|
16764
|
The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus]
|
|
Full Idea:
Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted.
|
|
From:
Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5
|
|
A reaction:
A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763.
|