Higher‐order Logic Reconsidered

Ignacio Jané

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 Reconsidered

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic


Show Summary Details


This article discusses canonical (i.e., full, or standard) second-order consequence and argues against it being a case of logical consequence. The discussion is divided into three parts. The first part comprises the first three sections. After stating the problem in Section 1, Sections 2 and 3 examine the role that the consequence relation is expected to play in axiomatic theories. This leads to put forward two requirements on logical consequence, which are called “formality” and “noninterference.” It is this last requirement that canonical second-order consequence violates, as the article sets out to substantiate. The fourth section argues that canonical second-order logic is inadequate for axiomatizing set theory, on the grounds that it codes a significant amount of set-theoretical content.

Keywords: higher-order logic; second-order consequence; logical consequence; axiomatic theories; formality; noninterference; set-theoretical content

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