Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57) - encadernado, livro de bolso

EAN (ISBN-13): 9780792335863
ISBN (ISBN-10): 0792335864
Livro de capa dura
Ano de publicação: 1995
Editor/Editora: Springer
424 Páginas
Peso: 0,801 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-05-24T22:19:54+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-16T21:11:08+01:00 (Lisbon)
Número ISBN/EAN: 0792335864

Número ISBN - Ortografia alternativa:
0-7923-3586-4, 978-0-7923-3586-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: ohrstrom, peter hassler, rich
Título do livro: philosophy logic, temporal logic from ancient ideas artificial, studies linguistics and philosophy, artificial general intelligence

---

Dados da editora

Autor: Peter Øhrstrøm; Per Hasle
Título: Studies in Linguistics and Philosophy; Temporal Logic - From Ancient Ideas to Artificial Intelligence
Editora: Springer; Springer Netherland
416 Páginas
Ano de publicação: 1995-09-30
Dordrecht; NL
Língua: Inglês
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.