Stewart Shapiro

This edited collection covers Friedrich Waismann's most influential contributions to twentieth-century philosophy of language: his concepts of open texture and language strata, his early criticism of verificationism and the analytic-synthetic distinction, as well as their significance for experimental and legal philosophy. In addition, Waismann's original papers in ethics, metaphysics, epistemology and the philosophy of mathematics are here evaluated. They introduce Waismann's theory of action along with his groundbreaking work on fiction, proper names and Kafka's Trial. Waismann is known as the voice of Ludwig Wittgenstein in the Vienna Circle. At the same time we find in his works a determined critic of logical positivism and ordinary language philosophy, who anticipated much later developments in the analytic tradition and devised his very own vision for its future.

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front.

Hilary Putnam’s views on analyticity, synonymy, and meaning-change loom large in his writing on logic, mathematics, and science. In “The analytic and the synthetic” (Scientific explanation, space, and time, Minnesota studies in the philosophy of science. University of Minnesota Press, Minneapolis, pp. 358–397, 1962), Putnam argues that (i) Quine is wrong in claiming that there just is no analytic-synthetic distinction, but (ii) Quine is right in arguing that analyticity plays no significant role in the philosophy or science (except, perhaps, linguistics). In some interesting ways, Putnam’s views on these matters connect with those developed in Friedrich Waismann’s “Analytic-synthetic”, published serially in Analysis (Analysis 10:25–40, [1949], Analysis 11:25–38, [1950], Analysis 11:49–61, [1951a], Analysis 11:115–124, [1951b], Analysis 13:1–4, [1952], Analysis 13:73–89, [1953]), around the same period as Quine’s “Two dogmas of empiricism” (Philosophical Review 60:20–43, 1951). Waismann provides a rich and subtle conception of analyticity and meaning, and the role that analyticity and synonymy play in linguistic interpretation (see also Waismann in Proceedings of theAristotelian Society, Supplementary 19:119–150, [1945]).

After recapitulating in summary form our basic regions-based theory of the classical one-dimensional continuum (which we call a semi-Aristotelian theory), and after presenting relevant background on predicativity in foundations of mathematics, we consider what adjustments would be needed for a predicative version of our regions-based theory, and then we develop them. As we’ll see, such a predicative version sits between our semi-Aristotelian system and an Aristotelian one, as well as falling generally between fully constructive and fully classical theories. Finally, we compare the resulting predicative theory and our original semi-Aristotelian one with respect to their power and unity.

The purpose of this article is to assess the prospects for a Scottish neo-logicist foundation for a set theory. We show how to reformulate a key aspect of our set theory as a neo-logicist abstraction principle. That puts the enterprise on the neo-logicist map, and allows us to assess its prospects, both as a mathematical theory in its own right and in terms of the foundational role that has been advertised for set theory. On the positive side, we show that our abstraction based theory can be modified to yield much of ordinary mathematics, indeed everything needed to recapture all branches of mathematics short of set theory itself. However, our conclusions are mostly negative. The theory will fall far short of the power of ordinary Zermelo-Fraenkel set theory. It is consistent that our set theory has models that are relatively small, smaller than the first cardinal with an uncountable index. More important, there is a strong tension between the idea that the iterative hierarchy is somehow ineffable, or indefinitely extensible, and the neo-logicist theme of capturing mathematical theories with abstraction principles.

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the book considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.

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.

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.

Over the last few decades Michael Dummett developed a rich program for assessing logic and the meaning of the terms of a language. He is also a major exponent of Frege's version of logicism in the philosophy of mathematics. Over the last decade, Neil Tennant developed an extensive version of logicism in Dummettian terms, and Dummett influences other contemporary logicists such as Crispin Wright and Bob Hale. The purpose of this paper is to explore the prospects for Fregean logicism within a broadly Dummettian framework. The conclusions are mostly negative: Dummett's views on analyticity and the logical/non-logical boundary leave little room for logicism. Dummett's considerations concerning manifestation and separability lead to a conservative extension requirement: if a sentence S is logically true, then there is a proof of S which uses only the introduction and elimination rules of the logical terms that occur in S. If basic arithmetic propositions are logically true - as the logicist contends - then there is tension between this conservation requirement and the ontological commitments of arithmetic. It follows from Dummett's manifestation requirements that if a sentence S is composed entirely of logical terminology, then there is a formal deductive system D such that S is analytic, or logically true, if and only if S is a theorem of D. There is a deep conflict between this result and the essential incompleteness, or as Dummett puts it, the indefinite extensibility, of arithmetic truth.

This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a non-logician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require some experience with the rigor of mathematical proof. Moreover, since the incompleteness theorems concern formal deductive systems, it would help for a potential reader of this book to have some familiarity with at least elementary logic.There are, of course, a number of informal expositions of the incompleteness theorems. I do not see the need to engage in a comparative study. The second, and more important, goal of the present book is to discuss some alleged consequences of the incompleteness theorems and, in particular, to debunk thoroughly claims in philosophy, religion, and literary criticism that are supposed to be established, or at least bolstered, by incompleteness. The execution of this part of the book is masterly. The arguments are clear and compelling.The book has eight chapters, each between eight and twenty-eight pages. The opening chapter gives a very brief account of the incompleteness theorems and a sketch of Gödel's life and work. Chapter 2 gives the main overview of the incompleteness theorems, plus …

1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.