6857 risultati
rif. 0850365929.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
rif. 0313300399.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
rif. 8497935012.Gmass_market. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. unknown
rif. 847432775X.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1959rif. 962Princeton: Association for Symbolic Logic 1959. 1st Edition. FULL VOLUME BOUND FIRST EDITION OF SAUL KRIPKE'S SEMINAL FIRST PAPER ON MODAL LOGIC "A Completeness Theorem in Modal Logic". The paper presents Kripke's important ideas on the semantics of modal logic or the logic of modal notions like necessity and possibility. Included are all 4 journal issues for 1959 one of which is inclusive of abstracts of 3 other papers Kripke sent to the Journal. Kripke was "universally hailed" for "A Completeness Theorem in Modal Logic" this paper In it he both proves the formal completeness of modal logic supplemented by first-order quantifiers and the sign of equality and "creates a semantics now called Kripke semantics" Hurley Logic 217. Kripke semantics "is a formals semantics for non-classical logic systems. first conceived for modal logics and later adapted to intuitionistic logic and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics because the model theory of such logics was almost non-existent before Kripke" Wikipedia. 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" ibid. Kripke's initial intuitive idea was that a proposition is necessary if and only if it is true in all possible worlds. Kripke's paper begins: "The present paper attempts to state and prove a completeness theorem for the system S5 supplemented by first-order quantifiers and the sign of equality" Kripke JSL 241 1959 1. He then notes: ""The basis of the informal analysis which motivated these definitions is that a proposition is necessary if and only if it is true in all "possible worlds". It is not necessary for our present purposes to analyze the concept of a "possible world" any further. . In modal logic however we wish to know not only about the 6 real world but about other conceivable worlds" ibid. Shortly Kripke then wrote "In trying to construct a definition of universal logical validity it seems plausible to assume not only that the universe of discourse may contain an arbitrary number of elements and that predicates may be assigned any given interpretations in the actual world but also that any combination of possible worlds may be associated with the real world with respect to some group of predicates. In other words it is plausible to assume that no further restrictions need be placed on D G and K except the standard one that D be non-empty. This assumption leads directly to our definition of universal validity." ibid. The December issue of the journal is also bound in; it contains abstracts of the other Kripke papers received the Journal in 1959: "Distinguished Constituents" "Semantical Analysis of Modal Logic" "The Problem of Entailment". Also included are the two other issues of The Journal of Symbolic Logic from 1959 this to make a complete set. We separately offer Issue No. 4 alone. Saul Kripke 1940- is an American philosopher and logician who was awarded the Rolf Schock Prize in Logic and Philosophy in 2001. He is best known for five major contributions to philosophy beginning with this paper the starting point for Kripke Semantics. In 1962 Kripke graduated from Harvard University. Now associated with Princeton additional areas of note include his contributions to set theory his theory of truth and his interpretation of Wittgenstein's work. CONDITION & DETAILS: Princeton: Association for Symbolic Logic 1959. 4to. 9.75 x 7 inches. Light institutional stamps on text block and one small stamp at the foot of the front pastedown. Tightly bound in black cloth gilt-lettered at the spine. Bright and clean inside and out. Near fine condition. Association for Symbolic Logic hardcover
1975rif. 736New York: Journal of Philosophy 1975. 1st Edition. FIRST EDITION IN ORIGINAL WRAPS OF KRIPKE'S "FAMOUS AND HIGHLY INFLUENTIAL PAPER GREATLY SHAPING MOST LATER APPROACHES TO THEORIES OF TRUTH AND THE SEMANTIC PARADOXES" Stanford Encyclopedia of Philosophy Consequences of the Semantic Paradoxes. In his 1975 article "Outline of a Theory of Truth" Kripke showed that a language can consistently contain its own truth predicate which was deemed impossible by Alfred Tarski a pioneer in the area of formal theories of truth. The trick involves letting truth be a partially defined property over the set of grammatically well-formed sentences in the language. Kripke showed how to do this recursively by starting from the set of expressions in a language which do not contain the truth predicate defining a truth predicate over just that segment: this adds new sentences to the language and truth is in turn defined for all of them. Unlike Tarski's approach however Kripke's lets "truth" be the union of all of these definition-stages; after a denumerable infinity of steps the language reaches a "fixed point" such that using Kripke's method to expand the truth-predicate does not change the language any further. Such a fixed point can then be taken as the basic form of a natural language containing its own truth predicate. But this predicate is undefined for any sentences that do not so to speak "bottom out" in simpler sentences not containing a truth predicate. That is "'Snow is white' is true" is well-defined as is "'"Snow is white" is true' is true" and so forth but neither "The sentence is true" nor "This sentence is not true" receive truth-conditions; they are in Kripke's terms "ungrounded" Wikipedia. CONDITION & DETAILS: Bound in original wraps. New York: Journal of Philosophy. 8vo. 9 x 6 inches; 225 x 150mm. Two small library stamps on the front wrap see photo. Very slight edge wear. Near fine condition. Journal of Philosophy paperback
1959rif. 731Princeton: Association for Symbolic Logic 1959. 1st Edition. FIRST EDITION FIRST IMPRESSION IN PRISTINE ORIGINAL WRAPS OF SAUL KRIPKE'S SEMINAL FIRST PAPER ON MODAL LOGIC "A Completeness Theorem in Modal Logic". The paper presents Kripke's important ideas on the semantics of modal logic or the logic of modal notions like necessity and possibility. Included are all 4 Journal issues for 1959 one of which is inclusive of abstracts of 3 other papers Kripke sent to the Journal. "Universally hailed" for this work in this paper Kripke both proves the formal completeness of modal logic supplemented by first-order quantifiers and the sign of equality and "creates a semantics now called Kripke semantics" Hurley Logic: The Essentials 217. Kripke semantics "is a formals semantics for non-classical logic systems. first conceived for modal logics and later adapted to intuitionistic logic and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics because the model theory of such logics was almost non-existent before Kripke algebraic semantics existed but were considered 'syntax in disguise'. Wikipedia. Saul Kripke grew up in Omaha Nebraska and in 1959 he mailed this paper to The Journal of Symbolic Logic. As the story goes the Kripke wrote his completeness theorem in modal logic at age 17; the paper was sent out for comments to among a number of others the head of the Harvard mathematics department. 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" ibid. Kripke's initial intuitive idea was that a proposition is necessary if and only if it is true in all possible worlds. In this paper Kripke begins by stating: "The present paper attempts to state and prove a completeness theorem for the system S5 supplemented by first-order quantifiers and the sign of equality" Kripke JSL 241 1959 1. He then notes: ""The basis of the informal analysis which motivated these definitions is that a proposition is necessary if and only if it is true in all "possible worlds". It is not necessary for our present purposes to analyze the concept of a "possible world" any further. . In modal logic however we wish to know not only about the 6 real world but about other conceivable worlds" Kripke 2 Shortly Kripke then wrote "In trying to construct a definition of universal logical validity it seems plausible to assume not only that the universe of discourse may contain an arbitrary number of elements and that predicates may be assigned any given interpretations in the actual world but also that any combination of possible worlds may be associated with the real world with respect to some group of predicates. In other words it is plausible to assume that no further restrictions need be placed on D G and K except the standard one that D be non-empty. This assumption leads directly to our definition of universal validity." Kripke 3. The December issue of the Journal is also included as it contains abstracts of other Kripke papers received by the Journal in 1959: "Distinguished Constituents" "Semantical Analysis of Modal Logic" "The Problem of Entailment". Also included are the three other issues of The Journal of Symbolic Logic from 1959 this to make a complete set. All four issues are in near fine condition. Saul Kripke 1940- is an American philosopher and logician who was awarded the Rolf Schock Prize in Logic and Philosophy in 2001. He is best known for five major contributions to philosophy beginning with this paper the starting point for Kripke Semantics. In 1962 Kripke graduated from Harvard University where he remained until 1968 first as a member of the Harvard Society of Fellows and then as a lecturer. Subsequently his 1970 lectures "Naming and Necessity" was a focal point for restructuring the philosophy of language. Now associated with Princeton additional areas of note include his contributions to set theory his theory of truth and his interpretation of Wittgenstein's work. CONDITION & DETAILS: Four first edition first impression issues in original wraps. New Jersey: The Association for Symbolic Logic. Octavo. 10 x 7 inches; 250 x 150mm. All four issues are in near fine condition both inside and out. Association for Symbolic Logic paperback
1969rif. 91704Alfred A. Knopf 1969. Hardcover. Near fine/Near fine. Octavo 22 cm x 15 cm 228 pp. This is the first American edition of this work. There is a small tear on the front cover of the dust jacket and on the top of the spine of the dust jacket that has some wear as well. There is some chipping on the bottom of the back of the book along the bottom fore-edge and the top fore-edge is colored red. Alfred A. Knopf hardcover
1949rif. 032620262Harper and Brothers 1949. First Edition. Paperback. Fair /None. 12x9x0. Hardcover; no dust jacket. First Edition. 1st printing no later printings indicated. Solid binding. All pages present and intact. Front cover has some spots; back cover soiled. Ships in a box. Fast shipping from NYC! Harper and Brothers paperback
rif. 18933253like new. unknown
rif. 0062770489.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
rif. B02OS-00392Franklin Library. Collectible - Very Good. First edition copy. Collectible - Very Good. domestic fiction novel Franklin Library unknown
2022rif. 2-150152240XDe Gruyter 2022. Paperback. New. 130 pages. 9.45x6.69x0.47 inches. De Gruyter paperback
rif. 8483462206.Gmass_market. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. unknown
rif. 0385232772.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
2015rif. 2-1444762516Hodder General 2015. Hardcover. New. 9.45x6.46x1.57 inches. Hodder General hardcover
rif. 073026002The Library of America. First Edition. Hardcover. Good. This listing is for four Saul Bellow volumes from The Library of America. The pictures included are of the actual books for sale and can be viewed for assessing condition. Stated first printings no slipcases included. The Library of America hardcover
1948rif. 033050Great Britain: John Lehmann 1948. Book. Very Good. Hardcover. First English Edition. 256pp. Blue Cloth. gilt letteriong on the spine. Discoloration on the bottom of the spine otherwise internally near fine unmarked. Unclipped pictorial jacket desigend by Edwaard Bawden has 1" triangular chip on the bottom of the spine and a lesser chip on the upper spine edge. in mylar sleeve."Allbee is the anti-Semite a suffering and insufferable creep endowed at times with an insane lucidity of perception. He appears from nowhere down-and-out to accuse Leventhal of having contrived his ruin in revenge for an anti-Semitic remark Allbee once made at a party. He blames Leventhal for all his ills from the death of his wife to his inability to find employment haunts Leventhal in parks and restaurants and moves into his apartment where he finally attempts suicide. The two men are locked in a death struggle for the impossible meaning of innocence for their own and each others soul. On trial here are not only Jew and Gentile but Man. Size: Octavo. John Lehmann Hardcover
rif. 0367604051.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
rif. 1469292505.GaudioCD. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. unknown
rif. 1616588721.Gpaperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. paperback
1949rif. 53123New York: Harper & Brothers 1949. First edition. 4to. 174 pp. Publisher's yellow cloth black printed to the spine and upper board the front trimmed front and rear panels of the jacet loosely inserted along with some old press cuttings relating to Steinberg the illustrator John Vernon Lord's copy with his signature to the verso of the front free endpaper another earlier owner's book label in adjacent Black and white illustrations throughout. Some fading and marking to the covers else a solid copy. New York: Harper & Brothers unknown
rif. 0593035585.Ghardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. hardcover
1975rif. 3918First Edition/First Printing; A Near Fine book in a Near Fine dust jacket. SIGNED by the author to the 2nd free paper with provenance for the signing laid in bookmark from the Kroch's & Brentano's First Editions Circle. An excellent copy of this novel winner of the Pulitzer Prize and propelling Bellow to the Nobel Prize for Literature; uncommon signed and with provenance. This copy is in near fine condition showing only some mild foxing to the page edges and a faint scratch to the front board and spine; housed in a crisp and bright near fine dust jacket that shows only moderate sunning to the spine common for the title and light rubbing to the edges. A highly presentable and collectible copy of this important work of 20th Century literature. Not remaindered not price-clipped not ex-library; in a protective Mylar cover and will ship securely wrapped in a sturdy box. The Viking Press hardcover
rif. 0451042816.Gmass_market. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. unknown