Prior - Böcker

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.

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.

This is a new edition, revised and expanded, 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. His work has attracted increased attention in the decades since his death: its influence stretches beyond philosophy and logic to computer science and formal linguistics. Prior's fundamental ideas about the logic of time are presented here along with his investigations into the formal properties of time and tense. Already in 1969 Prior had been planning a new edition of Papers on Time and Tense, to incorporate his more recent work. Because of his untimely death this plan was never followed through-till now. Seven important papers have been added to the original selection, as well as a comprehensive bibliography of his work and an illuminating interview with his widow, Mary Prior, about his life and work. In addition, the Polish logic which made the original book difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.