Varios filósofos han propuesto un enfoque “algebraico” de los universales de acuerdo con el cual hay operaciones de universales a universales. No es obvio, sin embargo, cómo estas operaciones deban ser interpretadas y qué impacto tengan para las condiciones de identidad de los universales. Hay dos interpretaciones principales del álgebra de universales. Por una parte, se ha interpretado como formas de “construir” universales complejos. Por otra, ha sido interpretada como “morfismos” o “mapeos” entre universales, pero no como algo que “construye” (...) universales complejos desde otros más básicos. En este trabajo se evalúan las ventajas comparativas de las dos concepciones, y se ofrecen razones para preferir la segunda. (shrink)

In , Frank Ramsey separates paradoxes into two groups, now taken to be the logical and the semantical. But he also revises the logical system developed in Whitehead and Russellthe intensional paradoxess interest in these problems seriously, then the intensional paradoxes deserve more widespread attention than they have historically received.

In this paper I present a formal language in which complex predicates stand for properties and relations, and assignments of denotations to complex predicates and assignments of extensions to the properties and relations they denote are both homomorphisms. This system affords a fresh perspective on several important philosophical topics, highlighting the algebraic features of properties and clarifying the sense in which properties can be represented by their extensions. It also suggests a natural modification of current logics of properties, one in (...) which some complex predicates stand for properties while others do not. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)