Book chapter 799 views 6 downloads
Tense and Temporality: Computing and the Logic of Time
Computing Cultures: Knowledges and Practices (1940–1990), Pages: 255 - 280
Swansea University Author: Troy Astarte
-
PDF | Accepted Manuscript
Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).
Download (424.6KB)
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 |