First published in 1998, Taking on Wittgensteinianism themes, but also using, or relying on several mathematical results, Slater in this book explores the idea of realism and further argues how in a philosophical viewpoint is incorrect. Slater also surveys various philosophers in the field of logic to argue against the idea of realism.

First published in 1998, Loughlin examines the conception of rationality through the gazes of science, philosophy and political philosophy to further explain the concept of rational reasoning, the effects it has on the development on natural and social science and its implications on how we think about morals and politics.

This text aims to present a comprehensive survey of methodological individualism in social, political and economic thought from the Enlightenment to the 20th century. Exploring the works of such figures as de Mandeville, Smith, Marx, Spencer, Durkheim, Simmel, Weber, Hayek, Popper and Parsons, the study underlines the contrasts between methodological collectivism and methodological individualism. The analysis offered here also reveals the theoretical presuppositions behind the collectivist and individualist traditions and the practical consequences of their applications. Infantino concludes in favour of individualism. This work touches upon issues in social and political theory, intellectual history, political philosophy, political economy and sociological theory.

First published in 1943, and revised for this 1952 edition, this book was intended for use by students of philosophy and as such traditional and modern developments in logic have been combined in a unified treatment. The author envisaged this volume as filling a gap for a simple, introductory text on formal logic, written from a modern point of view, unencumbered by traditional doctrine. This title provides a thorough introduction and grounding in the philosophy of logic, and was later revised after the author's death to correct a number of logical errors - making this edition the most complete version of the work.

First published in 1927, this translation of Kulpe's 'Einleitung in die Philosophie', 1895, covered psychology, logic, ethics, esthetics and general philosophy. The author adopted a uniform approach of positivity, interest and impartiality, aiming his work at a wider public than students of philosophy. The volume was intended as an elementary but complete guide to philosophy, past and present and included facts and arguments previously confined to philosophical encyclopaedias.

First published in 1999, this volume re-examines Bertrand Russell's views on modal logic and logical relevance, arguing that Russell does in fact accommodate modality and modal logic. The author, Jan Dejnozka, draws together Russell's comments and perspectives from throughout his canon in order to demonstrate a coherent view on logical modality and logical relevance. To achieve this, Dejnozka explores questions including whether Russell has a possible worlds logic, Rescher's case against Russell, Russell's three levels of modality and the motives and origins of Russell's theory of modality.

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.

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.

From academic writing to personal and public discourse, the need for good arguments and better ways of arguing is greater than ever before. This timely fifth edition of A Rulebook for Arguments sharpens an already-classic text, adding updated examples and a new chapter on public debates that provides rules for the etiquette and ethics of sound public dialogue as well as clear and sound thinking in general.

A 'self-refutation argument' is any argument which aims at showing that (and how) a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine.

Hegel's analysis of his culture identifies nihilistic tendencies in modernity i.e., the death of God and end of philosophy. Philosophy and religion have both become hollowed out to such an extent that traditional disputes between faith and reason become impossible because neither any longer possesses any content about which there could be any dispute; this is nihilism. Hegel responds to this situation with a renewal of the ontological argument (Logic) and ontotheology, which takes the form of philosophical trinitarianism. Hegel on the Proofs and the Personhood of God examines Hegel's recasting of the theological proofs as the elevation of spirit to God and defense of their content against the criticisms of Kant and Jacobi. It also considers the issue of divine personhood in the Logic and Philosophy of Religion. This issue reflects Hegel's antiformalism that seeks to win back determinate content for truth (Logic) and the concept of God. While the personhood of God was the issue that divided the Hegelian school into left-wing and right-wing factions, both sides fail as interpretations. The center Hegelian view is both virtually unknown, and the most faithful to Hegel's project. What ties the two parts of the book together-Hegel's philosophical trinitarianism or identity as unity in and through difference (Logic) and his theological trinitarianism, or incarnation, trinity, reconciliation, and community (Philosophy of Religion)-is Hegel's Logic of the Concept. Hegel's metaphysical view of personhood is identified with the singularity (Einzelheit) of the concept. This includes as its speculative nucleus the concept of the true infinite: the unity in difference of infinite/finite, thought and being, divine-human unity (incarnation and trinity), God as spirit in his community.

Wittgenstein's 'middle period' is often seen as a transitional phase connecting his better-known early and later philosophies. The fifteen essays in this volume focus both on the distinctive character of his teaching and writing in the 1930s, and on its pivotal importance for an understanding of his philosophy as a whole. They offer wide-ranging perspectives on the central issue of how best to identify changes and continuities in his philosophy during those years, as well as on particular topics in the philosophy of mind, religion, ethics, aesthetics, and the philosophy of mathematics. The volume will be valuable for all who are interested in this formative period of Wittgenstein's development.

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.

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.

Chapter 9 of Aristotle's "On Interpretation" deals with determinism, and here the two influential commentaries of Ammonius and Boethius have been published together. These are crucial works, for Ammonuis' commentary influenced the Islamic Middle Ages, while that of Boethius was of equal importance to medieval Latin-speaking philosophers. It was once argued that Boethius was influenced by Ammonius, and this work aims to show that this was clearly not the case. Ammonius draws on the fourth- and fifth-century Neoplatonists Iamblichus, Syrianus and Proclus. He arranges his argument around three major deterministic arguments and is our main source for one of them, the Reaper argument. Boethius, on the other hand, draws on controversies from 300 years earlier between Stoics and Aristotelians as recorded by Alexander of Aphrodisias and Porphyry.

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.

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.

From alcohol and drug addiction to rage on national highways and in airports, many human beings have kept themselves in perpetual turmoil and despair. From encroachment on individual rights and liberties to wars of attrition and mass genocide, human history has continually repeated itself due to a failure to see the light. Containing numerous skill-building exercises, Critical Thinking Unleashed seeks to cultivate the reasoning skills required to overcome such destructive human tendencies and to live meaningful and productive lives in a democratic society. In contrast to other treatments of practical reasoning, Elliot D. Cohen not only teaches students how to identify and refute irrational premises_he also teaches them how to construct rational antidotes to combat the personal, social, and political obstacles they confront in everyday life. Moreover, Cohen encourages students to use the theories and ideas embodied in the history of philosophy in order to construct these rational guides, drawing examples from many contemporary sources. Demonstrating the practical relevance and import of many historically significant philosophers (e.g. Socrates, Aristotle, Epictetus, Hume, Kant, Mill, Sartre, and Nietzsche), the book presents a practical, non-technical, and comprehensive approach to critical thinking.

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.