The Dialectical Forge identifies dialectical disputation (jadal) as a primary formative dynamic in the evolution of pre-modern Islamic legal systems, promoting dialectic from relative obscurity to a more appropriate position at the forefront of Islamic legal studies. The author introduces and develops a dialectics-based analytical method for the study of pre-modern Islamic legal argumentation, examines parallels and divergences between Aristotelian dialectic and early juridical jadal-theory, and proposes a multi-component paradigm-the Dialectical Forge Model-to account for the power of jadal in shaping Islamic law and legal theory.In addition to overviews of current evolutionary narratives for Islamic legal theory and dialectic, and expositions on key texts, this work shines an analytical light upon the considerably sophisticated "proto-system" of juridical dialectical teaching and practice evident in Islam's second century, several generations before the first "full-system" treatises of legal and dialectical theory were composed. This proto-system is revealed from analyses of dialectical sequences in the 2nd/8th century Kitab Ikhtilaf al-'Iraqiyyin / 'Iraqiyyayn (the "subject-text") through a lens molded from 5th/11th century jadal-theory treatises (the "lens-texts"). Specific features thus uncovered inform the elaboration of a Dialectical Forge Model, whose more general components and functions are explored in closing chapters.

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.

This book consolidates and extends the authors' work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge and its prevalent use of mathematics. To find an answer to the question "What kind of experimental activity is the scientific employment of mathematics?" the book addresses the problems involved in formalizing abductive cognition. For this, it implements the concept and method of iconicity, modeling this theoretical framework mathematically through category theory and topoi. Peirce's concept of iconic signs is treated in depth, and it is shown how Peirce's diagrammatic logical notation of Existential Graphs makes use of iconicity and how important features of this iconicity are representable within category theory. Alain Badiou's set-theoretical model of truth procedures and his relational sheaf-based theory of phenomenology are then integrated within the Peircean logical context. Finally, the book opens the path towards a more naturalist interpretation of the abductive models developed in Peirce and Badiou through an analysis of several recent attempts to reformulate quantum mechanics with categorical methods. Overall, the book offers a comprehensive and rigorous overview of past approaches to iconic semiotics and abduction, and it encompasses new extensions of these methods towards an innovative naturalist interpretation of abductive reasoning.

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR'015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic's status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection - prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) - show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics - FilMat

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jager, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium "Advances in Proof Theory", which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Goedel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.

This book offers a novel perspective on abduction. It starts by discussing the major theories of abduction, focusing on the hybrid nature of abduction as both inference and intuition. It reports on the Peircean theory of abduction and discusses the more recent Magnani concept of animal abduction, connecting them to the work of medieval philosophers. Building on Magnani's manipulative abduction, the accompanying classification of abduction, and the hybrid concept of abduction as both inference and intuition, the book examines the problem of visual perception together with the related concepts of misrepresentation and semantic information. It presents the author's views on caricature and the caricature model of science, and then extends the scope of discussion by introducing some standard issues in the philosophy of science. By discussing the concept of ad hoc hypothesis generation as enthymeme resolution, it demonstrates how ubiquitous the problem of abduction is in all the different individual scientific disciplines. This comprehensive text provides philosophers, logicians and cognitive scientists with a historical, unified and authoritative perspective on abduction.

Some of philosophy's biggest questions, both historically and today, are in-virtue-of questions: In virtue of what is an action right or wrong? In virtue of what am I the same person my mother bore? In virtue of what is an artwork beautiful? Philosophers attempt to answer many of these types of in-virtue-of questions, but philosophers are also increasingly focusing on what an in-virtue-of question is in the first place. Many assume, at least as a working hypothesis, that in-virtue-of questions involve a distinctively metaphysical kind of determinative explanation called "ground." This Handbook surveys the state of the art on ground as well as its connections and applications to other topics. The central issues of ground are discussed in 37 chapters, all written exclusively for this volume by a wide range of leading experts. The chapters are organized into the following sections: I. History II. Explanation and Determination III. Logic and Structure IV. Connections V. Applications Introductions at the start of each section provide an overview of the section's contents, and a list of Related Topics at the end of each chapter points readers to other germane areas throughout the volume. The resulting volume is accessible enough for advanced students and informative enough for researchers. It is essential reading for anyone hoping to get clearer on what the biggest questions of philosophy are really asking.

Essays on Husserl's Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl's work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl's by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Goedel and Hermann Weyl. Most of the papers consider Husserl and another scholar - e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege - and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.

This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, opinion representation, and decision-making under vagueness and uncertainty, and he then offers a full definition of subjective logic, harmonising the key notations and formalisms, concluding with chapters on trust networks and subjective Bayesian networks, which when combined form general subjective networks. The author shows how real-world situations can be realistically modelled with regard to how situations are perceived, with conclusions that more correctly reflect the ignorance and uncertainties that result from partially uncertain input arguments. The book will help researchers and practitioners to advance, improve and apply subjective logic to build powerful artificial reasoning models and tools for solving real-world problems. A good grounding in discrete mathematics is a prerequisite.

This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

T. F. Torrance's proposal for natural theology constitutes one of the most creative and provocative elements in his work. By re-envisioning natural theology as the cognitive structure of theology determined by God's self-revelation in Jesus Christ (and not as the task of philosophically reflecting on the nature or existence of God aside from religious presuppositions), Torrance moves through and beyond Barth's resistance to natural theology. This book establishes Torrance's unique reconstruction of natural theology within its proper intellectual context, providing a fresh analysis of this important methodological innovation as it emerges from Torrance's realist epistemology. As Irving demonstrates, in Torrance's distinctive conception of science, he operated with an approach to cognition that functions via a realist synthesis of experience and understanding, and in Torrance's theological science, this synthesis of experience and understanding is the synthesis of revealed theology and natural theology. The author argues that this reconstruction of natural theology expresses a dramatic vision for human agency within theological cognition, adding the necessity of the human knowing subject to the priority of the divine revealer. Finally, this book marries Torrance's accomplishments in reconstructing natural theology to his Christocentric theological method, in which God is both revealed and known in the person of Jesus Christ, fully God and fully human.

Fur das Verstandnis der Philosophie Kants eroeffnen sich neue Einsichten, wenn man neben den Druckschriften auch Kants Vorlesungen beizieht. Im vorliegenden Band werden unter dieser Massgabe zentrale Aspekte der Kantischen Philosophie - Metaphysik, Logik, Anthropologie sowie Moral-, Rechts- und Religionsphilosophie - beleuchtet und neu gedeutet. Im Mittelpunkt steht dabei die Frage nach den Grenzen des Wissens, wie Kant sie in seiner Transzendentalphilosophie beschrieben hat, und dem durch diese Grenzbestimmung eroeffneten Freiraum des Glaubens. Diese Einhegung der theoretischen Philosophie hat weitreichende Folgen fur die Anthropologie. Der Mensch ist frei, die obersten Maximen seines Handelns - seine Gesinnung - zu bestimmen. Dafur tragt er Verantwortung. Welche Wirkung eine Entscheidung zeitigt, bleibt ihm verborgen. Kants Beharren auf der Unerkennbarkeit der Dinge an sich gewinnt hier seinen vollen anthropologischen Ernst.

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi's scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.

This book explains in down-to-earth language what analytical philosophy is, and presupposes no previous knowledge of the subject. Analytical philosophers aim at obtaining insight into the traditional topics of philosophy by logical, conceptual and linguistic analysis. In this book William Charlton answers relativist attacks on this ambition and argues that its methods can still provide fresh insight into the traditional problems of philosophy. Taking such central philosophical problems as meaning, time, causation and thought, the author shows why they are problems for philosophy rather than for any other discipline, and thereby illustrates and supports a new general theory of the nature and scope of philosophical enquiry.
The Analytic Ambition is both an introduction to readers fresh to philosophy and a challenge to professional thinking that has become set in its ways.

This volume documents the 17th Munster Lectures in Philosophy with Susan Haack, the prominent contemporary philosopher. It contains an original, programmatic article by Haack on her overall philosophical approach, entitled 'The Fragmentation of Philosophy, the Road to Reintegration'. In addition, the volume includes seven papers on various aspects of Haack's philosophical work as well as her replies to the papers. Susan Haack has deeply influenced many of the debates in contemporary philosophy. In her vivid and accessible way, she has made ground-breaking contributions covering a wide range of topics, from logic, metaphysics and epistemology, to pragmatism and the philosophy of science and law. In her work, Haack has always been very sensitive in detecting subtle differences. The distinctions she has introduced reveal what lies at the core of philosophical controversies, and show the problems that exist with established views. In order to resolve these problems, Haack has developed some 'middle-course approaches'. One example of this is her famous 'Foundherentism', a theory of justification that includes elements from both the rival theories of Foundationalism and Coherentism. Haack herself has offered the best description of her work calling herself a 'passionate moderate'.

This handbook addresses legal reasoning and argumentation from a logical, philosophical and legal perspective. The main forms of legal reasoning and argumentation are covered in an exhaustive and critical fashion, and are analysed in connection with more general types (and problems) of reasoning. Accordingly, the subject matter of the handbook divides in three parts. The first one introduces and discusses the basic concepts of practical reasoning. The second one discusses the general structures and procedures of reasoning and argumentation that are relevant to legal discourse. The third one looks at their instantiations and developments of these aspects of argumentation as they are put to work in the law, in different areas and applications of legal reasoning.

The Rational Shakespeare: Peter Ramus, Edward de Vere, and the Question of Authorship examines William Shakespeare's rationality from a Ramist perspective, linking that examination to the leading intellectuals of late humanism, and extending those links to the life of Edward de Vere, Seventeenth Earl of Oxford. The application to Shakespeare's plays and sonnets of a game-theoretic hermeneutic, an interpretive approach that Ramism suggests but ultimately evades, strengthens these connections in further supporting the Oxfordian answer to the question of Shakespearean authorship.

From the author of Wittgenstein's Poker and Would You Kill the Fat Man?, the story of an extraordinary group of philosophers during a dark chapter in Europe's history On June 22, 1936, the philosopher Moritz Schlick was on his way to deliver a lecture at the University of Vienna when Johann Nelboeck, a deranged former student of Schlick's, shot him dead on the university steps. Some Austrian newspapers defended the madman, while Nelboeck himself argued in court that his onetime teacher had promoted a treacherous Jewish philosophy. David Edmonds traces the rise and fall of the Vienna Circle-an influential group of brilliant thinkers led by Schlick-and of a philosophical movement that sought to do away with metaphysics and pseudoscience in a city darkened by fascism, anti-Semitism, and unreason. The Vienna Circle's members included Otto Neurath, Rudolf Carnap, and the eccentric logician Kurt Goedel. On its fringes were two other philosophical titans of the twentieth century, Ludwig Wittgenstein and Karl Popper. The Circle championed the philosophy of logical empiricism, which held that only two types of propositions have cognitive meaning, those that can be verified through experience and those that are analytically true. For a time, it was the most fashionable movement in philosophy. Yet by the outbreak of World War II, Schlick's group had disbanded and almost all its members had fled. Edmonds reveals why the Austro-fascists and the Nazis saw their philosophy as such a threat. The Murder of Professor Schlick paints an unforgettable portrait of the Vienna Circle and its members while weaving an enthralling narrative set against the backdrop of economic catastrophe and rising extremism in Hitler's Europe.

William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980's to the present. The articles cover a wide range of issues in the foundations and philosophy of mathematics, including some on historical figures ranging from Plato to Godel.
Tait's main contributions were initially in proof theory and constructive mathematics, later moving on to more philosophical subjects including finitism and skepticism about mathematics. This collection, presented as a whole, reveals the underlying unity of Tait's work. The volume includes an introduction in which Tait reflects more generally on the evolution of his point of view, as well as an appendix and added endnotes in which he gives some interesting background to the original essays. This is an important collection of the work of one of the most eminent philosophers of mathematics in this generation.

This sixth edition of The Power of Logic offers an introduction to informal logic, traditional categorical logic, and modern symbolic logic. The authors' direct and accessible writing style, along with a wealth of engaging examples and challenging exercises, makes this an ideal text for today's logic classes. With balanced and thorough coverage of both informal and symbolic logic, instructors can choose various paths of which they can move through the text depending on the focus of their course, making it a flexible resource for any kind of introductory logic course.