Logicism as making arithmetic explicit
DOI10.1007/S10670-014-9712-ZzbMATH Open1346.03024OpenAlexW2012585843MaRDI QIDQ320159FDOQ320159
Authors: Vojtěch Kolman
Publication date: 6 October 2016
Published in: Erkenntnis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10670-014-9712-z
Recommendations
- Logicism in the eyes of the author of \textit{Tractatus logico-philosophicus} (and of philosophical remarks)
- Debating (neo)logicism: Frege and the neo-Fregeans
- Frege on understanding mathematical truth and the science of logic
- scientific article; zbMATH DE number 3926870
- Frege's puzzle and arithmetical formalism. Putting things in context
Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Development of contemporary mathematics (01A65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Classical recursion theory. The theory of functions and sets of natural numbers
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics
- Reason's nearest kin. Philosophies of arithmetic from Kant fo Carnap
- Title not available (Why is that?)
- Title not available (Why is that?)
- Forms of intuition. An essay on the philosophy of mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuum, name and paradox
Cited In (5)
- The truth of proof: a Hegelian perspective on constructivism
- Arithmetic based on the Church numerals in illative combinatory logic
- Logicism in the eyes of the author of \textit{Tractatus logico-philosophicus} (and of philosophical remarks)
- Hegel and the logical form
- Arithmetic Formulated in a Logic of Meaning Containment
This page was built for publication: Logicism as making arithmetic explicit
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q320159)