Online research in philosophy

The aim of this paper is to draw attention to a conflict between two popular views about time: Arthur Prior’s proposal for treating tense on the model of modal logic, and the ‘Platonic’ thesis that some objects (God, forms, universals, or numbers) exist eternally.1 I will argue that anyone who accepts the former ought to reject the latter.

This book says Prior claims: (1) that a sentence never names; (2) what a sentence says cannot be otherwise signified; and (3) that a sentence says what it says whatever the type of its occurrence; (4) and that quantifications binding sentential variables are neither eliminable, substitutional, nor referential. The book develops and defends (1)-(3). It also defends (4) against the sorts of strictures on quantification of such philosophers as Quine and Davidson.

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.

Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the late distinguished philosopher Arthur Prior on the eightieth anniversary of his birth. Topics range from philosophical discussions of the nature of time and of the nature of logic itself, to descriptions of computer systems that can reason and take account of the fact that they exist in a temporal world.

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.