{"product_id":"first-order-modal-logic-9783031407130","title":"Logique modale du premier ordre","description":"\u003cp\u003eCette édition révisée de l'acclamé ouvrage « First-Order Modal Logic » (première édition 1998) propose de nouveaux chapitres et des chapitres modifiés qui reflètent les dernières avancées scientifiques. Le livre est écrit en anglais et s'adresse à un niveau linguistique avancé, adapté à l'auto-apprentissage, à l'enseignement et à la recherche en logique et en philosophie.\u003c\/p\u003e\u003ch2\u003eContenu et approche\u003c\/h2\u003e\u003cp\u003eFitting et Mendelsohn traitent en profondeur la logique modale du premier ordre, avec une introduction à la base propositionnelle. Leur méthodologie repose sur trois piliers :\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eSémantique basée sur des modèles de mondes possibles\u003c\/li\u003e\u003cli\u003ePreuves formelles via des méthodes de tableau\u003c\/li\u003e\u003cli\u003eAnalyses philosophiques des développements techniques et de leur impact sur des problèmes connus\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e\u003ch2\u003eThèmes importants\u003c\/h2\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\u003cli\u003eQuantification : distinction entre quantificateurs actualistes et possibilistes\u003c\/li\u003e\u003cli\u003eÉgalité et le traitement de l'énigme de l'étoile du matin\/étoile du soir de Frege\u003c\/li\u003e\u003cli\u003eExistence et les défis logiques qui l'entourent\u003c\/li\u003e\u003cli\u003eConstantes et symboles de fonction non rigides\u003c\/li\u003e\u003cli\u003eAbstraction de prédicat : clarifie les ambiguïtés dans l'utilisation des constantes et des symboles de fonction\u003c\/li\u003e\u003cli\u003eDifférence entre non-existence et non-désignation\u003c\/li\u003e\u003cli\u003eDescriptions définies du point de vue fregéen et russellien\u003c\/li\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/ul\u003e\u003ch2\u003eAdapté pour\u003c\/h2\u003e\u003cp\u003eLe livre s'adresse aux lecteurs ayant une formation avancée en logique, adapté à l'enseignement académique et à l'auto-apprentissage en philosophie, logique mathématique et disciplines connexes.\u003c\/p\u003e\u003ch2\u003eCritique de la première édition\u003c\/h2\u003e\u003cp\u003eLa première édition a été saluée par le Bulletin of Symbolic Logic comme un excellent texte très utile avec des exercices appropriés, qui établit une norme élevée pour les ouvrages similaires. Le livre est hautement recommandé.\u003c\/p\u003e\u003cp\u003eIntertaal est votre fournisseur fiable et garantit une livraison rapide de cet outil d'apprentissage précieux.\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\/fr\/products\/first-order-modal-logic-9783031407130","provider":"Intertaal","version":"1.0","type":"link"}