Bridging the gap between argumentation theory and the philosophy of mathematics

DOI10.1007/s10699-008-9150-yzbMath1170.00003OpenAlexW2126237658MaRDI QIDQ2271079

Yanyan Li

Publication date: 6 August 2009

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10699-008-9150-y

zbMATH Keywords

computational modelphilosophy of mathematicsargumentationLakatostheory refinement

Mathematics Subject Classification ID

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

Uses Software

• Isar
• HR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A History of Lagrange's Theorem on Groups
• Formalizing Hilbert’s Grundlagen in Isabelle/Isar
• Assaying lakatos's philosophy of mathematics
• The Legacy of Lakatos: Reconceptualising the Philosophy of Mathematics††
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic

This page was built for publication: Bridging the gap between argumentation theory and the philosophy of mathematics