Induction, constructivity, and grounding

DOI10.1215/00294527-2021-0004OpenAlexW3168148644MaRDI QIDQ1981997FDOQ1981997

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

Recommendations

• scientific article; zbMATH DE number 1877043
• Toward a generalization of the logic of grounding
• scientific article
• scientific article
• 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

zbMATH Keywords

inductionconstructive proofexplanatory proof

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Ontological purity for formal proofs
• Title not available (Why is that?)
• Inference, Consequence, Implication: A Constructivist's Perspective
• Structuring metatheory on inductive definitions

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)