Neo-Logicism and Its Logic

DOI10.1080/01445340.2019.1680517MaRDI QIDQ5871286zbMATH OpenOpenAlexFDO

Authors Raatikainen, Panu

Publication date 18 January 2023

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340.2019.1680517

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Is Hume's principle analytic?
• ``Neo-logicist logic is not epistemically innocent
• scientific article; zbMATH DE number 2107940
• The neo-Fregean program in the philosophy of arithmetic
• The Logic in Logicism

Cites work

• 1 — Consistency and faithful interpretations
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• A proof of cut-elimination theorem in simple type-theory
• Banishing the rule of substitution for functional variables
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Completeness and Hauptsatz for second order logic1
• Faith \& falsity
• scientific article; zbMATH DE number 5000990 (Why is no real title available?)
• scientific article; zbMATH DE number 5374963 (Why is no real title available?)
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1950433 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (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?)
• scientific article; zbMATH DE number 3085191 (Why is no real title available?)
• Hume's principle, beginnings
• Logic and structure
• Logic of many-sorted theories
• Proof theory
• Reverse Mathematics and Π¹₂ Comprehension
• Speaking with Shadows: A Study of Neo‐Logicism
• Über deduktive Theorien mit mehreren Sorten von Grunddingen
• Undecidable theories
• What is Neologicism?

Cited in

(17)

• Finitude and Hume's principle
• Neo-logicism? An ontological reduction of mathematics to metaphysics
• ``Neo-logicist logic is not epistemically innocent
• Frege's Cardinals and Neo-Logicism
• The Measure of Scottish Neo-Logicism
• The Logic in Logicism
• Speaking with Shadows: A Study of Neo‐Logicism
• Aristotelian Logic, Axioms, and Abstraction
• Taking stock: Hale, Heck, and Wright on neo-logicism and higher-order logic
• A Logic for Frege’s Theorem
• Logicism and Logical Consequence
• What is Neologicism?
• Russell and the Neo-Logicists
• Is Hume's principle analytic?
• Neologicist nominalism
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Number theory and infinity without mathematics

This page was built for publication: Neo-Logicism and Its Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871286)