Single Idea 10211

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L]

Full Idea

Quine suggests that V = L be accepted in set theory because it makes for a cleaner theory, even though most set theorists are skeptical of V = L.

Gist of Idea

Quine wants V = L for a cleaner theory, despite the scepticism of most theorists

Source

report of Willard Quine (works [1961]) by Stewart Shapiro - Philosophy of Mathematics Ch.1

Book Reference

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.29


A Reaction

Shapiro cites it as a case of a philosopher trying to make recommendations to mathematicians. Maddy supports Quine.