The fourteenth-century thinker Thomas Bradwardine is well known in both the history of science and the history of theology. The first of the Merton Calculators (mathematical physicists) and passionate defender of the Augustinian doctrine of salvation through grace alone, he was briefly archbishop of Canterbury before succumbing to the Black Death in 1349. This new edition of his Insolubilia, made from all thirteen known manuscripts, shows that he was also a logician of the first rank. The edition is accompanied by (...) a full English translation. In the treatise, Bradwardine considers and rejects the theories of his contemporaries about the logical puzzles known as 'insolubles,' and sets out his own solution at length and in detail. In a substantial introduction, Stephen Read describes Bradwardine's analysis, compares it with other more recent theories, and places it in its historical context. The text is accompanied by three appendices, the first of which is an extra chapter found in two manuscripts (and partly in a third) that appears to contain further thoughts by Bradwardine himself. The second contains an extract from Ralph Strode's Insolubilia, composed in the 1360s, repeating and enlarging on Bradwardine's text; and the third consists of an anonymous text that applies Bradwardine's solution to a succession of different insolubles"--P. [4] of cover. (shrink)

An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable epistemic (...) problems. As a way out of this dilemma, Shapiro articulates a structuralist approach. On this view, the subject matter of arithmetic, for example, is not a fixed domain of numbers independent of each other, but rather is the natural number structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle. Using this framework, realism in mathematics can be preserved without troublesome epistemic consequences. Shapiro concludes by showing how a structuralist approach can be applied to wider philosophical questions such as the nature of an "object" and the Quinean nature of ontological commitment. Clear, compelling, and tautly argued, Shapiro's work, noteworthy both in its attempt to develop a full-length structuralist approach to mathematics and to trace its emergence in the history of mathematics, will be of deep interest to both philosophers and mathematicians. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of Berkeley's (...) master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

Most expressions in natural language are vague. But what is the best semantic treatment of terms like 'heap', 'red' and 'child'? And what is the logic of arguments involving this kind of vague expression? These questions are receiving increasing philosophical attention, and in this book, first published in 2000, Rosanna Keefe explores the questions of what we should want from an account of vagueness and how we should assess rival theories. Her discussion ranges widely and comprehensively over the main theories (...) of vagueness and their supporting arguments, and she offers a powerful and original defence of a form of supervaluationism, a theory that requires almost no deviation from standard logic yet can accommodate the lack of sharp boundaries to vague predicates and deal with the paradoxes of vagueness in a methodologically satisfying way. Her study will be of particular interest to readers in philosophy of language and of mind, philosophical logic, epistemology and metaphysics. (shrink)

There is an important family of semantic notions that we apply to thoughts and to the conceptual constituents of thoughts - as when we say that the thought that the Universe is expanding is true. Thought and World presents a theory of the content of such notions. The theory is largely deflationary in spirit, in the sense that it represents a broad range of semantic notions - including the concept of truth - as being entirely free from substantive metaphysical and (...) empirical presuppositions. At the same time, however, it takes seriously and seeks to explain the intuition that there is a metaphysically or empirically 'deep' relation linking thoughts to reality. Thus, the theory represents a kind of compromise between deflationism and versions of the correspondence theory of truth. This book will appeal to students and professionals interested in the philosophy of logic and language. (shrink)

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

The Chomskian revolution in linguistics gave rise to a new orthodoxy about mind and language. Michael Devitt throws down a provocative challenge to that orthodoxy. What is linguistics about? What role should linguistic intuitions play in constructing grammars? What is innate about language? Is there a 'language faculty'? These questions are crucial to our developing understanding of ourselves; Michael Devitt offers refreshingly original answers. He argues that linguistics is about linguistic reality and is not part of psychology; that linguistic rules (...) are not represented in the mind; that speakers are largely ignorant of their language; that speakers' intuitions do not reflect information supplied by the language faculty and are not the main evidence for grammars; that the rules of 'Universal Grammar' are largely, if not entirely, innate structure rules of thought; indeed, that there is little or nothing to the language faculty. Devitt's controversial theses will prove highly stimulating to anyone working on language and the mind. (shrink)

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

Only human beings have a rich conceptual repertoire with concepts like tort, entropy, Abelian group, mannerism, icon and deconstruction. How have humans constructed these concepts? And once they have been constructed by adults, how do children acquire them? While primarily focusing on the second question, in The Origin of Concepts , Susan Carey shows that the answers to both overlap substantially. Carey begins by characterizing the innate starting point for conceptual development, namely systems of core cognition. Representations of core cognition (...) are the output of dedicated input analyzers, as with perceptual representations, but these core representations differ from perceptual representations in having more abstract contents and richer functional roles. Carey argues that the key to understanding cognitive development lies in recognizing conceptual discontinuities in which new representational systems emerge that have more expressive power than core cognition and are also incommensurate with core cognition and other earlier representational systems. Finally, Carey fleshes out Quinian bootstrapping, a learning mechanism that has been repeatedly sketched in the literature on the history and philosophy of science. She demonstrates that Quinian bootstrapping is a major mechanism in the construction of new representational resources over the course of childrens cognitive development. Carey shows how developmental cognitive science resolves aspects of long-standing philosophical debates about the existence, nature, content, and format of innate knowledge. She also shows that understanding the processes of conceptual development in children illuminates the historical process by which concepts are constructed, and transforms the way we think about philosophical problems about the nature of concepts and the relations between language and thought. (shrink)

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)

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...) is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. (shrink)

In the early part of the 20th century the logical positivists launched a powerful attack on traditional philosophy, rejecting the very idea of philosophy as a substantive discipline and replacing it with a practical, conventionalist, meta-theoretical view of philosophy. The positivist critique was based on a series of dichotomies: the analytic vs. the synthetic, the external vs. the internal, the apriori vs. the empirical, the meta-theoretical vs. the object- theoretical, the conventional vs. the factual. Quine's attack on the positivists' dichotomies (...) was, by extension (if not by intention), also an attack on their critique of philosophy. Quine's own theory, however, in time took an extreme naturalistic turn that, if anything, deepened the schism between philosophy and knowledge. -/- In this paper I show that many of Quine's early philosophical ideas - his denial of the analytic-synthetic distinction, his thesis of the interconnectedness of knowledge, his universal revisability thesis, his principle of the inseparability of language and theory, his methodological pragmatism, and his realism - are in fact compatible with a substantive philosophy. Moreover, certain inner tensions in Quine's theory naturally lead to a new model of knowledge in which philosophy plays a substantive role: not as a "first philosophy", or as a "meta-science", or as a "chapter in psychology", but as an independent discipline in its own right, alongside, continuous with, and complementary to, science. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...) -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

is true, there is a truth-maker (e.g., a fact) with which it is identical and the truth of the former consists in its identity with the latter. The theory is best understood as a reaction to the correspondence theory, according to which the relation of truth-bearer to truth-maker is correspondence. A correspondence theory is vulnerable to the nagging suspicion that if the best we can do is make statements that merely correspond to the truth, then we inevitably fail to capture (...) the reality they are about and thus fall short of the truth we aim at. An identity theory is designed to overcome this suspicion. (shrink)

In philosophy of logic and elsewhere, it is generally thought that similar problems should be solved by similar means. This advice is sometimes elevated to the status of a principle: the principle of uniform solution. In this paper I will explore the question of what counts as a similar problem and consider reasons for subscribing to the principle of uniform solution.

This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.

In this paper, we set out what we see as a novel, and very promising, approach to resolving a number of the familiar linguistic puzzles that provide philosophy of language with much of its subject matter. The approach we promote postulates semantic pretense at work where these puzzles arise. We begin by briefly cataloging the relevant dilemmas. Then, after introducing the pretense approach, we indicate how it promises to handle these putatively intractable problems. We then consider a number of objections (...) to pretense views, taking this as an opportunity to provide more detailed explanation of what a pretense account amounts to, what the pretense approach commits us to, and why it is a promising approach in philosophy of language. (shrink)

In this paper, we do two things. First, we clarify the notion of deflationism, with special attention to deflationary accounts of truth. Second, we argue that one who endorses a deflationary account of truth (or of semantic notions, generally) should be, or perhaps already is, a pretense theorist regarding truth-talk. In §1 we discuss mathematical fictionalism, where we focus on Yablo’s pretense account of mathematical discourse. §2 briefly introduces the key elements of deflationism and explains deflationism about truth in particular. (...) §3 discusses why deflationary accounts of truth should be construed as pretense accounts and gives a preliminary sketch of a particular pretense account of truth-talk. §4 addresses a main objection to a pretense account, and §5 concludes. (shrink)

Is second-order quantification legitimate? For Quine, it was pure non-sense, unless construed as first-order quantification in disguise, ranging over sets. Boolos rightly maintained that it could be interpreted in terms of plural quantification, but claimed that it then ranged over the same individuals as singular, first-order quantification. I protest that plural quantification ranges over what I call multiplicities. But what is a 'multiplicity'? And does this idea itself not fall prey to something like Frege's paradox?

From 1931 until late in his life (at least 1970) Godel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained in his incompleteness results) and undecided set-theoretical propositions (in particular CH). As to the nature of these, Godel made a variety of suggestions, but most frequently he emphasized the route of introducing ever higher axioms of in nity. In particular, he speculated (in his 1946 Princeton remarks) that there might be (...) a uniform (though non-decidable) rationale for the choice of the latter. Despite the intense exploration of the \higher in nite" in the last 30-odd years, no single rationale of that character has emerged. Moreover, CH still remains undecided by such axioms, though they have been demonstrated to have many other interesting set-theoretical consequences. (shrink)