KRIPKE, Saul A.
A Completeness Theorem in Modal Logic.
[In] The Journal of Symbolic Logic Volume 24, Number 1.
First edition, first impression of the author’s first major work, published when he was only eighteen years old. Saul Kripke (1940– ) is one of the most original and influential logicians and philosophers of the present day. In 1977 the New York Times magazine described him as “one of the most penetrating minds of our time. His achievements span the disciplines of philosophy, logic and mathematics. From his post at Princeton University, where he is James McCosh Professor of Philosophy, and his previous post at Rockefeller University, Kripke has established a towering reputation as one of the two or three most eminent philosophers in the English-speaking world… Kripke’s contributions to philosophy thus far have extended the boundaries of the most unfamiliar and technical regions of modern analytic philosophy—where philosophical reasoning intermingles with abstract mathematic theory. He has worked in the field of modal logic, a branch of formal logic that has introduced ways to distinguish kinds of true statements… Before Kripke, modal logicians—including the inventor of modal logic, C. I. Lewis—did not have the mathematical tools to analyze many of the most important kinds of English sentences. One of Kripke’s major achievements has been the invention of ‘possible world semantics,’ a form of modal logic that has shown to the satisfaction of most philosophers that the common-sense understanding of the concepts ‘possibility’ and ‘necessity’ in true statements can be mathematically proved” (New York Times Magazine, August 28, 1977). A superb copy of this significant publication.
Don't understand our descriptions? Try reading our Glossary
Octavo. Original grey wrappers printed in black. A lovely, fresh copy with only the faintest toning along the wrapper edges.