Princeton: Association for Symbolic, 1959. 1st Edition. First edition, first impression in original wrappers of issue #4 of the 1959 Journal of Symbolic Logic. This, the December issue, includes important abstracts of Kripke papers received by the Journal in 1959: “Distinguished Constituents”, “Semantical Analysis of Modal Logic”, “The Problem of Entailment”. All three papers in this listing relate to Kripke’s seminal first paper on modal logic, “A Completeness Theorem in Modal Logic” – a paper in which Kripke’s initial intuitive idea was that a proposition is necessary if and only if it is true in all possible worlds.
NOTE: We offer separately all four issues of The Journal of Symbolic Logic for this same year including “A Completeness Theorem in Modal Logic.”
As the story goes, in 1959 and at the age of seventeen, Kripke wrote his completeness theorem in modal logic at age 17; he mailed the paper to the journal and it was sent out for comments, to, among a number of others, the head of the Mathematics at Harvard. This person then wrote Kripke urging him to apply for a job at Harvard. The reply he received read: "My mother said that I should finish high school and go to college first” (Wikipedia). Item #1305
CONDITION & DETAILS: Princeton: Association for Symbolic Logic, 1959. Issue #4. 10 x 7 inches; 250 x 150mm. Pristine condition inside and out.