Pulse Explore Journal Club Debates Trending Researchers

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Home Explore Journal Club Trending

⌘+K

Foundations without Foundationalism: A Case for Second-Order Logic. | Synapse

January 1, 1994

View Full Paper

Foundations without Foundationalism: A Case for Second-Order Logic.

GSGila SherUnited States Army Medical Command SSStewart ShapiroThe Ohio State University

Key Points

Key points are not available for this paper at this time.

Abstract

PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PART III: HISTORY AND PHILOSOPHY The historical triumph of first-order languages Second-order logic and rule-following The competition Index.

Ask AI

Helpful

Bookmark

Share

View Full Paper

Cite This Study

Sher et al. (Sat,) studied this question.

synapsesocial.com/papers/6a231aff60df91063a16f1b1 https://doi.org/https://doi.org/10.2307/2185879

Ask AI

Helpful

Bookmark

Share

View Full Paper