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.

The Search for the Diodorean Frame

Roberto Ciuni
2009

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.
Ciuni, R. (2009). The Search for the Diodorean Frame. HUMANA.MENTE, 8, 47-65.
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: http://hdl.handle.net/11590/402168
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact