Neo-Logicism and Its Logic
From MaRDI portal
Publication:5871286
DOI10.1080/01445340.2019.1680517zbMath1503.03008OpenAlexW2988635330MaRDI QIDQ5871286
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
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Higher-order logic (03B16)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Faith \& falsity
- A proof of cut-elimination theorem in simple type-theory
- Über deduktive Theorien mit mehreren Sorten von Grunddingen
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- Undecidable theories
- HUME’S PRINCIPLE, BEGINNINGS
- Speaking with Shadows: A Study of Neo‐Logicism
- Reverse Mathematics and Π12 Comprehension
- What is Neologicism?
- Completeness and Hauptsatz for second order logic1
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
- 1 — Consistency and faithful interpretations
- Logic of many-sorted theories
- Banishing the rule of substitution for functional variables
- Logic and structure
- Proof theory