Skip to Content

KRIPKE, SAUL A.

A Completeness Theorem in Modal Logic. - [KRIPKE MODELS FOR MODAL LOGIC]

Herman H. J. Lynge & Søn A/S
lyn48378
(No place), The Association for Symbolic Logic, 1959. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 24. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. (1) - 14. [Entire volume: VI, 374 pp.).

The seminal first printing of Kripke's debut article, which provided the basis for his logic and for the model theory for modal logic in general. The work constitutes the very beginning of Kripke Semantics (often called possible world semantics). Kripke's works in general are rare in fist editions. Many of them remain unpublished and are only known in privately circulated manuscripts.The American philosopher Saul A. Kripke (born 1940) is an exceedingly important logician and philosopher of language and one of the most powerful and influential thinkers of analytic and Anglo-American philosophy. He is considered the greatest living philosopher and perhaps the greatest since Wittgenstein. In 2001 he was awarded the Schock Prize in Logic and Philosophy, which is considered the philosopical equivalent of the Nobel Prize.Kripke, who grew up in Omaha in a religious Jewish family, was somewhat of a prodigy child. During grammar school he got intimately acquainted with and mastered to perfection algebra, geometry and calculus, and very early on he took up philosophy, which later became his career. Still a teenager, in high school, he wrote a work that was to change the face of philosophical logic forever, namely the groundbreaking paper "A Completeness Theorem for Modal Logic", which was printed a few years later, in 1959, in the Journal of Symbolic Logic, while he was in his first year at Harvard University. This seminal debut work proposed what later came to be known as Kripke models for modal logic. The story goes that the paper earned a letter from the department of mathematics urging Kripke to apply for a job there, to which he is said to have written an answer explaining "My mother said that I should finish high school and go to college first."In 1962 he graduated from Harvard University, where he remained until 1968, first as a member of the Harvard Society of Fellows and then as a lecturer. During these years he developed the logical theories founded in the "Completeness Theorem" further and made seminal contributions to the field of logic and semantics. Kripke Semantics is a formal semantics for non-classical logic systems that Kripke began developing in his teenage years, first published something on in 1959 (the present work) and further developed in the 60'ies and. The development of Kripke Semantics was no less than a breakthrough in the making of non-classical logics, of which no model theory existed before Kripke's. With this work, Kripke laid the foundation for proving completeness theorems for modal logic, and for identifying the weakest normal modal logic, which is now named K after him.
Address:
Silkegade 11
DK-1113 Copenhagen
Denmark
Phone:
CVR/VAT:
DK 16 89 50 16

Recently Added From Herman H. J. Lynge & Søn A/S

Orations on Philosophy and Education. (Cambridge…
More Photos
MELANCHTHON, PHILIP. - SACHIKO KUSUKAWA (ED.) & CHRISTINE F. SALAZAR (TRANSL.)
Herman H. J. Lynge & Søn A/S
lyn62729
Cambridge University Press, 1999. 8vo. Hardback. Slight wear to capitals. Ownership signature and notes in pencil to inside of front board. A few scattered marginal notes and underlinings in text in pencil. XXXIX, 272 pp.
Vorträge und Aufsätze.  - [PRESENTATION-COPY OF…
More Photos
HEIDEGGER, MARTIN.
Herman H. J. Lynge & Søn A/S
lyn62680
Pfullingen, Günter Neske, (1954). 8vo. Original full black cloth with white lettering to spine. Very clean, bright, and fresh, also internally. Original orange dust-jacket with black lettering to spine and white lettering to front. Minimal edge wear. An excellent and clean dust-jacket with just minor signs of wear. Very slight soiling to title-page, otherwise no wear or markings to text. Letter from Heidegger inserted to inside of front board. Front free end-paper signed and dated by Heidegger and with an inserted note in ink from the person that Heidegger gave the book to stating that this highly personal memento from his student time in Freiburg and his memorable encounters with Heidegger was given to his son Matthias for his 40th birthday, in 1995. 283, (1) pp. First edition, presentation-copy signed by Heidgger and with an inserted letter, also signed and dated by Heidegger, of this seminal collection of lectures and essays, which was of decisive importance to the immense influence of Heidegger’s thinking upon post World War Europe. This collection of Heidegger’s lectures and essays contains such groundbreaking works as “Die Frage nach der Technik” (The Question Concerning Technology) and “Wissenschaft und Besinnung” (Science and Reflection), “”Dichterisch Wohnet der Mensch…” “, along with other important works written between 1936 and 1953 collected here for the first time. This collection would later be reprinted and serve as volume 7 of Heidegger’s collected works (the Gesamtausgabe). This copy is signed “Martin Heidegger” and dated (1954 – the year of publication) to the front free end-paper, and on the inside of the front board is inserted an autograph signed letter in Heidegger’s hand to “Sehr geehrter Herr Doktor” (honourable doctor), in which Heidegger asks to meet up the following day, suggesting different times of the day. The letter is dated Freiburg 10th of February, 1954, which is two days before Heidegger gave his groundbreaking lecture “The Question Concerning Technology” at the University of Freiburg, suggesting that the letter was given to someone attending the lecture, possibly someone with whom he wanted to discuss it beforehand. “The Question Concerning Technology” still serves as one of the most pertinent philosophical essays of modern time, foreshadowing what is arguably the greatest philosophical and moral dilemmas that we struggle with today due to modern technology. Heidegger begins with asking the question what technology is, in an attempt to fully understand its essence and to ultimately prepare a free relationship to it – a theme that could hardly be more relevant today. “As relevant now as ever before, this accessible collection is an essential landmark in the philosophy of science from one of the most profound thinkers of the twentieth century (New York Times). The advent of machine technology has given rise to some of the deepest problems of modern thought. Featuring the celebrated essay The Question Concerning Technology, this prescient volume contains Martin Heidegger's groundbreaking investigation into the pervasive enframing character of our understanding of ourselves and the world.” (Harper Collins: The Question Concerning Technology And Other Essays By Martin Heidegger, 2013). “Science and Reflection” (here published for the first time), a lecture delivered on August 4, 1953, to a small circle of attendees, is Heidegger’s meditation on the difference between science and “mindfulness”, and an as-relevant-as-ever attempt at uniting science as such, in itself, with its application and meaning, combatting scientific fragmentation. In line with the other foreshadowing lectures, “Dichterisch wohnet der Mensch”, given on October 6, 1951, in Bühlerhöhe, seeks to explore how to reach a peace or dwelling in a modern, technological world. Heidegger uses the quote by Hölderlin to explore how human existence is deeply intertwined with language and poetry and reaches the conclusion that to truly dwell is to live in a poetic way, allowing for the meaningful unfolding of the world through language. The other essays/lectures printed in this seminal volume are: Überwindung der Metaphysik (1936-1946) Wer ist Nietzsches Zarathustra (1953) Was heißt Denken? (1952) Bauen Wohnen Denken (1951) Das Ding (1950) Logos (Heraklit, Fragment 50) (1951) Moira (Parmenides, Fragment VIII, 34-41) (1952) Aletheia (Heraklit, Fragment 16) (1954)
More info
On Tycho's Island. Tycho Brahe and His…
More Photos
CHRISTIANSON, JOHN ROBERT.
Herman H. J. Lynge & Søn A/S
lyn62730
Cambridge University Press, 2000. 8vo. In the original blue cloth publisher's binding with gilt title to spine and front board. With the original dust jacket. Insignificant wear to capitals. Ownership signature to inside of front board. Internally clean. XII, 451 pp.
A Holy Commonwealth. Edited by William Lamont.
More Photos
BAXTER, RICHARD. - WILLIAM LAMONT (ED.)
Herman H. J. Lynge & Søn A/S
lyn62731
Cambridge University Press, 1994. 8vo. In the original red cloth publisher's binding with gilt title to spine. With the original dust jacket. Ownership signature to inside of front board. Internally clean. XXXI, 254, (2) pp.
Entretiens sur la pluralité des mondes.
More Photos
FONTENELLE
Herman H. J. Lynge & Søn A/S
lyn62726
Dijon, Imprimerie de P Causse, An 2 (1793). 8vo. In contemporary half calf. Wear to extremities. Ex-libris pasted down to pasted down front end-paper and previous owner's name to front free end-paper. First and last leaves with light browning and a small stain to upper margin, but generally internally nice and clean. (4), 291 pp.
Hellige Taler, udgivne til Bedste for de, ved…
More Photos
SMITH, L.
Herman H. J. Lynge & Søn A/S
lyn62722
Fridericia, Kongl. privil. Adressecontoirs Bogtrykkerie, 1787. 8vo. In contemporary full sprinkled calf with five raised bands and richly gilt spine. Edges of boards with wear and leather on spine cracked. (32), 368, (1) pp. First edition of this scarce publication issued in the aftermath of the catastrophic Vejle fire of 23 April 1786, which destroyed much of the town. The book is a collection of religious sermons, published with the purpose of raising funds to aid the impoverished citizens of Vejle who had lost their homes and livelihoods in the fire.
More info