What inductive explanations could not be

DOI10.1007/s11229-017-1457-1zbMath1452.00012OpenAlexW2624365719MaRDI QIDQ2219138

John Dougherty

Publication date: 19 January 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/13180/1/jdougherty_inductive_explanation.pdf

zbMATH Keywords

proof theorymathematical inductionmathematical explanationhomotopy-type theory

Mathematics Subject Classification ID

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

Related Items

Set-theoretic justification and the theoretical virtues

Cites Work

• Unnamed Item
• Higher Inductive Types as Homotopy-Initial Algebras
• Inductive Types in Homotopy Type Theory
• Proofs and Pictures
• Why proofs by mathematical induction are generally not explanatory
• Mathematical induction and explanation
• Homotopy Type Theory: Univalent Foundations of Mathematics
• The Varieties of Mathematical Explanation