This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.
Ceteris paribus modalities and the future contingents problem
Carlo Proietti
2009
Abstract
This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


