| 7 | | Prefazione del curatore [ di Claudio E. A. Pizzi ] |
| 9 | | Titoli originali e fonti |
| 11 | | Introduzione [ di Claudio E. A. Pizzi ] |
| | 1. | Logica atemporale e logica dei tempi verbali |
| | 2. | La logica del futuro |
| | 3. | L'analisi semantica della logica monomodale |
| | 4. | Risultati semantici per la logica bimodale |
| | 5. | La logica del tempo trivalente |
| | 6. | Logica del tempo, metrica e logica del cambiamento |
| | 7. | Logica degli eventi e logica delle sostanze |
| 91 | | Bibliografia |
| | | {titolo} |
| 99 | 1. | Tempi verbali e verità nella stroia della logica [ di Arthur Norman Prior ] |
| 124 | 2. | La logica del tempo e la continuità dell'ordine temporale [ di Arthur Norman Prior ] |
| | 1. | I quindici tempi verbali di C. L. Hamblin |
| | 2. | La continuità del tempo e l'Argomento Vittorioso di Diodoro |
| | 3. | La logica dell'accessibilità fra mondi |
| 147 | 3. | Sui postulati per l'ordine temporale [ di Malcom K. Rennie ] |
| 161 | 4. | Uno studio algebrico della logica del tempo con tempo lineare [ di R. A. Bull ] |
| 187 | 5. | Logiche modali con relazioni di accessibilità lineari [ di Eleanor Jack Gibson ] |
| | 0. | Generalità |
| | 1. | Logica monomodale |
| | 2. | Logica bimodale |
| | 3. | Cenni storici |
| 211 | 6. | Logica topologica [ di Nicholas Rescher ET James W. Garson ] |
| | 1. | Introduzione |
| | 2. | Il P-operatore |
| | 3. | Tre assiomi fondamentali |
| | 4. | La relazione fra formule non P-qialificate e formule P-qualificate |
| | 5. | L'iterazione di P. Quattro assiomi. I sistemi PI e PII |
| | 6. | Logica cronologica |
| | 7. | Relazioni tra logiche topologiche e logiche cronologiche |
| | 8. | L'interpretazione della logica topologica in termini di mondi possibili |
| | 9. | Logica modale e logica topologica |
| | 10. | Conclusione |
| | 11. | Appendice |
| 230 | 7. | Logica del tempo metrica stratificata [ di Arthur Norman Prior ] |
| | 1. | Formulazione del problema |
| | 2. | L'U-calcolo metrico e la logica del tempo metrica minimale |
| | 3. | Calcoli metrici rispecchianti condizioni speciali su U |
| | 4. | Confronto con precedenti sistemi |
| 243 | 8. | Qualche osservazione su logica del tempo e sistemi modali [ di Georg Henrik Von Wright ] |
| 255 | 9. | Tempo, cambiamento e contraddizione [ di Georg Henrik Von Wright ] |
| 280 | 10. | Logica del tempo e logica del cambiamento [ di John E. Clifford ] |
| | | Il T-calcolo come estensione definitoria dell'F-calcolo |
| | | L'F-calcolo come estensione definitoria del T-calcolo |
| | | La completezza dell'F-calcolo |
| | | La logica del passato |
| 295 | 11. | La logica dell'iniziare e del cessare [ di Charles Leonard Hamblin ] |
| 318 | 12. | La semantica della logica del tempo [ di Nino B. Cocchiarella ] |
| | 1. | Storie, momenti e stati momentanei |
| | 2. | Soddisfazione,, verità e validità in una storia |
| | 3. | Verità logico-temporale |
| | 4. | R-validità |
| 348 | 13. | Tempo ed esistenza [ di Arthur Norman Prior ] |
| | 1. | Logica dei predicati modale e temporale: i sistemi standard |
| | 2. | Obiezioni antiche, medievali e moderne al venire all'essere, all'essere portato a essere, e all'essere impedito di essere |
| | 3. | Ampliamento |
| | 4. | Obiezioni alla logica modale standard avanzate da Myhill, Ramsey e Crisippo |
| | 5. | Moore su ciò che avrebbe potuto non esistere, e su ciò che un tempo non esisteva |
| | 6. | Argomenti contro alcuni principi comuni |
| | 7. | Il sistema modale Q: modificazioni e adattamento alla logica del tempo |
| | 8. | Logica temporale dei predicati con nomi ora-vuoti in Cocchiarella, Rescher e Hamblin |
| | 9. | L'ontologia temporale |
| | 11. | La difficoltà di rinunciare ai non-esistenti |
| | 12. | L'ammissioe di esistenti passati ma non futuri |
| | 13. | Sommario delle posizioni possibili |
| 392 | 14. | Logica del tempo: dov'è il problema? [ di Gerald J. Massey ] |
| | | La rivoluzione del tempo |
| | | L'argomento contro la superstizione |
| | | Tenere il tempo in seria considerazione |
| | | Concretizzazione di linguaggi formalizzati |