Passer au contenu
Mon compte
Wishlist
Panier 00:00

Essai sur les logiques temporelles de Prior

Audience : Adulte - Grand Public
Le Pitch
PrésentationArthur 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. Afficher moinsAfficher plus

Essai sur les logiques temporelles de Prior

39,90 €
Sélectionnez la condition
39,90 €

Le Pitch

PrésentationArthur 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. Afficher moinsAfficher plus

Détails du livre

Titre complet
Essai sur les logiques temporelles de Prior
Format
Broché
Publication
01 mars 2019
Audience
Adulte - Grand Public
Pages
76
Taille
22.9 x 15.2 x 0.5 cm
Poids
126
ISBN-13
9786138460046

Auteur

Livré entre : 7 janvier - 12 janvier
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés