Maarefi, Mohammad (2025) Mathematical Explanation, Metaphysical Grounding, and Explanatory Chains. [Preprint]
![]() |
Text
Final Version.pdf - Accepted Version Download (370kB) |
Abstract
This paper develops a theory of mathematical explanation through the lens of a separatist metaphysical grounding framework. I argue that mathematical explanations delivered by proofs are best captured by a non-causal determination relation between mathematical facts—a metaphysical grounding relation where the \textit{explanans} determines the \textit{explanandum}, where the relevant why questions at each step are answered; an explanatory proof is the one that establishes an explanatory chain between the \textit{explanans} and the \textit{explanandum}. Through a case study in algebra (e.g., the infinity of fields with characteristic zero), I argue how this relation establishes objective dependencies in terms of determination relations that answer why-questions about mathematical facts. By adopting a ground-first separatist approach—where grounding relations back explanations but are distinct from them—the theory aligns with mathematical practice, supports proof plurality, and addresses gaps in existing accounts.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | mathematical explanation, separatism, explanatory chain, metaphysical grounding | ||||||
Subjects: | Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics |
||||||
Depositing User: | dr Mohammad Maarefi | ||||||
Date Deposited: | 09 Sep 2025 18:29 | ||||||
Last Modified: | 09 Sep 2025 18:29 | ||||||
Item ID: | 26442 | ||||||
Subjects: | Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics |
||||||
Date: | 2025 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/26442 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
![]() |
View Item |