{"product_id":"first-order-modal-logic-von-richard-l-mendelsohn-und-melvin-fitting","title":"First-Order Modal Logic","description":"\n                                This revised edition of the highly recommended book \"First-Order Modal Logic\", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star\/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.\n                \n                \u003cbr\u003e\n                                Review of the First Edition: \"This Text is an excellent and most useful volume. It is pitched  correctly: the exercises are just right... It sets a high standard for  anything following. It is to be highly recommended.\" \n                \n                \u003cbr\u003e\n                                \n                \u003cem\u003e(Bulletin of Symbolic Logic, 8:3)\u003c\/em\u003e\n                                \n                \u003cbr\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031407130\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031407161\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Hardcover - 9783031407130","offer_id":47216972890437,"sku":"9783031407130","price":128.39,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9783031407161","offer_id":50320520151365,"sku":"9783031407161","price":128.39,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cbc725cc-c555-4190-a1b4-9433e848fa9b.jpg?v=1777694842","url":"https:\/\/shop.autorenwelt.de\/en\/products\/first-order-modal-logic-von-richard-l-mendelsohn-und-melvin-fitting","provider":"Autorenwelt Shop","version":"1.0","type":"link"}