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)

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)

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)

Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of quantification, the nature of propositions and (...) the history of logic. In addition, he discussed questions of ethics, free will, and general theology. Prior’s philosophical works comprise about 200 titles. His earliest articles center on philosophical theology and historical studies of Scottish Reformed Theology. This led on to the publication of his first influential work on ethics: Logic and The Basis of Ethics (1949). With the invention of tense-logic in the early 1950s, his focus shifted to investigations into the syntax of tempo-modal logic leading to his seminal Time and Modality (1957), a volume derived from his John Locke Lectures in Oxford in 1956. Furthermore Prior, together with the Irish mathematician and logician C.A. Meredith (1904-76), made important early contributions to the semantics of possible worlds. Prior’s tense-logic provided a strong conceptual framework for problems pertaining to the philosophy of time. In Time and Modality, Prior discussed the philosophical implications of Ruth Barcan’s famous formulae for tense-logic, and in the 1960s he worked on the notion of the present. The most persistent problem running through Prior’s work is his study of the questions surrounding human freedom and divine foreknowledge, and more general philosophical problems emerging from this classical theological question. His thorough analysis of this problem, with the conceptual tools of tense-logic, received a crucial impetus from his correspondence with the young Saul Kripke, when the latter suggested the semantic tool of branching time to Prior. Prior’s development of two solutions based on branching time for the problem of future contingency, the Peircean and the Ockham solution, was most thoroughly developed in Past, Present and Future (1967), the most important work published by Prior. Characteristically for Prior’s methodological approach, the development of these two solutions were at the same time a development of two new systems of tense logic, and vice versa. One of Prior’s significant contributions to logic was his work on world propositions and instant propositions. In the course of developing these notions he also made one of the earliest formulations of hybrid logic. In Papers on Time and Tense (1968), he presented this idea in a more detailed manner in the context of his four grades of tense-logical involvement. (shrink)

Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95, £31.95 G. Pr...

This chapter talks about the power of music, how characters in South Park use it in telling stories, and how music conveys ideas in the context of Western philosophy. But South Park does raise questions about music that philosophers— particularly Plato—have dealt with again and again. Despite their flaws, these Greek thinkers' views were instrumental to asking questions about music's impact (often referred to as ethos), its mathematical properties in relation to the universe, and how these two aspects interact with (...) one another. Phil Collins and Asia may not survive history's merciless aesthetic filter, just as the aulos instrument vanished long ago, but where the underlying philosophy is concerned, the issues are timeless. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:NEWMAN'S PSYCHOLOGICAL DISCOVERY: THE ILLATIVE SENSE (Continued) VI THE FACULTIES OF COGNITION AND APPETITION Since the Grammar of Assent gives us a phenorhenological analysis of the art of thinking and often refers to the influence of other faculties in our reasoning processes, it will be very instructive to examine what the author holds about our faculties of cognition and appetition. This will make us better acquainted with the nature (...) of the illative sense. I. THE SENSES 1. The External Senses and their Objects. We had already arrived at the conclusion that Newman rejects the mere subjectivity of our knowledge. When he writes about this matter he explicitly deals with sensation or sensuous cognition. Although he takes exception to the word "immediate perception," 1 we may nevertheless call him an adherent of direct or immediate realism according to Scholastic terminology, because he emphatically excludes the intervention of a reasoning process from sense perception and uses the term "mediate perception" only to express the instrumentality of experience. In this meaning our perception of external objects is mediate or indirect indeed.2 The fact is that as early as 1839 he wrote in his University Sermons: "Of the material we have direct knowledge through the senses"3 and in 1843: "The senses are direct, immediate, and ordinary informants, and act spontaneously without any will or effort on our part."4 On the importance of sense perception for our mental activities he writes in a series of hitherto unpublished notes, entitled Elements of Thought:6 "I grant or I assume that the soul would not think without some external stimulus; that if it were cut off from all communication from the external world, it would pass this life in a sort of torpor... But then, as soon as it is roused, it reflects upon itself, and thereby gains a number of ideas..." 1. See supra V, 14.2. Supra V, 14.3. P. 205. 4.P. 303 ; cf. Gramm., p. 260. 5.See the unpublished Philosophical Papers, note Fcbr. 24, 1859. 40 DR. ZENO, OJM. CAP.41 Apart from the passages already referred to, Newman nowhere enlarges on the doctrine about the senses. He does not speak about the distinctions between sensible objects; he does not explain the difference between sensation and perception, and uses those terms promiscuously.6 There are no statements on the subject which contradict current Scholastic notions, although sometimes his vague terminology may be an occasion for misunderstandings. For instance, some passages in connection with "images" and "impressions," when read apart from the context, would appear to imply that he identifies them with the Scholastic species a sensibili accepta. However, we shall show further on that. Newman means something quite different. He deals with these species and the so-called sensibilia per acci· dens by the way when describing our knowledge of God7 and teaching that we have evidence of the presence of individuals or substances in the phenomena which occur to our senses. We picture those things to ourselves in those phenomena. They are like pictures, he says, but at the same time "they give us no exact measure or character of the unknown things beyond them." "Therefore when we speak of our having a picture of the things which are perceived through the senses, we mean a certain representation, true as far as it goes, but not adequate." 2. The Internal Senses and their Objects. Newman nowhere gives a distinction between external and internal senses, but nevertheless he speaks about those faculties of the mind which by the Scholastics are called the internal senses. These philosophers distinguish a common sense or rather a central sense (sensus communis), which unites the impressions of the external senses into one whole, makes us conscious of the conditions of our body and notifies to us the sensations of our external as well as internal senses; — the imagination or the faculty which preserves and reproduces things perceived; — the sensuous memory, i. e., the power to retain and to reproduce sense images; — and the vis aestimativa or the instinctive faculty, which discovers without any intellectual means, what is good and what is bad for our welfare. 6.It would seem that he generally... (shrink)

The problem of the psychological unconscious has a history of many centuries. Some investigators seek to demonstrate the existence of the unconscious, and others deny it. Fundamental differences exist with respect to the nature of the psychological unconscious even among proponents of that hypothesis. In recent decades interest in the problem of the unconscious has grown substantially in our country. An extensive literature devoted to this subject has appeared in which discussion centers principally on the significance of the psychological unconscious (...) in various spheres of human activity. However, little attention is given in those works to making clear the specifics, the patterns, and the forms in which the unconscious is manifested. Virtually nothing is said about the techniques by which we penetrate the realm of the psychological unconscious, how we achieve knowledge of it, and what the psychological relationship is between the consciousness and the unconscious. (shrink)

We present a decision procedure for the ∀∃ theory of the lattice of Σ1 sentences of Peano Arithmetic.