Predicative Frege Arithmetic and ‘Everyday’ Mathematics
Abstract
The primary purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets certain weak but non-trivial arithmetical theories. It will take almost as long to explain what this means and why it matters as it will to prove the resultsAuthor's Profile
Other Versions
No versions found
(no proxy)My notes
Similar books and articles
Ramified Frege Arithmetic.Richard G. Heck Jr -2011 -Journal of Philosophical Logic 40 (6):715 - 735.
Zigzag and Fregean Arithmetic.Fernando Ferreira -2018 - In Hassan Tahiri,The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 81-100.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh -2016 -Bulletin of Symbolic Logic 22 (1):105–120.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe &Fernando Ferreira -2015 -Notre Dame Journal of Formal Logic 56 (1):61-79.
Predicative fragments of Frege arithmetic.Øystein Linnebo -2004 -Bulletin of Symbolic Logic 10 (2):153-174.
Finitistic Arithmetic and Classical Logic.Mihai Ganea -2014 -Philosophia Mathematica 22 (2):167-197.
The predicative Frege hierarchy.Albert Visser -2009 -Annals of Pure and Applied Logic 160 (2):129-153.
Analytics
Added to PP
2011-03-09
Downloads
1,148 (#18,830)
6 months
182 (#23,728)
2011-03-09
Downloads
1,148 (#18,830)
6 months
182 (#23,728)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Number Theory and Infinity Without Mathematics.Uri Nodelman &Edward N. Zalta -2024 -Journal of Philosophical Logic 53 (5):1161-1197.
Strict Finitism, Feasibility, and the Sorites.Walter Dean -2018 -Review of Symbolic Logic 11 (2):295-346.
Building blocks for a cognitive science-led epistemology of arithmetic.Stefan Buijsman -2021 -Philosophical Studies 179 (5):1-18.
References found in this work
Frege's conception of numbers as objects.Crispin Wright -1983 - [Aberdeen]: Aberdeen University Press.
Undecidable theories.Alfred Tarski -1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Computability and Logic.George S. Boolos,John P. Burgess &Richard C. Jeffrey -2003 -Bulletin of Symbolic Logic 9 (4):520-521.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo