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.

AC and the Independence of WO in Second-Order Henkin Logic, Part I

AC and the Independence of WO in Second-Order Henkin Logic, Part II

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic

Relationships between Principles of Choice in Second-Order Henkin Structures

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Multi-level Nonstandard Analysis and the Axiom of Choice

Hindman's Theorem in the hierarchy of Choice Principles

Explanation of Independence

Permutation Models of Second Order

Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic

Axiomatic Theory of Independence Relations in Model Theory

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Noetherian theories

The Axiom of Choice and Its Influence on LLM Hallucinations: An Exploration

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Apartness relations between propositions

On Separating Wholeness Axioms

Partition models, Permutations of infinite sets without fixed points, and weak forms of AC

Johan van benthem and kees doets higher-order logic

Reasoning with Higher-Order Abstract Syntax in a Logical Framework