Johan van benthem and kees doets higher-order logic
JOHAN VAN BENTHEM,KEES DOETS
2009-01-01
Abstract:What is nowadays the central part of any introduction to logic, and indeed to some the logical theory par excellence, used to be a modest fragment of the more ambitious language employed in the logicist program of Frege and Russell. ‘Elementary’ or ‘first-order’, or ‘predicate logic’ only became a recognized stable base for logical theory by 1930, when its interesting and fruitful meta-properties had become clear, such as completeness, compactness and Löwenheim-Skolem. Richer higher-order and type theories receded into the background, to such an extent that the (re-) discovery of useful and interesting extensions and variations upon firstorder logic came as a surprise to many logicians in the sixties. In this chapter, we shall first take a general look at first-order logic, its properties, limitations, and possible extensions, in the perspective of so-called ‘abstract model theory’. Some characterizations of this basic system are found in the process, due to Lindström, Keisler-Shelah and Fraı̈ssé. Then, we go on to consider the original mother theory, of which first-order logic was the elementary part, starting from second-order logic and arriving at Russell’s theory of finite types. As will be observed repeatedly, a border has been crossed here with the domain of set theory; and we proceed, as Quine has warned us again and again, at our own peril. Nevertheless, first-order logic has a vengeance. In the end, it turns out that higher-order logic can be viewed from an elementary perspective again, and we shall derive various insights from the resulting semantics. Before pushing off, however, we have a final remark about possible pretensions of what is to follow. Unlike first-order logic and some of its less baroque extensions, second and higher-order logic have no coherent well-established theory; the existent material consisting merely of scattered remarks quite diverse with respect to character and origin. As the time available for the present enterprise was rather limited (to say the least) the authors do not therefore make any claims as to complete coverage of the relevant literature.