Modal propositional logic; Modal predicate logic; A survey of modal logic.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (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)

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...) temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted (...) for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields. (shrink)

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...) with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)

Originally published in 1993, Modalities in Medieval Philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains. The book examines how this emerged in early medieval discussions and addresses how it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. A detailed account is given of (...) late medieval discussions of the new modal logic, epistemic logic, and the logic norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will be of considerable interest to historians of philosophy and ideas and philosophers of logic and metaphysics. (shrink)

In this article, I defend the thesis that selfishness and altruism can be intrapersonal. In doing so, I argue that the notions of intrapersonal altruism and selfishness usefully pick out behavioural patterns and have predictive..

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)

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.

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)

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.

The Student Book audio CDs and cassettes feature all of the listening activities.