Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

236859

Arthur Prior and hybrid logic

Patrick Blackburn

pp. 329-372

Résumé

Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid-1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior’s work.

Détails de la publication

Publié dans:

Braüner Torben, Hasle Per F. V., Øhrstrøm Peter (2006) The logic of time and modality. Synthese 150 (3).

Pages: 329-372

DOI: 10.1007/s11229-005-5512-y

Citation complète:

Blackburn Patrick, 2006, Arthur Prior and hybrid logic. Synthese 150 (3), The logic of time and modality, 329-372. https://doi.org/10.1007/s11229-005-5512-y.