Over the last two decades, William Lycan’s work on the semantics of conditionals has been distinguished by his careful attention to the connection between syntax and semantics, and more generally by his impeccable methodology. Lycan takes compositionality seriously, so he requires that the meaning of compound expressions like ‘even if’ be a combination of the constituent expressions, here ‘even’ and ‘if’. After reading his work, it’s hard to take seriously work that does not share this methodology.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

In these challenging pages, Unger argues for the extreme skeptical view that, not only can nothing ever be known, but no one can ever have any reason at all for anything. A consequence of this is that we cannot ever have any emotions about anything: no one can ever be happy or sad about anything. Finally, in this reduction to absurdity of virtually all our supposed thought, he argues that no one can ever believe, or even say, that anything is (...) the case. (shrink)

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...) coherent (in an informal sense) and places the problem of reliability within the province of the philosophy of mathematics. (shrink)

At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both (...) programs are undermined at a crucial point, namely when self-evidence is supported by holistic and even pragmatic considerations. (shrink)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...) coherent and places the problem of reliability within the province of the philosophy of mathematics. (shrink)

The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.

Several philosophers have used the framework of means/ends reasoning to explain the methodological choices made by scientists and mathematicians (see, e.g., Goldman 1999, Levi 1962, Maddy 1997). In particular, they have tried to identify the epistemic objectives of scientists and mathematicians that will explain these choices. In this paper, the framework of means/ends reasoning is used to study an important methodological choice made by mathematicians. Namely, mathematicians will only use deductive proofs to establish the truth of mathematical claims. In this (...) paper, I argue that none of the epistemic objectives of mathematicians that are currently on the table provide a satisfactory explanation of this rejection of probabilistic proofs. (shrink)

Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's (...) arguments against the analytic/synthetic distinction, even if fully accepted, still leave room for a notion of pragmatic analyticity sufficient for the indicated purpose. (shrink)

This Oxford Handbook covers the current state of the art in the philosophy of maths and logic in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 newly-commissioned chapters are by established experts in the field and contain both exposition and criticism as well as substantial development of their own positions. Select major positions are represented by two chapters - one supportive and one critical. The book includes a comprehensive (...) bibliography. (shrink)

This book contends that insufficient attention has been paid to the syntax of conditionals, as investigated by linguists.

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

This paper has three goals: (i) to show that the foundational program begun in the Begriffsschroft, and carried forward in the Grundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence of 'intuitive' reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue (...) the goal of autonomy within the framework of the system of second-order logic of the Begriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of the Begriffsschrift, of a fragment of the theory of relations. (shrink)

Michael Dummett begins The Logical Basis of Metaphysics by noting that most of the work done in analytic philosophy seems disconcertingly remote from any concern with the “deep questions of great import for an understanding of the world” that the non-professional expects it to answer. In part, he says, this is because modern analytic philosophy is founded upon a more penetrating analysis of the general structure of our thoughts than was available to past ages, namely, the apparatus of modern logic, (...) beginning with Frege’s Begriffsschrift in 1879. Analytic philosophers take for granted the principles of semantic analysis embodied in the notation of modern logic. Even if they do not make use of a technical vocabulary, having taken these principles for granted is itself often enough to render their approach opaque to the layperson. Appearances aside, he claims, analytic philosophy is still concerned with the “deep questions.” And, to his credit, Dummett keeps an eye focused on some of the central questions of philosophy, those concerning metaphysical realism, throughout the book. (shrink)