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)

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)

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)

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)

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)

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 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)

Resumen: Varios filósofos han hecho notar que el naturalismo metafísico ha sido un supuesto compartido por los miembros de la comunidad científica involucrada en la investigación acerca del origen de la vida. Es una consecuencia de esta presuposición que la emergencia de la vida debe haber sido muy probable bajo las condiciones físicas y químicas de la Tierra primitiva. El estado de la investigación sobre el origen de la vida, sin embargo, está muy lejos de poseer una hipótesis naturalista convincente (...) en los términos buscados. La actitud de los investigadores y de algunos filósofos ha sido suponer que estos fracasos no son una razón para pensar que alguna otra hipótesis naturalista no fuese a funcionar. Aquí se ofrece una reconstrucción epistemológica de esta actitud en términos bayesianos. Se argumenta, luego, que el aislamiento del naturalismo metafísico respecto de la desconfirmación no es racional, y podría convertirse en un obstáculo para el avance del conocimiento. Abstract: Several philosophers have noted that metaphysical naturalism has been an assumption shared by the members of the scientific community involved in the research concerning the origin of life. It is a consequence of this presupposition that the emergence of life should have been very probable under the physical and chemical conditions in the primitive Earth. The state of the research on the origin of life, though, is very far from having a convincing naturalist hypothesis in the terms sought after. The attitude of the researchers and some philosophers has been to suppose that these failures are not reason to think that some other naturalist hypothesis won’t work. Here, an epistemological reconstruction of this attitude in Bayesian terms is offered. It is argued that the insulation of metaphysical naturalism from disconfirmation is not rational, and would become an obstacle to the advancement of knowledge. (shrink)

A ‘state of affairs’ is understood here as any kind of concrete entity that can play the role of truthmaker. Different ontologies propose different structures of entities to work as ‘states of affairs’ in this sense. Defenders of universals will propose for the role non- mereological structures of universals, objects and times. Defenders of tropes will propose tropes, either with or without universals and objects. Resemblance nominalists will propose primitive ontological facts of resemblance between objects in time. In any of (...) these cases, times are an essential component of a state of affairs. Any ontology of states of affairs, then, should clarify what times are in order to clarify what states of affairs are. An examination of the dominant reductivist conceptions of times shows that these connections have not yet been thought through carefully. In any of the dominant reductivist conceptions, times are entities that either include or describe everything that happens simultaneously at a given instant. Even in some cases they include the description of everything that happens at any time. If one introduce times taken as they are in any of these reductivist conceptions, it will be essential to a state of affairs everything that happens simultaneously with it, or even everything that happens at any time. Under some assumptions the internal relation of every state of affairs with every other state of affairs expands to the internal relation of everything with everything. This is an unhappy theoretical situation that calls for a more careful consideration of some central tenets in our ontology of time. (shrink)

A ‘state of affairs’ is understood here as any kind of concrete entity that can play the role of truthmaker. Different ontologies propose different structures of entities to work as ‘states of affairs’ in this sense. Defenders of universals will propose for the role non- mereological structures of universals, objects and times. Defenders of tropes will propose tropes, either with or without universals and objects. Resemblance nominalists will propose primitive ontological facts of resemblance between objects in time. In any of (...) these cases, times are an essential component of a state of affairs. Any ontology of states of affairs, then, should clarify what times are in order to clarify what states of affairs are. An examination of the dominant reductivist conceptions of times shows that these connections have not yet been thought through carefully. In any of the dominant reductivist conceptions, times are entities that either include or describe everything that happens simultaneously at a given instant. Even in some cases they include the description of everything that happens at any time. If one introduce times taken as they are in any of these reductivist conceptions, it will be essential to a state of affairs everything that happens simultaneously with it, or even everything that happens at any time. Under some assumptions the internal relation of every state of affairs with every other state of affairs expands to the internal relation of everything with everything. This is an unhappy theoretical situation that calls for a more careful consideration of some central tenets in our ontology of time. (shrink)

Este trabajo presenta y discute diferentes intentos recientes para resolver el así llamado «problema de la Trinidad». Las declaraciones dogmáticas han asumido que (a) sólo hay un Dios; (b) que hay tres personas diferentes, el Padre, el Hijo y el Espíritu Santo; y (c) que esas tres personas son un solo Dios. Pero si hay tres personas diferentes y esas tres personas diferentes son Dios, entonces parece que, o bien no hay un único Dios, o no hay realmente tres personas (...) diferentes. Han aparecido cuatro posiciones principales en el debate reciente en Teología Filosófica para resolver este problema: (i) la teoría social de la Trinidad, (ii) la teoría «latina» de la Trinidad, (iii) la teoría de la Trinidad basada en identidades relativas, y (iv) la teoría de la Trinidad basada en relaciones de constitución. Se presentan y discuten críticamente las cuatro posiciones. This work presents and discusses different recent attempts to solve the so-called «problem of the Trinity». The dogmatic declarations have assumed that: (a) there is only one God; (b) that there are three different persons, the Father, the Son, and the Holy Spirit; and (c) that those three persons are just one God. But if there are three different persons and those three different persons are God, then it seems that, either there is not just one God, or there are not really three different persons. There have appeared four main positions in the recent debate in Philosophical Theology to solve this problem: (i) the social theory of the Trinity, (ii) the «latin» theory of the Trinity, (iii) the theory of the Trinity based on relative identity, and (iv) the theory of the Trinity based on relations of constitution. All four positions are presented and critically discussed. (shrink)

Este trabajo discute el argumento presentado por Carmichael (2010) para justificar la existencia de universales trascendentes, esto es, universales que no requieren instanciaciones para existir. Se sostiene en este trabajo que una proposición puede describir correctamente un mundo posible sin existir como una parte de ese mundo, esto es, que una proposición puede ser verdadera de un mundo posible, sin ser verdadera en un mundo posible. Se sostiene, además, que las mismas premisas usadas por Carmichael permiten justificar el necesitismo.

It is argued here that it is part of our concept of a ‘person’ that persons should be, by its nature, able to endure in time. In no conception of persons as ‘perduring’ entities with different temporal parts for different times, or as sequences of stages in the relation of ‘being a survival of ’ between them, it is possible to make sense of some of our normative intuitions about persons. It is argued also that the traditional psychological theory of (...) personal identity is untenable. Psychological continuity appears to be neither sufficient nor necessary for personal identity. A reasonable conception of persons seems to be either a form of ‘animalism’ where persons are biological organisms, or a theory in which persons are primitive substances, with primitive conditions of identity. (shrink)

Este trabajo presenta y discute diferentes intentos recientes para resolver el así llamado «problema de la Trinidad». Las declaraciones dogmáticas han asumido que (a) sólo hay un Dios; (b) que hay tres personas diferentes, el Padre, el Hijo y el Espíritu Santo; y (c) que esas tres personas son un solo Dios. Pero si hay tres personas diferentes y esas tres personas diferentes son Dios, entonces parece que, o bien no hay un único Dios, o no hay realmente tres personas (...) diferentes. Han aparecido cuatro posiciones principales en el debate reciente en Teología Filosófica para resolver este problema: (i) la teoría social de la Trinidad, (ii) la teoría «latina» de la Trinidad, (iii) la teoría de la Trinidad basada en identidades relativas, y (iv) la teoría de la Trinidad basada en relaciones de constitución. Se presentan y discuten críticamente las cuatro posiciones. This work presents and discusses different recent attempts to solve the so-called «problem of the Trinity». The dogmatic declarations have assumed that: (a) there is only one God; (b) that there are three different persons, the Father, the Son, and the Holy Spirit; and (c) that those three persons are just one God. But if there are three different persons and those three different persons are God, then it seems that, either there is not just one God, or there are not really three different persons. There have appeared four main positions in the recent debate in Philosophical Theology to solve this problem: (i) the social theory of the Trinity, (ii) the «latin» theory of the Trinity, (iii) the theory of the Trinity based on relative identity, and (iv) the theory of the Trinity based on relations of constitution. All four positions are presented and critically discussed. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

Se ha destacado recientemente que la Fórmula de Barcan y la Conversa de la Fórmula de Barcan para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de y de orden superior parece implicar la existencia de universales trascendentes, esto es, universales que no requieren estar instanciados para existir en un mundo posible. Este trabajo discute esta línea de argumentación. En primer lugar, se sostiene que la semántica en la (...) que los resultados de validez se siguen no requiere que las ‘intensiones’ asignadas a las variables de orden superior estén instanciadas en un mundo posible para que la intensión exista ahí. El defensor de universales inmanentes objetaría esta suposición. En una semántica modificada, más neutral, y de orden superior ya no son válidas. En segundo lugar, se sostiene que, incluso si se concediese la validez de y de orden superior, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y diferentes teorías de tropos no tendrían dificultades en aceptar y de orden superior. (shrink)

El trabajo presenta la conjetura de que los mundos posibles son universales estructurales máximos. En primer lugar, se explican brevemente las diferentes concepciones actualistas existentes sobre los mundos posibles y los problemas sistemáticos que deben enfrentar. Se argumenta que la conjetura presentada muestra cómo todas esas concepciones pueden ser unificadas en una teoría única y simple. En segundo lugar, se explica por qué la mejor alternativa para la constitución del espacio modal son los universales trascendentes. Finalmente, se indican brevemente algunas (...) dificultades para la concepción presentada. Una justificación definitiva de la conjetura deberá consistir principalmente en la solución de esas dificultades. The work presents the conjecture that possible worlds are maximal structural universals. First, the paper explains roughly the different actualist extant conceptions of possible worlds and the systematic problems they have to face. It is argued that the conjecture presented shows how all those different conceptions can be unified in a single simple theory. Second, it is explained why the best alternative for the constitution of the modal space is a domain of transcendent universals. Finally, some difficulties for the conception are briefly indicated. A definitive justification of the conjecture presented should consist mainly in tackling those difficulties. (shrink)

Este trabajo discute varias formulaciones diferentes del principio de causalidad considerando la función que tales principios pueden cumplir en argumentos cosmológicos. Se argumenta que el principio se comprende mejor como requiriendo una causa para todos los estados de cosas contingentes, en vez de requiriendo una explicación para todas las proposiciones verdaderas contingentes. Se argumenta, también, que el requerimiento de una causa para un estado de cosas no debe ser visto como el requerimiento de algo que hace necesaria la ocurrencia del (...) efecto. Varias dificultades bien conocidas pueden ser evitadas con causas que no hacen necesarias sus producciones. Se argumenta, luego, que en las teorías combinatorias de la modalidad, donde todo puede existir con o sin cualquier otro existente diferente, las formulaciones fuertes del principio de causalidad parecen falsas, pero las formulaciones débiles, donde sólo se postula una causa posible para todo estado de cosas, parecen verdaderas. Por otro lado, tanto las formulaciones fuertes como las débiles parecen verdaderas en las concepciones causales de la modalidad. Sin embargo, en las teorías causales de la modalidad la fase II del argumento cosmológico resulta mucho más difícil, esto es, parece mucho más complicado justificar que el objeto concreto necesario al que se hace referencia es omnisciente, omnipotente y moralmente perfecto. This work discusses several different formulations of the principle of causality considering the function that those principles might play in cosmological arguments. It is argued that the principle is best understood as requiring a cause for all contingent states of affairs, instead of as requiring an explanation for all contingent true propositions. It is also argued that the requirement of a cause for a state of affairs should not be seen as the requirement for something that necessitates the effect. Several well-known difficulties haunting the principle can be avoided with non-necessitating causes. It is then argued that in combinatorial theories of modality, where everything can exist with or without any other different existent, the strong formulations of the principle of causality seem false, but the weak formulations, where only a possible cause for every contingent state of affairs is postulated, seem true. On the other hand, both strong and weak formulations of the principle seem true on the causal conceptions of modality. Nevertheless, in causal theories of modality phase II of the cosmological argument turns out to be much more difficult, i. e., it seems much harder to justify that the necessary concrete object referred to is omniscient, omnipotent and morally perfect. (shrink)

RESUMEN Se ha destacado que la Fórmula de Barcan -FB- y la Conversa de la Fórmula de Barcan -CFB- para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de FB y CFB parece implicar la existencia de universales trascendentes, que no requieren estar instanciados para existir en un mundo posible. Se discute esta argumentación, porque la semántica, en la que los resultados de validez se siguen, no requiere que (...) las ‘intensiones' asignadas a las variables de orden superior estén instanciadas en un mundo posible para que la intensión exista ahí. En una semántica modificada, más neutral, FB y CFB de orden superior ya no son válidas. Además se sostiene que, incluso si FB y CFB de orden superior fuesen válidas, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y teorías de tropos las aceptarían. ABSTRACT It has been pointed out that the Barcan Formula -BF- and the Converse Barcan Formula -CBF- seem to be valid for higher-order modal quantificational logic. If quantifiers are construed as ranging over properties, the validity of BF and CBF seems to entail the existence of transcendent universals that do not require instantiation in order to exist in a possible world. The paper discusses this argument given that semantics, in which validity results follow from one another, do not require that the "intensions" assigned to higher- order variables be instantiated in a possible world in order for the intension to exist in such a world. In a modified, more neutral semantics, higher-order BF and CBF are no longer valid. The paper also argues that even if higher-order BF and CBF were valid, no substantive metaphysical results would be obtained, since different forms of nominalism and theories of tropes would accept them. (shrink)