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.
|
6850
|
Wittgenstein pared his life down in his search for decency [Monk]
|
|
Full Idea:
One of the most conspicuous things about Wittgenstein is that, on the ethics side, he pared his life down to the minimum, so as to make as central as possible his search for decency, the drive to be a decent person.
|
|
From:
Ray Monk (Interview with Baggini and Stangroom [2001], p.14)
|
|
A reaction:
It rather looks as if decency was quite an effort for him, as he had a rather waspish temperament, and people found it hard to get close to him. On the whole, though, he sounds like good company, as do nearly all the great philosophers.
|