Abstract:Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

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 (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

How are social and institutional circumstances linked to the knowledge that scientists produce? To answer this question it is necessary to take risks: speculative but testable theories must be proposed. It will be my aim to explain and then apply one such theory. This will enable me to propose an hypothesis about the connexion between social processes and the style and content of mathematical knowledge.

While Russell’s concerns in developing the theory of descriptions were primarily with his foundation of logic, he was aware of the epistemological uses of both the theory of denoting concepts and the 1905 theory of deWnite descriptions. At the end of “On Denoting” he suggests that the principle of acquaintance is a “result” of the new theory of denoting. In this paper I examine the relation between the theory of descriptions and the principle of acquaintance, and I reject two suggestions, (...) one that Russell’s view commits him to the position that quantiWers range only over objects of acquaintance, the other that the principle of acquaintance plays a crucial role in the Gray’s Elegy argument. Russell’s earlier theory of denoting concepts went hand in hand with the principle of acquaintance, as Russell made clear in his “Points about Denoting”. So the principle of acquaintance was neither a motivator for the new account nor a special consequence of it. The new account of “On Denoting”, while dispensing with denoting concepts, preserved the connection that the older de-. (shrink)

There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical truths. I set (...) out some responses that initially seem appealing and explain why they are not compelling. The upshot is that Neo-Logicism either offers an epistemic route only to some truths of arithmetic; or that it has to move from a syntactic to a semantic notion of logical consequence, which risks undermining its epistemic goals. I conclude by considering Crispin Wright’s recent attempt to address Gödelian incompleteness, which I argue is not satisfactory. (shrink)

I argue that three main interpretations of the aim of Russell’s early logicism in The Principles of Mathematics (1903) are mistaken, and propose a new interpretation. According to this new interpretation, the aim of Russell’s logicism is to show, in opposition to Kant, that mathematical propositions have a certain sort of complete generality which entails that their truth is independent of space and time. I argue that on this interpretation two often-heard objections to Russell’s logicism, deriving from Gödel’s incompleteness theorem (...) and from the non-logical character of some of the axioms of Principia Mathematica respectively, can be seen to be inconclusive. I then proceed to identify two challenges that Russell’s logicism, as presently construed, faces, but argue that these challenges do not appear unanswerable. (shrink)

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We analyze these (...) two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

Einstein, like most philosophers, thought that there cannot be mathematical truths which are both necessary and about reality. The article argues against this, starting with prima facie examples such as "It is impossible to tile my bathroom floor with regular pentagonal tiles." Replies are given to objections based on the supposedly purely logical or hypothetical nature of mathematics.

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

In this work I study the main tenets of the logicist philosophy of mathematics. I deal, basically, with two problems: (1) To what extent can one dispense with intuition in mathematics? (2) What is the appropriate logic for the purposes of logicism? By means of my considerations I try to determine the pros and cons of logicism. My standpoint favors the logicist line of thought. -/- .

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)

Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja (...) konstruktivistisista opeista. (shrink)

A survey of more philosophical applications of Gödel's incompleteness results.