Article

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 | | DOI: http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025

Series: Oxford Handbooks

Higher‐order Logic

More Like This

Show all results sharing these subjects:

  • Philosophy
  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

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.  13039 words. 

Subjects: Philosophy ; 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.