Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57) - edition reliée, livre de poche

EAN (ISBN-13): 9780792335863
ISBN (ISBN-10): 0792335864
Version reliée
Date de parution: 1995
Editeur: Springer
424 Pages
Poids: 0,801 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-24T23:19:54+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-16T22:11:08+02:00 (Paris)
ISBN/EAN: 0792335864

ISBN - Autres types d'écriture:
0-7923-3586-4, 978-0-7923-3586-3
Autres types d'écriture et termes associés:
Auteur du livre: ohrstrom, peter hassler, rich
Titre du livre: philosophy logic, temporal logic from ancient ideas artificial, studies linguistics and philosophy, artificial general intelligence

---

Données de l'éditeur

Auteur: Peter Øhrstrøm; Per Hasle
Titre: Studies in Linguistics and Philosophy; Temporal Logic - From Ancient Ideas to Artificial Intelligence
Editeur: Springer; Springer Netherland
416 Pages
Date de parution: 1995-09-30
Dordrecht; NL
Langue: Anglais
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
VIII, 416 p.

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; artificial intelligence; computer; computer science; language; logic; science; time; Logic; Computer Science; Theoretical Linguistics / Grammar; Philosophy of Science; Informatik; Sprachwissenschaft, Linguistik; Wissenschaftsphilosophie und -theorie; BC

Introduction: Logic and the study of time.- Introduction: Logic and the study of time.- Time and Logic — From Synthesis to Dissociation.- The sea-fight tomorrow.- The master argument of Diodorus Cronus.- The study of tenses in the middle ages.- Temporal ampliation.- The duration of the present.- The logic of beginning and ending.- Time and consequentia.- Temporalis — the logic of ‘While’.- Human freedom and divine foreknowledge.- The downfall of medieval tense-logic.- Logic as a timeless science.- Time and Logic Reunited.- The 19th century and Boolean logic.- C.S. Peirce on time and modality.- ?ukasiewicz’s contribution to temporal logic.- A three-point structure of tenses.- A.N. Prior’s tense-logic.- The idea of branching time.- Tense logic and special relativity.- Some basic systems of temporal logic.- Four grades of tense-logical involvement.- Metric tense logic.- Modern issues in temporal logic.- Two paradigms of temporal logic.- Indeterministic tense logic.- Leibnizian tense logic.- Tense logic and counterfactual reasoning.- Logic of durations.- Graphs for time and modality.- Temporal logic and computer science.- Conclusion.