The Euclidean ideal of mathematics as well as all the foundational schools in the philosophy of mathematics have been contested by the new approach, called the “maverick” trend in the philosophy of mathematics. Several points made by its main representatives are mentioned – from the revisability of actual proofs to the stress on real mathematical practice as opposed to its idealized reconstruction. Main features of real proofs are then mentioned; for example, whether they are convincing, understandable, and/or explanatory. Therefore, the (...) new approach questions Hilbert’s Thesis, according to which a correct mathematical proof is in principle reducible to a formal proof, based on explicit axioms and logic. (shrink)

The role of audiences in mathematical proof has largely been neglected, in part due to misconceptions like those in Perelman and Olbrechts-Tyteca which bar mathematical proofs from bearing reflections of audience consideration. In this paper, I argue that mathematical proof is typically argumentation and that a mathematician develops a proof with his universal audience in mind. In so doing, he creates a proof which reflects the standards of reasonableness embodied in his universal audience. Given this framework, we can better understand (...) the introduction of proof methods based on the mathematician’s likely universal audience. I examine a case study from Alexander and Briggs’s work on knot invariants to show that we can fruitfully reconstruct mathematical methods in terms of audiences. (shrink)

In the scholarship on Wittgenstein’s later philosophy of mathematics, the dominant interpretation is a theoretical one that ascribes to Wittgenstein some type of ‘ism’ such as radical verificationism or anti-realism. Essentially, he is supposed to provide a positive account of our mathematical practice based on some basic assertions. However, I claim that he should not be read in terms of any ‘ism’ but instead should be read as examining philosophical pictures in the sense of unclear conceptions. The contrast here is (...) that basic assertions that frame philosophical ‘isms’ are propositional such that they are subject to normal argumentative evaluation, while pictures in Wittgenstein’s sense are non-propositional—they lack a clear truth condition. They, therefore, need clarification rather than argumentation. In this paper, I provide a detailed analysis of Wittgenstein’s treatment of philosophical pictures with special focus on his argument on contradiction. I begin by explaining the problem with this trend of theoretical interpretation, taking Steve Gerrard’s otherwise excellent interpretation as a representative example and pointing out why it is problematic. Next, I will argue that those problems do not arise if we take Wittgenstein’s task as the clarification of philosophical pictures. I do this, first, by explaining Wittgenstein’s method using his argument concerning the Augustinian Picture in Philosophical Investigations and then pointing out that the same method can be identified in the crucial arguments in his philosophy of mathematics. Finally, in order to connect my interpretation with the current scholarship, I will explain the relation of my interpretation with those of New Wittgensteinian scholars. (shrink)

This essay accounts for the notion of _Lebensform_ by assigning it a _logical _role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the _PI_ occurred during the initial drafting of the book 1936-7, after he abandoned his effort to revise _The Brown Book_. It is argued that this constituted a substantive step forward in his attitude toward the notion of simplicity as it figures within the notion of logical analysis. Next, a reconstruction of his later (...) remarks on _Lebensformen_ is offered which factors in his reading of Alan Turing’s “On computable numbers, with an application to the _Entscheidungsproblem_“, as well as his discussions with Turing 1937-1939. An interpretation of the five occurrences of _Lebensform_ in the PI is then given in terms of a logical “regression” to _Lebensform_ as a fundamental notion. This regression characterizes Wittgenstein’s mature answer to the question, “What is the nature of the logical?”. (shrink)

Over fifteen years have passed since Cora Diamond and James Conant turned Wittgenstein scholarship upside down with the program of “resolute” reading, and ten years since this reading was crystallized in the major collection _The New Wittgenstein_. This approach remains at the center of the debate about Wittgenstein and his philosophy, and this book draws together the latest thinking of the world’s leading Tractatarian scholars and promising newcomers. Showcasing one piece alternately from each “camp”, _Beyond the Tractatus Wars_ pairs newly (...) commissioned pieces addressing differing views on how to understand early Wittgenstein, providing for the first time an arena in which the debate between “strong” resolutists, “mild” resolutists and “elucidatory” readers of the book can really take place. The collection includes famous “samizdat” essays by Warren Goldfarb and Roger White that are finally seeing the light of day. (shrink)

This paper examines the view of ethical language that Wittgenstein took in later years. It argues that according to this view, ethics falls into place as a part of our natural history, while every sense of the mystical or supernatural that once surrounded it is irrevocably lost. Moreover, Wittgenstein argues that ethical language does not correspond to reality “in the way” in which a physical theory does. I propose an interpretation of this claim that shows how it sets his view (...) apart from a “realist” theory of ethics. The reality of which he speaks is the reality of human life. (shrink)

Computation and Simulation have always played a role in economics – whether it be pure economic theory or any variant of applied, especially policy-oriented, macro- and microeconomics or what has increasingly come to be called empirical or experimental economics. Computations and simulations are also intrinsically dynamic. This triptych – computation, simulation and dynamic – is given natural foundations, mainly as a result of developments in the mathematics underpinnings in the potentials of computing, using digital technology. A running theme in this (...) essay is the recognition that, increasingly, the development of economic theory seems to go hand in hand with advances in the theory and practice of computing, which is, in turn, a catalyst for the move away from too much reliance on any kind of mathematics for the formalisation of economic entities that is inconsistent with the mathematical, methodological and epistemological foundations of the theory of computation. (shrink)

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 (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

These sixty-one numbered paragraphs offer an overview of the idea and practice of lyric philosophy. They draw heavily on the author's texts Lyric Philosophy, Wisdom & Metaphor, and “Bringhurst's Presocratics: Lyric and Ecology”. The present essay outlines key concepts — clarity as resonance, metaphor as gestalt shift, meaning as gesture, the overlap between philosophy and poetry, the nature of lyric truth — and suggests that they are essential to an adequate epistemology. These concepts allow us to address serious gaps in (...) our understanding of how humans think, gaps that have arisen owing to the limitations of linguified intelligence coupled with a disinclination to admit the existence of these limitations. The overview also describes fundamental differences between lyric philosophy and analytic philosophy, while insisting on a robust conception of truth and on the existence of a knowable mind-independent world. The importance of a lyric approach for our understanding of a range of ecological questions is discussed, and lyric philosophy is positioned, politically, as a critique of technocracy. (shrink)

In his Remarks on the Foundations of Mathematics, Wittgenstein claims, puzzlingly, that ‘the proof creates a new concept’ (RFM III-41). This paper aims to contribute to clarifying this idea, and to showing how it marks a major break with the traditional conception of proof. Moreover, since the most natural way to understand his claim is open to criticism, a secondary goal of what follows is to offer an interpretation of it that neutralizes the objection. The discussion proceeds by analysing a (...) well-known geometrical proof. (shrink)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same critique. (...) The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...) are discussed. MacIntyre’s virtue ethics accommodates both the good mathematician and the ethics of the social practice of mathematics. It demonstrates that purism is compatible with acknowledging the social responsibility of mathematics. Four aspects of this responsibility are mentioned, two concerning the impact of mathematics via education, and two concerning explicit and implicit applications of mathematics. The last of these opens up the performativity of mathematical and measurement applications in society, which change the very processes they are supposed to measure. Although these applications are not explored in detail, they illustrate the importance of considering the ethics and social responsibility of mathematics in society. MacIntyre’s virtue theory opens a broad approach to the controversial topic of the ethics of mathematics encompassing purism, and absolutist and social constructivist philosophies of mathematics, but still enabling ethical critiques of the impact of mathematics on society. (shrink)

This paper proposes an account of mathematical reasoning as parallel in structure: the arguments which mathematicians use to persuade each other of their results comprise the argumentational structure; the inferential structure is composed of derivations which offer a formal counterpart to these arguments. Some conflicts about the foundations of mathematics correspond to disagreements over which steps should be admissible in the inferential structure. Similarly, disagreements over the admissibility of steps in the argumentational structure correspond to different views about mathematical practice. (...) The latter steps may be analysed in terms of argumentation schemes. Three broad types of scheme are distinguished, a distinction which is then used to characterize and evaluate four contrasting approaches to mathematical practice. (shrink)

Abstract Proofs and Refutations is Lakatos's masterpiece. This article investigates some of its central themes, in particular: the nature of proofs ('Proofs do not prove, they improve'); the nature of definitions (real, not nominal); and the consequences of all this for ontology (platonism vs Popper's World Three).

In this article the problem of unification of mathematical theories is discussed. We argue, that specific problems arise here, which are quite different than the problems in the case of empirical sciences. In particular, the notion of unification depends on the philosophical standpoint. We give an analysis of the notion of unification from the point of view of formalism, Gödel's platonism and Quine's realism. In particular we show, that the concept of “having the same object of study” should be made (...) precise in the case of mathematical theories. In the appendix we give a working proposal of a certain understanding of this notion. (shrink)

Artykuł dotyczy zagadnienia, w jakim sensie można stosować kategorię wyjaśnienia do interpretacji filozofii matematyki Kurta Gödla. Gödel – jako realista matematyczny – twierdzi bowiem, że w wypadku matematyki mamy do czynienia z niezależnymi od nas faktami. Jednym z owych faktów jest właśnie rozwiązywalność wszystkich dobrze postawionych problemów matematycznych – i ten fakt domaga się wyjaśnienia. Kluczem do zrozumienia stanowiska Gödla jest identyfikacja założeń, na których się opiera: metafizyczny realizm: istnieje uniwersum matematyczne, ma ono charakter obiektywny, niezależny od nas; optymizm epistemologiczny: (...) jesteśmy wyposażeni w wystarczająco dobre środki poznawcze, aby uzyskać wgląd w owo uniwersum. Pojęcie rozwiązania problemu matematycznego Gödel rozumie znacznie szerzej niż jako podanie matematycznego dowodu – chodzi raczej o znalezienie wiarogodnych aksjomatów, prowadzących do rozwiązania. Stawiany w artykule problem analizuję na przykładzie hipotezy kontinuum. (shrink)

The article deals with the question of in which sense the notion of explanation can be applied to Kurt Gödel’s philosophy of mathematics. Gödel, as a mathematical realist, claims that in mathematics we are dealing with facts that have an objective character. One of these facts is the solvability of all well-formulated mathematical problems—and this fact requires a clarification. The assumptions on which Gödel’s position is based are: metaphysical realism: there is a mathematical universe, it is objective and independent of (...) us; epistemological optimism: we are equipped with sufficient cognitive power to gain insight into the universe. Gödel’s concept of a solution to a mathematical problem is much broader than of a mathematical proof—it is rather about finding reliable axioms that lead to a solution of the problem. I analyse the problem presented in the article, taking as an example the continuum hypothesis. (shrink)

Remarks on the Foundations of Mathematics, Wittgenstein, despite his official 'mathematical nonrevisionism', slips into attempting to refute Gödel's theorem. Actually, Wittgenstein could have used Gödel's theorem to good effect, to support his view that proof, and even truth, are 'family resemblance' concepts. The reason that Wittgenstein did not see all this is that Gödel's theorem had become an icon of mathematical realism, and he was blinded by his own ideology. The essay is a reply to Juliet Floyd's work on Gödel: (...) what she says Wittgenstein said, I say he should have said, but didn't (couldn't). (shrink)

I will argue that the ontological doctrine of physicalism inevitably entails the denial that there is anything conceptual in logic and mathematics. The elements of a formal system, even if they are tagged by suggestive names, are merely meaningless parts of a physically existing machinery, which have nothing to do with concepts, because they have nothing to do with the actual things. The only situation in which they can become meaning-carriers is when they are involved in a physical theory. But (...) in this role they refer to elements of the physical reality, i.e. they represent a physical concept. “Mathematical concepts” are just idols, that philosophy can completely deny and physics can completely ignore. (shrink)

During the course of about ten years, Wittgenstein revised some of his most basic views in philosophy of mathematics, for example that a mathematical theorem can have only one proof. This essay argues that these changes are rooted in his growing belief that mathematical theorems are ‘internally’ connected to their canonical applications, i.e. , that mathematical theorems are ‘hardened’ empirical regularities, upon which the former are supervenient. The central role Wittgenstein increasingly assigns to empirical regularities had profound implications for all (...) of his later philosophy; some of these implications (particularly to rule following) are addressed in the essay. (shrink)

We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work (...) by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods. (shrink)

Many mathematicians are platonists: they believe that the axioms of mathematics are true because they express the structure of a nonspatiotemporal, mind independent, realm. But platonism is plagued by a philosophical worry: it is unclear how we could have knowledge of an abstract, realm, unclear how nonspatiotemporal objects could causally affect our spatiotemporal cognitive faculties. Here I aim to make room in our metaphysical picture of the world for the causal relevance of abstracta.

The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.

This article provides a detailed analysis of the transfer of a key cluster of ideas from mathematical logic to computing. We demonstrate the impact of certain of Turing’s logico-philosophical concepts from the mid-1930s on the emergence of the modern electronic computer—and so, in consequence, Turing’s impact on the direction of modern philosophy, via the computational turn. We explain why both Turing and von Neumann saw the problem of developing the electronic computer as a problem in logic, and we describe their (...) joint journey from logic to electronic computation. While much has been written about Turing’s and von Neumann’s individual contributions to the development of the computer, this article investigates less well-known terrain: their interactions and mutual influences. Along the way we argue against ‘logic skeptics’ and ‘Turing skeptics’, who claim that neither logic nor Turing played any significant role in the creation of the modern computer. (shrink)

Turing was an exceptional mathematician with a peculiar and fascinating personality and yet he remains largely unknown. In fact, he might be considered the father of the von Neumann architecture computer and the pioneer of Artificial Intelligence. And all thanks to his machines; both those that Church called “Turing machines” and the a-, c-, o-, unorganized- and p-machines, which gave rise to evolutionary computations and genetic programming as well as connectionism and learning. This paper looks at all of these and (...) at why he is such an often overlooked and misunderstood figure. (shrink)

Hermann Grassmann's Ausdehnungslehre of 1844 and his Lehrbuch der Arithmetik of 1861 are landmark works in mathematics; the former not only developed new mathematical fields but also both contributed to the setting of modern standards of rigor. Their very modernity, however, may obscure features of Grassmann's view of the foundations of mathematics that were not adopted since. Grassmann gave a key role to the learning of mathematics that affected his method of presentation, including his emphasis on making initial assumptions explicit. (...) In order to better understand this less well-known aspect of his work it will help to examine why some commentators have overlooked his theme of unifying logic, pedagogy and foundations, while others have recognised it. (shrink)

Records of online collaborative mathematical activity provide us with a novel, rich, searchable, accessible and sizeable source of data for empirical investigations into mathematical practice. In this paper we discuss how the resources of crowdsourced mathematics can be used to help formulate and answer questions about mathematical practice, and what their limitations might be. We describe quantitative approaches to studying crowdsourced mathematics, reviewing work from cognitive history (comparing individual and collaborative proofs); social psychology (on the prospects for a measure of (...) collective intelligence); human–computer interaction (on the factors that led to the success of one such project); network analysis (on the differences between collaborations on open research problems and known-but-hard problems); and argumentation theory (on modelling the argument structures of online collaborations). We also give an overview of qualitative approaches, reviewing work from empirical philosophy (on explanation in crowdsourced mathematics); sociology of scientific knowledge (on conventions and conversations in online mathematics); and ethnography (on contrasting conceptions of collaboration). We suggest how these diverse methods can be applied to crowdsourced mathematics and when each might be appropriate. (shrink)

Ralph Johnson argues that mathematical proofs lack a dialectical tier, and thereby do not qualify as arguments. This paper argues that, despite this disavowal, Johnson’s account provides a compelling model of mathematical proof. The illative core of mathematical arguments is held to strict standards of rigour. However, compliance with these standards is itself a matter of argument, and susceptible to challenge. Hence much actual mathematical practice takes place in the dialectical tier.