Letters between Mary and Arthur Prior in 1954: Topics on Metaphysics and Time

Abstract

This paper will introduce and discuss correspondence between Mary andArthur Prior and between Arthur Prior and J.J.C Smart from 1954 on thefive topics: freedom, abstract entities, modal logic, religion and theologyand finally the logic of time. It is claimed that the logic of time was formulated in the context of reflections on the first four of thes