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 ...

Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

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.

In a pair of very important papers, namely “Space, Time and Individuals” in the Journal of Philosophy for October 1955 and “The Indestructibility and Immutability of Substances” in Philosophical Studies for April 1956, Professor N. L. Wilson began something which badly needed beginning, namely the construction of a logically rigorous “substance-language” in which we talk about enduring and changing individuals as we do in common speech, as opposed to the “space-time” language favoured by very many mathematical logicians, perhaps most notably (...) by Quine. This enterprise of Wilson's is one with which I could hardly sympathize more heartily than I do; and one wishes for this logically rigorous “substance-language” not only when one is reading Quine but also when one is reading many other people. How fantastic it is, for instance, that Kotarbinski1 should call his metaphysics “Reism” when the very last kind of entity it has room for is things —instead of them it just has the world-lines or life-histories of things; “fourdimensional worms”, as Wilson says. Wilson, moreover, has at least one point of superiority to another rebel against space-time talk, P. F. Strawson; namely he does seriously attempt to meet formalism with formalism—to show that logical rigour is not a monopoly of the other side. At another point, however, Strawson seems to me to see further than Wilson; he is aware that substance-talk cannot be carried on without tenses, whereas Wilson tries to do without them. Wilson, in short, has indeed brought us out of Egypt; but as yet has us still wandering about the Sinai Peninsula; the Promised Land is a little further on than he has taken us. (shrink)

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which (...) made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

This is the text of The Lindley Lecture for 1962, given by Arthur N. Prior (1914-1969).

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made (...) Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

WHAT do we mean by saying that a being, God for example, is omniscient? One way of answering this question is to translate ‘God is omniscient’ into some slightly more formalised language than colloquial English, e.g. one with variables of a number of different types, including variables replaceable by statements, and quantifiers binding thes.

This book discusses and aims to clarify the issue of describing conduct and character as ‘good’ or ‘bad’, or as ‘right’ or ‘wrong’. The book states that one of the main factors that have made this issue obscure is the illusion of some anti-naturalists that purely logical considerations can settle it. It clearly defines the limitations of the discussions: it is not concerned with the ‘other things’ people use to define conduct and character. The book attempts to consider the issue (...) from the purely logician point of view and suggests to the naturalists and anti-naturalists how their positions may be freed from logical faults. The book also introduces the ‘logic of ethics’, which is not a special kind or branch of logic, but rather an application of it. (shrink)

This book discusses and aims to clarify the issue of describing conduct and character as ‘good’ or ‘bad’, or as ‘right’ or ‘wrong’. The book states that one of the main factors that have made this issue obscure is the illusion of some anti-naturalists that purely logical considerations can settle it. It clearly defines the limitations of the discussions: it is not concerned with the ‘other things’ people use to define conduct and character. The book attempts to consider the issue (...) from the purely logician point of view and suggests to the naturalists and anti-naturalists how their positions may be freed from logical faults. The book also introduces the ‘logic of ethics’, which is not a special kind or branch of logic, but rather an application of it. (shrink)

We can best begin from Wilson's "simple little puzzle" about Caesar and Antony: "What would the world be like if Julius Caesar had all the properties of Mark Antony and Mark Antony had all the properties of Julius Caesar?" Wilson's own approach to an answer is indirect--he begins by telling us not what such a world would be like but what it would look like. "Clearly the world would look exactly the same under our supposition." But this assumes that the (...) question "What would such a world look like?" is a proper one; which it surely is not. For his answer to it is meaningless until he specifies to whom this supposed world would look as he says it would. It would look exactly the same to him or to me; but would it have looked the same to Caesar or to Antony? In fact Julius Caesar had the experiences of being called "Julius Caesar," being murdered on the Ides of March, and so on, and these are very different experiences from being called "Mark Antony," dallying on the Nile with Cleopatra, and so on; so I don't see how this alternative course of events could possibly have looked the same to Julius Caesar; or--using a similar line of argument--to Mark Antony. So I cannot agree that, as Wilson goes on to say, "our attempt to describe a distinct possible world has produced just the same old world all over again." I am not, indeed, convinced that even a world which looked to everyone just as the actual one does would necessarily be the same world ; but even putting this doubt aside, since the world mentioned wouldn't look to everyone as the actual world does, it wouldn't be the same even by Wilson's own standards. (shrink)