A formalist philosophy of mathematics. I: Arithmetic

DOI10.1007/S11225-010-9283-1zbMath1211.03008OpenAlexW1988802190MaRDI QIDQ603904

Michael Gabbay

Publication date: 8 November 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9283-1

zbMATH Keywords

truth theoryformalismphilosophy of mathematicsfictionalism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

Theory of semi-instantiation in abstract argumentation ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: A formalist philosophy of mathematics. I: Arithmetic