Philosophy: logic

Of all philosophers of the 20th century, few built more bridges between academic disciplines than Karl Popper.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014).

This book repairs and revives the Theory of Knowledge research program of Russell's Principia era.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti.

This book presents a new structural approach to the psychology of the person, inspired by Kenneth Colby's computer-generated simulation, PARRY.

This contributed volume explores the ways logical skills have been perceived over the course of history.

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir.

This volume clusters together issues centered upon the variety of types of intensional semantics.

Bringing together scholars from a broad range of theoretical perspectives, The Language of Argumentation offers a unique overview of research at the crossroads of linguistics and theories of argumentation.

This volume presents the state of the art in the algebraic investigation into substructural logics.

The life and soul of any science are its problems.

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres.

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject.

The book offers a reflection on the nature, scope, and limits of knowledge that have been at the focus of the author's work over decades.

This book provides a fresh reading of Aquinas' metaphysics in the light of insights from the works of Frege.

This book offers insights relevant to modern history and epistemology of physics,mathematics and, indeed, to all the sciences and engineering disciplines emergingof 19th century.

The issue of a logic foundation for African thought connects well with the question of method.

This book reports on cutting-edge research concerning social practices.

This is the first book to systematically study the weak systems of mereology.

This book aims to lay bare the logical foundations of tractable reasoning.

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.

The purpose of this book is to present unpublished papers at the cutting edge of research on dialetheism and to reflect recent work on the applications of the theory.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE).

This book deals with an old conundrum: if God knows what we will choose tomorrow, how can we be free to choose otherwise?

This volume comprises a selection of contributions to the theorizing about argumentation that have been presented at the 9th conference of the International Society for the Study of Argumentation (ISSA), held in Amsterdam in July 2018.

This book is a companion to logical thought and logical thinking in China with a comparative and interdisciplinary perspective.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

This volume aims to provide the elements for a systematic exploration of certain fundamental notions of Peirce and Husserl in respect with foundations of science by means of drawing a parallelism between their works.

This book presents the heritage of the Lvov-Warsaw School from both the historical and the philosophical perspective.

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest.

The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.

This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyas.

This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy.

The stated subject of these lecture courses given by Husserlbetween 1910 and 1918is 'reason, the word for the mental activities and accomplishments that govern knowledge, give it form and supply it with norms.

This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today's most central tracks of cognitive science discourse.

This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.

The issue of a logic foundation for African thought connects well with the question of method.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.

This ebook contains Aristotle's complete works.

This ebook contains Aristotle's complete works.

This ebook contains Aristotle's complete works.

This ebook contains Aristotle's complete works.