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
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theo
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
