Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

Der Laie spricht manchmal die Ansicht aus, die Mathematik ware heutzutage schon eine tote Wissenschaft: nachdem sie einen ungemein hohen Grad der Entwicklung erreicht hat, sei sie in ihrer steinernen Vollkommenheit erstarrt. Dies ist ein vollig irriges Bild der Situation: nur wenige Wissenschaftsgebiete befinden sich heute in der Phase einer solch intensiven Entwicklung wie die Mathematik. Diese Entwicklung ist dabei auBerordentlich vie1seitig: die Mathematik erweitert ihre Domane nach allen moglichen Richtungen, sie wachst in die Rohe, in die Weite und in (...) die Tiefe. Sie wachst in die Rohe, da auf dem Boden ihrer alten Theorien, denen eine jahrhundert-, ja sogar jahrtausend- lange Entwicklung zugrunde liegt, immer wieder neue Prob1eme auftauchen, immer scharfere und vollkommenere Resultate er- zielt werden; in die Weite, da ihre Methoden andere Wissen- schaftszweige durchdringen, ihr Untersuchungsbereich immer umfangreichere Gebiete von Erscheinungen umfaBt und immer neue Theorien in den groBen Kreis mathematischer Disziplinen einbezogen werden; und schlieBlich in die Tiefe, da ihre Grund- lagen immer mehr gefestigt, die bei ihrem Aufbau angewandten Methoden immer vollkommener werden und ihre Prinzipien an Dauerhaftigkeit gewinnen. In dem vorliegenden Buch wiinschte ich dem Leser, der fiir die gegenwartige Mathematik Interesse aufweist, aber ihr fern- steht, mindestens einen ganz allgemeinen Begriff von dieser dritten Entwicklungslinie der Mathematik, d. i. von ihrer Ent- wicklung in die Tiefe, zu geben. (shrink)

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.

This landmark book is now reissued in a new edition that has been vastly rewritten and updated to respond to recent Kantian literature. It includes a new discussion of the Third Analogy, a greatly expanded discussion of Kant’s _Paralogisms, _and entirely new chapters dealing with Kant’s theory of reason, his treatment of theology, and the important Appendix to the Dialectic. _Praise for the earlier edition: _ “Probably the most comprehensive and substantial study of the Critique of Pure Reason written by (...) any American philosopher.... This is a splendid book.”—Lewis White Beck “This masterful study... will most certainly join the canon of required reading for future interpreters of Kant’s theoretical philosophy. Superbly organized and lucidly written.”—Garrett Green, _Journal of Religion_. (shrink)

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the connections between them. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defense of Kant's theory of (...) analytic and synthetic necessary truth, making this compelling reading for all who are interested in these fundamental philosophical issues. (shrink)

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...) of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (shrink)

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can (...) be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of mathematics, once (...) and for all? What of proof theory, the very subject Hilbert invented to carry out his program? The Hilbertian ambition reached out too far: in its original form, the program was refuted by Gödel's Incompleteness Theorems. And even allowing more than finitist means in metamathematics, the Hilbertian expectations for proof theory have not been realized: a constructive consistency proof for second-order arithmetic is still out of reach. Nevertheless, remarkable progress has been made. Two separate, but complementary directions of research have led to surprising insights: classical analysis can be formally developed in conservative extensions of elementary number theory; relative consistency proofs can be given by constructive means for impredicative parts of second order arithmetic. The mathematical and metamathematical developments have been accompanied by sustained philosophical reflections on the foundations of mathematics. This indicates briefly the main themes of the contributions to the symposium; in my introductory remarks I want to give a very schematic perspective, that is partly historical and partly systematic. (shrink)

This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...) The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

In this paper I develop a new conception of Tarskian logic based on Tarski’s intuitive characterization of logical consequence as formal and necessary in his 1936 paper. Special emphasis is placed on the role of logic in our system of knowledge, the origins of semantics, the semantic definition of logical consequence, and the role of logical and non-logical terms in a logical system. The paper offers a new definition of logical terms based on the question: what division of terms into (...) logical and extra-logical would yield a logical system that satisfies Tarski’s intuitive characterization of logical consequence in complete generality? I discuss the consequences of the new conception for revision in logic, the logicist thesis, and the relation between logic and mathematics. I offer a proof-theoretic perspective on the semantic conception delineated in this paper. And I conclude with a postscript on Tarski’s lecture, “What are Logical Notions?”, which was published shortly after the present conception of logic was developed. (shrink)

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

This paper argues that Kant's idea for a new kind of logic is bound up with a very specific strategy for obtaining truth criteria, where he takes Christian Wolff to have failed. While the First Critique 's argument against any universal criterion for empirical truth has almost always been treated as extraneous to the main concerns of the Transcendental Analytic, I argue that Kant inserted it at an important juncture in the text to illustrate a signal difference between traditional logics (...) and transcendental logic. Namely, while a criterion of truth as correspondence cannot be provided by traditional logics, since they cannot, in Kant's view, identify an object determinately and distinguish it from others, transcendental logic overcomes that particular barrier. The key to the improvement is to be found in how Kant modifies Wolffian order and “transcendental truth”, while still retaining them as central elements of his project. Once we have reconstructed Kant's strategy, we also gain a new perspective on Kant's puzzling assessments of his relation to Berkeley. (shrink)

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.