The Abundance of the Future. A paraconsistent approach to Future Contingents
(2013) In Logic and Logical Philosophy 22(1). p.21-43- 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 p ∧ ¬ p is satisfiable (though both p and ¬p may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy... (More) - 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 p ∧ ¬ p is satisfiable (though both p and ¬p 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/3411920
- author
- Proietti, Carlo LU and Ciuni, Roberto
- organization
- publishing date
- 2013
- type
- Contribution to journal
- publication status
- in press
- subject
- keywords
- Future contingents, supervaluationism, gluts, subvaluations, retrogradation of truth
- in
- Logic and Logical Philosophy
- volume
- 22
- issue
- 1
- pages
- 21 - 43
- publisher
- Nicolaus Copernicus University
- ISSN
- 1425-3305
- language
- English
- LU publication?
- yes
- id
- 59dc6a39-6345-4d84-b329-173b735b054c (old id 3411920)
- date added to LUP
- 2016-04-04 09:41:07
- date last changed
- 2018-11-21 20:54:52
@article{59dc6a39-6345-4d84-b329-173b735b054c, abstract = {{Supervaluationism holds that the future is undetermined, and<br/><br> 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 p ∧ ¬ p is satisfiable (though both p and ¬p 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<br/><br> by the argument de praesenti ad praeteritum.}}, author = {{Proietti, Carlo and Ciuni, Roberto}}, issn = {{1425-3305}}, keywords = {{Future contingents; supervaluationism; gluts; subvaluations; retrogradation of truth}}, language = {{eng}}, number = {{1}}, pages = {{21--43}}, publisher = {{Nicolaus Copernicus University}}, series = {{Logic and Logical Philosophy}}, title = {{The Abundance of the Future. A paraconsistent approach to Future Contingents}}, volume = {{22}}, year = {{2013}}, }