Switch to: References

Citations of:

Reliability of mathematical inference

Synthese 198 (8):7377-7399 (2020)

Add citations

You must login to add citations.
  1. On the unreasonable reliability of mathematical inference.Brendan Philip Larvor - 2022 - Synthese 200 (4):1-16.
    In, Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the relationship between informal mathematical proofs and their corresponding formal derivations. His argument considers the various strategies by means of which mathematicians can write informal proofs that meet mathematical standards of rigour, in spite of the prodigious length, complexity and conceptual difficulty that some proofs exhibit. He takes it that showing that and how such strategies work is a (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Philosophy of Mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.
    If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...)
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  • What is Mathematical Rigor?John Burgess & Silvia De Toffoli - 2022 - Aphex 25:1-17.
    Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Anti-exceptionalism about logic as tradition rejection.Ben Martin & Ole Thomassen Hjortland - 2022 - Synthese 200 (2):1-33.
    While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • What Are Mathematical Diagrams?Silvia De Toffoli - 2022 - Synthese 200 (2):1-29.
    Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic of Informal Provability With TruthValues.Pawel Pawlowski & Rafal Urbaniak - forthcoming - Logic Journal of the IGPL.
    Classical logic of formal provability includes Löb’s theorem, but not reflection. In contrast, intuitions about the inferential behavior of informal provability seem to invalidate Löb’s theorem and validate reflection. We employ a non-deterministic many-valued semantics and develop a modal logic T-BAT of an informal provability operator, which indeed does validate reflection and invalidates Löb’s theorem. We study its properties and its relation to known provability-related paradoxical arguments. We also argue that T-BAT is a fairly sensible candidate for a formal logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Epistemic Phase Transitions in Mathematical Proofs.Scott Viteri & Simon DeDeo - 2022 - Cognition 225:105120.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Reliability: An Introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese (Suppl 23):1-10.
    How we can reliably draw inferences from data, evidence and/or experience has been and continues to be a pressing question in everyday life, the sciences, politics and a number of branches in philosophy (traditional epistemology, social epistemology, formal epistemology, logic and philosophy of the sciences). In a world in which we can now longer fully rely on our experiences, interlocutors, measurement instruments, data collection and storage systems and even news outlets to draw reliable inferences, the issue becomes even more pressing. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reconciling Rigor and Intuition.Silvia De Toffoli - 2021 - Erkenntnis 86 (6):1783-1802.
    Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Reliability: An Introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese 198 (S23):5615-5624.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Informal and Formal Proofs, Metalogic, and the Groundedness Problem.Mario Bacelar Valente - manuscript
    When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are rigorous (...)
     
    Export citation  
     
    Bookmark