Authors
Timothy Williamson
Oxford University
Abstract
[Ian Rumfitt] Frege's logicism in the philosophy of arithmetic consisted, au fond, in the claim that in justifying basic arithmetical axioms a thinker need appeal only to methods and principles which he already needs to appeal in order to justify paradigmatically logical truths and paradigmatically logical forms of inference. Using ideas of Gentzen to spell out what these methods and principles might include, I sketch a strategy for vindicating this logicist claim for the special case of the arithmetic of the finite cardinals. /// [Timothy Williamson]The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward Löwenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1111/1467-8349.00053
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic and Existence.Ian Rumfitt - 1999 - Aristotelian Society Supplementary Volume 73 (1):151–180.
Logic and Existence.Timothy Williamson - 1999 - Aristotelian Society Supplementary Volume 73 (1):181–203.
What Is Existence?João Branquinho - 2012 - Disputatio 4 (34):575.
Neo-Logicism and Its Logic.Panu Raatikainen - 2019 - History and Philosophy of Logic 41 (1):82-95.
A Note on Logical Truth.Corine Besson - 2014 - Logique Et Analyse 57 (227):309-331.
Relatively Unrestricted Quantification.Kit Fine - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 20-44.

Analytics

Added to PP index
2017-02-20

Total views
16 ( #583,065 of 2,326,362 )

Recent downloads (6 months)
1 ( #644,397 of 2,326,362 )

How can I increase my downloads?

Downloads

My notes