Synthese 138 (3):417 - 451 (2004)

F. A. Muller
Erasmus University Rotterdam
Once Hilbert asserted that the axioms of a theory `define` theprimitive concepts of its language `implicitly''. Thus whensomeone inquires about the meaning of the set-concept, thestandard response reads that axiomatic set-theory defines itimplicitly and that is the end of it. But can we explainthis assertion in a manner that meets minimum standards ofphilosophical scrutiny? Is Jané (2001) wrong when hesays that implicit definability is ``an obscure notion''''? Doesan explanation of it presuppose any particular view on meaning?Is it not a scandal of the philosophy of mathematics that no answersto these questions are around? We submit affirmative answers to allquestions. We argue that a Wittgensteinian conception of meaninglooms large beneath Hilbert''s conception of implicit definability.Within the specific framework of Horwich''s recent Wittgensteiniantheory of meaning called semantic deflationism, we explain anexplicit conception of implicit definability, and then go on toargue that, indeed, set-theory, defines the set-conceptimplicitly according to this conception. We also defend Horwich''sconception against a recent objection from the Neo-Fregeans Hale and Wright (2001). Further, we employ the philosophicalresources gathered to dissolve all traditional worries about thecoherence of the set-concept, raisedby Frege, Russell and Max Black, and whichrecently have been defended vigorously by Hallett (1984) in hismagisterial monograph Cantorian set-theory and limitationof size. Until this day, scandalously, these worries havebeen ignored too by philosophers of mathematics.
Keywords Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/B:SYNT.0000016439.37687.78
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,247
Through your library

References found in this work BETA

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Understanding the Infinite.Shaughan Lavine - 1994 - Harvard University Press.

View all 12 references / Add more references

Citations of this work BETA

Carnap on Concept Determination: Methodology for Philosophy of Science. [REVIEW]James Justus - 2012 - European Journal for Philosophy of Science 2 (2):161-179.
Wittgenstein on Set Theory and the Enormously Big.Ryan Dawson - 2016 - Philosophical Investigations 39 (4):313-334.
Deflating skolem.F. A. Muller - 2005 - Synthese 143 (3):223-253.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
167 ( #63,030 of 2,448,440 )

Recent downloads (6 months)
1 ( #449,843 of 2,448,440 )

How can I increase my downloads?


My notes