The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Since Benacerraf’s “Mathematical Truth” a number of epistemological challenges have been launched against mathematical platonism. I first argue that these challenges fail because they unduely assimilate mathematics to empirical science. Then I develop an improved challenge which is immune to this criticism. Very roughly, what I demand is an account of how people’s mathematical beliefs are responsive to the truth of these beliefs. Finally I argue that if we employ a semantic truth-predicate rather than just a deflationary one, there surprisingly (...) turns out to be logical space for a response to the improved challenge where no such space appeared to exist. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

We are logical pluralists who hold that the right logic is dependent on the domain of investigation; different logics for different mathematical theories. The purpose of this article is to explore the ramifications for our pluralism concerning normativity. Is there any normative role for logic, once we give up its universality? We discuss Florian Steingerger’s “Frege and Carnap on the Normativity of Logic” as a source for possible types of normativity, and then turn to our own proposal, which postulates that (...) various logics are constitutive for thought within particular practices, but none are constitutive for thought as such. (shrink)

In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...) used in the reduction, (2) allow the addition of analytic-sounding principles to logic so that the reduction is not to "logic alone" but to logic and truths knowable a priori, and (3) revise the conception of "reducible". We show how the current versions of neologicism fit into this classification scheme, and then focus on a kind of neologicism which we take to have the most potential for achieving the epistemological goals of the original logicist project. We argue that that the "weaker" the form of neologicism, the more likely it is to be a new form of logicism, and show how our preferred system, though mathematically weak, is metaphysically and epistemogically strong, and can "reduce" arbitrary mathematical theories to logic and analytic truths, if given a legitimate new sense of "reduction". (shrink)

What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a “critical” alternative to traditional plural logic.

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. Finally, I argue (...) that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists. (shrink)

This paper extracts some of the main theses in the philosophy of mathematics from my book, The Construction of Logical Space. I show that there are important limits to the availability of nominalistic paraphrase functions for mathematical languages, and suggest a way around the problem by developing a method for specifying nominalistic contents without corresponding nominalistic paraphrases. Although much of the material in this paper is drawn from the book — and from an earlier paper — I hope the present (...) discussion will earn its keep by motivating the ideas in a new way, and by suggesting further applications. (shrink)

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

Cameron, Eklund, Hofweber, Linnebo, Russell and Sider have written critical essays on my book, The Construction of Logical Space (Oxford: Oxford University Press, 2013). Here I offer some replies.

It is widely believed that platonists face a formidable problem: that of providing an intelligible account of mathematical knowledge. The problem is that we seem unable, if the platonist is right, to have the causal relationships with the objects of mathematics without which knowledge of these objects seems unintelligible. The standard platonist response to this challenge is either to deny that knowledge without causation is unintelligible, or to make room for causal interactions by softening the platonism at issue. In this (...) essay I argue that the idea of causal relations with fully platonist objects is unproblematic. (shrink)

George Boolos has argued that the iterative conception of set justifies most, but not all, the ZFC axioms, and that a second conception of set, the Frege-von Neumann conception (FN), justifies the remaining axioms. This article challenges Boolos's claim that FN does better than the iterative conception at justifying the axioms in question.

In “Mathematical Truth,” Paul Benacerraf raises an epistemic challenge for mathematical platonists. In this paper, I examine the assumptions that motivate Benacerraf’s original challenge, and use them to construct a new causal challenge for the epistemology of mathematics. This new challenge, which I call ‘Gödel’s Gap’, appeals to intuitive insights into mathematical knowledge. Though it is a causal challenge, it does not rely on any obviously objectionable constraints on knowledge. As a result, it is more compelling than the original challenge. (...) It is also more general; the challenge applies equally to platonistic and non-platonistic accounts of mathematical truth. And it can be generalized beyond the case of mathematical knowledge to pose a challenge for, e.g., moral knowledge. (shrink)

Weyl's inclination toward constructivism in the foundations of mathematics runs through his entire career, starting with Das Kontinuum. Why was Weyl inclined toward constructivism? I argue that Weyl's general views on foundations were shaped by a type of transcendental idealism in which it is held that mathematical knowledge must be founded on intuition. Kant and Fichte had an impact on Weyl but HusserFs transcendental idealism was even more influential. I discuss Weyl's views on vicious circularity, existence claims, meaning, the continuum (...) and choice sequences, and the intuitive-symbolic distinction against the background of his transcendental idealism and general intuitionism. (shrink)

Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ (...) problem and why it has proven hard to resolve, and the role of non-classical modes of computation and proof. (shrink)

Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao.

This article provides an English translation of a historic discussion on the foundations of mathematics, during which Kurt GÖdel first announced his incompleteness theorem to the mathematical world. The text of the discussion is preceded by brief background remarks and commentary.

Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.

I discuss Steinhart’s argument against Benacerraf’s famous multiple-reductions argument to the effect that numbers cannot be sets. Steinhart offers a mathematical argument according to which there is only one series of sets to which the natural numbers can be reduced, and thus attacks Benacerraf’s assumption that there are multiple reductions of numbers to sets. I will argue that Steinhart’s argument is problematic and should not be accepted.

I discuss and try to evaluate the argument about constructible sets made by Putnam in ‘ ”Models and Reality”, and some of the counterarguments directed against it in the literature. I shall conclude that Putnam’s argument, while correct in substance, nevertheless has no direct bearing on the philosophical question of unintended models of set theory.

This is a critical notice of Stewart Shapiro's 1997 book, Philosophy of Mathematics: Structure and Ontology.

The aim of the present paper is to offer a new analysis of the multifarious relations between mathematics and reality. We believe that the relation of mathematics to reality is, just like in the case of the natural sciences, mediated by instruments . Therefore the kind of realism we aim to develop for mathematics can be called instrumental realism. It is a kind of realism, because it is based on the thesis, that mathematics describes certain patterns of reality. And it (...) is instrumental realism, because it pays atten-tion to the role of instruments by means of which mathematics identifies these patterns. The article concludes by offering solutions to some famous semantic paradoxes based on the diagonal construction as corroboration for this claim. (shrink)

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...) and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

I argue here that a properly Platonic theory of the nature of number is still viable today. By properly Platonic, I mean one consistent with Plato's own theory, with appropriate extensions to take into account subsequent developments in mathematics. At Parmenides 143a-4a the existence of numbers is proven from our capacity to count, whereby I establish as Plato's the theory that numbers are originally ordinal, a sequence of forms differentiated by position. I defend and interpret Aristotle's report of a Platonic (...) distinction between form and mathematical numbers, arguing that mathematical numbers alone are cardinals, by reference to certain non-technical features of a set-theoretical approach and other considerations in philosophy of mathematics. Finally I respond to the objections that such a conception of number was unavailable in antiquity and that this theory is contradicted by Aristotle's report in Metaph . XIII that Platonic numbers are collections of units. I argue that Aristotle reveals his own misinterpretation of the terms in which Plato's theory was expressed. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

In this paper it is argued that the understanding of Brouwer as replacing truth conditions with assertability or proof conditions, in particular as codified in the so-called Brouwer-Heyting-Kolmogorov Interpretation, is misleading and conflates a weak and a strong notion of truth that have to be kept apart to understand Brouwer properly: truth-as-anticipation and truth- in-content. These notions are explained, exegetical documentation provided, and semi-formal recursive definitions are given.

The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the foundations of mathematics. The intuitionistic themes to analyse in his philosophy of mathematics are: firstly, his attacks on the unrestricted use of the Law of Excluded Middle; secondly, his distrust (...) of non-constructive proofs; and thirdly, his impatience with the idea that mathematics stands in need of a foundation. These elements are Fogelin's starting point for the systematic reconstruction of Wittgenstein's conception of mathematics. (shrink)

The conceptual framework of behaviorism is reconstructed in a logical scheme rather than along chronological lines. The resulting reconstruction is faithful to the history of behaviorism and yet meets the contemporary challenges arising from cognitive science, psycholinguistics, and philosophy. In this reconstruction, the fundamental premise is that psychology is to be a natural science, and the major corollaries are that psychology is to be objective and empirical. To a great extent, the reconstruction of behaviorism is an elaboration of behaviorist views (...) of what it is for a science to be objective and empirical. The reconstruction examines and evaluates behaviorist positions on observation and the rejection of introspection, the behavioral data language, theory construction, stimulus-response psychology, the organization of behavior, complex processes, agency, and the interpretation of mentalistic language. The resulting reconstruction shows behaviorism to be a pragmatic psychological version of positivism based on a behavioral epistemology. (shrink)

This paper uses cases involving empty singular terms (on the one hand, cases of what I call “accidental aboutness-failure”; on the other, cases involving proper names occurring in fictions) to argue for a claim about the goal of ordinary belief-forming activity, and shows how this claim generates new foundations for the theory of reference.

Sebastian Grève interviews Felix Mühlhölzer on his work on the philosophy of mathematics.

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010 That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind (...) Burgess's answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

Causal theory of knowledge has been used by some theoreticians who, dealing with the philosophy of mathematics, touched the subject of mathematical knowledge. Some of them discuss the necessity of the causal condition for justification, which creates the grounds for renewing the old conflict between empiricists and rationalists. Emphasizing the condition of causality as necessary for justifiability, causal theory has provided stimulus for the contemporary empiricists to venture on the so far unquestioned cognitive foundations of mathematics. However, in what sense (...) can we speak about the justifiability as causality when it comes to mathematical knowledge? Can we justify the mathematical statement 2+2=4 by means of causality-perceptibility? Do we need perceptibility, a visual image of apples and marbles we add up in our first mathematics lesson, in order to know that statement? Does the same go with the statement that any two points can be joined by a straight line, and that the sum of angles in any triangle is the angle the measure of which equals the sum of the measures of the two right angles? Even though the major part of this article offers a review of the attitudes of various authors who endeavor to discuss the application of the causal theory to the problem of understanding of mathematical knowledge, it advocates the idea that knowledge expressed in a mathematical statement is acquired and transmitted by evidence. Evidence is by itself a guarantee of truth. It convinces us of the accuracy of mathematical truths. Proving, we find out. The greatest part of what we know is based on evidence of the previous knowledge . Due to the previous knowledge, we can say that knowledge in mathematics is in itself different from the knowledge in empirical sciences, i.e. it does not require causal relation that is considered necessary condition of knowing in those sciences.Uzročna teorija znanja iskorištena je od strane nekih teoretičara koji su se, baveći se filozofijom matematike, dotakli teme matematičkog znanja. Neki od njih govore o nužnosti uzročnog uvjeta za opravdanje, čime se stvaraju uvjeti za obnavljanje starog sukoba empirista i racionalista. Uzročna teorija je, isticanjem uvjeta uzročnosti kao nužnog za opravdanost, dala poticaj suvremenim empiristima da krenu čak i na do tada nedodirljive spoznajne temelje matematike. Međutim, u kom smislu možemo govoriti o opravdanosti kao uzročnosti kad je riječ o matematičkom znanju? Da li uzročnošću-čulnošću možemo opravdati matematički iskaz 2+2=4? Je li nam za znanje tog iskaza neophodna čulnost, vizualna predodžba jabuka ili klikera koje zbrajamo na našim prvim satovima matematike u školi? Stoje li stvari isto i s iskazom da se kroz bilo koje dvije točke može povući točno jedan pravac, ili da je zbroj kutova bilo kojeg trokuta kut čija je mjera jednaka zbroju mjera dvaju pravih kutova? Iako je u ovom radu, uglavnom, dan pregled stavova autora koji pokušavaju govoriti o primjeni uzročne teorije u shvaćanju matematičkog znanja, ideja koja se podržava u njemu jest da je znanje, iskazano matematičkim tvrđenjem, dobiveno i preneseno dokazom. Dokaz, sam po sebi, jamac je istine. On nas uvjerava u točnost matematičkih tvrdnji. Dokazujući spoznajemo. Najveći dio onoga što znamo zasnovano je dokazom na prethodnim znanjima . Zbog prethodnog možemo reći da je znanje u matematici po svojoj prirodi drugačije od znanja u empirijskim znanostima, to jest da ne iziskuje uzročnu vezu koja se smatra nužnim uvjetom za znanje u tim znanostima. (shrink)

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)