Titre original :
First-Order Modal Logic
Contenu du livre :
Fitting et Mendelsohn présentent un traitement approfondi de la logique modale du premier ordre, ainsi qu'un contexte propositionnel.
Ils adoptent une triple approche. Sur le plan sémantique, ils utilisent des modèles de mondes possibles ; les mécanismes de preuve formelle sont des tableaux ; et des discussions philosophiques complètes sont fournies sur la manière dont les développements techniques influent sur des problèmes philosophiques bien connus.
Le livre couvre la quantification elle-même, y compris la différence entre les quantificateurs actualistes et possibilistes ; l'égalité, qui conduit à un traitement de l'énigme de l'étoile du matin/étoile du soir de Frege ; la notion d'existence et les problèmes logiques qui l'entourent ; les constantes non rigides et les symboles de fonction ; l'abstraction de prédicat, qui abstrait un prédicat d'une formule, fournissant en fait une fonction de portée pour les constantes et les symboles de fonction, conduisant à une clarification des lectures ambiguës au cœur de plusieurs problèmes philosophiques ; la distinction entre la non-existence et la non-désignation ; et les descriptions définies, empruntant à la fois aux paradigmes fregéen et russellien.
Autres informations sur le livre :
| ISBN : | 9783031407130 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
