In addition to a somewhat detailed exposition of certain portions of what may be called the book-work of formal logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes. In the expository portions of Parts I, II, and III, dealing respectively with terms, propositions, and syllogisms, the traditional lines are in the main followed, though with certain modifications; e.g., in the systematisation (...) of immediate inferences, and in several points of detail in connexion with the syllogism. For purposes of illustration Euler's diagrams are employed to a greater extent than is usual in English manuals. In Part IV, which contains a generalisation of logical processes in their application to complex inferences, a somewhat new departure is taken. So far as I am aware this part constitutes the first systematic attempt that has been made to deal with formal reasonings of the most complicated character without the aid of mathematical or other symbols of operation, and without abandoning the ordinary non-equational or predicative form of proposition. This attempt has on the whole met with greater success than I had anticipated; and I believe that the methods formulated will be found to be both as easy and as effective as the symbolical methods of Boole and his followers. The book concludes with a general and sure method of solution of what Professor Jevons called the inverse problem, and which he himself seemed to regard as soluble only by a series of guesses. (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.

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...) upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject. (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)

Studies in modal notions, such as necessity, possibility or impossibility, have always played an important role in philosophical analysis. The history of these conceptions is a fascinating story of a variety of assumptions which have given shape to one part of rational discourse. A typical modern approach to modality is codified in what is generally known as possible worlds semantics. According to this view, necessity refers to what is actual in any alternative state of affairs, possibility to what is actual (...) in some, and impossibility to what is not actual in any alternative domain. The idea of spelling out the meaning of modal terms with the synchronic alternatives hardly occurred at all in ancient thinkers. They did not draw any sharp distinction between conceptual and real modalities and they were inclined to think that all generic possibilities must prove their mettle through actualization. Why and when did ancient modal conceptions and the modes of thought based on them lose their dominance? The main thesis of this book is that the idea of modality as multiplicity of reference with respect to alternative domains emerged in early medieval discussions and that 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 paradigms and attempts to apply them to modal logic, epistemic logic, and the logic of norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will thus be of considerable interest to historians of philosophy and ideas, and philosophers of intensional logic and metaphysics. (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.

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)

Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning. Parts 1 and 2 set out a class of formal languages and their semantics. Parts 3 and 4 show that these (...) formal languages are rich enought to be used in the precise description of natural languages. Appendices describe some of the concepts discussed in the text. (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.

The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.

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)

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)

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.