The history of reasoning about time is disseminated with paradoxes and conundra and contemporary physics does not make an exception. Logics in general, and more in particular temporal logics, represent a rigorous formal tool in order to solve or clarify problems of this kind. In what follows we will first explain, from the point of view of philosophical logic, what is a paradox and what should count as a solution for it. After that we will illustrate A.N. Prior's formalization of the traditional paradox of future contingency and determinism. Then we will focus on two modern paradoxes - the twin paradox and the time travel paradox - and show how an adequate temporal logic can help their framing and understanding.
Time of Logics, time of Physics
Carlo Proietti
2017
Abstract
The history of reasoning about time is disseminated with paradoxes and conundra and contemporary physics does not make an exception. Logics in general, and more in particular temporal logics, represent a rigorous formal tool in order to solve or clarify problems of this kind. In what follows we will first explain, from the point of view of philosophical logic, what is a paradox and what should count as a solution for it. After that we will illustrate A.N. Prior's formalization of the traditional paradox of future contingency and determinism. Then we will focus on two modern paradoxes - the twin paradox and the time travel paradox - and show how an adequate temporal logic can help their framing and understanding.| Campo DC | Valore | Lingua |
|---|---|---|
| dc.authority.anceserie | BOSTON STUDIES IN THE PHILOSOPHY OF SCIENCE | en |
| dc.authority.orgunit | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | en |
| dc.authority.people | Carlo Proietti | en |
| 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/21 09:38:52 | - |
| dc.date.available | 2024/02/21 09:38:52 | - |
| dc.date.firstsubmission | 2024/06/20 12:01:56 | * |
| dc.date.issued | 2017 | - |
| dc.date.submission | 2024/06/20 12:01:56 | * |
| dc.description.abstracteng | The history of reasoning about time is disseminated with paradoxes and conundra and contemporary physics does not make an exception. Logics in general, and more in particular temporal logics, represent a rigorous formal tool in order to solve or clarify problems of this kind. In what follows we will first explain, from the point of view of philosophical logic, what is a paradox and what should count as a solution for it. After that we will illustrate A.N. Prior's formalization of the traditional paradox of future contingency and determinism. Then we will focus on two modern paradoxes - the twin paradox and the time travel paradox - and show how an adequate temporal logic can help their framing and understanding. | - |
| dc.description.affiliations | Lund University | - |
| dc.description.allpeople | Proietti, Carlo | - |
| dc.description.allpeopleoriginal | Carlo Proietti | en |
| dc.description.fulltext | none | en |
| dc.description.numberofauthors | 1 | - |
| dc.identifier.doi | 10.1007/978-3-319-53725-2 | en |
| dc.identifier.isbn | 978-3-319-53723-8 | en |
| dc.identifier.uri | https://hdl.handle.net/20.500.14243/404008 | - |
| dc.language.iso | eng | en |
| dc.publisher.country | CHE | en |
| dc.publisher.name | Springer | en |
| dc.publisher.place | Cham, Heidelberg, New York, Dordrecht, London | en |
| dc.relation.allauthors | Philippe Huneman, Christophe Bouton | en |
| dc.relation.alleditors | Bouton, Christophe, Huneman, Philippe | en |
| dc.relation.firstpage | 39 | en |
| dc.relation.ispartofbook | Time of Nature and the Nature of Time | en |
| dc.relation.lastpage | 53 | en |
| dc.relation.numberofpages | 14 | en |
| dc.subject.keywordseng | Time travel | - |
| dc.subject.keywordseng | relativity | - |
| dc.subject.keywordseng | paradoxes | - |
| dc.subject.singlekeyword | Time travel | * |
| dc.subject.singlekeyword | relativity | * |
| dc.subject.singlekeyword | paradoxes | * |
| dc.title | Time of Logics, time of Physics | 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 | 429537 | - |
| iris.orcid.lastModifiedDate | 2024/07/23 15:44:33 | * |
| iris.orcid.lastModifiedMillisecond | 1721742273848 | * |
| iris.sitodocente.maxattempts | 3 | - |
| iris.unpaywall.doi | 10.1007/978-3-319-53725-2 | * |
| iris.unpaywall.isoa | false | * |
| iris.unpaywall.journalisindoaj | false | * |
| iris.unpaywall.metadataCallLastModified | 29/07/2025 04:36:59 | - |
| iris.unpaywall.metadataCallLastModifiedMillisecond | 1753756619453 | - |
| iris.unpaywall.oastatus | closed | * |
| 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.
