Pulse Explorar nav.journalClub Debates Tendencias Investigadores

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

Download on theApp Store

Inicio Explorar nav.journalClub Tendencias

⌘+K

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

January 1, 1994

Ver artículo completo

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

GSGila SherUnited States Army Medical Command SSStewart ShapiroThe Ohio State University

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

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.

Preguntar a la IA

Me gusta

Guardar

Compartir

Ver artículo completo

Cite This Study

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

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

Preguntar a la IA

Me gusta

Guardar

Compartir

Ver artículo completo