{"product_id":"first-order-modal-logic-9783031407130","title":"First-order modal logic","description":"\u003cp\u003eThis revised edition of the acclaimed book \"First-Order Modal Logic\" (first edition 1998) offers new and adapted chapters that reflect the latest scientific developments. The book is written in English and targets an advanced language level, suitable for self-study, teaching, and research in logic and philosophy.\u003c\/p\u003e\u003ch2\u003eContent and approach\u003c\/h2\u003e\u003cp\u003eFitting and Mendelsohn extensively cover first-order modal logic, with an introduction to the propositional basis. Their methodology has three pillars:\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eSemantics based on possible-worlds models\u003c\/li\u003e\u003cli\u003eFormal proofs via tableau methods\u003c\/li\u003e\u003cli\u003ePhilosophical analyses of technical developments and their impact on well-known problems\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e\u003ch2\u003eKey themes\u003c\/h2\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eQuantification: distinction between actualist and possibilist quantifiers\u003c\/li\u003e\u003cli\u003eEquality and the treatment of Frege's 'morning star\/evening star' puzzle\u003c\/li\u003e\u003cli\u003eExistence and the logical challenges surrounding it\u003c\/li\u003e\u003cli\u003eNon-rigid constants and function symbols\u003c\/li\u003e\u003cli\u003ePredicate abstraction: clarifies ambiguities in the use of constants and function symbols\u003c\/li\u003e\u003cli\u003eDifference between non-existence and non-reference\u003c\/li\u003e\u003cli\u003eDefinite descriptions from both Fregean and Russellian perspectives\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e\u003ch2\u003eSuitable for\u003c\/h2\u003e\u003cp\u003eThe book is intended for readers with an advanced background in logic, suitable for academic teaching and self-study in philosophy, mathematical logic, and related disciplines.\u003c\/p\u003e\u003ch2\u003eReview of the first edition\u003c\/h2\u003e\u003cp\u003eThe first edition was praised by the Bulletin of Symbolic Logic as an excellent and highly useful text with appropriate exercises, setting a high standard for comparable works. The book is highly recommended.\u003c\/p\u003e\u003cp\u003eIntertaal is your reliable supplier and guarantees fast delivery of this valuable teaching aid.\u003c\/p\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":53951063458132,"sku":"9783031407130","price":140.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/first-order-modal-logic-hardback-224_94e96edb-aa78-454a-ac02-99393ac3dc16.webp?v=1776920976","url":"https:\/\/intertaalid.nl\/en\/products\/first-order-modal-logic-9783031407130","provider":"Intertaal","version":"1.0","type":"link"}