Higher-order logic
The work
| Authors | Johan van Benthem; Kees Doets |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1983 |
| Citekey | benthem1983higher |
Where it appeared
| Published in | Handbook of philosophical logic |
|---|---|
| Publisher | Springer |
| Pages | 275--329 |
Identifiers
| DOI | 10.1007/978-94-009-7066-3_4 |
|---|---|
| OpenAlex | W2037987389 |
Access
| Landing page | https://doi.org/10.1007/978-94-009-7066-3_4 |
|---|
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 Lowenheim-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 first-order logic came as a surprise to many logicians in the sixties.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 16:14 UTC |
Filed under
Cite it as
@incollection{benthem1983higher,
title = {Higher-order logic},
author = {Johan van Benthem and Kees Doets},
year = {1983},
booktitle = {Handbook of philosophical logic},
publisher = {Springer},
pages = {275--329},
doi = {10.1007/978-94-009-7066-3_4},
}
This record lives at https://refs.drheap.org/benthem1983higher/ and will keep doing so.