Essai sur les logiques temporelles de Prior - Softcover

Rivenc, François

Softcover

ISBN 10: 6138460049 ISBN 13: 9786138460046

Verlag: OMNISCRIPTUM, 2019

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

Ancien élève de l'ENS-Ulm, Agrégé de Philosophie, titulaire d'une Maîtrise de Logique, F. Rivenc est actuellement Professeur émérite des Universités, Paris1 Panthéon-Sorbonne.

Details zur Ausgabe

• Verlag: OMNISCRIPTUM
• Erscheinungsdatum: 2019
• Sprache: Französisch
• ISBN 10: 6138460049
• ISBN 13: 9786138460046
• Einband: Taschenbuch
• Anzahl der Seiten: 76
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Editions Notre Savoir; customerservice@vdm-vsg.de; ; Brivibas gatve 197; Riga; 1039; Lettland