Logicism, interpretability, and knowledge of arithmetic
From MaRDI portal
Recommendations
Cites work
- A mathematical introduction to logic.
- A note on interpretations of many-sorted theories
- Cardinality, counting, and equinumerosity
- Describing Groups
- Diffusion, quantum theory, and radically elementary mathematics
- Finitude and Hume's principle
- Frege and the rigorization of analysis
- Frege meets Dedekind: A neologicist treatment of real analysis
- Frege's conception of logic
- Frege’S reduction
- scientific article; zbMATH DE number 1577093 (Why is no real title available?)
- scientific article; zbMATH DE number 3829861 (Why is no real title available?)
- scientific article; zbMATH DE number 5959536 (Why is no real title available?)
- scientific article; zbMATH DE number 5951202 (Why is no real title available?)
- scientific article; zbMATH DE number 1183730 (Why is no real title available?)
- scientific article; zbMATH DE number 50939 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 1090730 (Why is no real title available?)
- scientific article; zbMATH DE number 1144041 (Why is no real title available?)
- scientific article; zbMATH DE number 1150557 (Why is no real title available?)
- scientific article; zbMATH DE number 2014521 (Why is no real title available?)
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 824731 (Why is no real title available?)
- scientific article; zbMATH DE number 2212008 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Hume's principle, beginnings
- Introduction to Boolean Algebras
- Is Hume's principle analytic?
- Mathematical thought and its objects
- Mathematics as a Science of Patterns: Ontology and Reference
- Model Theory
- Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
- On the untenability of Nelson's predicativism
- Quasi finitely axiomatizable totally categorical theories
- Reals by abstraction
- Subsystems of second order arithmetic
- Where do the natural numbers come from?
Cited in
(14)- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
- scientific article; zbMATH DE number 3891353 (Why is no real title available?)
- Protocol Sentences for Lite Logicism
- Context principle, fruitfulness of logic and the cognitive value of arithmetic in frege
- Truth \& knowledge in logic \& mathematics
- Arithmetic Formulated in a Logic of Meaning Containment
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
- On Morita equivalence and interpretability
- Naturalizing indispensability: a rejoinder to `The varieties of indispensability arguments'
- The prehistory of the subsystems of second-order arithmetic
- Knowledge of Arithmetic
- The strength of abstraction with predicative comprehension
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
This page was built for publication: Logicism, interpretability, and knowledge of arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2940868)
