In philosophical part of Lab we discuss higher category theory and its repercussions in philosophy. More widely, the future entries on philosophy in nLab should also contain philosophy of mathematics in general, and of logic and foundations in particular. As it is usual for philosophy and the study of thought, it is usefully carried on via study of historical thinkers and their ideas, hence some idea-related aspects of the history of mathematics are welcome.
There are many articles which are not philosophy, but rather essays on general mathematics, and so on, often opinion pieces on what is important and so on. That is not philosophy per se, but it may be relevant thoughts and we could link them rather at related pages, like opinions on development of mathematics.
Philosophical interest in n-categories may be characterised as belonging to one of two kinds.
Illustrative of mathematics as intellectual enquiry: Such a reconstitution of the fundamental language of mathematics reveals much about mathematics as a tradition of enquiry stretching back several millennia, for instance, the continued willingness to reconsider basic concepts.
There ought to be a categorified logic, or 2-logic. There are some suggestions that existing work on modal logic is relevant. Blog discussion: I, II, III, IV. Mike Shulman’s project: 2-categorical logic.
Homotopy type theory may be thought of as a vertical categorification of logic to .
“Mathematical wisdom, if not forgotten, lives as an invariant of all its (re)presentations in a permanently self–renewing discourse.” (Yuri Manin)
To categorify mathematical constructions properly, one must have understood their essential features. This leads us to consider what it is to get concepts ‘right’. Which kind of ‘realism’ is suitable for mathematics? Which virtues should a mathematical community possess to further its ends: a knowledge of its history, close attention to instruction and the sharing of knowledge, a willingness to admit to what is currently lacking in its programmes?
Stewart Shapiro, The Oxford handbook of philosophy of mathematics and logic, Oxford University Press 2005
Albert Lautman, Mathematics, ideas and the physical real, 2011 translation by Simon B. Duffy; English edition of Les Mathématiques, les idées et le réel physique, Librairie Philosophique, J. VRIN, 2006
Michael D. Potter, Set theory and its philosophy: a critical introduction, Oxford Univ. Press 2004
Fernando Zalamea, Filosofía sintética de las matemáticas contemporáneas, (Spanish) Obra Selecta. Editorial Universidad Nacional de Colombia, Bogotá, 2009. 231 pp. MR2599170, ISBN: 978-958-719-206-3, pdf. Transl. into English by Zachary Luke Fraser: Synthetic philosophy of contemporary mathematics, Sep. 2011. bookpage. Some excerpts here.
George Lakoff, Rafael E. Núñez, Where mathematics comes from, Basic Books 2000, xviii+493 pp. MR2001i:00013
Yuri I. Manin, Mathematics as Metaphor: Selected Essays of Yuri Manin, Amer. Math. Soc. 2007
Ralf Krömer, Tool and object: A history and philosophy of category theory, Birkhäuser 2007
Jean-Pierre Marquis, From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory, Springer, 2008