Diodorean modalities are logical notions that specify, in a precise way, how sentences may be true with respect to time: a sentence is diodoreanly necessary at a given instant iff it is true since that instant on. Arthur Prior has treated them as sentential operators and built up a logic for such modalities (DIOD) conjecturing that the frame for such a logic (the "diodorean frame") was the frame for S4. The Conjecture was soon proved false, through a number of counterexamples that played a role in the research on modal logics between S4 and S5. The present paper aims at showing that (i) the search for the diodorean frame benefited from such a research, and that (ii) there has been a mutual interaction between the search of the diodorean frame and some characterisation results. The paper is divided into five parts. In section 1, I will introduce diodorean modalities, while in Section 2 I will be focusing on Prior's reconstruction of the Master Argument and his characterisation of DIOD. In section 3, I present a conjecture Prior advanced about the characterisation of DIOD and some counterexamples to it. The notions of "frame" and "frame for" will be also introduced. In section 4 I summarise the connections between the search of the diodorean frame and some researches in modal logic. Section 5 presents a short conclusion.
Ciuni, R. (2009). The Search for the Diodorean Frame. HUMANA.MENTE, 8, 47-65.
Titolo: | The Search for the Diodorean Frame | |
Autori: | ||
Data di pubblicazione: | 2009 | |
Rivista: | ||
Citazione: | Ciuni, R. (2009). The Search for the Diodorean Frame. HUMANA.MENTE, 8, 47-65. | |
Abstract: | Diodorean modalities are logical notions that specify, in a precise way, how sentences may be true with respect to time: a sentence is diodoreanly necessary at a given instant iff it is true since that instant on. Arthur Prior has treated them as sentential operators and built up a logic for such modalities (DIOD) conjecturing that the frame for such a logic (the "diodorean frame") was the frame for S4. The Conjecture was soon proved false, through a number of counterexamples that played a role in the research on modal logics between S4 and S5. The present paper aims at showing that (i) the search for the diodorean frame benefited from such a research, and that (ii) there has been a mutual interaction between the search of the diodorean frame and some characterisation results. The paper is divided into five parts. In section 1, I will introduce diodorean modalities, while in Section 2 I will be focusing on Prior's reconstruction of the Master Argument and his characterisation of DIOD. In section 3, I present a conjecture Prior advanced about the characterisation of DIOD and some counterexamples to it. The notions of "frame" and "frame for" will be also introduced. In section 4 I summarise the connections between the search of the diodorean frame and some researches in modal logic. Section 5 presents a short conclusion. | |
Handle: | http://hdl.handle.net/11590/402168 | |
Appare nelle tipologie: | 1.1 Articolo in rivista |