This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts develop
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 independen
This volume features essays about and by Paul Benacerraf, whose ideas have circulated in the philosophical community since the late nineteen sixties, shaping key areas in the philosophy of mathematics
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 Germa
This book is the first in the fieldof paraconsistency to offer a comprehensive overview of the subject, includingconnections to other logics and applications in information processing,linguistics, rea
This volume offers a follow up and response to the challenge posed in the first volume of this series, aptly namedLogic, Epistemology, and the Unity of Science edited by S. Rahman et.al. and develops
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 fu
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining
This volume tackles Godel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metap
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand
This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness
This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics. There are four parts to this book, be
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the hist
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many
The book offers a characterization of the meaning and role of the notion of truth in natural languages and an explanation of why, in spite of the big amount of proposals about truth, this task has pro
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the op
Science is a dynamic process in which the assimilation of new phenomena, perspectives, and hypotheses into the scientific corpus takes place slowly. The apparent disunity of the sciences is the unavoi
Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer
Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathemati
This volume explores how vagueness matters as a specific problem in the context of theories that are primarily about something else. After an introductory chapter on the Sorites paradox, which exposes
Belief revision theory and philosophy of science both aspire to shed light on the dynamics ofknowledge – on how our view of the world changes (typically) in the light of new evidence. Yet these two ar
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex p
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new i
This volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covering new technical results and examini
The Liar Paradox challenges logicians' and semanticists' theories of truth and meaning. Modern accounts of paradoxes in formal semantics offer solutions through the hierarchy of object language and m
This book is intended to provide a philosophically- and historically-based introduction to modal logic, offering to every reader, even those with little specific background, a conceptually clear path
Gottfried Wilhelm Leibniz was an outstanding contributor to many fields of human knowledge. The historiography of philosophy has tagged him as a "rationalist". But what does this exactly mean? Is he
This volume reflects on the effects of recent discoveries in genetics on a broad range of scientific fields. In addition to neuroscience, evolutionary biology, anthropology and medicine, contributors
