Switch to: References

Citations of:

What is categorical structuralism?

In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161 (2006)

Add citations

You must login to add citations.
  1. Warum die Mathematik keine ontologische Grundlegung braucht.Simon Friederich - 2014 - Wittgenstein-Studien 5 (1).
    Einer weit verbreiteten Auffassung zufolge ist es eine zentrale Aufgabe der Philosophie der Mathematik, eine ontologische Grundlegung der Mathematik zu formulieren: eine philosophische Theorie darüber, ob mathematische Sätze wirklich wahr sind und ob mathematischen Gegenstände wirklich existieren. Der vorliegende Text entwickelt eine Sichtweise, der zufolge diese Auffassung auf einem Missverständnis beruht. Hierzu wird zunächst der Grundgedanke der Hilbert'schen axiomatischen Methode orgestellt, die Axiome als implizite Definitionen der in ihnen enthaltenen Begriffe zu behandeln. Anschließend wird in Anlehnung an einen Wittgenstein'schen Gedanken (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Structuralism and Meta-Mathematics.Simon Friederich - 2010 - Erkenntnis 73 (1):67 - 81.
    The debate on structuralism in the philosophy of mathematics has brought into focus a question about the status of meta-mathematics. It has been raised by Shapiro (2005), where he compares the ongoing discussion on structuralism in category theory to the Frege-Hilbert controversy on axiomatic systems. Shapiro outlines an answer according to which meta-mathematics is understood in structural terms and one according to which it is not. He finds both options viable and does not seem to prefer one over the other. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Teoria kategorii i niektóre jej logiczne aspekty (Category theory and some of its logical aspects).Mariusz Stopa - 2018 - Philosophical Problems in Science 64:7-58.
    [The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation