Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57) - hardcover

EAN (ISBN-13): 9780792335863
ISBN (ISBN-10): 0792335864
Hardcover
Publishing year: 1995
Publisher: Springer
424 Pages
Weight: 0,801 kg
Language: eng/Englisch

Book in our database since 2007-05-24T22:19:54+01:00 (London)
Detail page last modified on 2024-04-16T21:11:08+01:00 (London)
ISBN/EAN: 0792335864

ISBN - alternate spelling:
0-7923-3586-4, 978-0-7923-3586-3
Alternate spelling and related search-keywords:
Book author: ohrstrom, peter hassler, rich
Book title: philosophy logic, temporal logic from ancient ideas artificial, studies linguistics and philosophy, artificial general intelligence

---

Information from Publisher

Author: Peter Øhrstrøm; Per Hasle
Title: Studies in Linguistics and Philosophy; Temporal Logic - From Ancient Ideas to Artificial Intelligence
Publisher: Springer; Springer Netherland
416 Pages
Publishing year: 1995-09-30
Dordrecht; NL
Language: English
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.