Chapter

Higher‐order Logic

Stewart Shapiro

in The Oxford Handbook of Philosophy of Mathematics and Logic

Published in print March 2005 | ISBN: 9780195148770
Published online July 2005 | e-ISBN: 9780199835560 | DOI: http://dx.doi.org/10.1093/0195148770.003.0025

Series: Oxford Handbooks in Philosophy

Higher‐order Logic

Show Summary Details

Preview

This chapter provides an overview of second-order logic and higher-order logic generally. It provides the basic formal languages, deductive systems, and model-theoretic semantics, including a brief account of George Boolos’s interpretation of second-order languages in terms of the plural construction. It then goes into some of the arguments in favor of second-order logic.

Keywords: logic; second-order logic; higher-order logic; language; deductive system; model theory; semantics; Boolos; plural

Chapter.  12758 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.