Induction, constructivity, and grounding

DOI10.1215/00294527-2021-0004MaRDI QIDQ1981997zbMATH OpenOpenAlexFDO

Authors Timothy McCarthy

Publication date 7 September 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2021-0004

zbMATH Keywords

inductionconstructive proofexplanatory proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 1877043
• Toward a generalization of the logic of grounding
• scientific article; zbMATH DE number 4166886
• scientific article; zbMATH DE number 4164162
• scientific article; zbMATH DE number 4014064
• scientific article; zbMATH DE number 4074451
• scientific article; zbMATH DE number 1149411
• scientific article; zbMATH DE number 3323819
• Inductive consequences in the calculus of constructions
• Grounding and truth-functions

Cites work

• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• An elementary proof of the prime-number theorem
• Explanation by induction?
• Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
• Mathematical induction and explanation
• Probability, explanation, and information
• Realizability and recursive set theory
• Realizability for constructive Zermelo-Fraenkel set theory
• SOLUTION OF THE HEAWOOD MAP-COLORING PROBLEM
• The Philosophy of Mathematical Practice
• Why proofs by mathematical induction are generally not explanatory

Cited in

(4)

• Ontological purity for formal proofs
• Structuring metatheory on inductive definitions
• scientific article; zbMATH DE number 4166886 (Why is no real title available?)
• Inference, Consequence, Implication: A Constructivist's Perspective

This page was built for publication: Induction, constructivity, and grounding

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