Authors
Jean-Pierre Marquis
Université de Montréal
Abstract
Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood.
Keywords categorical logic  logic  philosophy  structuralism
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.

View all 32 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Modal Structuralism Simplified.Sharon Berry - 2018 - Canadian Journal of Philosophy 48 (2):200-222.
What We Talk About When We Talk About Numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.
Modal Structuralism and Theism.Silvia Jonas - forthcoming - In Fiona Ellis (ed.), New Models of Religious Understanding. Oxford: Oxford University Press.
Forms of Structuralism: Bourbaki and the Philosophers.Jean-Pierre Marquis - 2020 - Structures Meres, Semantics, Mathematics, and Cognitive Science.
The Structuralist Ontology of Mathematics: A Brief Introduction.Iris Merkač - 2013 - Balkan Journal of Philosophy 5 (1):87-102.
Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis.Geoffrey Hellman - 2006 - Journal of Philosophical Logic 35 (6):621-651.
The Identity Problem for Realist Structuralism.J. Keranen - 2001 - Philosophia Mathematica 9 (3):308--330.
Category Theory and Mathematical Structuralism.Andrei Rodin - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:37-40.
Mathematical Structuralism Today.Julian C. Cole - 2010 - Philosophy Compass 5 (8):689-699.
What We Talk About When We Talk About Numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.

Analytics

Added to PP index
2020-12-31

Total views
62 ( #167,837 of 2,439,394 )

Recent downloads (6 months)
53 ( #13,281 of 2,439,394 )

How can I increase my downloads?

Downloads

My notes