Book chapter 398 views
Tense and Temporality: Computing and the Logic of Time
Troy Astarte
Computing Cultures: Knowledges and Practices (1940–1990), Pages: 255 - 280
Swansea University Author: Troy Astarte
Abstract
This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw...
| Published in: | Computing Cultures: Knowledges and Practices (1940–1990) |
|---|---|
| ISBN: | 978-3-95796-273-7 978-3-95796-274-4 |
| Published: |
Lüneburg
meson press
2025
|
| Online Access: |
https://meson.press/books/computing-cultures/ |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa65273 |
| Abstract: |
This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw new light as technical questions, and explores the role of logic in computer science. |
|---|---|
| Keywords: |
history of computing, logic, concurrency, history of science, philosophy of science |
| College: |
Faculty of Science and Engineering |
| Funders: |
Leverhulme Trust Grant No. RPG-2019-020 |
| Start Page: |
255 |
| End Page: |
280 |