A Counterfactual Approach to Explanation in Mathematics

被引：15
|
作者：
Baron, Sam [1 ]
Colyvan, Mark [2 ]
Ripley, David [3 ]
机构：
[1] Univ Western Australia, Dept Philosophy, Crawley 6009, Australia
[2] Univ Sydney, Dept Philosophy, Camperdown, NSW 2006, Australia
[3] Monash Univ, Dept Philosophy, Clayton, Vic 3800, Australia
来源：
PHILOSOPHIA MATHEMATICA | 2020年 / 28卷 / 01期
基金：
澳大利亚研究理事会;
关键词：
D O I：
10.1093/philmat/nkz023
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.
引用
收藏
页码：1 / 34
页数：34
相关论文
共 50 条
  • [21] Counterfactual explanation generation with minimal feature boundary
    You, Dianlong
    Niu, Shina
    Dong, Siqi
    Yan, Huigui
    Chen, Zhen
    Wu, Di
    Shen, Limin
    Wu, Xindong
    [J]. INFORMATION SCIENCES, 2023, 625 : 342 - 366
  • [22] Counterfactual Explanation of Machine Learning Survival Models
    Kovalev, Maxim
    Utkin, Lev
    Coolen, Frank
    Konstantinov, Andrei
    [J]. INFORMATICA, 2021, 32 (04) : 817 - 847
  • [23] Explainability Metrics and Properties for Counterfactual Explanation Methods
    Singh, Vandita
    Cyras, Kristijonas
    Inam, Rafia
    [J]. EXPLAINABLE AND TRANSPARENT AI AND MULTI-AGENT SYSTEMS, EXTRAAMAS 2022, 2022, 13283 : 155 - 172
  • [24] Functional explanation in mathematics
    Matthew Inglis
    Juan Pablo Mejía-Ramos
    [J]. Synthese, 2021, 198 : 6369 - 6392
  • [25] Ground and Explanation in Mathematics
    Lange, Marc
    [J]. PHILOSOPHERS IMPRINT, 2019, 19 (33): : 1 - 18
  • [26] Functional explanation in mathematics
    Inglis, Matthew
    Mejia-Ramos, Juan Pablo
    [J]. SYNTHESE, 2021, 198 (SUPPL 26) : 6369 - 6392
  • [27] Compulsory mathematics - An explanation
    Snedden, D
    [J]. SCIENCE, 1916, 44 : 204 - 205
  • [28] Augmentation by Counterfactual Explanation Fixing an Overconfident Classifier
    Singla, Sumedha
    Murali, Nihal
    Arabshahi, Forough
    Triantafyllou, Sofia
    Batmanghelich, Kayhan
    [J]. 2023 IEEE/CVF WINTER CONFERENCE ON APPLICATIONS OF COMPUTER VISION (WACV), 2023, : 4709 - 4719
  • [29] GRETEL: Graph Counterfactual Explanation Evaluation Framework
    Prado-Romero, Mario Alfonso
    Stilo, Giovanni
    [J]. PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2022, 2022, : 4389 - 4393
  • [30] Depth and Explanation in Mathematics
    Lange, Marc
    [J]. PHILOSOPHIA MATHEMATICA, 2015, 23 (02) : 196 - 214
12345