Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this "abundance of the future" is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like phi boolean AND phi is satisfiable (though both phi and phi may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum.
THE ABUNDANCE OF THE FUTURE A Paraconsistent Approach to Future Contingents
Proietti Carlo
2013
Abstract
Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this "abundance of the future" is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like phi boolean AND phi is satisfiable (though both phi and phi may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum.| Campo DC | Valore | Lingua |
|---|---|---|
| dc.authority.ancejournal | LOGIC AND LOGICAL PHILOSOPHY | - |
| dc.authority.orgunit | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | - |
| dc.authority.people | Ciuni Roberto | it |
| dc.authority.people | Proietti Carlo | it |
| dc.collection.id.s | b3f88f24-048a-4e43-8ab1-6697b90e068e | * |
| dc.collection.name | 01.01 Articolo in rivista | * |
| dc.contributor.appartenenza | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | * |
| dc.contributor.appartenenza.mi | 918 | * |
| dc.date.accessioned | 2024/02/19 11:56:17 | - |
| dc.date.available | 2024/02/19 11:56:17 | - |
| dc.date.issued | 2013 | - |
| dc.description.abstracteng | Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this "abundance of the future" is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like phi boolean AND phi is satisfiable (though both phi and phi may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. | - |
| dc.description.affiliations | Ruhr Univ Bochum; Lund Univ | - |
| dc.description.allpeople | Ciuni, Roberto; Proietti, Carlo | - |
| dc.description.allpeopleoriginal | Ciuni, Roberto; Proietti, Carlo | - |
| dc.description.fulltext | none | en |
| dc.description.numberofauthors | 2 | - |
| dc.identifier.doi | 10.12775/LLP.2013.002 | - |
| dc.identifier.isi | WOS:000410143800002 | - |
| dc.identifier.scopus | 2-s2.0-84901841462 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.14243/405499 | - |
| dc.language.iso | eng | - |
| dc.relation.firstpage | 21 | - |
| dc.relation.issue | 1 | - |
| dc.relation.lastpage | 43 | - |
| dc.relation.numberofpages | 23 | - |
| dc.relation.volume | 22 | - |
| dc.subject.keywords | Future contingents | - |
| dc.subject.keywords | supervaluationism | - |
| dc.subject.keywords | gluts | - |
| dc.subject.keywords | subvaluations | - |
| dc.subject.keywords | retrogradation of truth | - |
| dc.subject.singlekeyword | Future contingents | * |
| dc.subject.singlekeyword | supervaluationism | * |
| dc.subject.singlekeyword | gluts | * |
| dc.subject.singlekeyword | subvaluations | * |
| dc.subject.singlekeyword | retrogradation of truth | * |
| dc.title | THE ABUNDANCE OF THE FUTURE A Paraconsistent Approach to Future Contingents | en |
| dc.type.driver | info:eu-repo/semantics/article | - |
| dc.type.full | 01 Contributo su Rivista::01.01 Articolo in rivista | it |
| dc.type.miur | 262 | - |
| dc.type.referee | Sì, ma tipo non specificato | - |
| dc.ugov.descaux1 | 429506 | - |
| iris.isi.extIssued | 2013 | - |
| iris.isi.extTitle | THE ABUNDANCE OF THE FUTURE A Paraconsistent Approach to Future Contingents | - |
| iris.orcid.lastModifiedDate | 2025/03/20 01:12:36 | * |
| iris.orcid.lastModifiedMillisecond | 1742429556134 | * |
| iris.scopus.extIssued | 2013 | - |
| iris.scopus.extTitle | The abundance of the future: A paraconsistent approach to future contingents | - |
| iris.scopus.ideLinkStatusDate | 2024/06/22 23:35:47 | * |
| iris.scopus.ideLinkStatusMillisecond | 1719092147996 | * |
| iris.sitodocente.maxattempts | 5 | - |
| iris.unpaywall.bestoahost | publisher | * |
| iris.unpaywall.bestoaversion | publishedVersion | * |
| iris.unpaywall.doi | 10.12775/llp.2013.002 | * |
| iris.unpaywall.hosttype | publisher | * |
| iris.unpaywall.isoa | true | * |
| iris.unpaywall.journalisindoaj | false | * |
| iris.unpaywall.landingpage | https://doi.org/10.12775/llp.2013.002 | * |
| iris.unpaywall.metadataCallLastModified | 18/06/2025 05:03:02 | - |
| iris.unpaywall.metadataCallLastModifiedMillisecond | 1750215782474 | - |
| iris.unpaywall.oastatus | bronze | * |
| iris.unpaywall.pdfurl | https://apcz.umk.pl/LLP/article/download/LLP.2013.002/755 | * |
| isi.authority.ancejournal | LOGIC AND LOGICAL PHILOSOPHY###1425-3305 | * |
| isi.category | QL | * |
| isi.category | UA | * |
| isi.contributor.affiliation | Ruhr University Bochum | - |
| isi.contributor.affiliation | Lund University | - |
| isi.contributor.country | Germany | - |
| isi.contributor.country | Sweden | - |
| isi.contributor.name | Roberto | - |
| isi.contributor.name | Carlo | - |
| isi.contributor.researcherId | GCI-2321-2022 | - |
| isi.contributor.researcherId | DLT-4783-2022 | - |
| isi.contributor.subaffiliation | - | |
| isi.contributor.subaffiliation | - | |
| isi.contributor.surname | Ciuni | - |
| isi.contributor.surname | Proietti | - |
| isi.date.issued | 2013 | * |
| isi.description.abstracteng | Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this "abundance of the future" is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like phi boolean AND phi is satisfiable (though both phi and phi may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. | * |
| isi.description.allpeopleoriginal | Ciuni, R; Proietti, C; | * |
| isi.document.sourcetype | WOS.ESCI | * |
| isi.document.type | Article | * |
| isi.document.types | Article | * |
| isi.identifier.doi | 10.12775/LLP.2013.002 | * |
| isi.identifier.eissn | 2300-9802 | * |
| isi.identifier.isi | WOS:000410143800002 | * |
| isi.journal.journaltitle | LOGIC AND LOGICAL PHILOSOPHY | * |
| isi.journal.journaltitleabbrev | LOG LOG PHILOS | * |
| isi.language.original | English | * |
| isi.publisher.place | JURIJA GAGARINA 11, TORUN, 87-100, POLAND | * |
| isi.relation.firstpage | 21 | * |
| isi.relation.issue | 1 | * |
| isi.relation.lastpage | 43 | * |
| isi.relation.volume | 22 | * |
| isi.title | THE ABUNDANCE OF THE FUTURE A Paraconsistent Approach to Future Contingents | * |
| scopus.category | 1211 | * |
| scopus.contributor.affiliation | Ruhr-Universität Bochum | - |
| scopus.contributor.affiliation | Lund University | - |
| scopus.contributor.afid | 60005322 | - |
| scopus.contributor.afid | 60029170 | - |
| scopus.contributor.auid | 55910959800 | - |
| scopus.contributor.auid | 35148455900 | - |
| scopus.contributor.country | Germany | - |
| scopus.contributor.country | Sweden | - |
| scopus.contributor.dptid | - | |
| scopus.contributor.dptid | - | |
| scopus.contributor.name | Roberto | - |
| scopus.contributor.name | Carlo | - |
| scopus.contributor.subaffiliation | - | |
| scopus.contributor.subaffiliation | - | |
| scopus.contributor.surname | Ciuni | - |
| scopus.contributor.surname | Proietti | - |
| scopus.date.issued | 2013 | * |
| scopus.description.abstracteng | Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this "abundance of the future" is a non-adjunctive paraconsistent formalism based on subvaluations, which has the virtue that all classical laws are valid in it, while no formula like φ & - φ is satisfiable (though both φ and - φ may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. © Nicolaus Copernicus University (Toruń) 2013. | * |
| scopus.description.allpeopleoriginal | Ciuni R.; Proietti C. | * |
| scopus.differences | scopus.subject.keywords | * |
| scopus.differences | scopus.description.allpeopleoriginal | * |
| scopus.differences | scopus.description.abstracteng | * |
| scopus.differences | scopus.title | * |
| scopus.document.type | ar | * |
| scopus.document.types | ar | * |
| scopus.identifier.doi | 10.12775/LLP.2013.002 | * |
| scopus.identifier.pui | 369625211 | * |
| scopus.identifier.scopus | 2-s2.0-84901841462 | * |
| scopus.journal.sourceid | 21100204110 | * |
| scopus.language.iso | eng | * |
| scopus.publisher.name | Wydawnictwo Naukowe Uniwersytetu Mikolaja Kopernika | * |
| scopus.relation.firstpage | 21 | * |
| scopus.relation.issue | 1 | * |
| scopus.relation.lastpage | 43 | * |
| scopus.relation.volume | 22 | * |
| scopus.subject.keywords | Future contingents; Gluts; Ret-rogradation of truth; Subvaluations; Supervaluationism; | * |
| scopus.title | The abundance of the future: A paraconsistent approach to future contingents | * |
| scopus.titleeng | The abundance of the future: A paraconsistent approach to future contingents | * |
| Appare nelle tipologie: | 01.01 Articolo in rivista | |
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.
