1.  38
    Category Theory and Set Theory as Theories About Complementary Types of Universals.David P. Ellerman - 2016 - Logic and Logical Philosophy 2016:1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...)
    Direct download  
    Export citation  
    My bibliography  
  2.  22
    The Mereology of Structural Universals.Peter Forrest - 2016 - Logic and Logical Philosophy.
    This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of methane, and assuming classical mereology, argues against any purely mereological theory of structural universals. The problem is that being a methane molecule would have to contain being a hydrogen atom four times over, but mereology does not have the concept of the same part occurring several times. (...)
    Direct download (3 more)  
    Export citation  
    My bibliography  
 Previous issues
Next issues