Philosophy: logic books

We welcome Volume 20, Formal Aspects of Context.  Read More >>

Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising...  Read More >>

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful...  Read More >>

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most...  Read More >>

Aim's to give a working representation of metaphysics. This work reveals the roots of metaphysical themes and how...  Read More >>

We are invited to deal with mathematical activity in a sys­ tematic way [ ... The field of automated deduction has...  Read More >>

rather the books present the concepts and methods now available in automated deduction in a form which can be...  Read More >>

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics...  Read More >>

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook....  Read More >>

ways of doing it, but it is wrong to project it far into the past: it did not exist at the turn of the century and...  Read More >>

It also revisits the ideas about dialectic that occupied my first in light of later developments in my thinking...  Read More >>

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of...  Read More >>

 Read More >>

 Read More >>

""Richard Taylor's 'Fatalism' and the semantics of physical modality""--T.p. verso.  Read More >>

Every philosopher of science, and every student of the philosophy of science, has heard of Paul Feyerabend: the...  Read More >>

Relevant to philosophy, law, management, and artificial intelligence, this book explores the applicability of defeasible...  Read More >>

Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity....  Read More >>

Legal argumentation is a distinctively multidisciplinary field of inquiry. It draws its data, assumptions and methods...  Read More >>

Features essays that are complemented by three studies on, respectively, the import of Husserl's early philosophy...  Read More >>

There is an interweaving of biographical and philosophical themes, not only in Peter Geach's philosophical autobiography,...  Read More >>

Developed in the context of a radical arithmetization of mathematics and logic, this book covers the many-faceted...  Read More >>

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress...  Read More >>

Belief Revision Refutation  and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic...  Read More >>

 Read More >>