Partial and paraconsistent approaches to future contingents in tense logic

Seiki Akama

Tetsuya Murai

Yasuo Kudo

pp. 3639-3649

in: Jørgen Albretsen, Per V. Hasle, Peter Øhrstrøm (eds), The logic and philosophy of A. N. Prior, Synthese 193 (11), 2016.

Abstract

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented (i.e. first suggested) by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future contingents.

Cited authors

Aristoteles