This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
Ockhamism and Quantified Modal Logic
IACONA, Andrea
2015-01-01
Abstract
This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
OaQMLa.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
251.11 kB
Formato
Adobe PDF
|
251.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
Ockhamism and QML(e).pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
1.01 MB
Formato
Adobe PDF
|
1.01 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
