Arthur Prior (1914-1969) si è occupato di temi che spaziano dalla logica formale all'etica, ed ha fornito contributi di grandissima importanza soprattutto nell'ambito della logica modale, della metafisica, e della filosofia del tempo. E' considerato il padre della logica temporale e il precursore della contemporanea logica ibrida, è stato un precursore della semantica a mondi possibili di Saul Kripke, e il sostenitore di una forma raffinata e davvero audace di attualismo, a sua volta fondata su una precisa concezione dei rapporti fra esistenza, fatti e verità. Il suo approccio alla filosofia è stato molto attento alle grandi questioni tradizionali di metafisica e ontologia, ma allo stesso tempo ha gettato le basi di nuovi ambiti d'investigazione in logica modale. Il presente profilo si propone di presentare e discutere alcuni fra i suoi contributi più importanti e la loro rilevanza filosofica. In particolare, presenta e discute le semantiche per il branching time e la loro relazione con il problema del determinismo, le logiche ibride e la riduzione degli istanti a proposizioni, la logica Q e il problema della predicazione su individui contingentemente non esistenti.
Arthur Prior
Carlo Proietti;
2014
Abstract
Arthur Prior (1914-1969) si è occupato di temi che spaziano dalla logica formale all'etica, ed ha fornito contributi di grandissima importanza soprattutto nell'ambito della logica modale, della metafisica, e della filosofia del tempo. E' considerato il padre della logica temporale e il precursore della contemporanea logica ibrida, è stato un precursore della semantica a mondi possibili di Saul Kripke, e il sostenitore di una forma raffinata e davvero audace di attualismo, a sua volta fondata su una precisa concezione dei rapporti fra esistenza, fatti e verità. Il suo approccio alla filosofia è stato molto attento alle grandi questioni tradizionali di metafisica e ontologia, ma allo stesso tempo ha gettato le basi di nuovi ambiti d'investigazione in logica modale. Il presente profilo si propone di presentare e discutere alcuni fra i suoi contributi più importanti e la loro rilevanza filosofica. In particolare, presenta e discute le semantiche per il branching time e la loro relazione con il problema del determinismo, le logiche ibride e la riduzione degli istanti a proposizioni, la logica Q e il problema della predicazione su individui contingentemente non esistenti.| Campo DC | Valore | Lingua |
|---|---|---|
| dc.authority.ancejournal | APHEX | - |
| dc.authority.orgunit | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | - |
| dc.authority.people | Carlo Proietti | it |
| dc.authority.people | Roberto Ciuni | it |
| dc.collection.id.s | f52d4117-26bf-4290-90fa-19d0610562e7 | * |
| dc.collection.name | 01.09 Rassegna bibliografica, critica, sistematica della letteratura scientifica in rivista (Literature review) | * |
| dc.contributor.appartenenza | Istituto di linguistica computazionale "Antonio Zampolli" - ILC | * |
| dc.contributor.appartenenza.mi | 918 | * |
| dc.date.accessioned | 2024/02/20 09:37:23 | - |
| dc.date.available | 2024/02/20 09:37:23 | - |
| dc.date.issued | 2014 | - |
| dc.description.abstractita | Arthur Prior (1914-1969) si è occupato di temi che spaziano dalla logica formale all'etica, ed ha fornito contributi di grandissima importanza soprattutto nell'ambito della logica modale, della metafisica, e della filosofia del tempo. E' considerato il padre della logica temporale e il precursore della contemporanea logica ibrida, è stato un precursore della semantica a mondi possibili di Saul Kripke, e il sostenitore di una forma raffinata e davvero audace di attualismo, a sua volta fondata su una precisa concezione dei rapporti fra esistenza, fatti e verità. Il suo approccio alla filosofia è stato molto attento alle grandi questioni tradizionali di metafisica e ontologia, ma allo stesso tempo ha gettato le basi di nuovi ambiti d'investigazione in logica modale. Il presente profilo si propone di presentare e discutere alcuni fra i suoi contributi più importanti e la loro rilevanza filosofica. In particolare, presenta e discute le semantiche per il branching time e la loro relazione con il problema del determinismo, le logiche ibride e la riduzione degli istanti a proposizioni, la logica Q e il problema della predicazione su individui contingentemente non esistenti. | - |
| dc.description.affiliations | Lund University, University of Bochum | - |
| dc.description.allpeople | Proietti, Carlo; Ciuni, Roberto | - |
| dc.description.allpeopleoriginal | Carlo Proietti and Roberto Ciuni | - |
| dc.description.fulltext | none | en |
| dc.description.numberofauthors | 2 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.14243/411318 | - |
| dc.identifier.url | http://www.aphex.it/public/file/Content20141031_APhEx10,2014ProfiliPriorCiuniProietti.pdf | - |
| dc.language.iso | ita | - |
| dc.miur.last.status.update | 2026-05-18T13:40:14Z | * |
| dc.relation.firstpage | 499 | - |
| dc.relation.issue | 10 | - |
| dc.relation.lastpage | 515 | - |
| dc.relation.volume | 10 | - |
| dc.subject.keywords | Arthur Prior | - |
| dc.subject.keywords | Logic | - |
| dc.subject.singlekeyword | Arthur Prior | * |
| dc.subject.singlekeyword | Logic | * |
| dc.title | Arthur Prior | en |
| dc.type.driver | info:eu-repo/semantics/article | - |
| dc.type.full | 01 Contributo su Rivista::01.09 Rassegna bibliografica, critica, sistematica della letteratura scientifica in rivista (Literature review) | it |
| dc.type.miur | 262 | - |
| dc.type.referee | Sì, ma tipo non specificato | - |
| dc.ugov.descaux1 | 429700 | - |
| iris.orcid.lastModifiedDate | 2026/05/19 14:25:44 | * |
| iris.orcid.lastModifiedMillisecond | 1779193544649 | * |
| iris.sitodocente.maxattempts | 1 | - |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
