Higher‐order Logic

Stewart Shapiro

in The Oxford Handbook of Philosophy of Mathematics and Logic

Published in print June 2007 | ISBN: 9780195325928
Published online September 2009 | e-ISBN: 9780199892082 | DOI:

Series: Oxford Handbooks

Higher‐order Logic

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic


Show Summary Details


The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that. It develops the syntax of second-order languages and present typical deductive systems and model-theoretic semantics for them. This will help to explain the role of higher-order logic in the philosophy of mathematics. It is assumed that the reader has at least a passing familiarity with the theory and metatheory of first-order logic.

Keywords: higher-order logic; second-order logic; first-order logic; second-order languages; deductive systems; model-theoretic semantics

Article.  13943 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.