Article

Taking Stock: Hale, Heck, and Wright on Neo-Logicism and Higher-Order Logic

Citation

Wright C (2021) Taking Stock: Hale, Heck, and Wright on Neo-Logicism and Higher-Order Logic. Philosophia Mathematica, 29 (3), pp. 392-416. https://doi.org/10.1093/philmat/nkab017

Abstract
Four philosophical concerns about higher-order logic in general and the specific demands placed on it by the neo-logicist project are distinguished. The paper critically reviews recent responses to these concerns by, respectively, the late Bob Hale, Richard Kimberly Heck, and myself. It is argued that these score some successes. The main aim of the paper, however, is to argue that the most serious objection to the applications of higher-order logic required by the neo-logicist project has not been properly understood. The paper concludes by outlining a strategy, prefigured in recent work of Øystein Linnebo, for meeting this objection.

Journal
Philosophia Mathematica: Volume 29, Issue 3

StatusPublished
Publication date31/10/2021
Publication date online15/07/2021
Date accepted by journal15/07/2021
URLhttp://hdl.handle.net/1893/33546
ISSN0031-8019
eISSN1744-6406