Ideas from 'New Foundations for Mathematical Logic' by Willard Quine [1937], by Theme Structure

[found in 'From a Logical Point of View' by Quine,Willard [Harper and Row 1963,0-06-130566-9]].

green numbers give full details    |     back to texts     |     unexpand this idea


4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions
                        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.