The Routledge Companion to Pragmatism offers 44 cutting-edge chapters-written specifically for this volume by an international team of distinguished researchers-that assess the past, present, and future of pragmatism. Going beyond the exposition of canonical texts and figures, the collection presents pragmatism as a living philosophical idiom that continues to devise promising theses in contemporary debates. The chapters are organized into four major parts: Pragmatism's history and figures Pragmatism and plural traditions Pragmatism's reach Pragmatism's relevance Each chapter provides up-to-date research tools for philosophers, students, and others who wish to locate pragmatist options in their contemporary research fields. As a whole, the volume demonstrates that the vitality of pragmatism lies in its ability to build upon, and transcend, the ideas and arguments of its founders. When seen in its full diversity, pragmatism emerges as one of the most successful and influential philosophical movements in Western philosophy.

The operation of developing a concept is a common procedure in mathematics and in natural science, but has traditionally seemed much less possible to philosophers and, especially, logicians. Meir Buzaglo's innovative study proposes a way of expanding logic to include the stretching of concepts, while modifying the principles which block this possibility. He offers stimulating discussions of the idea of conceptual expansion as a normative process, and of the relation of conceptual expansion to truth, meaning, reference, ontology and paradox, and analyzes the views of Kant, Wittgenstein, Godel, and others, paying especially close attention to Frege. His book will be of interest to a wide range of readers, from philosophers (of logic, mathematics, language, and science) to logicians, mathematicians, linguists, and cognitive scientists.

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

This collection of essays is on the relation between probabilities, especially conditional probabilities, and conditionals. It provides negative results which sharply limit the ways conditionals can be related to conditional probabilities. There are also positive ideas and results which will open up areas of research. The collection is intended to honour Ernest W. Adams, whose seminal work is largely responsible for creating this area of inquiry. As well as describing, evaluating, and applying Adams's work the contributions extend his ideas in directions he may or may not have anticipated, but that he certainly inspired. In addition to a wide range of philosophers of science, the volume should interest computer scientists and linguists.

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

We share the capacity for knowledge with animals, but it is the nature and the scope of what we may rationally believe that makes us human. Yet what kind of beliefs do qualify as 'rational'? This challenging and refreshingly innovative book addresses certain fundamental questions concerning rational legitimacy of some widely held beliefs and provides argument-based answers to such questions, while at the same time encouraging the reader to actively engage with the views put forward and form his/her own judgement. The book is typically discursive rather than simply informative, and introduces philosophy by doing it.

This accessible book provides a practical discussion of the main elements of argumentation as illustrated by 30 public arguments from a recent year on a wide variety of social, cultural, and scientific topics. Arguing is an important form of communication in any society and a principal way in which ideas are exposed, discussed, and modified. The real-life examples examined in this book reflect the different considerations that go into composing arguments and the range of strategies that can be chosen as vehicles for our positions. They demonstrate the roles that emotion can play along with other modes of conveying evidence, from the use of images to the use of gestures. They show the power of threats, comparisons, and consequences. What emerges is an instructive discussion that illustrates the way we argue and that shows argument, invention, and evaluation in action. This book is a stimulating read for anyone interested in argument and public discourse and can be used as a supplemental text for courses in argumentation, persuasive communication, critical thinking, composition, and informal logic.

Logic is of course a general resource for reasoning at large. But in the first half of the twentieth century, it developed particularity with a view to mathematical applications, and the field of mathematical logic came into being and flourished. In the second half of the century, much the same happened with regard to philosophical applications. Hence philosophical logic. The deliberations of this book cover a varied but interrelated array of key issues in the field. They address the representation of information in linguistic formulation, and modes of cogent demonstration in logic, mathematics, and empirical investigation, as well as the role of logic in philosophical deliberations. Overall, the book seeks to demonstrate and illustrate the utility of logic as a productive resource for rational inquiry at large.

The volume is published on the occasion of the birth centennial of Eugenio Coseriu (1921-2002). It is the first collective volume to appear in English in which various scholars present a variety of perspectives on Coseriu's scholarly work and discuss its continuing relevance for the language sciences. Coseriu's international reputation has suffered from his commitment to publish in languages such as Spanish, German, French, Italian, Romanian and Portuguese, to the detriment of English. As a consequence, his work is less well-known outside Romance and German linguistics. The volume aims to raise the general awareness of Coseriu's work among linguists around the world, in accordance with Coseriu's own adage that it takes a constructive mindset (acknowledging "accomplishments and limitations") to do justice to all scholarly work in the humanities. The articles are organized into three major thematic clusters: 1) philosophy of language, 2) history of the language sciences and 3) theory and practice of "Integral Linguistics". The volume is essential reading for anyone working in these fields and for those seeking to gain deeper understanding of Coseriu's goal to develop a unitary approach to language which takes as its point of departure the "activity of speaking".

Propositions are routinely invoked by philosophers, linguists, logicians, and other theorists engaged in the study of meaning, communication, and the mind. To investigate the nature of propositions is to investigate the very nature of our connection to each other, and to the world around us. As one of the only volumes of its kind, The Routledge Handbook of Propositions provides a comprehensive overview of the philosophy of propositions, from both historical and contemporary perspectives. Comprising 33 original chapters by an international team of scholars, the volume addresses both traditional and emerging questions concerning the nature of propositions, and our capacity to engage with them in thought and in communication. The chapters are clearly organized into the following three sections: I. Foundational Issues in the Theory of Propositions II. Historical Theories of Propositions III. Contemporary Theories of Propositions Essential reading for philosophers of language and mind, and for those working in neighboring areas, The Routledge Handbook of Propositions is suitable for upper-level undergraduate study, as well as graduate and professional research.

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully formalized. Parts of the book are mathematical, parts philosophical. "

Part I of this book presents a theory of modal metaphysics in the possible-worlds tradition. `Worlds' themselves are understood as structured sets of properties; this `Ersatzist' view is defended against its most vigorous competitors, Meinongianism and David Lewis' theory of existent concrete worlds. Related issues of essentialism and linguistic reference are explored. Part II takes up the question of lexical meaning in the context of possible-world semantics. There are skeptical analyses of analyticity and the notion of a logical constant; and an `infinite polysemy' thesis is defended. The book will be of particular interest to metaphysicians, possible-world semanticists, philosophers of language, and linguists concerned with lexical semantics.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be his greatest contribution to human thought. The manuscripts from 1895-1913, most of which are published here for the first time, testify the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories told about the evolution of modern logic. This second volume collects Peirce's writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.

This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.

Russell's first book on philosophy and a fascinating insight into his early thinking A classic in the history and philosophy of mathematics and logic by one of the greatest philosophers of the 20th century This Routledge Classics edition includes a new foreword by Michael Potter, a renowned expert on analytic philosophy

Brilliant introduction to the philosophy of mathematics, from the question 'what is a number?' up to the concept of infinity, descriptions, classes and axioms Russell deploys all his skills and brilliant prose to write an introductory book - a real gem by one of the 20th century's most celebrated philosophers New foreword by Michael Potter to the Routledge Classics edition places the book in helpful context and explains why it's a classic

Superb insight into the development of Russell's thinking by the master himself Clearly and engaging written, charting his intellectual development from young idealist to celebrated sceptic This Routledge Classics edition includes a new foreword by Nicholas Griffin Ideal companion to Russell's own Autobiography, which is concerned with his incredibly colourful life rather than philosophy

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

This volume consists of papers delivered at the conference 'The Lvov-Warsaw School and Contemporary Philosophy', organised in celebration of the hun- dredth anniversary ofKazimierz Twardowski's first lecture as Professor of Phi- losophy at Lvov University. This lecture can be regarded as the starting point of the development of analytic philosophy in Poland, which culminated in the Warsaw School of Logic. The conference was held in Lvov (15-17 November) and Warsaw (19-21 November 1995). It was organised jointly by the Ukrainian Academy of Sci- ences and the Polish Academy of Sciences. The general organisation was un- dertaken by Professor Andrzej Grzegorczyk (polish Academy of Sciences) and Professor Marat Vernikov (Ukrainian Academy of Sciences). Professors Jaroslaw Isaievich (Ukrainian Academy of Sciences) and Jan Wolenski (Jagiel- Ionian University) were responsible for the scientific programme. Over 100 philosophers participated in the conference. Papers published in this volume are organised according to the sections of the conference and rep- of the papers delivered. resent a selection The editors would like to express their gratitude to Professor Andrzej Grze- gorczyk, spiritus movens of the conference, who, by including the present vol- ume in a programme of publications connected with the hundredth anniversary of the Lvov-Warsaw School, provided financial support for its preparation. Fi- nally, we express our gratitude to Dr Timothy Childers of the Academy of Sciences of the Czech Republic for correcting the English of the papers.

The content of the volume is divided as follows: after presenting two rival approaches to substantiality and causality: a traditional (ontological) view vs. a transcendental one (Rosiak) there follow two sections: the first presents studies of substance as showing some causal aspects (Buchheim, Keinanen, Kovac, Piwowarczyk), whereas the other contains investigations of causality showing in a way its reference to the category of substance (Kobiela, Meixner, Mitscherling, Wronski). The last, short section contains two studies of extension (Leszczynski and Skowron) which can be regarded as a conceptual background of both substantiality and causality. The book gives a very colourful picture of the discussions connected with substantiality and causality which may be of potential interest for the readers.

A Theory of Argument is an advanced textbook intended for students in philosophy, communications studies and linguistics who have completed at least one course in argumentation theory, information logic, critical thinking or formal logic. Containing nearly 400 exercises, Mark Vorobej develops a novel approach to argument interpretation and evaluation. One of the key themes of the book is that we cannot succeed in distinguishing good argument from bad arguments until we learn to listen carefully to others. Part I develops a relativistic account of argument cogency that allows for rational disagreement. Part II offers a comprehensive and rigorous account of argument diagramming. Hybrid arguments are contrasted with linked and convergent arguments, and a novel technique is introduced for graphically recording disagreements with authorial claims.

This book argues that there is a common cognitive mechanism underlying all indexical thoughts, in spite of their seeming diversity. Indexical thoughts are mental representations, such as beliefs and desires. They represent items from a thinker's point of view or her cognitive perspective. We typically express them by means of sentences containing linguistic expressions such as 'this (F)' or 'that (F)', adverbs like 'here', 'now', and 'today', and the personal pronoun 'I'. While generally agreeing that representing the world from a thinker's cognitive perspective is a key feature of indexical thoughts, philosophers disagree as to whether a thinker's cognitive perspective can be captured and rationalized by semantic content and, if so, what kind of content this is. This book surveys competing views and then advances its own positive account. Ultimately, it argues that a thinker's cognitive perspective - or her indexical point of view - is to be explained in terms of the content that is believed and asserted as the only kind of content that there is which thereby serves as the bearer of cognitive significance. The Indexical Point of View will be of interest to philosophers of mind and language, linguists, and cognitive scientists.

This Handbook offers students and more advanced readers a valuable resource for understanding linguistic reference; the relation between an expression (word, phrase, sentence) and what that expression is about. The volume's forty-one original chapters, written by many of today's leading philosophers of language, are organized into ten parts: I Early Descriptive Theories II Causal Theories of Reference III Causal Theories and Cognitive Significance IV Alternate Theories V Two-Dimensional Semantics VI Natural Kind Terms and Rigidity VII The Empty Case VIII Singular (De Re) Thoughts IX Indexicals X Epistemology of Reference Contributions consider what kinds of expressions actually refer (names, general terms, indexicals, empty terms, sentences), what referring expressions refer to, what makes an expression refer to whatever it does, connections between meaning and reference, and how we know facts about reference. Many contributions also develop connections between linguistic reference and issues in metaphysics, epistemology, philosophy of mind, and philosophy of science.

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support.