Outline of an Introduction to Mathematical Logic I

Extract

This is the first of (presumably) three articles on the subject mentioned in the title. The exposition is based on a course of fifteen lectures which formed part of the Edmonton (1957) Seminar of the Canadian Mathematical Congress. Limitations of space (and, originally, of time) compel us to be selective in two directions. First, while we shall refer to other branches of logic in passing, we shall be concerned principally with the two fundamental calculi - of propositions and of predicates (of the first order). Thus, except for a number of modern developments which are included here, our exposition will be similar in scope, though not in detail, to the first and third chapters of the well-known "Principles of Mathematical Logic" by D. Hilbert and W. Ackermann (English translation, Chelsea, New York, 1950) and this was in fact the recommended text for the Edmonton course. However, there exists a growing number of other good introductions to the field and some of these will be listed later.