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

EAN (ISBN-13): 9780792335863
ISBN (ISBN-10): 0792335864
Gebundene Ausgabe
Erscheinungsjahr: 1995
Herausgeber: Springer
424 Seiten
Gewicht: 0,801 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-24T23:19:54+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-16T22:11:08+02:00 (Berlin)
ISBN/EAN: 9780792335863

ISBN - alternative Schreibweisen:
0-7923-3586-4, 978-0-7923-3586-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ohrstrom, peter hassler, rich
Titel des Buches: philosophy logic, temporal logic from ancient ideas artificial, studies linguistics and philosophy, artificial general intelligence

---

Daten vom Verlag:

Autor/in: Peter Øhrstrøm; Per Hasle
Titel: Studies in Linguistics and Philosophy; Temporal Logic - From Ancient Ideas to Artificial Intelligence
Verlag: Springer; Springer Netherland
416 Seiten
Erscheinungsjahr: 1995-09-30
Dordrecht; NL
Sprache: Englisch
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.