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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 76 pp. Französisch. N° de réf. du vendeur 9786138460046
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9786138460046
Quantité disponible : 1 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. N° de réf. du vendeur 280826187
Quantité disponible : Plus de 20 disponibles
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 76 pages. French language. 8.70x5.87x0.28 inches. In Stock. N° de réf. du vendeur zk6138460049
Quantité disponible : 1 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 76 pp. Französisch. N° de réf. du vendeur 9786138460046
Quantité disponible : 1 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. Essai sur les logiques temporelles de Prior | François Rivenc | Taschenbuch | 76 S. | Französisch | 2019 | Éditions universitaires européennes | EAN 9786138460046 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 115845591
Quantité disponible : 5 disponible(s)