'You shouldn't drink too much. The Earth is round. Milk is good for your bones.' Are any of these claims true? How can you tell? Can you ever be certain you are right? For anyone tackling philosophical logic and critical thinking for the first time, Critical Thinking: An Introduction to Reasoning Well provides a practical guide to the skills required to think critically. From the basics of good reasoning to the difference between claims, evidence and arguments, Robert Arp and Jamie Carlin Watson cover the topics found in an introductory course. Now revised and fully updated, this Second Edition features a glossary, chapter summaries, more student-friendly exercises, study questions, diagrams, and suggestions for further reading. Topics include: the structure, formation, analysis and recognition of arguments deductive validity and soundness inductive strength and cogency inference to the best explanation truth tables tools for argument assessment informal and formal fallacies With real life examples, advice on graduate school entrance exams and an expanded companion website packed with additional exercises, an answer key and help with real life examples, this easy-to-follow introduction is a complete beginner's tool set to good reasoning, analyzing and arguing. Ideal for students in basic reasoning courses and students preparing for graduate school.

As the foundation of our rationality, logic has traditionally been considered fixed, stable and constant. This conception of the discipline has been challenged recently by the plurality of logics and in this book, Pavel Arazim extends the debate to offer a new view of logic as dynamic and without a definite, specific shape. The Problem of Plurality of Logics examines the origins of our standard view of logic alongside Kant's theories, the holistic view, the issue of logic's pragmatic significance and Robert Brandom's logical expressivism. Arazim then draws on proof-theoretical approaches to present a convincing argument for a dynamic version of logical inferentialism, which opens space for a new freedom to modify our own logic. He explores the scope, possibilities and limits of this freedom in order to highlight the future paths logic could take, as a motivation for further research. Marking a departure from logical monism and also from the recent doctrine of logical pluralism in its various forms, this book addresses current debates concerning the expressive role of logic and contributes to a lively area of discussion in analytic philosophy.

Ibn Wasil (d. 1298), perhaps better known today as a historian and an emissary to the court of King Manfred in southern Italy, was also an eminent logician. The present work is a critical edition of his main work in the field, a commentary on his teacher Khunaji's (d. 1248) handbook al-Jumal. The work helped consolidate the logic of the "later scholars" (such as Khunaji). It also shows that commentators did much more than merely explain the original work and instead regularly discussed and assessed received views. Ibn Wasil's work was an influential contribution to a particularly dynamic chapter in the history of Arabic logic.

Aristotle's Topics is a handbook for dialectic, i.e. the exercise for philosophical debates between a questioner and a respondent. Alexander takes the Topics as a sort of handbook teaching how to defend and how attack any philosophical claim against philosophical adversaries. In book 3, Aristotle develops strategies for arguing about comparative claims, in which properties are said to belong to subjects to a greater, lesser, or equal degree. Aristotle illustrates the different argumentative patterns that can be used to establish or refute a comparative claim through one single example: whether something is more or less or equally to be chosen or to be avoided than something else. In his commentary on Topics 3, here translated for the first time into English, Alexander of Aphrodisias spells out Aristotle's text by referring to issues and examples from debates with other philosophical school (especially: the Stoics) of his time. The commentary provides new evidence for Alexander's views on the logic of comparison and is a relatively neglected source for Peripatetic ethics in late antiquity. This volume will be valuable reading for students of Aristotle and of the developments of Peripatetic logic and ethics in late antiquity.

In Enthymemes and Topoi in Dialogue, Ellen Breitholtz presents a novel and precise account of reasoning from an interactional perspective. The account draws on the concepts of enthymemes and topoi, originating in Aristotelian rhetoric and dialectic, and integrates these in a formal dialogue semantic account using TTR, a type theory with records. Argumentation analysis and formal approaches to reasoning often focus the logical validity of arguments on inferences made in discourse from a god's-eye perspective. In contrast, Breitholtz's account emphasises the individual perspectives of interlocutors and the function and acceptability of their reasoning in context. This provides an analysis of interactions where interlocutors have access to different topoi and therefore make different inferences.

For thousands of years, mathematicians have used the timeless art of logic to see the world more clearly. In The Art of Logic, Royal Society Science Book Prize nominee Eugenia Cheng shows how anyone can think like a mathematician - and see, argue and think better.

Learn how to simplify complex decisions without over-simplifying them. Discover the power of analogies and the dangers of false equivalences. Find out how people construct misleading arguments, and how we can argue back.

Eugenia Cheng teaches us how to find clarity without losing nuance, taking a careful scalpel to the complexities of politics, privilege, sexism and dozens of other real-world situations. Her Art of Logic is a practical and inspiring guide to decoding the modern world.

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a derivation proving a given sequent can be tested mechanically, but there is no general mechanical test for the existence of a derivation proving the given sequent. The undecidability results are proved rigorously in an optional final chapter, assuming Matiyasevich's theorem characterising the computably enumerable relations. Rigorous proofs of the adequacy and completeness proofs of the relevant logics are provided, with careful attention to the languages involved. Optional sections discuss the classification of mathematical structures by first-order theories; the required theory of cardinality is developed from scratch. Throughout the book there are notes on historical aspects of the material, and connections with linguistics and computer science, and the discussion of syntax and semantics is influenced by modern linguistic approaches. Two basic themes in recent cognitive science studies of actual human reasoning are also introduced. Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science.

In 1906, Jan Lukasiewicz, a great logician, published his classic dissertation on the concept of cause, containing not only a thorough reconstruction of the title concept, but also a systematization of the analytical method. It sparked an extremely inspiring discussion among the other representatives of the Lvov-Warsaw School. The main voices of this discussion are supplemented here with texts of contemporary Polish philosophers. They show how the concept of cause is presently functioning in various disciplines and point to the topicality of Lukasiewicz's method of analysis.

Bernard Bolzano (1781-1850) is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made ground-breaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy (but also many of the details) first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition of logical consequence, his work on the semantics of natural kind terms, or his anticipations of Cantor's set theory, to name but a few. To his contemporaries, however, he was best known as an intelligent and determined advocate for reform of Church and State. Based in large part on a carefully argued utilitarian practical philosophy, he developed a program for the non-violent reform of the authoritarian institutions of the Hapsburg Empire, a program which he himself helped to set in motion through his teaching and other activities. Rarely has a philosopher had such a great impact on the political culture of his homeland. Persecuted in his lifetime by secular and ecclesiastical authorities, long ignored or misunderstood by philosophers, Bolzano's reputation has nevertheless steadily increased over the past century and a half. Much discussed and respected in Central Europe for over a century, he is finally beginning to receive the recognition he deserves in the English-speaking world. This book provides a comprehensive and detailed critical introduction to Bolzano, covering both his life and works.