From absolute to local mathematics

Synthese 69 (3):409 - 426 (1986)
  Copy   BIBTEX

Abstract

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

Categories

Keywords

Reprint years

DOI

10.1007/bf00413980

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

Redukcje ontologiczne w matematyce. Część I.Krzysztof Wójtowicz - 2008 - Filozofia Nauki 3.
Category-Theoretic Realism: A Linguistic Approach to the Philosophy of Mathematics.Elaine Marie Landry - 1998 - Dissertation, The University of Western Ontario (Canada)
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
On the self-predicative universals of category theory.David Ellerman - manuscript
Categories without Structures.Andrei Rodin - 2011 - Philosophia Mathematica 19 (1):20-46.
Where Do the Cardinal Numbers Come From?Harold T. Hodes - 1990 - Synthese 84 (3):347-407.
On Concrete Universals: A Modern Treatment using Category Theory.David Ellerman - 2014 - AL-Mukhatabat.
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknown
Elementary Categories, Elementary Toposes.Colin McLarty - 1991 - Oxford, England: Oxford University Press.
Review: J. L. Bell, Toposes and Local Set Theories. An Introduction. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.

Analytics

Added to PP
2009-01-28

Downloads
144 (#133,770)

6 months
8 (#415,230)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.

View all 44 citations / Add more citations

References found in this work

The unreasonable effectiveness of mathematics in the natural sciences.Eugene Wigner - 1960 - Communications in Pure and Applied Mathematics 13:1-14.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Two applications of logic to mathematics.Gaisi Takeuti - 1978 - [Princeton, N.J.]: Princeton University Press.
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.

View all 14 references / Add more references