Philosophy: logic

This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices.

This volume collects nine essays that investigate the work of Gottlob Frege.

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference.

This edited volume presents new lines of research dealing with the language of thought and its philosophical implications in the time of Ockham.

The focus of this textbook is the meaning of linguistic expressions, typically full sentences and longer texts.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

This volume examines the entire logical and philosophical production of Nicolai A.

This volume sheds a new light on Philosophical Investigations, Ludwig Wittgenstein's master opus, by taking a new approach to its first stretch (sections 1-88), with special emphasis on its atypical opening.

This book offers insight into the nature of meaningful discourse.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka.

The present collection represents an attempt to bring together several contributions to the ongoing debate pertaining to supervenience of the normative in law and morals and strives to be the first work that addresses the topic comprehensively.

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases.

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition.

This book features mathematical and formal philosophers' efforts to understand philosophical questions using mathematical techniques.

This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices.

This book presents and discusses the varying and seminal role which colour plays in the development of Wittgenstein's philosophy.

This book presents reflections on the relationship between narratives and argumentative discourse.

This book offers a defense against non-classical approaches to the paradoxes.

This book offers an inspiring and naive view on language and reasoning.

This book brings together in one place David Hitchcock's most significant published articles on reasoning and argument.

This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences.

This book develops a novel generalization of possible world semantics, called 'world line semantics', which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This volume is a result of the international symposium "e;The Tradition of the Lvov-Warsaw School in European Culture,"e; which took place in Warsaw, Poland, September 2015.

This first volume has as its main focus the philosophical foundations of Michalos' work and describes it in the broad context of the study of logic, the philosophy of social sciences, and a general theory of value.

This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics.

This book offers a novel perspective on abduction.

Paradox Lost covers ten of philosophy's most fascinating paradoxes, in which seemingly compelling reasoning leads to absurd conclusions.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work.

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