New Essays In Free Logic

Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. The name of Karel Lambert is most closely connected with this development: he gave it its name and its profile as a well defined field of research. After a development of fifty years, it is time to look back and take stock while at the same time scanning for new perspectives. This is the purpose of the papers collected in this volume. The first paper is written by Karel Lambert himself who also comments on all the papers of the other authors. In an introductory essay we give a survey of the present status of and new directions in free logic.

This volume contains a collection of recent papers on Free Logic which cover a wide range of topics. These topics show that Free Logic is applied not only in traditional philosophical areas, but also in various contexts of modern formal logic as well as in the discussion of theoretical aspects of programming. Part I of the book covers theories of names and definite descriptions. Part II contains papers on various topics in the logic of modalities. Part III is devoted to semantics and programming. In part IV Free Logic is used to analyse and discuss topics from the history of philosophy. In addition, one of the founders of Free Logic, Karel Lambert, not only contributes an article to this volume, but he also comments the papers of all the other authors. So this book will be of interest not only to philosophers and logicians, but also to computer scientists and researchers interested in foundational aspects of computer programming.

Thinking about Logic is an accessible and thought-provoking collection of classic articles in the philosophy of logic. An ideal companion to any formal logic course or textbook, this volume illuminates how logic relates to perennial philosophical issues about knowledge, meaning, rationality, and reality. The editors have selected each essay for its brevity, clarity, and impact and have included insightful introductions and discussion questions. The puzzles raised will help readers acquire a more thorough understanding of fundamental logic concepts and a firmer command of the connections between formal logic and other areas of philosophical study: epistemology, philosophy of language, philosophy of science, and metaphysics.

Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection (written over a period of 40 years) explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial functions. The volume contains a proof that free logics of any kind are non-extensional and then uses that proof to show that Quine's theory of predication and referential transparency must fail. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn. Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions to computer science, such as knowledge representation and information processing. This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.

Philosophers throughout history have debated the existence of gods, but it is only in recent years that the absence of such a belief has become a significant topic of philosophical analysis, in particular for philosophers of religion. Although it is difficult to trace the historical contours of atheism as the lack of belief in a higher power, the reasoned, reflective, and thoughtful rejection of theism has become commonplace in many modern intellectual circles, including academic philosophy where disciplinary data indicates that a large majority of philosophers self-identify as atheists. As the first book of its kind to bring together a collection of writing on the philosophical aspects of atheism both historical and contemporary, the Companion to Atheism and Philosophy stages an explicit, constructive, and comprehensive conversation between philosophy and atheism to examine the ways in which atheist thought intersects with ideas and positions from a variety of philosophical and theological sub-disciplines. The Companion begins by addressing the foundational questions and lingering controversies which underpin philosophical thought about atheism, exploring the implications of major developments in the history of philosophy for the modern atheistic worldview. Divided into eight distinct sections, essays consider a range of thinkers who were widely believed to have been atheists—including David Hume, Mary Wollstonecraft, Karl Marx, and Elizabeth Cady Stanton—and survey different kinds of objections to theism and atheism, including logical, evidential, normative, and prudential. Later chapters trace the relationship between atheism and metaphysics, epistemology, ethics, and political philosophy oriented around topics such as pragmatism, postmodernism, freedom, education, violence, and happiness. Deftly curated and thoughtfully composed, A Companion to Atheism and Philosophy is the most ambitious and authoritative account of philosophical thinking on atheism available, and is a first-rate resource for academics, professionals, and students of philosophy, religious studies, and theology.

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic.