%0 Book Section %1 vanBenthem2001higher %A Van Benthem, Johan %A Doets, Kees %B Handbook of Philosophical Logic %C Dordrecht %D 2001 %E Gabbay, D. M. %E Guenthner, F. %I Springer Netherlands %K higher logic order %P 189--243 %R 10.1007/978-94-015-9833-0_3 %T Higher-Order Logic %U https://doi.org/10.1007/978-94-015-9833-0_3 %X 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 first-order logic came as a surprise to many logicians in the sixties. %@ 978-94-015-9833-0

@inbook{vanBenthem2001higher, 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{\"o}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 first-order logic came as a surprise to many logicians in the sixties.}, added-at = {2018-05-19T10:29:14.000+0200}, address = {Dordrecht}, author = {Van Benthem, Johan and Doets, Kees}, biburl = {https://www.bibsonomy.org/bibtex/29c53b72430bbbb37a3d607fa3e861c69/uk044140}, booktitle = {Handbook of Philosophical Logic}, description = {Higher-Order Logic | SpringerLink}, doi = {10.1007/978-94-015-9833-0_3}, editor = {Gabbay, D. M. and Guenthner, F.}, interhash = {db0fb17a46af92f091cd1c4b4ac4c29f}, intrahash = {9c53b72430bbbb37a3d607fa3e861c69}, isbn = {978-94-015-9833-0}, keywords = {higher logic order}, pages = {189--243}, publisher = {Springer Netherlands}, timestamp = {2018-05-19T10:29:14.000+0200}, title = {Higher-Order Logic}, url = {https://doi.org/10.1007/978-94-015-9833-0_3}, year = 2001 }