Book contents
- Frontmatter
- Preface to the Series Perspectives in Mathematical Logic
- Preface
- Contents
- List of Contributors
- Part A Introduction, Basic Theory and Examples
- Part B Finitary Languages with Additional Quantifiers
- Part C Infinitary Languages
- Part D Second-Order Logic
- Part E Logics of Topology and Analysis
- Part F Advanced Topics in Abstract Model Theory
- Bibliography
Preface to the Series Perspectives in Mathematical Logic
Published online by Cambridge University Press: 31 March 2017
- Frontmatter
- Preface to the Series Perspectives in Mathematical Logic
- Preface
- Contents
- List of Contributors
- Part A Introduction, Basic Theory and Examples
- Part B Finitary Languages with Additional Quantifiers
- Part C Infinitary Languages
- Part D Second-Order Logic
- Part E Logics of Topology and Analysis
- Part F Advanced Topics in Abstract Model Theory
- Bibliography
Summary
On Perspectives. Mathematical logic arose from a concern with the nature and the limits of rational or mathematical thought, and from a desire to systematize the modes of its expression. The pioneering investigations were diverse and largely autonomous. As time passed, and more particularly in the last two decades, interconnections between different lines of research and links with other branches of mathematics proliferated. The subject is now both rich and varied. It is the aim of the series to provide, as it were, maps or guides to this complex terrain. We shall not aim at encyclopaedic coverage; nor do we wish to prescribe, like Euclid, a definitive version of the elements of the subject. We are not committed to any particular philosophical programme. Nevertheless we have tried by critical discussion to ensure that each book represents a coherent line of thought, and that, by developing certain themes, it will be of greater interest than a mere assemblage of results and techniques.
The books in the series differ in level: some are introductory, some highly specialized. They also differ in scope: some offer a wide view of an area, others present a single line of thought. Each book is, at its own level, reasonably self-contained. Although no book depends on another as prerequisite, we have encouraged authors to fit their book in with other planned volumes, sometimes deliberately seeking coverage of the same material from different points of view. We have tried to attain a reasonable degree of uniformity of notation and arrangement. However, the books in the series are written by individual authors, not by the group. Plans for books are discussed and argued about at length. Later, encouragement is given and revisions suggested. But it is the authors who do the work; if, as we hope, the series proves of value, the credit will be theirs.
History of the Q-Group. During 1968 the idea of an integrated series of monographs on mathematical logic was first mooted.Various discussions led to a meeting at Oberwolfach in the spring of 1969. Here the founding members of the group (R. O. Gandy, A. Levy, G. H. Muller, G. E. Sacks, D. S. Scott) discussed the project in earnest and decided to go ahead with it.
- Type
- Chapter
- Information
- Model-Theoretic Logics , pp. v - viPublisher: Cambridge University PressPrint publication year: 2017