Switch to: References

Add citations

You must login to add citations.
  1. Structural Universals as Structural Parts: Toward a General Theory of Parthood and Composition.Thomas Mormann - 2010 - Axiomathes 20 (2-3):229 - 253.
    David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and his followers (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.
    In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the axiom (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   10 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  
  • What the Tortoise Said to Achilles: Lewis Carroll’s paradox in terms of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•