Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

176646

Commentary

Reichenbach's verbal tenses in the context of discovery about computing systems

Guglielmo Tamburrini

pp. 253-257

Abstract

This contribution analyzes present applications of temporal logics that are meaningfully related to Hans Reichenbach's groundbreaking work on verbal tenses and their underlying logical structure. Specifically, some formal methods in theoretical computer science will be discussed that enable one to advance empirical hypotheses and to make predictions about the temporal evolution of computing system's behaviors.

Publication details

Published in:

Santoianni Flavia (2016) The concept of time in early twentieth-century philosophy: a philosophical thematic atlas. Dordrecht, Springer.

Pages: 253-257

DOI: 10.1007/978-3-319-24895-0_32

Full citation:

Tamburrini Guglielmo (2016) „Commentary: Reichenbach's verbal tenses in the context of discovery about computing systems“, In: F. Santoianni (ed.), The concept of time in early twentieth-century philosophy, Dordrecht, Springer, 253–257.