This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

24 found
Order:
  1. added 2018-12-26
    The Reliability of Randomized Algorithms.D. Fallis - 2000 - British Journal for the Philosophy of Science 51 (2):255-271.
    Recently, certain philosophers of mathematics (Fallis [1997]; Womack and Farach [(1997]) have argued that there are no epistemic considerations that should stop mathematicians from using probabilistic methods to establish that mathematical propositions are true. However, mathematicians clearly should not use methods that are unreliable. Unfortunately, due to the fact that randomized algorithms are not really random in practice, there is reason to doubt their reliability. In this paper, I analyze the prospects for establishing that randomized algorithms are reliable. I end (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. added 2018-12-25
    Mathematical Proof and the Reliability of DNA Evidence.Don Fallis - 1996 - The American Mathematical Monthly 103 (6):491-497.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  3. added 2016-12-05
    Perceiving Necessity.Catherine Legg & James Franklin - 2017 - Pacific Philosophical Quarterly 98 (3).
    In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. added 2015-08-24
    Knowledge of Mathematics Without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
    Mathematicians do not claim to know a proposition unless they think they possess a proof of it. For all their confidence in the truth of a proposition with weighty non-deductive support, they maintain that, strictly speaking, the proposition remains unknown until such time as someone has proved it. This article challenges this conception of knowledge, which is quasi-universal within mathematics. We present four arguments to the effect that non-deductive evidence can yield knowledge of a mathematical proposition. We also show that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. added 2015-08-24
    Mathematical Instrumentalism, Gödel’s Theorem, and Inductive Evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
    Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. added 2015-06-14
    Discovery, Invention and Realism: Gödel and Others on the Reality of Concepts.Michael Detlefsen - 2011 - In John Polkinghorne (ed.), Meaning in Mathematics. Oxford University Press.
    The general question considered is whether and to what extent there are features of our mathematical knowledge that support a realist attitude towards mathematics. I consider, in particular, reasoning from claims such as that mathematicians believe their reasoning to be part of a process of discovery (and not of mere invention), to the view that mathematical entities exist in some mind-independent way although our minds have epistemic access to them.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2015-06-09
    Non-Deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2015-02-05
    Probabilistic Proofs and Transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
    In a series of papers, Don Fallis points out that although mathematicians are generally unwilling to accept merely probabilistic proofs, they do accept proofs that are incomplete, long and complicated, or partly carried out by computers. He argues that there are no epistemic grounds on which probabilistic proofs can be rejected while these other proofs are accepted. I defend the practice by presenting a property I call ‘transferability’, which probabilistic proofs lack and acceptable proofs have. I also consider what this (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9. added 2015-02-05
    What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
    Several philosophers have used the framework of means/ends reasoning to explain the methodological choices made by scientists and mathematicians (see, e.g., Goldman 1999, Levi 1962, Maddy 1997). In particular, they have tried to identify the epistemic objectives of scientists and mathematicians that will explain these choices. In this paper, the framework of means/ends reasoning is used to study an important methodological choice made by mathematicians. Namely, mathematicians will only use deductive proofs to establish the truth of mathematical claims. In this (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   5 citations  
  10. added 2015-02-05
    The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.
  11. added 2014-06-02
    Aristotelian Realist Philosophy of Mathematics.James Franklin - 2014 - Palgrave MacMillan.
    An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. added 2014-05-19
    The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.
    This is the first interdisciplinary exploration of the philosophical foundations of the Web, a new area of inquiry that has important implications across a range of domains. - Contains twelve essays that bridge the fields of philosophy, cognitive science, and phenomenology. - Tackles questions such as the impact of Google on intelligence and epistemology, the philosophical status of digital objects, ethics on the Web, semantic and ontological changes caused by the Web, and the potential of the Web to serve as (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. added 2014-05-19
    The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2014-05-19
    A Genetic Interpretation of Neo-Pythagorean Arithmetic.Ioannis M. Vandoulakis - 2010 - Oriens - Occidens 7:113-154.
    The style of arithmetic in the treatises the Neo-Pythagorean authors is strikingly different from that of the "Elements". Namely, it is characterised by the absence of proof in the Euclidean sense and a specific genetic approach to the construction of arithmetic that we are going to describe in our paper. Lack of mathematical sophistication has led certain historians to consider this type of mathematics as a feature of decadence of mathematics in this period [Tannery 1887; Heath 1921]. The alleged absence (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2014-04-02
    That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.J. Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
    Mistaken reasons for thinking diagrammatic proofs aren't rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what's expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  16. added 2014-04-01
    What is Empirical in Mathematics?Philip L. Peterson - 1991 - Philosophia Mathematica (1):91-110.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. added 2014-03-09
    Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. Xxx + 339. ISBN 1-4020-1094-X. [REVIEW]E. Mendelson - 2005 - Philosophia Mathematica 13 (2):228-230.
  18. added 2012-08-27
    Mathematical Reasoning: Induction, Deduction and Beyond.David Sherry - 2006 - Studies in History and Philosophy of Science Part A 37 (3):489-504.
    Mathematics used to be portrayed as a deductive science. Stemming from Polya , however, is a philosophical movement which broadens the concept of mathematical reasoning to include inductive or quasi-empirical methods. Interest in inductive methods is a welcome turn from foundationalism toward a philosophy grounded in mathematical practice. Regrettably, though, the conception of mathematical reasoning embraced by quasi-empiricists is still too narrow to include the sort of thought-experiment which Mueller describes as traditional mathematical proof and which Lakatos examines in Proofs (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2012-07-02
    Experimental Mathematics, Computers and the a Priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
    In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical hypotheses. For example, there is “number crunching” such as searching for very large Mersenne primes, and showing that the Goldbach conjecture holds for all even numbers less than 2 × 1018. There are “verifications” of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2012-02-13
    Non-Deductive Logic in Mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.
    Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', `heuristic' or (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21. added 2011-08-19
    Mathematics and Plausible Reasoning.George Pólya - 1954 - Princeton: Princeton University Press.
  22. added 2011-08-19
    Mathematics and Plausible Reasoning.George Polya - 1954 - Princeton University Press.
    Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  23. added 2011-08-15
    The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
    Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. added 2011-08-15
    Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
    Remove from this list  
     
    Export citation  
     
    Bookmark