"A Completeness Theorem in Modal Logic". In: The Journal of Symbolic Logic, Volume 24, Number 1.

KRIPKE, Saul A.

Published by [No place:] The Association for Symbolic Logic, Inc., March 1959

About this Item

First edition, first printing, of the author's first major work, published when he was only 18 years old, which provided the foundations for Kripke's innovations in modal logic and semantics. Saul Kripke (1940-2022) was "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 was James McCosh Professor of Philosophy, and his previous post at Rockefeller University, Kripke established a towering reputation as one of the two or three most eminent philosophers in the English-speaking world.Kripke's contributions to philosophy have extended the boundaries of the most unfamiliar and technical regions of modern analytic philosophy - where philosophical reasoning intermingles with abstract mathematic theory. He 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 was 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" (Branch, p. 180). Taylor Branch, "New Frontiers in American Philosophy", The New York Times, 14 August 1977. Octavo, pp. 1-14 in the journal. Original buff wrappers printed in black. A couple of tears to spine, chip at foot neatly reglued, contents clean: a near-fine copy.

Seller Inventory # 164968

Bibliographic Details

• Title: "A Completeness Theorem in Modal Logic". In: The Journal of Symbolic Logic, Volume 24, Number 1.
• Publisher: [No place:] The Association for Symbolic Logic, Inc., March 1959
• Edition: 1st Edition