En una serie de trabajos Carol Cleland ha argumentado por los últimos veinte años que la búsqueda de una definición de la vida es no solo inútil sino contraproducente. Una definición en términos de condiciones necesarias y suficientes nos podría cegar para la tarea mucho más importante de desarrollar una teoría universal de la vida. La principal justificación para este alegato es que la vida es una clase natural. Términos para clases naturales no poseen definiciones ideales, porque pretenden hacer referencia (...) a rasgos objetivos del mundo y no hacer explícito el contenido de nuestro pensamiento o lenguaje. Se argumenta aquí que la vida es, en efecto, una clase natural y, luego, la semántica para el término vida no puede darse por una definición ideal con condiciones necesarias y suficientes. Sin embargo, la semántica del término vida no excluye la posibilidad de hallar una ‘definición real’ adecuada de la esencia de la vida, esto es, de qué es la vida. Una definición real no es la enunciación del significado de un término sino de una esencia. (shrink)

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)

Este trabajo presenta las líneas centrales del bidimensionalismo epistémico defendido recientemente por David Chalmers, y considera, en particular, las motivaciones a las que la semántica debería servir en la conexión entre modalidad metafísica y epistémica. Después de esta presentación, se indican tres dificultades: no se ha diferenciado suficientemente de las semánticas bidimensionales contextuales tradicionales; la noción de justificación a priori sobre la que se ha desarrollado requiere urgentemente mayor precisión; y los defensores del esquema han olvidado completamente los casos de (...) "contingencias fuertes". /// This work presents the main Unes of epistemic two-dimensionalism recently defended by David Chalmers, discussing, in particular, the motivations that semantics is supposed to serve in the connection between metaphysical modality and epistemic modality. After presenting the two-dimensional epistemic semantics, three difficulties are leveled against it: it is insufficiently distinguished from the traditional contextual bi-dimensional semantics; the notion of a priori justification on which it is constructed is badly requiring more precisión; and the defenders of the semantics have completely despised the cases of "strong contingencies". (shrink)

In this work three recent proposal of analysis of the concept of ‘religion’ are discussed. There is a strong convergence between these three proposals in several points: all of them maintain that a religion should be the belief of something –a set of propositions, the object of a propositional attitude like a belief–, all of them maintain that the object of the belief should be a theory about the good, and all of them maintain that a religion should have important (...) normative and practical consequences. It is argued here that there are at least two problems with the general conception that results from these analyses. In the first place, attributing to a religion the conditions of identity of an act of belief leads to absurd consequences. In the second place, it seems much better to analyze a religion as a theory about God or some gods. (shrink)

Parece obvio, o casi obvio, que poseemosuna gran cantidad de conocimiento modal.Sabemos mucho sobre hechos necesariosque se dan en matemáticas o, por ejemplo,sobre el carácter contingente de objetosfísicos con los que tenemos contactocorriente. La cuestión es cómo explicar esteconocimiento. Este trabajo, en particular,va a discutir la relevancia que podría tenerel dilema propuesto por Paul Benacerrafpara el caso matemático sobre enunciadosmodales, considerando las concepcionessobre hechos modales y sobre mundosposibles de David Lewis y de Saul Kripke.It seems obvious –or almost- that we (...) dopossess a great amount of modal knowledge.We know a lot about necessary factsobtainingin mathematics, and we alsoknowa lot about the contingent characterof“middle size dry goods”, for example.Thequestion is how to explain that knowledge.In particular, this work will discusstheimpact that the dilemma posed by PaulBenacerrafin the mathematical case wouldhaveover modal statements, consideringtheconceptions about modal facts andpossibleworlds advanced by David LewisandSaul Kripke. (shrink)

Ha sido uno de los alegatos centrales de la teoría así llamada “cognitiva” de las proposiciones que su carácter representacional —y, con ello, sus condiciones de verdad— es derivativo del carácter representacional primitivo de los actos cognitivos concretos por los que un agente predica una propiedad de un objeto. Las proposiciones heredan su carácter representacional porque son ‘tipos’ de actos cognitivos particulares que poseen el ‘mismo’ contenido representacional. Se argumenta en este trabajo que esta suposición está en conflicto con el (...) hecho de que actos cognitivos concretos son instancias de ciertos tipos. Bajo la mayoría de las concepciones acerca de lo que funda el hecho de que una pluralidad de objetos comparte la ‘misma’ naturaleza —i. e., acerca de cómo son algo ‘uno’ en lo múltiple— el carácter cualitativo de un objeto está fundado en universales o en alguna otra construcción aceptable para el nominalista. (shrink)

This work presents and discusses the conception of instantiation as ‘partial identity’. The theory has been previously proposed in two different guises by Baxter and Armstrong . Attention will be paid mostly to Baxter’s presentation, which seems the best de veloped, and where instantiation is understood as identity of ‘aspects’ of a universal and a particular. The theory seems to offer a solution to the vexed question of Bradley’s Regress, because instantiation is no longer conceived as a relation between numerically (...) different entities. The proposed solution requires an ontology of ‘aspects’ in order to work. Aspects are presented in the form [ x insofar as j] where x is filled by the entity to which the aspect pertains and j is filled by the respect in which the entity in question is considered. Aspects are numerically identical with the entity to which they pertain and with the other aspects of the same entity. Aspects, nonetheless, are not mere ways in which one can conceive an entity. Aspects are objective. Rejection of the principle of indiscernibility of identicals is crucial to this theory. The attributions of one aspect are not also attributions to the other aspects of the same entity. Hence, aspects offer ways to deal with seemingly incoherent attributions to the same entity. Baxter uses them to solve the problem of the multi-location of universals, temporary intrinsics and trans-world identity, besides the nature of instantiation. Several difficulties are presented, both to the general metaphysics of aspects, and to the conception of instantiation as identity of aspects. In general: it is not clear how to distinguish objective aspects from the mere forms in which we conceive an entity; it is not clear what are the conditions of identity of an aspect; and although the necessity of identity is rejected in general, it reappears as necessity of ‘aspectual’ identity. The necessity of aspectual identity raises concerns about the stability of the view. In respect to the specific conception of instantiation as identity of aspects, it will be pointed out that the theory implies the complete identity of universals and particulars that instantiate them and, further, that it implies the identity of everything with everything. (shrink)

Alonso Briceño, el primer filósofo chileno, sostuvo que, para todo x, el ser de x = la haecceitas de x y –además– que hay una distinción ‘formal’ entre el ser de x y la esencia de x. En general, hay una distinción ‘formal’ entre los ítems z y v si y solo si: (i) z  v, y (ii) z y v son mutuamente inseparables. Se sigue de estas tesis que el ‘ser’ debe tomarse como un componente ontológico específico en (...) los objetos particulares y que es idéntico con la haecceitas del objeto. Esto se denomina aquí “la intuición de Briceño”. En este trabajo se considera la relevancia que la intuición de Briceño podría tener para dos de las teorías más importantes acerca de la naturaleza de los objetos particulares: las teorías en las que los objetos particulares están constituidos por un sustrato y sus propiedades, y las teorías en las que los objetos particulares son cúmulos de tropos. Se argumenta que en ambos casos la intuición de Briceño, esto es, la idea de que hay un tropo específico de ser en el objeto particular, trae consigo ventajas sistemáticas importantes y, lo que es más, permite la unificación teórica de ambas perspectivas, normalmente consideradas como incompatibles entre sí. (shrink)

Este trabajo presenta el agnosticismo modal como un nuevo programa en metafísica modal. El agnóstico modal sólo cree en la existencia del mundo actual y de ningún otro. Preserva, sin embargo, la semántica realista para los enunciados modales y los análisis propuestos por el realista para los conceptos modales. Si se concede al agnóstico modal conocimiento sobre: hechos lógicos, hechos semánticos y hechos sobre el mundo actual, puede replicar gran parte de las capacidades de aseveración de enunciados modales del realista. (...) Aquí se argumenta que el conocimiento lógico parece ser —al menos prima facie— una forma de conocimiento modal. Es razonable, entonces, suponer que el conocimiento alegado por el agnóstico es también conocimiento de posibilidades. El agnosticismo modal es una posición que parece inestable entre una forma de realismo modal, o una forma de agnosticismo radical no muy verosímil. (shrink)

Este trabajo considera el programa de reducción de universales por clases de tropos semejantes. Diversas cuestiones surgen acerca de la relación de semejanza: ¿Presuponen los "respectos" de semejanza un universal? ¿Induce un regres vicioso el hecho de que la relación de semejanza sea una relación? Si hay diferentes respectos de comparación entre tropos, entonces hay espacio para las dificultades tradicionales contra el nominalismo de semejanza: la "comunidad imperfecta" y la "compañía". ¿Pueden ser manejados estos problemas con clases de tropos semejantes? (...) La relación de semejanza requerida es una "semejanza perfecta", esto es, una relación de semejanza transitiva, sin margen para grados y sin variación en los respectos de comparación entre tropos. ¿Hay clases de tropos exactamente semejantes? Después de consideradas estas cuestiones, parece que el defensor de los tropos tiene respuestas para las cuestiones, y, pero parece no haber respuestas plausibles para la cuestión. Las clases de semejanza perfecta que van a reemplazar a los universales deben ser clases de tropos posibles y no hay formas razonables de explicar los hechos modales requeridos para estos tropos.This work considers the program of reduction of universals by classes of resembling tropes. Several questions appear concerning the relation of resemblance: Does not the "respects" for resemblance presuppose a universal? Does not the fact that the relation of resemblance is a relation induce a vicious regress? If there are different respects of comparison between tropes, then there is space for the traditional difficulties against resemblance nominalism: the "imperfect community" and the "companionship" difficulties. Can these problems be handled by classes of tropes? The relation of resemblance required is "perfect resemblance", that is, a relation of resemblance transitive, with no margin for degrees, and with no variation in the respects of comparison between tropes. Are there any perfect resembling tropes? After consideration, it appears that the defender of tropes seems to have answers for the questions, and, but it seems that there are no plausible answers for the question. The classes of exact resemblance that are going to replace the universals should be classes of possible tropes and there are no reasonable ways of explaining the modal facts required for these tropes. (shrink)

este trabajo considera el programa de reducción de universales por clases de tropos semejantes. Diversas cuestiones surgen acerca de la relación de semejanza: (1) ¿Presuponen los “respectos” de semejanza un universal? (2) ¿Induce un regres vicioso el hecho de que la relación de semejanza sea una relación? (3) Si hay diferentes respectos de comparación entre tropos, entonces hay espacio para las dificultades tradicionales contra el nominalismo de semejanza: la “comunidad imperfecta” y la “compañía”. ¿Pueden ser manejados estos problemas con clases (...) de tropos semejantes? (4) La relación de semejanza requerida es una “semejanza perfecta”, esto es, una relación de semejanza transitiva, sin margen para grados y sin variación en los respectos de comparación entre tropos. ¿Hay clases de tropos exactamente semejantes? Después de consideradas estas cuestiones, parece que el defensor de los tropos tiene respuestas para las cuestiones (1), (2) y (3), pero parece no haber respuestas plausibles para la cuestión (4). Las clases de semejanza perfecta que van a reemplazar a los universales deben ser clases de tropos posibles y no hay formas razonables de explicar los hechos modales requeridos para estos tropos. (shrink)

Este trabajo presenta y discute varias formas de especificar el espacio ontológicomodal, asumiendo que los mundos posibles son universales estructuralesmáximos y asumiendo también que no hay forma de representar medianteuniversales estructurales los hechos sobre identidad y diferencia deobjetos entre diferentes mundos posibles. Dos grandes opciones teoréticasdeterminan la configuración que podría tener el espacio modal: (a) la introducciónde haecceitates de individuos actuales como componentes de losuniversales estructurales máximos, y (b) la introducción de contrapartidas.En el caso (a), los hechos sobre identidad de (...) objetos meramente posibles endiferentes mundos queda indeterminada. Se argumenta que no es razonablesuplementar esta configuración del espacio modal con contrapartidas. En elcaso de que las haecceitates no sean introducidas, todos los hechos sobreidentidad y diferencia de objetos entre diferentes mundos posibles quedanindeterminados, por lo que aquí el suplemento de contrapartidas es bienvenido.Cada una de estas opciones tiene sus propios costos teóricos en relacióncon, por ejemplo, las relaciones de accesibilidad entre mundos posiblesy otras tesis modales cruciales. (shrink)

este trabajo considera la viabilidad de la teoría de los mundos posibles como universales estructurales máximos en relación con las conocidas críticas contra concepciones actualistas de los mundos posibles. En una primera parte se expone brevemente la teoría modal basada en universales. Luego se presentan las diferentes dificultades. Dos de éstas parecen especialmente relevantes para la teoría que aquí se defiende: (i) la confusión de posibilidades indiscernibles diferentes, y (ii) la explicación de la naturaleza de la representación de las posibilidades. (...) Luego de examinadas estas dificultades se muestra cómo la teoría modal basada en universales puede responder estos dos problemas. (shrink)

It has been lately proposed that laws of nature are causal powers. The conditions of identity of universals are the causal powers that those universals give to their instantiations. One of the main objections against this conception of laws of nature and universals is that it would lead to, either an infinite regress, or a vicious circularity. In effect, if the conditions of identity of a universal are the causal powers that the universal gives to its instantiations, then it seems (...) that the conditions of identity of a universal depend on other universals, because a causal power is the power to produce the instantiation of some universal or other. In this work it is considered if this problem can be tackled by a relaxation of some of the formal characteristics of ontological dependence, but this strategy appears inconvenient. Another more promising alternative is to suppose that universals are ontologically dependent on the network of nomological relations to which they belong. Under certain formal assumptions about the graph-theoretical structure of the nomic network the identity of a universal can be grounded by its sole position in it. The conception here defended results a form of nomic holism. (shrink)

Este trabajo discute qué razones tenemos para pensar que existe un espacio ontológico modal y por qué debemos pensar que este espacio está constituido por una pluralidad de mundos posibles. Después se presentan tres teorías metafísicas sobre la naturaleza de los mundos posibles: la concepción realista extrema de David Lewis, la concepción realista moderada de Alvin Plantinga y la concepción de los mundos posibles como universales estructurales máximos. Un breve examen comparativo tratará de mostrar por qué la tercea opción es (...) la más prometedora o, al menos, parece serlo. El trabajo finalmente considera el panorama que tiene por delante una defensa plenamente desarrollada de la teoría modal basada en universales. (shrink)

It is argued that instantiation, i.e. the relation between particular objects and properties (conceived as universals or tropes) is indeed an ontologically robust relation. The relation of instantiation is required to explain the difference between a state of affairs of, for example, a being F, and the mereological fusion [ a + F]. If instantiation is a true relation, then Bradley’s Regress ensues. It is argued, nevertheless, that the regress cannot be taken as a reason to reject the existence of (...) instantiation or to reject the existence of properties as entities numerically different from particular objects to which the properties should be related. All the nominalist alternatives suffer from similar regresses. Bradley’s Regress should, therefore, be addressed head-on. After dismissing all the applicable ways in which an infinite regress may be deemed vicious, it is argued that Bradley’s Regress is — in a sense — harmless. (shrink)

This work presents a causal conception of metaphysical modality in which a state of affairs is metaphysically possible if and only if it can be caused (in the past, the present or the future) by current entities. The conception is contrasted with what is called the "combinatorial" conception of modality, in which everything can coexist with anything else. This work explains how the notion of 'causality' should be construed in the causal theory, what difference exists between modalities thus defined from (...) nomological modality, how accessibility relations between possible worlds should be interpreted, and what is the relation between the causal conception and the necessity of origin. (shrink)

un estado de cosas es una estructura no-mereológica compuesta por universales, objetos y tiempos. En principio, un estado de cosas no está fundado en sus componentes, pues tales componentes podrían existir, pero no el estado de cosas que componen. La introducción de otras relaciones de 'instanciación' no mejoran la situación, si tales relaciones son universales. Un estado de cosas, sin embargo, sí está fundado en un universal, uno o varios objetos, un tiempo y un tropo que, esencialmente, es la instanciación (...) de tal universal en tal objeto, o en tales objetos, en tal tiempo. Si los estados de cosas están fundados en sus constituyentes, entonces hay una razón para admitir tropos. Finalmente, se discuten varias razones por los que los estados de cosas deben estar fundados. a state of affairs is a non-mereological structure composed by universals, objects and times. In principle, a state of affairs is not grounded in its components, for those components could exist, but not the state of affairs that they compose. The introduction of other relations of 'instantiation' doesn't improve the situation, if those relations are universal. A state of affairs, though, is grounded on a universal, object or objects, time and a trope that, essentially, is the instantiation of that universal in that object, or in those objects, in that time. If states of affairs are grounded in their constituents, then there is reason to admit tropes. Finally, several reasons by which states of affairs should be grounded are discussed. (shrink)

This work presents a causal conception of metaphysical modality in which a state of affairs is metaphysically possible if and only if it can be caused (in the past, the present or the future) by current entities. The conception is contrasted with what is called the “combinatorial” conception of modality, in which everything can co-exist with anything else. This work explains how the notion of ‘causality’ should be construed in the causal theory, what difference exists between modalities thus defined from (...) nomological modality, how accessibility relations between possible worlds should be interpreted, and what is the relation between the causal conception and the necessity of origin. (shrink)

Se ha sostenido tradicionalmente que los predicados atribuidos a Dios y a las criaturas son análogos. Pero, ¿qué es la analogía? Varios filósofos han pensado que la analogía debe ser considerada como una forma de ambigüedad. Argumentamos aquí que los predicados atribuidos a Dios y a las criaturas no son ambiguos o vagos. Siguiendo algunas sugerencias de McDaniel, proponemos una concepción de la analogía donde el fenómeno semántico está asociado con el carácter más o menos natural de la propiedad o (...) propiedades que instancian las entidades que satisfacen el predicado análogo. Un predicado "θ" es análogo si y sólo si, la propiedad Θ, que algo instancia, si y sólo si es θ, es menos natural que cualquier propiedad Ξ tal que todo lo que instancie Ξ, instancia Θ. Además, se requiere que las entidades de las cuales el término análogo es predicado deban ser ontológica o epistémicamente dependientes unas de otras. || It has been traditionally sustained that predicates attributed to God and to the creatures are analogical predicates. But, what is analogy? Several philosophers have thought that analogy should be taken as a form of ambiguity. Here we argue that predicates attributed to God and to creatures are neither ambiguous nor vague. Following some suggestions given by McDaniel, we propose a view of analogy in which the semantic phenomenon is associated with the more or less natural character of the property or properties that the entities that satisfy the analogous predicate instantiate. A predicate "θ" is analogous if and only if the property Θ, which something instantiates, if and only if it is θ, is less natural that any property Ξ so that anything that instantiates Ξ, instantiates Θ. Furthermore, it is required that the entities of which the analogous term is predicated should be either ontologically or epistemically dependent on each other. (shrink)

Suppose that it is metaphysically possible that the mereological fusion of all contingent states of affairs has a cause. Whatever the nature of the state of affairs that causes such mereological fusion, it should be metaphysically necessary because, otherwise, it could be part of the mereological fusion it causes. It is possible, then, that there is at least one necessary state of affairs. This state of affairs is a causal relatum, so it must include at least one concrete necessary object. (...) But if something is possibly necessary, then it is necessary because it is not metaphysically contingent whether something is necessary or doesn't. Then, it results that it is metaphysically necessary that there is, at least, a concrete necessary object. This work presents and discusses this argument. (shrink)

In this work it is proposed that the conditions of identity for biological organisms are given by the following principle: for all organisms x and y, x = y if and only if x has been caused by the self-preserving activity of y. This principle determines both the inter-temporal identity of organisms and the identity of organism in different possible worlds. It unifies what can be supposed about conditions of identity coming from —at least— three different conceptions about the nature (...) of biological organisms, those of RobertWilson, Thomas Pradeu and Ellen Clarke. These conceptions are presented and compared. (shrink)

Hilary Putnam's doctrine of conceptual relativity sustains that there are many different incompatible, yet equivalent, descriptions of what have to be considered "the same" phenomena. This fact is reason to justify the idea that metaphysical realism is wrong and that a better general view of reality should be something like a "pragmatic realism." Putnam sustains further that the different incompatible and equivalent descriptions have to bear the same explanatory virtue. Here it is contended that there seems to be difficulties in (...) construing this requirement in a non-question begging way in an argument designed to show that metaphysical realism should be dismissed. Different descriptions can only be deemed to have the same explanative virtue if our knowledge of, for example, structures in the natural world, seems to be simply a form to "save the phenomena," but this is a characteristic anti-realist thesis that should not be taken for granted in the dialectical setting. (shrink)

Putnam's Model- Theoretic Argument has been generally held as invalid. In this work, attention is addressed to two broad facts understated by critics and commentators: (i) there are, at least, two different model-theoretic arguments. One is directed against realism and the other is directed to naturalistic semantics. The general rejection affects the former, but it is open to discussion if it affects the latter; (ii) on the other hand, the model-theoretic argument construed as a reductio argument has not - prima (...) facia - ontological consequences, but only restrains our methodology to deal with the intentional realm. (shrink)

Resumen: Husserl propone dos descripciones fenomenológicas diferentes de los universales: la primera en Investigaciones lógicas y la segunda en Experiencia y juicio. En este trabajo se presentan y discuten estas dos descripciones fenomenológicas. Resulta que la perspectiva de Experiencia y juicio parece tener que ver con un acceso hermenéutico a los universales, mediado por un lenguaje y una tradición cultural, mientras que la perspectiva de Investigaciones lógicas parece estar centrada en un fenómeno pre-lingüístico más originario. Este segundo fenómeno de los (...) universales parece ser más fundamental. En ambas perspectivas, sin embargo, los universales son dados en nuestras experiencias ordinarias. Entonces, uno debería aceptar universales en principio –dada la evidencia fenomenológica– a menos que otras razones de orden teórico recomienden lo contrario. (shrink)

RESUMEN Trabajos recientes han propuesto un tratamiento de la fundación “a la imagen de la causalidad”. Hay importantes analogías entre la fundación y la causalidad: ambas parecen ser relaciones de ‘construcción’, ambas parecen ser órdenes estrictos y ambas parecen ser representables por modelos de ecuaciones estructurales. Pero también parece que hay importantes diferencias, porque la causalidad es usualmente considerada como una relación externa, mientras que la fundación es interna; hay casos de causalidad probabilística, pero no hay nada como una fundación (...) probabilística; la fundación se considera una relación ‘bien fundada’, pero no la causalidad; la fundación implica superveniencia ontológica, pero no la causalidad. Se argumenta aquí que la mayoría de estas supuestas diferencias están motivadas por una concepción humeana de la causalidad en la que no hay conexiones necesarias entre causa y efecto. Una perspectiva no humeana de la causalidad, sin embargo, hace que la unificación de la fundación y la causalidad sea mucho más razonable que cualquier tratamiento separado. ABSTRACT Recent works have proposed a treatment of grounding “in the image of causation”. There are important analogies between grounding and causation: both seem to be ‘building’ relations, both seem to be strict orders, and both seem amenable to representation by models of structural equations. But it seems also that there are important differences, because causation is usually considered as an external relation, while grounding is internal; there are cases of probabilistic causation, but there is nothing like probabilistic grounding; grounding is taken to be a well-founded relation, but not causation; grounding entails ontological supervenience, but not causation. It is argued here that most of those supposed differences are motivated by a Humean conception of causation in which there are no necessary connections between cause and effect. A non-Humean view of causation, though, makes the unification of grounding and causation much more reasonable that any separate treatment. (shrink)

Dummett’s Manifestation Argument against realism attempts to show that a realist conception of meaning cannot explain the understanding of truth-conditions transcendent to evidence. In this work the general structure of the argument is discussed along with several objections to it. This examination finds that the anti-realist is committed to a deflationary conception of the normative character of meaning that is unpalatable. This essay contends that the argument in its present form cannot have the metaphysical consequences it claims (at least not (...) without begging the question). (shrink)

The work presents the concept of a structural universal and the criticisms that have been leveled against it. A structural universal is a property had by an individual due to the nature of its proper parts and due to the relations obtaining between those parts. Mellor has argued that there is no reason to accept such universal in addition to the basic universals that compose them. David Lewis has argued –on the other hand– that it has not been satisfactorily explained (...) how universals are composed by other universals. The composition by which a structural universal is given cannot be a set-theoretical construction or a mereological sum. Several proposals to explain the nature of structural universals are discussed. Finally it is argued that a structural universal should be understood as a complexion of higher-order universals. (shrink)