Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Essai sur les logiques temporelles de Prior
Univ Europeenne - EAN : 9786138460046
Édition papier
EAN : 9786138460046
Paru le : 1 mars 2019
39,90 €
37,82 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786138460046
- Réf. éditeur : 7402304
- Editeur : Univ Europeenne
- Date Parution : 1 mars 2019
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 76
- Format : H:229 mm L:152 mm E:5 mm
- Poids : 126gr
- Interdit de retour : Retour interdit
- Résumé : Arthur Prior, décédé prématurément en Octobre 1969, peut être considéré comme l'inventeur des logiques temporelles. Il s'agissait pour lui de rendre compte du fait que la plupart de nos énonciations sont temporellement marquées, et que leur valeur de vérité varie avec le temps, comme "il pleut", vrai aujourd'hui, faux hier et demain peut-être. A cette fin il a créé un nouveau langage, où les flexions des verbes sont remplacées par des opérateurs comme "il a été le cas", ou "il sera la cas". L'ambition de Prior était de rendre compte du passage du temps par des axiomes de logique temporelle, comme "S'il est vrai aujourd'hui qu'il pleut, il a été le cas dans le passé qu'il pleuvrait dans le futur". Le problème traditionnel du déterminisme peut être éclairé par l'usage de la formalisation du passage du temps. Le présent essai est une introduction aux recherches de Prior.
