PROBABILISTIC PROOFS, LOTTERY PROPOSITIONS, AND MATHEMATICAL KNOWLEDGE

被引:1
|
作者
Hamami, Yacin [1 ]
机构
[1] Vrije Univ Brussel, Ctr Log & Philosophy Sci, Brussels, Belgium
来源
PHILOSOPHICAL QUARTERLY | 2022年 / 72卷 / 01期
关键词
probabilistic proofs; mathematical knowledge; lottery propositions; probabilistic evidence in mathematics; non-deductive methods in mathematics; EPISTEMOLOGY;
D O I
10.1093/pq/pqab007
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
In mathematics, any form of probabilistic proof obtained through the application of a probabilistic method is not considered as a legitimate way of gaining mathematical knowledge. In a series of papers, Don Fallis has defended the thesis that there are no epistemic reasons justifying mathematicians' rejection of probabilistic proofs. This paper identifies such an epistemic reason. More specifically, it is argued here that if one adopts a conception of mathematical knowledge in which an epistemic subject can know a mathematical proposition based solely on a probabilistic proof, one is then forced to admit that such an epistemic subject can know several lottery propositions based solely on probabilistic evidence. Insofar as knowledge of lottery propositions on the basis of probabilistic evidence alone is denied by the vast majority of epistemologists, it is concluded that this constitutes an epistemic reason for rejecting probabilistic proofs as a means of acquiring mathematical knowledge.
引用
收藏
页码:77 / 89
页数:13
相关论文
共 50 条
  • [1] Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge
    Hamami, Yacin
    [J]. PHILOSOPHICAL QUARTERLY, 2021, 72 (01): : 77 - 89
  • [2] Proofs as Bearers of Mathematical Knowledge
    Hanna, Gila
    Barbeau, Ed
    [J]. EXPLANATION AND PROOF IN MATHEMATICS: PHILOSOPHICAL AND EDUCATIONAL PERSPECTIVES, 2010, : 85 - +
  • [3] Proofs as bearers of mathematical knowledge
    Hanna G.
    Barbeau E.
    [J]. ZDM, 2008, 40 (3): : 345 - 353
  • [4] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
    Tomaszuk, Dominik
    Szeremeta, Lukasz
    Kornilowicz, Artur
    [J]. SCIENTIFIC DATA, 2023, 10 (01)
  • [5] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
    Dominik Tomaszuk
    Łukasz Szeremeta
    Artur Korniłowicz
    [J]. Scientific Data, 10
  • [6] Probabilistic proofs
    Shen, A
    [J]. MATHEMATICAL INTELLIGENCER, 1998, 20 (03): : 29 - 31
  • [7] Proofs of Propositions 5.1, 5.3 and 5.4
    Hong, Jialin
    Wang, Xu
    [J]. INVARIANT MEASURES FOR STOCHASTIC NONLINEAR SCHRODINGER EQUATIONS: NUMERICAL APPROXIMATIONS AND SYMPLECTIC STRUCTURES, 2019, 2251 : 195 - 207
  • [8] Mathematical Proofs
    Marco Panza
    [J]. Synthese, 2003, 134 : 119 - 158
  • [9] Mathematical proofs
    Panza, M
    [J]. SYNTHESE, 2003, 134 (1-2) : 119 - 158
  • [10] Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs
    Frans, Joachim
    Kosolosky, Laszlo
    [J]. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2014, 29 (03): : 345 - 360