McGee on open-ended schemas
A mathematical theory T is categorical if, and only if, any two models of T are isomorphic. If T is categorical, it can be shown to be semantically complete: for every sentence ϕ in the language of T, either ϕ follows semantically from T or ¬ϕ does. For this reason some authors maintain that categoricity theorems are philosophically significant: they support the realist thesis that mathematical statements have determinate truth-values. Second-order arithmetic (PA2) is a case in hand: it can be shown to be categorical and semantically complete. The status of second-order logic is a controversial issue, however. Worries about the purported set-theoretic nature and ontological commitments of second-order logic have been influential in the debate.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Categoricity and U-Rank in Excellent Classes.Olivier Lessmann - 2003 - Journal of Symbolic Logic 68 (4):1317-1336.
Categoricity Theorems and Conceptions of Set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
McGee on Open-Ended Schemas.Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg - 2007 - In Helen Bohse & Sven Walter (eds.), Selected Contributions to GAP.6: Sixth International Conference of the German Society for Analytical Philosophy, Berlin, 11–14 September 2006. mentis.
Open-Endedness, Schemas and Ontological Commitment.Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg - 2010 - Noûs 44 (2):329-339.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #872,366 of 2,158,457 )
Recent downloads (6 months)0
How can I increase my downloads?