{"product_id":"9783031407161","title":"Synthese Library","description":"\u003ch1\u003eSynthese Library\u003c\/h1\u003e \u003ch2\u003eFitting, Melvin; Mendelsohn, Richard L.\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e\u003cdiv\u003e\n\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\n\u003cdiv\u003eReview of the First Edition: \u003c\/div\u003e\n\u003cdiv\u003e\"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.\" \u003cbr\u003e\u003cem\u003e(Bulletin of Symbolic Logic, 8:3)\u003c\/em\u003e\u003cbr\u003e\n\u003c\/div\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2024-10-19\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031407161\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-40714-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 460\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":44358931415180,"sku":"9783031407161","price":116.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031407161.jpg?v=1777980413","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783031407161","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}