Cette é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.
Contenu et approche
Fitting et Mendelsohn traitent en profondeur la logique modale du premier ordre, avec une introduction à la base propositionnelle. Leur méthodologie repose sur trois piliers :
- Sémantique basée sur des modèles de mondes possibles
- Preuves formelles via des méthodes de tableau
- Analyses philosophiques des développements techniques et de leur impact sur des problèmes connus
Thèmes importants
- Quantification : distinction entre quantificateurs actualistes et possibilistes
- Égalité et le traitement de l'énigme de l'étoile du matin/étoile du soir de Frege
- Existence et les défis logiques qui l'entourent
- Constantes et symboles de fonction non rigides
- Abstraction de prédicat : clarifie les ambiguïtés dans l'utilisation des constantes et des symboles de fonction
- Différence entre non-existence et non-désignation
- Descriptions définies du point de vue fregéen et russellien
Adapté pour
Le 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.
Critique de la première édition
La 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é.
Intertaal est votre fournisseur fiable et garantit une livraison rapide de cet outil d'apprentissage précieux.