Higher-order logic or set theory: a false dilemma

Stewart Shapiro

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)

Abstract

The purpose of this article is show that second-order logic, as understood through standard semantics, is intimately bound up with set theory, or some other general theory of interpretations, structures, or whatever. Contra Quine, this does not disqualify second-order logic from its role in foundational studies. To wax Quinean, why should there be a sharp border separating mathematics from logic, especially the logic of mathematics?
Original languageEnglish
Pages (from-to)305-323
JournalPhilosophia Mathematica
Volume20
Issue number3
Early online date9 Feb 2012
DOIs
Publication statusPublished - Oct 2012

Fingerprint

Dive into the research topics of 'Higher-order logic or set theory: a false dilemma'. Together they form a unique fingerprint.

Cite this