Philosophy: logic

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning.

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning.

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations.

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

This book consolidates and extends the authors' work on the connection between iconicity and abductive inference.

This is the first comprehensive treatment of subjective logic and all its operations.

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

This book presents a collection of contributions from related logics to applied paraconsistency.

This book covers work written by leading scholars from different schools within the research area of paraconsistency.

This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in data science.

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.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science.

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations.

This book explores new territory at the interface between semantics and pragmatics, reassessing a number of linguistic phenomena in the light of recent advances in pragmatic theory.

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.

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.

This bookgathers the proceedings of the conference "e;Cultures of Mathematics andLogic,"e; held in Guangzhou, China.

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.

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others.

This book celebrates and expands on J.

This work breaks new ground by carefully distinguishing the concepts of belief, confirmation, and evidence and then integrating them into a better understanding of personal and scientific epistemologies.

This book demonstrates how analytical thinking and intuition can be systematically connected and trained.

With this volume of the series Logic, Epistemology, and the Unity of Science edited by S.

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.

This volume documents the 17th Munster Lectures in Philosophy with Susan Haack, the prominent contemporary philosopher.

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures.

This volume discusses some crucial ideas of the founders of the analytic philosophy: Gottlob Frege, Bertrand Russell and Ludwig Wittgenstein, or the 'golden trio'.

In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages?

This book provides an overview of the confluence of ideas in Turing's era and work and examines the impact of his work on mathematical logic and theoretical computer science.

This volume presents a selection of papers reflecting key theoretical issues in argumentation theory.

This volume presents 50 contributions on the themes of reasonableness and effectiveness and their connections, which are central issues in argumentation theory.

This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution.

This book explores the two major elements of Hintikka's model of inquiry: underlying game theoretical motivations and the central role of questioning.

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking.

This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory.

As a Festschrift, this book celebrates and honours the scholarly achievements of Professor Jaysankar Lal Shaw, one of the most eminent and internationally acclaimed comparative philosophers of our times.

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs.

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch.

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science.

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective.

This second volume of a collection of papers offers new perspectives and challenges in the study of logic.

This volume is dedicated to Prof.

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Beziau.

This book focuses on the problems of rules, rule-following and normativity as discussed within the areas of analytic philosophy, linguistics, logic and legal theory.

How can we advance knowledge?

This collection of essays explores the philosophy of human knowledge from a multitude of perspectives, with a particular emphasis upon the justification component of the classical analysis of knowledge and with an excursion along the way to explore the role of knowledge in Texas Hold 'Em poker.

This book contains 20 essays tracing the work of David Zarefsky, a leading North American scholar of argumentation from a rhetorical perspective.

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics.

This book illustrates the program of Logical-Informational Dynamics.