Stephen Schiffer presents a groundbreaking account of meaning and belief, and shows how it can illuminate a range of crucial problems regarding language, mind, knowledge, and ontology. He introduces the new doctrine of 'pleonastic propositions' to explain what the things we mean and believe
are. He discusses the relation between semantic and psychological facts, on the one hand, and physical facts, on the other; vagueness and indeterminacy; moral truth; conditionals; and the role of propositional content in information acquisition and explanation. This radical new treatment of meaning
will command the attention of everyone who works on fundamental questions about language, and will attract much interest from other areas of philosophy.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main "mathematical characters" of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein-Podolsky-Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like "Alice knows that everybody knows that she is pretty", explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory. Its six sections are devoted to specific themes, including the analysis and evaluation of argumentation, argument schemes and the contextual embedding of argumentation. The section on general perspectives on argumentation discusses the trends of empiricalization, contextualization and formalization, offers descriptions of the analytical and evaluative tools of informal logic, and highlights selected principles that argumentation theorists do and do not agree upon. In turn, the section on linguistic approaches to argumentation focuses on the problem of distinguishing between explanation and argument, while also elaborating on the role of verbal indicators of argument schemes. All essays included in this volume point out notable recent developments in the study of argumentation.

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, the necessary and the contingent, the a posteriori and the a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates on, inter alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Wittgenstein et Spinoza construisent, l'un dans le Tractatus, l'autre dans l'A0/00thique, des systA]mes philosophiques rA(c)unissant le monde, l'homme et Dieu dans lesquels ils s'opposent sur de nombreux points. C'est ainsi par exemple que, suivant Spinoza, l'homme est assurA(c) que rien ne se produit sans cause alors que Wittgenstein rejette la possibilitA(c) de rapports d'ordre causal entre les A(c)vA(c)nements. Le prA(c)sent travail dissA]que dans une premiA]re partie l'A"uvre de Wittgenstein, il analyse dans une deuxiA]me partie la doctrine de Spinoza, et il compare enfin dans la troisiA]me partie les deux systA]mes dont il fait ressortir les points de concordance et de dissemblance dans leurs constructions respectives. Il traite les A"uvres philosophiques que sont le Tractatus et l'A0/00thique comme si elles relevaient de sciences telles que la mA(c)canique, l'astronomie, etc., et utilise des modA]les gA(c)omA(c)triques appropriA(c)s A leur interprA(c)tation. L'A(c)tude comparative du Tractatus et de l'A0/00thique, qui ne cessent d'exercer leur influence sur la pensA(c)e humaine, permet de conclure que le Tractatus, A"uvre du XXe siA]cle, renoue avec le rationalisme du XVIIe siA]cle exprimA(c) par Spinoza.

This book offers an original philosophical perspective on exemplarity. Inspired by Wittgenstein's later work and Derrida's theory of deconstruction, it argues that examples are not static entities but rather oscillate between singular and universal moments. There is a broad consensus that exemplary cases mediate between singular instances and universal concepts or norms. In the first part of the book, Macha contends that there is a kind of differance between singular examples and general exemplars or paradigms. Every example is, in part, also an exemplar, and vice versa. Furthermore, he develops a paracomplete approach to the logic of exemplarity, which allows us to say of an exemplar of X neither that it is an X nor that it is not an X. This paradox is structurally isomorphic to Russell's paradox and can be addressed in similar ways. In the second part of the book, Macha presents four historical studies that exemplify the ideas developed in the first part. This part begins with Plato's Forms, understood as standards/paradigms, before considering Kant's theory of reflective judgment as a general epistemological account of exemplarity. This is then followed by analyses of Hegel's conceptual moment of particularity and Kuhn's concept of paradigm. The book concludes by discussing the speculative hypothesis that all our knowledge is based on paradigms, which, following the logic of exemplarity, are neither true nor false. The Philosophy of Exemplarity will be of interest to scholars and advanced students working in philosophy of language, logic, history of philosophy, and literary theory.

Representational systems such as language, mind and perhaps even the brain exhibit a structure that is often assumed to be compositional. That is, the semantic value of a complex representation is determined by the semantic value of their parts and the way they are put together. Dating back to the late 19th century, the principle of compositionality has regained wide attention recently. Since the principle has been dealt with very differently across disciplines, the aim of the two volumes is to bring together the diverging approaches. They assemble a collection of original papers that cover the topic of compositionality from virtually all perspectives of interest in the contemporary debate. The well-chosen international list of authors includes psychologists, neuroscientists, computer scientists, linguists, and philosophers.

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.

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

Colin Howson offers a solution to one of the central, unsolved problems of Western philosophy, the problem of induction. In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth or probable truth of the predicting theory. Howson claims that Hume's argument is correct, and examines what follows about the relation between science and its empirical base.

This contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from the lenses of philosophy, anthropology, sociology, and history to examine two opposing perceptions of logic: the first as an innate human ability and the second as a skill that can be learned and mastered. Chapters focus on the social and political dynamics of the use of logic throughout history, utilizing case studies and critical analyses. Specific topics covered include: the rise of logical skills problems concerning medieval notions of idiocy and rationality decolonizing natural logic natural logic and the course of time Logical Skills: Social-Historical Perspectives will appeal to undergraduate and graduate students, as well as researchers in the fields of history, sociology, philosophy, and logic. Psychology and colonial studies scholars will also find this volume to be of particular interest.

How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author's career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska's scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

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.

This book collects original essays on the epistemology of modality and related issues in modal metaphysics and philosophical methodology.

This collection will prove a valuable resource for our understanding of the historic Carnap and the living philosophical issues with which he grappled. It arose out of a symposium on Carnap's work (Vienna, 2001). With essays by Graham H. Bird, Jaakko Hintikka, Ilkka Niiniluoto, Jan Wolenski, this volume will interest graduate students of the philosophy of language and logic, as well as professional philosophers, historians of analytic philosophy, and philosophically inclined logicians.

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

In 1986, the emergence of a novel brain disease in British cattle presented a unique challenge to scientists. How that challenge was addressed has been the subject of a public inquiry and numerous academic studies conducted to date. However, none of these investigations has sought to examine the reasoning of scientists during this critical period in the public health of the UK. Using concepts and techniques in informal logic, argumentation and fallacy theory, this study reconstructs and evaluates the reasoning of scientists in the ten-year period between 1986 and 1996. Specifically, a form of presumptive reasoning is described in which extensive use is made of arguments traditionally identified as informal fallacies. In the context of the adverse epistemic conditions that confronted scientists during the BSE epidemic, these arguments were anything but fallacious, serving instead to confer a number of epistemic gains upon scientific inquiry. This book argues for a closer integration of philosophy with public health science, an integration that is exemplified by the case of scientific reasoning during the BSE affair. It will therefore be of interest to advanced students, academics, researchers and professionals in the areas of public health science and epidemiology, as well as philosophical disciplines such as informal logic, argumentation and fallacy theory and epistemology.

Gottlob Frege (1848-1925) is considered the father of modern logic and one of the founding figures of analytic philosophy. He was first and foremost a mathematician, but his major works also made important contributions to the philosophy of language. Frege's writings are difficult and deal with technical, abstract concepts. The Routledge Philosophy Guidebook to Frege On Sense and Reference helps the student to get to grips with Frege's thought, and introduces and assesses: the background of Frege's philosophical work Frege's main papers and arguments, focussing on his distinction between sense and reference the continuing importance of Frege's work to philosophy of logic and language. Ideal for those coming to Frege for the first time, and containing fresh insights for anyone interested in his philosophy, this Guidebook is essential reading for all students of philosophy of language, philosophical logic and the history of analytic philosophy.

Gareth Matthews suggests that we can better understand the nature of philosophical inquiry if we recognize the central role played by perplexity. The seminal representation of philosophical perplexity is in Plato's dialogues; Matthews examines the intriguing shifts in Plato's attitude to perplexity and suggests that these may represent a course of philosophical development that philosophers follow even today.

William G. Lycan offers a fresh original approach to the long-running debate among philosophers and logicians about the best way to analyse and understand conditional sentences. Lycan attends not just to the semantics of such sentences, but equally to their syntax, making use of insights from linguistic theory. Real Conditionals is the definitive presentation of Lycan's view, written in his characteristically lively style.

In this innovative and groundbreaking work, the structure and evolution of scientific theories is examined in meticulous detail and rigorously analysed as never before. For the first time, scientific revolutions are presented as a natural consequence of the evolution of scientific theories and described with mathematical precision. Many new techniques are introduced and with the more precise understanding of the nature of the scientific enterprise obtained thereby, old philosophical problems are cast into a new light and shown to be susceptible to the same rigorous approach by which they may be completely solved. Numerous real examples from the sciences are given and discussed in detail, culminating in some startling results concerning the future development of science and that Holy Grail of physics, the possibility of a final, all-embracing Theory of Everything. Written in an eloquent and engaging style interspersed with occasional flashes of delicious humour, this book is destined to become a classic in the Philosophy of Science. It will doubtless be appreciated equally by philosophers and scientists alike as well as a wider, less specialised audience. Truly an important document and a major contribution to the literature; this is a work for the twenty-first century.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014). The editors gather together noted experts to discuss the state of the art of various of Lambek's works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard's linear logic. In a surprising development (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.