Search

David Kellogg Lewis (1941-2001) was one of the most influential philosophers of the twentieth century. He made significant contributions to almost every area of analytic philosophy including metaphysics, philosophy of language, philosophy of mind, and philosophy of science, and set the agenda for various debates in these areas which carry on to this day. In several respects he remains a contemporary figure, yet enough time has now passed for historians of philosophy to begin to study his place in twentieth century thought. His philosophy was constructed and refined not just through his published writing, but also crucially through his life-long correspondence with fellow philosophers, including leading figures such as D.M. Armstrong, Saul Kripke, W.V. Quine, J.J.C. Smart, and Peter van Inwagen. His letters formed the undercurrent of his published work and became the medium through which he proposed many of his well-known theories and discussed a range of philosophical topics in depth. A selection of his vast correspondence over a 40-year period is presented here across two volumes. As metaphysics is arguably where Lewis made his greatest contribution, this forms the focus of Volume 1. Arranged under the broad areas of Causation, Modality, and Ontology, the letters offer an organic story of the origins, development, breadth, and depth of his metaphysics in its historical context, as well as a glimpse into the influence of his many interlocutors. This volume will be an indispensable resource for contemporary metaphysics and for those interested in the Lewisian perspective.

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem.It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics – and highlighting these features to appeal to researchers in many fields.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistencyThis book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.