Higher set theory and mathematical practice

Annals of Mathematical Logic 2 (3):325 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(71)90018-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Higher type categories.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):251-254.
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Scientific Practice and Epistemic Modes of Existence.Jeff Kochan - 2015 - In Dimitri Ginev (ed.), Debating Cognitive Existentialism: Values and Orientations in Hermeneutic Philosophy of Science. Leiden: Brill. pp. 95-106.
Developments in Research on Mathematical Practice and Cognition.Alison Pease, Markus Guhe & Alan Smaill - 2013 - Topics in Cognitive Science 5 (2):224-230.
Conceptual Metaphors and Mathematical Practice: On Cognitive Studies of Historical Developments in Mathematics.Dirk Schlimm - 2013 - Topics in Cognitive Science 5 (2):283-298.
Criteria of identity and the hermeneutic goal of ante rem structuralism.Scott Normand - 2018 - Synthese 195 (5):2141-2153.
Mathematical Problem-Solving and Ontology: An Exercise. [REVIEW]Richard Tieszen - 2010 - Axiomathes 20 (2-3):295-312.
Mathematics in Kant's Critical Philosophy: Reflections on Mathematical Practice.Lisa Shabel - 2002 - New York: Routledge.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Proofs, Mathematical Practice and Argumentation.Begoña Carrascal - 2015 - Argumentation 29 (3):305-324.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Handling mathematical objects: representations and context.Jessica Carter - 2013 - Synthese 190 (17):3983-3999.
A Consistent Higher‐Order Theory Without a (Higher‐Order) Model.Thomas Forster - 1989 - Mathematical Logic Quarterly 35 (5):385-386.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.

Analytics

Added to PP
2014-01-17

Downloads
26 (#596,950)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.

View all 41 citations / Add more citations

References found in this work

The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.
The Problem of Predicativity.J. R. Shoenfield - 1969 - Journal of Symbolic Logic 34 (3):515-515.

Add more references