In contributing a foreword to this book I am complying with a wish my husband expressed a few days before his death. He had completed the manuscript of this work, which may be considered a companion volume to his book Formal Methods. The task of seeing it through the press was undertaken by Mr. J. J. A. Mooij, acting director of the Institute for Research in Foundations and the Philosophy of Science (Instituut voor Grondslagenonderzoek en Filoso:fie der Exacte Wetenschappen) of the University of Amsterdam, with the help of Mrs. E. M. Barth, lecturer at the Institute. I wish to thank Mr. Mooij...

One of the controversial philosophical issues of recent years has been the question of the nature of logical and mathematical entities. Platonist or linguistic modes of explanation have become fashionable, whilst abstrac tionist and constructionist theories have ceased to be so. Beth and Piaget approach this problem in their book from two somewhat different points of view. Beth's approach is largely historico-critical, although he discusses the nature of heuristic thinking in mathematics, whilst that of Piaget is psycho-genetic. The major purpose of this introduction is to summarise some of...

The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical...

"Logic," one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell. The term "Formal Logic," following Kant is generally used to distinguish formal logical reasonings, precisely as formal, from the remaining universal truths based on reason. (Cf. SCHOLZ, 1931). A text-book example of a formal-logical inference which...

The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop ments. Such a work seems to me much needed, both because of the in trinsic value and increasing prominence of the nonstandard sector of logic, and because this particular sector is of the greatest interest from the standpoint of philosophical implications and applications. This book unites a series of studies in philosophical logic, drawing for the most part on material which I have...

The eminent philosopher of science Carl G. Hempel, Stuart Professor of Philosophy at Princeton University and a Past President of the American Philosophical Association, has had a long and distinguished academic career in the course of which he has been professorial mentor to some of America's most distinguished philosophers. This volume gathers together twelve original papers by Hempel's students and associates into a volume intended to do homage to Hempel on the occasion of his 65th year in 1970. The papers are grouped around the unifying topic of Hempel's own interests in logic and...

Of the four chapters in this book, the first two discuss (albeit in consider ably modified form) matters previously discussed in my papers 'On the Logic of Conditionals' 1] and 'Probability and the Logic of Conditionals' 2], while the last two present essentially new material. Chapter I is relatively informal and roughly parallels the first of the above papers in discussing the basic ideas of a probabilistic approach to the logic of the indicative conditional, according to which these constructions do not have truth values, but they do have probabilities (equal to conditional...

This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of...

This anthology consists of a collection of papers on the nature of dis positions and the role of disposition concepts in scientific theories. I have tried to make the collection as representative as possible, except that problems specifically connected with dispositions in various special sciences are relatively little discussed. Most of these articles have been previously published. The papers by Mackie, Essler and Trapp, Fetzer (in Section 11), Levi, and Tuomela appear here for the first time, and are simultaneously published in Synthese 34, No. 4, which is a special issue on dispositions....