The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

In Part I, I present two traditional arguments for the incompatibility of divine foreknowledge with human freedom; the first of these is clearly fallacious; but the second, the argument from the necessity of the past, is much stronger. In the second section I explain and partly endorse Ockham’s response to the second argument: that only propositions strictly about the past are accidentally necessary, and past propositions about God’s knowledge of the future are not strictly about the past. In the third (...) part I point out some startling implications of Ockham’s way out; and finally in part IV I offer an account of accidental necessity according to which propositions about the past are accidentally necessary if and only if they are strictly about the past. (shrink)

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1973.

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

Recently scholars have discovered a diary entry of Arthur Norman Prior dated the 25 March 1942, in which Prior is reflecting on his own views and attitudes towards theology. The purpose of the present article is to consider what the diary entry can teach us about this period of transition in Prior’s life, and its effects upon his philosophical interests. This article will argue that the diary entry provides an explanation for why theology continued to be significant in Prior’s work.

Arthur Norman Prior's early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior's later work as a philosopher and logician. However, as interest in Prior's achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior's putatively "youthful" theological work overlapped his work as a (...) philosopher and logician for many years, as is richly documented by examples discussed in this paper. A particularly important theme is the problem of predestination. This paper presents comprehensive evidence that this theme, which was Prior's most important single preoccupation as a theological writer, was a most important source of inspiration for his development of tense logic. Via questions regarding divine foreknowledge and human free will, predestination was to motivate Prior as a logician to focus on time and tense. Whilst investigating this development, the paper also traces Prior's parallel development from Calvinist Christian believer to a more agnostic position. (shrink)

... or engenders a tradition of philosophical reflection, questions will arise about the relation between divine knowledge and power and human freedom. ...

It is commonly presumed that the earliest recoverable writing of the New Zealand born Philosopher Arthur N. Prior is that published in the Australasian Journal of Philosophy and Psychology in 1937. Yet Prior was an extremely active writer as both an undergraduate and as a recent graduate, in a variety of publications. This paper recovers the unknown early Prior and discusses the importance of neo–orthodox Christian theology upon the life and thought of the early Arthur Prior. During the 1930s Prior (...) was primarily a theologian–philosopher and in these early writings there can be discerned important influences upon his thinking. This paper traces Prior’s writings from an early unpublished manuscript through his theological writings and the development of his neo–orthodox thinking to a point where preparatory work for his influential 1942 article ‘Can Religion be Discussed?’ occurs. It ends where Prior bibliographies begin, with a theologian–philosopher remaking himself as a philosopher theologian. Yet to understand the later Prior we need to understand his early life, thought and writing. This paper is an attempt to recover Prior’s early life and note his influences and talent in areas apart from tense logic. (shrink)

Sufficient texts show that for aristotle the universal notion expresses the same real thing as the particular, Though in a different way. His grounds for a universal so conceived are twofold. First, In every sensible thing there is a basic formal principle that, Though individual, Brings each instance into formal identity with all the other instances. Secondly, In human intellectual cognition there is an active principle that raises knowledge above the status of photographing or registering or cataloguing, And actualizes what (...) was only potential in the real thing. In knowing sensible things universally, The human intellect is able to grasp the concrete thing as characterized by a formal nature, Thereby knowing it in a way that holds equally for all other instances. Though patently incomplete, This conception of the universal is free from internal contradictions. It provides a framework for fruitful discussion, And remains a challenge. (shrink)

Redigee a Paris en 1673, editee pour la premiere fois en 1915, la Confessio philosophi presente la premiere formulation de ce qui deviendra un theme majeur, l'un des plus mal compris aussi par les critiques, de l'oeuvre de maturite. Dans sa Theodicee, Leibniz en rappellera lui-meme le sujet central: Un dialogue latin de ma facon, ou je mettais deja en fait que Dieu ayant choisi le plus parfait de tous les mondes possibles, avait ete porte par sa sagesse a permettre (...) le mal qui y etait annexe, mais qui n'empechait pas que tout compte et rabattu ce monde ne fut le meilleur qui put etre choisi. L' optimisme leibnizien s'exprime ici au plus pres de sa source religieuse; la justification de la realite reconnait l'ombre comme la contre-partie ineluctable de toute illumination. (shrink)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)