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.
Synthese spans the topics of Epistemology, Methodology and Philosophy of Science. Coverage includes the theory of knowledge; general methodological problems of science, of induction and probability, of causation and the role of mathematics, statistics and logic in science; and the methodological and foundational problems of different sciences. The journal explores symbolic logic and foundations of mathematics relevant to the philosophy and methodology of science; and those facets of the ethics, history and sociology of science which are important for contemporary topical pursuits. The journal focuses on the role of mathematical, logical and linguistic methods in the general methodology of science and the foundations of different sciences. The journal includes a section on Knowledge, Rationality and Action as a platform for researchers. The scope of Knowledge, Rationality and Action is interdisciplinary: it will be of interest to researchers in the fields of artificial intelligence, agents, computer science, knowledge representation, game theory, economics, logic, philosophy, mathematics, cognitive science, cryptography, and auction theory, as well as to application specialists using formal and mathematical methods and tools.
Springer is one of the leading international scientific publishing companies, publishing over 1,200 journals and more than 3,000 new books annually, covering a wide range of subjects including biomedicine and the life sciences, clinical medicine, physics, engineering, mathematics, computer sciences, and economics.