This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value (true or false). We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

Bivalence and Future contingency

Carlo Proietti;
2018

Abstract

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value (true or false). We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.
Campo DC Valore Lingua
dc.authority.orgunit Istituto di linguistica computazionale "Antonio Zampolli" - ILC -
dc.authority.people Carlo Proietti it
dc.authority.people Gabriel Sandu it
dc.authority.people Francois Rivenc it
dc.collection.id.s 8c50ea44-be95-498f-946e-7bb5bd666b7c *
dc.collection.name 02.01 Contributo in volume (Capitolo o Saggio) *
dc.contributor.appartenenza Istituto di linguistica computazionale "Antonio Zampolli" - ILC *
dc.contributor.appartenenza.mi 918 *
dc.date.accessioned 2024/02/20 09:33:00 -
dc.date.available 2024/02/20 09:33:00 -
dc.date.issued 2018 -
dc.description.abstracteng This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value (true or false). We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time. -
dc.description.affiliations University of Lund, University of Helsinki, University of Paris I -
dc.description.allpeople Carlo Proietti; Gabriel Sandu;Francois Rivenc -
dc.description.allpeopleoriginal Carlo Proietti, Gabriel Sandu and Francois Rivenc -
dc.description.fulltext none en
dc.description.numberofauthors 1 -
dc.identifier.isbn 978-3-319-77434-3 -
dc.identifier.uri https://hdl.handle.net/20.500.14243/411305 -
dc.language.iso eng -
dc.publisher.country CHE -
dc.publisher.name Springer -
dc.publisher.place Cham, Heidelberg, New York, Dordrecht, London -
dc.relation.alleditors Sven Ove Hansson, Vincent Hendricks -
dc.relation.firstpage 333 -
dc.relation.ispartofbook Introduction to Formal Philosophy -
dc.relation.lastpage 350 -
dc.relation.numberofpages 18 -
dc.subject.keywords Future contingents -
dc.subject.keywords bivalence -
dc.subject.keywords temporal logic -
dc.subject.keywords Arthur Prior -
dc.subject.singlekeyword Future contingents *
dc.subject.singlekeyword bivalence *
dc.subject.singlekeyword temporal logic *
dc.subject.singlekeyword Arthur Prior *
dc.title Bivalence and Future contingency en
dc.type.driver info:eu-repo/semantics/bookPart -
dc.type.full 02 Contributo in Volume::02.01 Contributo in volume (Capitolo o Saggio) it
dc.type.miur 268 -
dc.ugov.descaux1 429687 -
iris.orcid.lastModifiedDate 2024/03/01 15:49:42 *
iris.orcid.lastModifiedMillisecond 1709304582806 *
iris.sitodocente.maxattempts 1 -
Appare nelle tipologie: 02.01 Contributo in volume (Capitolo o Saggio)
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/411305
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact