Finitistic arithmetic and classical logic

DOI10.1093/PHILMAT/NKT042MaRDI QIDQ3449305zbMATH OpenOpenAlexFDO

Authors Mihai Ganea

Publication date 4 November 2015

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkt042

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• Two (or three) notions of finitism
• On the untenability of Nelson's predicativism
• scientific article; zbMATH DE number 738893
• scientific article; zbMATH DE number 1254487
• scientific article; zbMATH DE number 1870429

Cited in

(5)

• Explicit finitism
• On the untenability of Nelson's predicativism
• The Friedman-Sheard programme in intuitionistic logic
• Two (or three) notions of finitism
• Wright's strict finitistic logic in the classical metatheory: the propositional case

This page was built for publication: Finitistic arithmetic and classical logic

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