The fundamental burden of a theory of inductive inference is to determine which are the good inductive inferences or relations of inductive support and why it is that they are so. The traditional approach is modeled on that taken in accounts of deductive inference. It seeks universally applicable schemas or rules or a single formal device, such as the probability calculus. After millennia of halting efforts, none of these approaches has been unequivocally successful and debates between approaches persist.The Material Theory of Induction identifies the source of these enduring problems in the assumption taken at the outset: that inductive inference can be accommodated by a single formal account with universal applicability. Instead, it argues that that there is no single, universally applicable formal account. Rather, each domain has an inductive logic native to it. Which that is, and its extent, is determined by the facts prevailing in that domain. Paying close attention to how inductive inference is conducted in science and copiously illustrated with real-world examples, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference.

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.

Contingentism depicts normativity as one of our human effective possibilities rather than as a metaphysical bottleneck which we should necessary fulfill. The book is a critical survey of Richard McKay Rorty's "neo-pragmatism", in the light of various theoretical arguments as well as of his own resourceful attempts to renew philosophy from within its practice.

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.

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 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.

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.

Logic: Select Readings and a Course Developer provides students with thought-provoking texts that build upon each other to shorten or expand readers' ideas of logic. The text addresses all major subcategories of logic and provides each their own spotlight. This coverage and organization gives instructors the flexibility to assign sections and texts based on the importance of the topics within their courses. The text features four units: an introduction to logic, how to organize logical arguments, getting familiar with logical fallacies, and an in-depth look at formal logic. Each unit includes multiple readings that further explain each category, including definitions of base terms of logic, diagramming, premise and conclusion indicators, validity and soundness, non-arguments, major categories of fallacies, symbols, and different types of formal logic arguments, truth tables, and more. Designed to be used in eight or fourteen-week courses, Logic in an ideal reader and course developer for classes in religious studies, logic, and media.