Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/30357
Title: Arthur Prior
Authors: Ciuni, Roberto
Proietti, Carlo
Keywords: Arthur priorModal and temporal LogicHybrid logicsArthur PriorLogica modaleLogica temporaleLogiche ibride
Issue Date: 2014
Publisher: EUT Edizioni Università di Trieste
Source: Roberto Ciuni, Carlo Proietti, “Arthur Prior”, in "APhEx 10", 2014, pp. 39
Journal: APhEx 
Abstract: 
The philosophical inquiry of Arthur Prior (1914-1969) has involved topics ranging from formal logics to ethics, while giving crucial contributions in modal logic, metaphysics, and the philosophy of time. Prior is considered the father of temporal logic and a forerunner of both current hybrid logic and Kripke's possible worlds semantics; also, he has supported a refined and go-ahead version of actualism, which is in turn grounded on a specific view on the relation between existence, facts and truth. Prior's approach to philosophy has been highly sensitive to the traditional questions in metaphysics and ontology, and at the same time has laid the grounds of new areas of research in modal logic. This entry aims at presenting and discussing some of Prior's most important contributions to philosophy and their relevance. In particular, the entry presents and discuss branching-time semantics and their application to the problem of determinism, hybrid logics and the reduction of instants to propositions, the modal logic Q and the problem of predication about contingently non-existing individuals.

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.
Type: Article
URI: http://hdl.handle.net/10077/30357
ISSN: 2036-9972
Appears in Collections:10 APhEx num 10, anno 2014

Files in This Item:
File Description SizeFormat
APhEx_10_2014_Ciuni-Proietti.pdf1.13 MBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

16
checked on Oct 26, 2020

Download(s)

4
checked on Oct 26, 2020

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons