This book brings together an influential sequence of papers that argue for a radical re-conceptualisation of the psychology of inference, and of cognitive science more generally. The papers demonstrate that the thesis that logic provides the basis of human inference is central to much cognitive science, although the commitment to this view is often implicit. They then note that almost all human inference is uncertain, whereas logic is the calculus of certain inference. This mismatch means that logic is not the appropriate model for human thought.
Oaksford and Chater's argument draws on research in computer science, artificial intelligence and philosophy of science, in addition to experimental psychology. The authors propose that probability theory, the calculus of uncertain inference, provides a more appropriate model for human thought. They show how a probabilistic account can provide detailed explanations of experimental data on Wason's selection task, which many have viewed as providing a paradigmatic demonstration of human irrationality.
Oaksford and Chater show that people's behavior appears irrational only from a logical point of view, whereas it is entirely rational from a probabilistic perspective. The shift to a probabilistic framework for human inference has significant implications for the psychology of reasoning, cognitive science more generally, and for our picture of ourselves as rational agents.

The ability to think clearly and the power to reason well set leaders apart from the crowd. All of us have these abilities, but some may not be able to use their capabilities to full advantage at home, at work, at school, or in group situations.
Think to Win is a clear and inviting guide through the amazing world of logical thinking and reasoning. Designed for all readers, this book explores crucial aspects of effective reasoning - that uniquely human characteristic that catapulted our species from the use of smoke signals to the computer, and from humble cave dwellings to space exploration.
Inspired by a student who once pleaded for a layperson's guide to "thinking well," S. Cannavo walks the reader through the various modes of thinking, understanding, and reasoning, making logical thought engaging through real-life examples. He offers essential tips on how anyone can be empowered through continual self-monitoring and self-improvement.
Want to feel better about yourself and your abilities? Do you want to explain yourself better, present a more convincing case, and ultimately be more successful? Think to Win will help you cultivate your rational intelligence.

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

First Logic is an introduction to the study of logic. Understanding the concepts of validity, invalidity, and acceptability, unacceptability of arguments is the primary focus of this book. The first chapter introduces the reader to some of the basic concepts, such as validity, soundness, and acceptability. Chapters two and three are devoted to Aristotelian logic, including the traditional square of opposition and Venn diagrams for sentences and arguments. Chapter four is a treatment of a number of important informal fallacies of reasoning (appeals to authority, ignorance, force; petitio arguments, equivocation, and the deontic fallacy). Chapters five through eight are on various aspects of formal/symbolic logic: translating from natural language to the artificial language of logic; truth tables and truth trees; the method of natural deduction; predicate logic, including the logic of relations; and the concept and use of identity and its symbolization.

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato's dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. Naturalizing Logico-Mathematical Knowledge contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers' willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

Inferentialism is a philosophical approach premised on the claim that an item of language (or thought) acquires meaning (or content) in virtue of being embedded in an intricate set of social practices normatively governed by inferential rules. Inferentialism found its paradigmatic formulation in Robert Brandom's landmark book Making it Explicit, and over the last two decades it has established itself as one of the leading research programs in the philosophy of language and the philosophy of logic. While Brandom's version of inferentialism has received wide attention in the philosophical literature, thinkers friendly to inferentialism have proposed and developed new lines of inquiry that merit wider recognition and critical appraisal. From Rules to Meaning brings together new essays that systematically develop, compare, assess and critically react to some of the most pertinent recent trends in inferentialism. The book's four thematic sections seek to apply inferentialism to a number of core issues, including the nature of meaning and content, reconstructing semantics, rule-oriented models and explanations of social practices and inferentialism's historical influence and dialogue with other philosophical traditions. With contributions from a number of distinguished philosophers-including Robert Brandom and Jaroslav Peregrin-this volume is a major contribution to the philosophical literature on the foundations of logic and language.

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.

This introduction to modern formal logic also contains discussions on more philosophical issues, such as truth, conditionals and modal logic. It presents the formal material using informal explanations and arguments rather than rigorous development. Worked examples and exercises enable readers to check their progress. The aim is to equip students with: a complete and clear account of the truth-tree system for first order logic; the importance of logic and its relevance to many different disciplines; the skills needed to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic; and the ability to contest claims that "ordinary" reasoning is well represented by formal first order logic. The issues covered include truth-functional and full first order logic, using the truth-tree or semantic tableau approach. Completeness and soundness proofs are given for both truth-functional and first order trees. Much use is made of induction, which is presented in a clear and consistent manner. There is also discussion of alternative deductive systems.

Contents:
Introduction. Part 1: Truth-Functional Logic Chapter 1. The Basics 1. Deductively Valid Inference 2. Syntax: Connectives and the Principle of Composition 3. Semantics: Truth-Functionality 4. Negation and Conjunction 5. Disjunction 6. Truth-Functional Equivalence 7. The Conditional 8. Some Other Connectives, and the Biconditional Chapter 2. Truth Trees 1. Truth-Functionally Valid Inference 2. Conjugate Tree Diagrams 3. Truth Trees 4. Tautologies and Contradictions Chapter 3. Propositional Languages 1. Propositional Languages 2. Object Language and Metalanguage 3. Ancestral Trees 4. An Induction Principle 5. Multiple Conjunctions and Disjunctions 6. The Disjunctive Normal Form Theorem 7. Adequate Sets of Connectives 8. The Duality Principle 9. Conjunctive Normal Forms Chapter 4. Soundness and Completeness 1. The Standard Propositional Language 2. Truth Trees Again 3. Truth-Functional Consistency, Truth-Functionally Valid Inferences, and Trees 4. Soundness and Completeness Part 2: First Order Logic Chapter 5. Introduction 1. Some Non-Truth-Functional Inferences 2. Quantifiers and Variables 3. Relations 4. Formalising English Sentences Chapter 6. First Languages: Syntax and Two More Trees Rules 1. First Order Languages 2. Two More Tree Rules 3. Tree Proofs Chapter 7. First Order Languages: Semantics 1. Interpretations 2. Formulas and Truth 3. The Tree Rules Revisited 4. Consistency and Validity 5. Logical Truth and Logical Equivalence Chapter 8. Soundness and Completeness 1. Applying the Tree Rules 2. Branch Models 3. Soundness and Completeness Theorems 4. Compactness Chapter 9. Identity 1. Identity 2. Tree Rules For Identity 3. Some Arithmetic 4. Functions and Function Symbols 5. Working with Equations 6. Is Identity Part of Logic? Chapter 10. Alternative Deductive Systems for First Order Logic 1. Introduction 2. H 3 ND 4. Comparisons 5. Intuitionism Chapter 11. First Order Theories 1. First Order Theories 2. Infinite Cardinals 3. Lowenheim-Skolem Theorems 4. Second Order Languages 5. Completeness 6. The Liar Paradox Chapter 12. Beyond the Fringe 1. Counterfactual Conditions 2. Modal Propositional Logic 3. Indicative Conditionals and 4. Conclusion. List of Notation. Answers to Selected Exercises.

"Coalescent Argumentation" is based on the concept that arguments can function from agreement, rather than disagreement. To prove this idea, Gilbert first discusses how several components--emotional, visceral (physical) and kisceral (intuitive) are utilized in an argumentative setting by people everyday. These components, also characterized as "modes," are vital to argumentative communication because they affect both the argument and the resulting outcome.
In addition to the components/modes, this book also stresses the goals in argumentation as a means for understanding one's own and one's opposer's positions. Gilbert argues that by viewing positions as complex human events involving a variety of communicative modes, we are better able to find commonalities across positions, and, therefore, move from conflict to resolution. By focusing on agreement and shared goals in all modes, arguers can coalesce diverse positions and more easily distinguish between minor or unrelated differences and core disagreements. This permits much greater latitude for locating shared beliefs, values, and attitudes that will lead to conflict resolution.

"Coalescent Argumentation" is based on the concept that arguments can function from agreement, rather than disagreement. To prove this idea, Gilbert first discusses how several components--emotional, visceral (physical) and kisceral (intuitive) are utilized in an argumentative setting by people everyday. These components, also characterized as "modes," are vital to argumentative communication because they affect both the argument and the resulting outcome.
In addition to the components/modes, this book also stresses the goals in argumentation as a means for understanding one's own and one's opposer's positions. Gilbert argues that by viewing positions as complex human events involving a variety of communicative modes, we are better able to find commonalities across positions, and, therefore, move from conflict to resolution. By focusing on agreement and shared goals in all modes, arguers can coalesce diverse positions and more easily distinguish between minor or unrelated differences and core disagreements. This permits much greater latitude for locating shared beliefs, values, and attitudes that will lead to conflict resolution.

John Stuart Mill considered his A System of Logic, first published in 1843, the methodological foundation and intellectual groundwork of his later works in ethical, social, and political theory. Yet no book has attempted in the past to engage with the most important aspects of Mill's Logic. This volume brings together leading scholars to elucidate the key themes of this influential work, looking at such topics as his philosophy of language and mathematics, his view on logic, induction and deduction, free will, argumentation, ethology and psychology, as well as his account of normativity, kinds of pleasure, philosophical and political method and the "Art of Life."

This book develops new techniques in formal epistemology and applies them to the challenge of Cartesian skepticism. It introduces two formats of epistemic evaluation that should be of interest to epistemologists and philosophers of science: the dual-component format, which evaluates a statement on the basis of its safety and informativeness, and the relative-divergence format, which evaluates a probabilistic model on the basis of its complexity and goodness of fit with data. Tomoji Shogenji shows that the former lends support to Cartesian skepticism, but the latter allows us to defeat Cartesian skepticism. Along the way, Shogenji addresses a number of related issues in epistemology and philosophy of science, including epistemic circularity, epistemic closure, and inductive skepticism.

This long-awaited book replaces not one but both of Hughes and Cresswell's two previous classic studies of modal logic: "An Introduction to Modal Logic" and "A Companion to Modal Logic."
"A New Introduction to Modal Logic" has been completely rewritten by the authors to incorporate all the developments that have taken place since 1968 both in modal propositional logical and modal predicate logic, but without sacrificing the clarity of exposition and approachability that were essential features of the earlier works.
The book takes readers through the most basic systems of modal prepositional logic right up to systems of modal predicate with identity. It deals with both technical developments such as completeness and incompleteness, and finite and infinite models, and discusses philosophical applications, especially, in the area of modal predicate logic.

Graham Priest presents an original exploration of philosophical questions concerning the one and the many. He covers a wide range of issues in metaphysics-including unity, identity, grounding, mereology, universals, being, intentionality, and nothingness-and deploys the techniques of paraconsistent logic in order to offer a radically new treatment of unity. Priest brings together traditions of Western and Asian thought that are usually kept separate in academic philosophy: he draws on ideas from Plato, Heidegger, and Nagarjuna, among other philosophers.

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference (LRR10) in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far as it is based on (classical) logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality.

Peirce's Speculative Grammar: Logic as Semiotics offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce's theory of speculative grammar. The book traces the evolution of Peirce's grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the history of logic, and semiotics.

If you keep removing single grains of sand from a heap, when is it no longer a heap? From discussions of the heap paradox in classical Greece, to modern formal approaches like fuzzy logic, Timothy Williamson traces the history of the problem of vagueness. He argues that standard logic and formal semantics apply even to vague languages and defends the controversial, realist view that vagueness is a form of ignorance - there really is a grain of sand whose removal turns a heap into a non-heap, but we can never know exactly which one it is.

Argumentation theory is a distinctly multidisciplinary field of inquiry. It draws its data, assumptions, and methods from disciplines as disparate as formal logic and discourse analysis, linguistics and forensic science, philosophy and psychology, political science and education, sociology and law, and rhetoric and artificial intelligence. This presents the growing group of interested scholars and students with a problem of access, since it is even for those active in the field not common to have acquired a familiarity with relevant aspects of each discipline that enters into this multidisciplinary matrix. This book offers its readers a unique comprehensive survey of the various theoretical contributions which have been made to the study of argumentation. It discusses the historical works that provide the background to the field and all major approaches and trends in contemporary research.
Argument has been the subject of systematic inquiry for twenty-five hundred years. It has been graced with theories, such as formal logic or the legal theory of evidence, that have acquired a more or less settled provenance with regard to specific issues. But there has been nothing to date that qualifies as a unified general theory of argumentation, in all its richness and complexity. This being so, the argumentation theorist must have access to materials and methods that lie beyond his or her "home" subject. It is precisely on this account that this volume is offered to all the constituent research communities and their students. Apart from the historical sections, each chapter provides an economical introduction to the problems and methods that characterize a given part of the contemporary research program. Because the chapters are self-contained, they can be consulted in the order of a reader's interests or research requirements. But there is value in reading the work in its entirety. Jointly authored by the very people whose research has done much to define the current state of argumentation theory and to point the way toward more general and unified future treatments, this book is an impressively authoritative contribution to the field.

Argumentation theory is a distinctly multidisciplinary field of inquiry. It draws its data, assumptions, and methods from disciplines as disparate as formal logic and discourse analysis, linguistics and forensic science, philosophy and psychology, political science and education, sociology and law, and rhetoric and artificial intelligence. This presents the growing group of interested scholars and students with a problem of access, since it is even for those active in the field not common to have acquired a familiarity with relevant aspects of each discipline that enters into this multidisciplinary matrix. This book offers its readers a unique comprehensive survey of the various theoretical contributions which have been made to the study of argumentation. It discusses the historical works that provide the background to the field and all major approaches and trends in contemporary research.
Argument has been the subject of systematic inquiry for twenty-five hundred years. It has been graced with theories, such as formal logic or the legal theory of evidence, that have acquired a more or less settled provenance with regard to specific issues. But there has been nothing to date that qualifies as a unified general theory of argumentation, in all its richness and complexity. This being so, the argumentation theorist must have access to materials and methods that lie beyond his or her "home" subject. It is precisely on this account that this volume is offered to all the constituent research communities and their students. Apart from the historical sections, each chapter provides an economical introduction to the problems and methods that characterize a given part of the contemporary research program. Because the chapters are self-contained, they can be consulted in the order of a reader's interests or research requirements. But there is value in reading the work in its entirety. Jointly authored by the very people whose research has done much to define the current state of argumentation theory and to point the way toward more general and unified future treatments, this book is an impressively authoritative contribution to the field.

A new direction in philosophy
Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform traditional philosophy with a new set of doctrines more firmly grounded in logic and science.
Criticism and decline
Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology.
A resurgence of interest
During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence.
Hard-to-find core writings now available
This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide important background information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers.

A new direction in philosophy
Between 1920 and 1940 logical empiricism reset the direction of philosophy of science and much of the rest of Anglo-American philosophy. It began as a relatively organized movement centered on the Vienna Circle, and like-minded philosophers elsewhere, especially in Berlin. As Europe drifted into the Nazi era, several important figures, especially Carnap and Neurath, also found common ground in their liberal politics and radical social agenda. Together, the logical empiricists set out to reform traditional philosophy with a new set of doctrines more firmly grounded in logic and science.
Criticism and decline
Because of Nazi persecution, most of the European adherents of logical empiricism moved to the United States in the late 1930s. During the 1940s, many of their most cherished tenets became targets of criticism from outsiders as well as from within their own ranks. Philosophers of science in the late 1950s and 1960s rejected logical empiricism and, starting in the 1970s, presented such alternative programs such as scientific realism with evolutionary epistemology.
A resurgence of interest
During the early 1980s, philosophers and historians of philosophy began to study logical empiricism as an important movement. Unlike their predecessors in the 1960s-for whom the debate over logical empiricism now seems to have been largely motivated by professional politics-these philosopher no longer have to take positions for or against logical empiricism. The result has been a more balanced view of that movement, its achievements, its failures, and its influence.
Hard-to-find core writings now available
This collection makes available a selection of the most influential and representative writings of the logical empiricists, important contemporary criticisms of their doctrines, their responses, as well as the recent reappraisals. Introductions to each volume examine the articles in historical context and provide important background information that is vital to a full understanding of the issues discussed. They outline prevalent trends, identifying leading figures and summarize their positions and reasoning, as well as those of opposing thinkers. Available individually by volume.
1. The Emergence of Logical Empiricism (0-8153-2262-3) 432 pages
2. Logical Empiricism at its Peak (0-8153-2263-1) 4243 pages
3. Logic, Probability, and Epistemology (0-8153-2264-X) 424 pages
4. Logical Empiricism and the Special Sciences (0-8153-2265-8) 376 pages
5. Decline and Obsolescence of Logical Empiricsm (0-8153-2266-6) 440 pages
6. The Legacy of the Vienna Circle (0-8153-2267-4) 400 pages

Philosophy means 'love of wisdom,' but author Edmond Holmes fears the encroaching dominance of intellect over feeling. In this title, Holmes argues that metaphysics' reliance on intellect and pure reason undermines the study of philosophy. Rather, Holmes suggests a return to intuitional philosophy, combining thought and feeling. First published in 1930, this title will be ideal for students interested in Philosophy and Western Civilisation.