During my 1st Year, 3rd Period of my M.Sc. Logic (UvA), I did a research project I want to pursue in the thin, though currently wider than ever, intersection between Philosophy of Science and Category Theory. I proposed this research project to both Dr. Enrico Cinti (researcher in Philosophy of Science at the ILLC and University of Geneva) and Prof. Benno van den Berg (lecturer of Category Theory (Lecture)), more on the bureaucratic state of the project can be found on the Structuralism & Categories (Supervisor’s Page), I will here mainly focus on its content and relation with my past work.
The current updated version of the project can be found here: Overleaf: S&C Main.
In this page I present the general procedure that led me to the writing of the project, I start by presenting the Main Literature References, and by outlining the Calendar I follow for the reading and writing phases.
Main Literature References
I organise the reading so that there will be an open dialogue with a little group of other students of the M.Sc. Logic (UvA) who are planning to do research in this field.
- Structuralism:
- SEP: Structural Realism, Ladyman
- Additional: SEP: Structuralism in Physics
- Additional for Mathematicians: Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology
- Additional: Horsten, L. (2010), Having an Interpretation
- SEP: Structural Realism, Ladyman
- Syntactic & Semantic View on theories:
- Theoretical Equivalence:
- Categorical Structuralism & Morita Equivalence: