Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...) representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

We define a model for computing probabilities of right-nested conditionals in terms of graphs representing Markov chains. This is an extension of the model for simple conditionals from Wójtowicz and Wójtowicz. The model makes it possible to give a formal yet simple description of different interpretations of right-nested conditionals and to compute their probabilities in a mathematically rigorous way. In this study we focus on the problem of the probabilities of conditionals; we do not discuss questions concerning logical and metalogical (...) issues such as setting up an axiomatic framework, inference rules, defining semantics, proving completeness, soundness etc. Our theory is motivated by the possible-worlds approach ; however, our model is generally more flexible. In the paper we focus on right-nested conditionals, discussing them in detail. The graph model makes it possible to account in a unified way for both shallow and deep interpretations of right-nested conditionals. In particular, we discuss the status of the Import-Export Principle and PCCP. We briefly discuss some methodological constraints on admissible models and analyze our model with respect to them. The study also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

The literature on mathematical explanation contains numerous examples of explanatory, and not so explanatory proofs. In this paper we report results of an empirical study aimed at investigating mathematicians’ notion of explanatoriness, and its relationship to accounts of mathematical explanation. Using a Comparative Judgement approach, we asked 38 mathematicians to assess the explanatory value of several proofs of the same proposition. We found an extremely high level of agreement among mathematicians, and some inconsistencies between their assessments and claims in the (...) literature regarding the explanatoriness of certain types of proofs. (shrink)

Topology has been characterized as an unsuitable mathematical framework for the investigation of geometric-perceptual phenomena. This has been attributed to the highly abstract nature of topology leading to failures in tasks such as making distinctions between geometrical figures (e.g., a cube versus a sphere) in which the human perceptual system succeeds easily. An alternative thesis is proposed on both philosophical and empirical grounds. The present analysis applies the Müller-Lyer (ML) illusion as a method of investigation to examine the suitability of (...) topology in raising questions about geometric-perceptual phenomena and formulating potential answers to these questions. Not only will it be concluded that topology is a suitable mathematical framework in which one can formulate relevant questions and potential answers with respect to perceptual phenomena such as the ML illusion, it will also be discussed that topology will not be replaced by other means of spatial representation consistent with the findings that indicate its contributions to our daily spatial behavior along with other means such as Euclidean geometry. In addition, the analysis will be discussed with respect to two relevant themes: 1) the implications of the proposed view in relation to Husserl’s phenomenology and 2) the effect of developmental stages and education that may change the involvement of topology in such perceptual responses over time. (shrink)

In this paper I concentrate on Euclidean diagrams, namely on those diagrams that are licensed by the rules of Euclid’s plane geometry. I shall overview some philosophical stances that have recently been proposed in philosophy of mathematics to account for the role of such diagrams in mathematics, and more particularly in Euclid’s Elements. Furthermore, I shall provide an original analysis of the epistemic role that Euclidean diagrams may have in empirical sciences, more specifically in physics. I shall claim that, although (...) the world we live in is not Euclidean, Euclidean diagrams permit to obtain knowledge of the world through a specific mechanism of inference I shall call inheritance. (shrink)

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, (...) and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

Scientific images represent types or particulars. According to a standard history and epistemology of scientific images, drawings are fit to represent types and machine-made images are fit to represent particulars. The fact that archaeologists use drawings of particulars challenges this standard history and epistemology. It also suggests an account of the epistemic quality of archaeological drawings. This account stresses how images integrate non-conceptual and interepretive content.

On Simone Weil’s “Pythagorean” view, mathematics has a mystical significance. In this paper, the nature of this significance and the coherence of Weil’s view are explored. To sharpen the discussion, consideration is given to both Rush Rhees’ criticism of Weil and Vance Morgan’s rebuttal of Rhees. It is argued here that while Morgan underestimates the force of Rhees’ criticism, Rhees’ take on Weil is, nevertheless, flawed for two reasons. First, Rhees fails to engage adequately with either the assumptions underlying Weil’s (...) religious conception of philosophy or its dialectical method. Second, Rhees’ reading of Weil reflects an anti‐Platonist conception of mathematics his justification of which is unsound and whose influence impedes recognition of the coherence of Weil’s position. (shrink)

Electronic computers form an integral part of modern mathematical practice. Several high-profile results have been proven with techniques where computer calculations form an essential part of the proof. In the traditional philosophical literature, such proofs have been taken to constitute a posteriori knowledge. However, this traditional stance has recently been challenged by Mark McEvoy, who claims that computer calculations can constitute a priori mathematical proofs, even in cases where the calculations made by the computer are too numerous to be surveyed (...) by human agents. In this article we point out the deficits of the traditional literature that has called for McEvoy’s correction. We also explain why McEvoy’s defence of mathematical apriorism fails and we discuss how the debate over the epistemological status of computer-assisted mathematics contains several unfortunate conceptual reductions. (shrink)

Is there anything like an experiment in mathematics? And if this is the case, what would distinguish a mathematical experiment from a mathematical thought experiment? In the present paper, a framework for the practice of mathematics will be put forward, which will consider mathematics as an experimenting activity and as a proving activity. The relationship between these two activities will be explored and more importantly a distinction between thought-experiments, real experiments, quasi experiments and proofs in pure mathematics will be provided. (...) To do so, three examples of experimenting with triangles will be introduced and discussed. (shrink)

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 (...) `pragmatic', but that there must be an element of what it is rational to believe on the evidence, that is, of non-deductive logic. (shrink)

ABSTRACT This paper reveals David Hilbert’s position in the philosophy of mathematics, circa 1900, to be a form of non-eliminative structuralism, predating his formalism. I argue that Hilbert withstands the pressing objections put to him by Frege in the course of the Frege-Hilbert controversy in virtue of this early structuralist approach. To demonstrate that this historical position deserves contemporary attention I show that Hilbertian structuralism avoids a recent wave of objections against non-eliminative structuralists to the effect that they cannot distinguish (...) between structurally identical but importantly distinct mathematical objects, such as the complex roots of $-1$. (shrink)

This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept (...) formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something. (shrink)

With reference to an already existing and relatively widespread use of the expression in question, mathematical “thought experiments” (“TEs”) involve mathematical reasoning in which visualisation plays a relatively more important role. But to ensure an unambiguous and consistent use of the term, certain conditions have to be met: (1) Contrary to what has happened so far in the literature, the distinction between logical-formal thinking and experimental-operational thinking must not be ignored; (2) The separation between the context of discovery and the (...) context of justification is to be rejected, at least in one of the main senses in which it was defended by the logical empiricists and Popper (this excludes any position which, ascribing to mathematical TEs only a heuristic role, regards them an intermediate step to attain more traditional forms of rigour); (3) The distinction between mathematical TEs and formal proofs must be regarded as one of degree, and not as a qualitative one, although this distinction may be used in a de facto way for particular or local purposes. (shrink)

Examples of classic thought experiments are presented and some morals drawn. The views of my fellow symposiasts, Tamar Gendler, John Norton, and James McAllister, are evaluated. An account of thought experiments along a priori and Platonistic lines is given. I also cite the related example of proving theorems in mathematics with pictures and diagrams. To illustrate the power of these methods, a possible refutation of the continuum hypothesis using a thought experiment is sketched.

It is a common thought that mathematics can be not only true but also beautiful, and many of the greatest mathematicians have attached central importance to the aesthetic merit of their theorems, proofs and theories. But how, exactly, should we conceive of the character of beauty in mathematics? In this paper I suggest that Kant's philosophy provides the resources for a compelling answer to this question. Focusing on §62 of the ‘Critique of Aesthetic Judgment’, I argue against the common view (...) that Kant's aesthetics leaves no room for beauty in mathematics. More specifically, I show that on the Kantian account beauty in mathematics is a non-conceptual response felt in light of our own creative activities involved in the process of mathematical reasoning. The Kantian proposal I thus develop provides a promising alternative to Platonist accounts of beauty widespread among mathematicians. While on the Platonist conception the experience of mathematical beauty consists in an intellectual insight into the fundamental structures of the universe, according to the Kantian proposal the experience of beauty in mathematics is grounded in our felt awareness of the imaginative processes that lead to mathematical knowledge. The Kantian account I develop thus offers to elucidate the connection between aesthetic reflection, creative imagination and mathematical cognition. (shrink)

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 (...) lack of rigor. (shrink)

The relationship is explored between formal derivations, which occur in artificial languages, and mathematical proof, which occurs in natural languages. The suggestion that ordinary mathematical proofs are abbreviations or sketches of formal derivations is presumed false. The alternative suggestion that the existence of appropriate derivations in formal logical languages is a norm for ordinary rigorous mathematical proof is explored and rejected.