This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these (...) theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications. Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered. Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field. (shrink)

Résumé -/- Dans son premier livre (Philosophie de l’arithmétique 1891), Husserl élabore une très intéressante philosophie des mathématiques. Les concepts mathématiques sont interprétés comme des concepts de « deuxième ordre » auxquels on accède par une réflexion sur nos opérations mentales de numération. Il s’ensuit que la vérité de la proposition : « il y a trois pommes sur la table » ne consiste pas dans une relation mythique quelconque avec la réalité extérieure au psychique (où le nombre trois doit (...) être exemplifié de quelque manière), mais bien dans le fait que les pommes sur la table peuvent être dénombrées correctement en tant qu’elles sont au nombre de trois. Nous avons affaire ici à une position « antiréaliste » fondant la vérité mathématique non pas dans un monde platonicien, mais bien sur le concept de rectitude de nos opérations formelles. -/- Abstract -/- In his first book (Philosophy of Arithmetic 1891) Husserl develops a very interesting philosophy of mathematics. Mathematical concepts are interpreted as « second order » concepts gained by reflection on our mental operations of counting. Accordingly the truth of the proposition « There are three apples on the table » consists not in any mythical relation to the extra-mental reality (where the number three should be somehow exemplified), but rather in the fact that the apples on the table can be correctly counted as three. We have here an « anti-realist » position grounding the mathematical truth not in platonic realms, but rather in the concept of correctness of our formal operations. (shrink)

Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a (...) difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I argue that, in Aristotle's view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true. (shrink)

Collecting the work of a number of outstanding mathematicians and philosophers, including Yurii Manin, Vaughan Jones, and Per Martin-Lof, this volume provides an overview of the forefront of current thinking and a valuable introduction for ...

Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the (...) consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic. (shrink)

Scientific realists often appeal to some version of the conjunction objection to argue that scientific instrumentalism fails to do justice to the full empirical import of scientific theories. Whereas the conjunction objection provides a powerful critique of scientific instrumentalism, I will show that mathematical instrumentalism escapes the conjunction objection unscathed.

Various authors of logic texts are cited who either suggest or explicitly state that the Gödel incompleteness result shows that some unprovable sentence of arithmetic is true. Against this, the paper argues that the matter is one of philosophical controversy, that it is not a mathematical or logical issue.

Paul Boghossian (1996; 1998)argues that Wittgenstein suffered from a "confusion" (1996, 377) if he thought that he could treat propositions of logic and mathematics both as rules and as being true as a matter of convention. He also suggests that such "rule-prescriptivism" (377) about math and logic leads to a vicious regress (1998). Focusing on Wittgenstein's normativism about mathematics, I argue that neither of these claims is true.

According to the received view, formalism – interpreted as the thesis that mathematical truth does not outrun the consequences of our maximal mathematical theory – has been refuted by Goedel's theorem. In support of this claim, proponents of the received view usually invoke an informal argument for the truth of the Goedel sentence, an argument which is supposed to reconstruct our reasoning in seeing its truth. Against this, Field has argued in a series of papers that the principles involved in (...) this argument – when applied to our maximal mathematical theory – are unsound. This paper defends the received view by showing that there is a way of seeing the truth of the Goedel sentence which is immune to Field's strategy. (shrink)

Leon Horsten has recently claimed that the class of mathematical truths coincides with the class of theorems of ZFC. I argue that the naturalistic character of Horsten’s proposal undermines his contention that this claim constitutes an analogue of a thesis that Daniel Isaacson has advanced for PA. I argue, moreover, that Horsten’s defence of his claim against an obvious objection makes use of a distinction which is not available to him given his naturalistic approach. I suggest a way out of (...) the objection which is in line with the naturalistic spirit of Horsten’s proposal but which further weakens the analogy with Isaacson’s Thesis. I conclude by evaluating the prospects for providing an analogue of Isaacson’s Thesis for ZFC. (shrink)

Lucas and Redhead ([2007]) announce that they will defend the views of Redhead ([2004]) against the argument by Panu Raatikainen ([2005]). They certainly re-state the main claims of Redhead ([2004]), but they do not give any real arguments in their favour, and do not provide anything that would save Redhead’s argument from the serious problems pointed out in (Raatikainen [2005]). Instead, Lucas and Redhead make a number of seemingly irrelevant points, perhaps indicating a failure to understand the logico-mathematical points at (...) issue. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

In "Remarks on the Foundations of Mathematics" Wittgenstein discusses an argument that goes from Gödel’s incompleteness result to the conclusion that some truths of mathematics are unprovable. Wittgenstein takes issue with this argument. Wittgenstein’s remarks in this connection have received very negative reaction from some very prominent people, for example, Gödel and Dummett. The paper is a defense of what Wittgenstein has to say about the argument in question.

Four views of arithmetical truth are distinguished: the classical view, the provability view, the extended provability view, the criterial view. The main problem with the first is the ontology it requires one to accept. Two anti-realist views are the two provability views. The first of these is judged to be preferable. However, it requires a non-trivial account of the provability of axioms. The criterial view is gotten from remarks Wittgenstein makes in Tractatus 6.2-6.22 . It is judged to be the (...) best of four views. It is also defended against objections. (shrink)

Realists, Platonists and intuitionists jointly believe that mathematical concepts and propositions have meanings, and when we formalize the language of mathematics, these meanings are meant to be reflected in a more precise and more concise form. According to the formalist understanding of mathematics (at least, according to the radical version of formalism I am proposing here) the truth, on the contrary, is that a mathematical object has no meaning; we have marks and rules governing how these marks can be combined. (...) That’s all. (shrink)

If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. In this paper, I will sketch the first steps of a physicalist philosophy of mathematics; that is, how physicalism can account for logical and mathematical facts. We will proceed as follows. First we will clarify what logical/mathematical facts actually are. Then, we will discuss how (...) these facts can be accommodated in the physicalist ontology. This might sound like immanent realism (as in Mill, Armstrong, Kitcher, or Maddy), according to which the mathematical concepts and propositions reflect some fundamental features of the physical world. Although, in my final conclusion I will claim that mathematical and logical truths do have contingent content in a sophisticated sense, and they are about some peculiar part of the physical world, I reject the idea, as this thesis is usually understood, that mathematics is about the physical world in general. In fact, I reject the idea that mathematics is about anything. In contrast, the view I am proposing here will be based on the strongest formalist approach to mathematics. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...) physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...) physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)