Abstract 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 ontologi cal dependence, but this strategy appears inconvenient. Another more promising alternative is to suppose that universals are on tologically 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 identi ty of a universal can be grounded by its sole position in it. The conception here defended results a form of nomic holism.

Resumen Se ha propuesto recientemente que las leyes naturales son poderes causales. Las condiciones de identidad de los universales son los poderes causales que tales universales confieren a sus instanciaciones. Una de las objeciones principales contra esta concepción de las leyes naturales y los universales es que conduciría, o bien a un regreso al infinito, o bien a una circularidad viciosa. En efecto, si las condiciones de identidad de un universal son los poderes causales que el universal da a sus instanciaciones, entonces parece que las condiciones de identidad de un universal dependen de otros universales, porque un poder causal es el poder de producir la instanciación de algún universal u otro. Se considera en este trabajo si este problema podría ser resuelto con una relajación de algunas de las características formales de la dependencia ontológica, pero esta estrategia no resulta conveniente. Otra alternativa más promisoria es suponer que los universales son ontológicamente dependientes de la red de relaciones nomológicas a la que pertenecen. Bajo ciertos supuestos formales acerca de la estructura de teoría de grafos de la red nómica, la identidad de un universal puede estar fundada por su sola posición en ella. La concepción defendida aquí resulta una forma de holismo nómico.

Abstract Several problems in philosophy of physics have led to ‘ontic structural realism’, i. e., the supposition that, at the fundamental physical level, there are no ‘objects’, but ‘structures’. There are various requirements that a ‘structure’ should satisfy for ‘ontic structural realism’. Structures must be concrete entities, there must be something that fulfills the role of ‘node’, and the relations of the structure must not be dependent on the objects that are being related. Most of the traditional ontologies, both of substrata and properties, and of bundles of properties, seem to be inadequate to satisfy those requirements. It is argued here that there are several ways in which those requirements can be met: by nodal relations, by primitive ‘nodal facts’, and by symmetric dependencies between objects and relations.

Resumen Varios problemas en la filosofía de la física han llevado al ‘realismo estructural óntico’, esto es, la suposición de que en el nivel físico fundamental no hay ‘objetos’, sino ‘estructuras’. Hay varios requerimientos que una ‘estructura’ debe satisfacer para el ‘realismo estructural óntico’. Las estructuras deben ser entidades concretas, debe haber algo que cumpla las funciones de ‘nodo’, y las relaciones no deben depender de los objetos que están siendo relacionados. La mayoría de las ontologías tradicionales, tanto de sustratos y propiedades, como de cúmulos de propiedades, parecen ser inadecuadas para satisfacer tales requerimientos. Se argumenta aquí que hay varias formas en que tales requerimientos podrían ser solventados: por relaciones nodales, por ‘hechos nodales’ primitivos y por dependencias simétricas entre objetos y relaciones.

Abstract: 14. The purpose of preimplantation genetic diagnosis by embryonary biopsy is to identify genetic alterations prior to the implantation of embryos produced by in vitro fertilization. The most important aim is the selection of genetically healthy embryos due to their genetic indemnity, but it can also be used to select the sex or, eventually, other detectable traits accrding to the wishes of the parents. This procedure has been the subject of scientific debates, in relation to the harm that it can cause to healthy embryos that are going to be implanted, and in relation to the interpretation of the genetic tests made. Ethical debates have also focused on the production of and respect for the life and the integrity of developing human beings. In this work, it is argued that most of the uses of PGD are morally reprehensible, because they are done with disregard to the dignity that should be granted to embryos as human persons.

Resumen: 18. El diagnóstico genético preimplantacional (DGP) mediante biopsia embrionaria tiene como objeto la detección de alteraciones genéticas previamente a la implantación de embriones producidos por fertilización in vitro (FIV). Su finalidad más significativa es la selección de embriones por su indemnidad genética. También se puede emplear para seleccionar el sexo o eventualmente otras características detectadas según el deseo de los padres. Este procedimiento ha sido objeto de debates en el ámbito científico, por el eventual daño que puede ocasionar la técnica en embriones sanos que serán implantados y por las interpretaciones de los exámenes genéticos realizados. También ha sido objeto de debates en el ámbito ético-antropológico, en cuanto a la producción y al respeto a la vida e integridad de los seres humanos en desarrollo. En este trabajo se argumenta que los usos que se hacen del DGP son, en su gran mayoría, moralmente reprochables, por hacerse con desprecio de la dignidad que debe darse al embrión como persona humana.

Resumo: 22. O Diagnóstico genético pré-implantacional (PGD) por meio de biópsia embrionária visa a identificação de alterações genéticas prévias à implantação de embriões produzidos por fertilização in vitro (FIV). Seu propósito mais significativo é a seleção de embriões por sua característica genética. Ele também pode ser usado para selecionar o sexo ou, eventualmente, outras características identificadas de acordo com os desejos dos pais. Este procedimento tem sido tema de debate em âmbito científico, por eventual dano que pode ocaciosionar a técnica em embriões saudáveis que serão implantados e pela interpretações dos exames genéricos realizados. Ele também tem sido objeto de debate na área ético-antropológica, no que concerne a produção e o respeito à vida e integridade do ser humano em desenvolvimento. Este artigo argumenta que os usos que são feitos do PGD são, em sua grande maioria, moralmente condenáveis, por ser instrumentalizado com desrespeito pela dignidade que deve ser dada ao embrião como uma pessoa humana.

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo (cf. Williamson, 1978/9, 1990, 1998, 2000a, 2000b, 2002, 2010, 2013 y trabajo en prensa "Barcan Formulas in Second-Order Modal Logic"), 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: (i) el carácter necesario de ser una propiedad, (ii) la aparición de las propiedades en proposiciones, y (iii) 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í.

Abstract In a series of writings Timothy Williamson has argued for necessitism (cf. Williamson, 1978/9, 1990, 1998, 2000a, 2000b, 2002, 2010, 2013, forthcoming "Barcan Formulas in Second-Order Modal Logic"), 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. (i) the necessary character ofbeing a property, (ii) the occurrence of properties in propositions, and (iii) 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.

Se argumenta aquí que es parte de nuestro concepto de 'persona' que las personas deben ser, por su naturaleza, aptas para 'endurar' en el tiempo. En ninguna concepción de las personas como entidades que 'perduran', con diferentes partes temporales para diferentes tiempos, o como secuencias de etapas que se encuentran entre sí en la relación de 'ser un superviviente de', es posible hacer inteligibles algunas de nuestras intuiciones normativas acerca de las personas. Se argumenta también que la teoría psicológica tradicional de la identidad personal es insostenible. La continuidad psicológica parece ser ni suficiente, ni necesaria para la identidad personal. Una concepción razonable de las personas parece ser o bien, una forma de 'animalismo' en donde las personas son organismos biológicos, o una teoría en la que las personas son sustancias primitivas, con condiciones de identidad también primitivas.

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.

The proportional construction of fundamental rights understands them as principles of maximization. No principle has direct legal consequences. The legal consequences that follow from a norm of fundamental rights depend on the other principles with which it may be in conflict. It is a presupposition of this interpretation that the 'interest' or 'value' represented by a norm should be commensurable with any other value. It is argued here that there are very forceful reasons to doubt that there is such a commensuration. Even granting the commensuration between basic values alleged by the defender of the proportional interpretation, there are models in which this commensuration makes no sense. There are no reasons, then, to accept the proportional interpretation.

La interpretación proporcional de los derechos fundamentales los comprende como principios de maximización. Ningún principio tiene consecuencias jurídicas directas. Las consecuencias jurídicas que se siguen de una norma de derecho fundamental dependen de los otros principios con los que pueda estar en conflicto. Es una presuposición de esta interpretación que el 'interés' o 'valor' representado por una norma debe ser conmensurable con cualquier otro valor. Se argumenta aquí que hay razones muy fuertes para dudar de que exista tal conmensuración. Incluso concediendo la conmensuración entre los valores básicos alegada por el defensor de la interpretación proporcional, hay modelos en los que esta conmensuración no tiene sentido. No hay razones, entonces, para aceptar la interpretación proporcionalista.

Different proposals have been presented recently about the nature of faith. In many of these theories there has not been a sufficient understanding and discussion of several phenomena that occurs to people with a deep interior life of faith. One of these phenomena is the noche oscura del alma -as it was dubbed by Saint John of the Cross. In a noche oscura the presence of God is darkened for the faithful. In fact, it seems to him that he has no faith. Neither internalist theories of faith, nor non-cognitivist theories of faith seem able to explain properly how it is possible a phenomenon like la noche oscura. Instead, cognitivist and externalist theories of faith seem appropriate.

Se han presentado recientemente diferentes propuestas acerca de la naturaleza de la fe. En muchas de ellas no hay una comprensión y una discusión suficientes de varios fenómenos que le ocurren a algunas personas con una vida interior de fe profunda. Uno de estos fenómenos es la "noche oscura del alma" -tal como fue denominado por san Juan de la Cruz-. En una noche oscura la presencia de Dios se oscurece para el fiel; de hecho, le parece que no tiene fe. Ni las teorías internalistas de la fe, ni las teorías no cognitivistas de la fe parecen aptas para explicar adecuadamente cómo es posible un fenómeno como la noche oscura. En cambio, las teorías de la fe cognitivistas y externalistas parecen apropiadas.

The proportionalist interpretation of the fundamental constitutional rights and the human rights is a conception about the nature of the norms that grant those rights as maximization principies’, that is, as principles that do not have immediate application in the cases, but only after they have been subjected to aprocess of‘balancing’ with otherprinciples applicable to the situation, as well as an evaluation of the factual possibilities of application. It ispresupposed here that anyprinciple can be compared in its weight -both in abstract as in concrete- with any other principle. What is required of the judges is that they come with the optimal solution for the satisfaction of all the interests involved in a case. It is argued here that the rationale for such a conception of the fundamental rights is consequentialist through and through. Consequentialism is, to say the least, a controversial ethical theory about the evaluation of actions and states of affairs. It should not bepresumed without further argument and, especially, it should not be presumed as valid law in our constitutions and in the in-ternational instruments of human rights.

La interpretación proporcionalista de los derechos constitucionales fundamentales y los derechos humanos es una concepción acerca de la naturaleza de las normas que otorgan esos derechos como ‘principios de maximización, esto es, como principios que no tienen aplicación inmediata en los casos, sino solo luego de que han sido sometidos a un proceso de ‘ponderación con otros principios aplicables a la situación, así como a una evaluación de las posibilidades fácticas de aplicación. Se presupone aquí que cualquier principio puede ser comparado en su peso -tanto abstracto como concreto- con cualquier otro principio. Lo que se requiere de los jueces es que determinen la solución óptima para la satisfacción de todos los intereses envueltos en un caso. Se argumenta aquí que la justificación para tal concepción de los derechos fundamentales es consecuencialista. El consecuencialismo es, como mínimo, una teoría ética controvertida acerca de la evaluación de las acciones y los estados de cosas. No debe ser presumido sin argumentación ulterior y, especialmente, no debe presumirse como derecho vigente en nuestras constituciones y en los instrumentos internacionales de derechos humanos.

El presente trabajo discute si la relación de 'determinación' -esto es, la relación entre propiedades determinables y determinadas- puede ser explicada por los defensores del nominalismo de semejanza y las ontologías de tropos. En ambos casos las características de la relación de determinación deben estar fundadas en relaciones de semejanza primitivas ya sea entre objetos o entre tropos. Después de presentar los principales requerimientos de la relación de determinación y tres teorías basadas en universales que intentan explicarla, se argumenta que las concepciones basadas en semejanzas entre objetos o tropos deben postular conexiones necesarias primitivas no-económicas entre semejanzas, pero también -lo que es más grave- se argumenta que deben entender las clases de semejanza por las que son dadas las propiedades determinables de un modo que no puede evitar los problemas tradicionales de la 'comunidad imperfecta' y de la 'compañía'.

The present work discusses whether the relation of 'determination' -i. e. the relation between determinable and determinate properties- can be explained by defenders of resemblance nominalism and trope ontologies. In both cases, the characteristics of the relation of determination should be founded in primitive resemblance relations either between objects, or between tropes. After presenting the main requirements of the determination relation, and three theories based on universals that try to explain it, it is argued that conceptions based on resemblances between objects or tropes should postulate uneconomical necessary and primitive connections between resemblances, but also -what is more serious- it is argued that they should construe the resemblance classes by which determinable properties are given in a way that cannot avoid the traditional problems of the 'imperfect community' and the 'companionship'.

Este trabajo presenta y discute dos grandes alternativas sistemáticas para comprender la ontología angélica. Estas alternativas están asociadas con San Buenaventura y Santo Tomás de Aquino. En la primera alternativa, los ángeles se conciben como poseyendo algún tipo de estructura física. En la segunda, por su parte, los ángeles son criaturas puramente espirituales, no compuestas por ningún tipo de estructura física. Santo Tomás de Aquino defiende una teoría muy detallada de la naturaleza angélica. Los ángeles tienen formas intencionales connaturales y no poseen percepción de estados de cosas individuales. Cada uno de ellos es el único ejemplar de su especie. Los ángeles son inmediatamente salvados o condenados después de su creación por un único acto de voluntad. Todas estas alegaciones son discutidas. No son necesarias para una concepción razonable de los ángeles como criaturas puramente espirituales, y tampoco parecen correctas. Una teoría tomista corregida de la naturaleza angélica, sin embargo, no parece decisivamente superior a una teoría bonaventuriana.

This work presents and discusses two major systematic alternatives for the ontology of angels. Those alternatives are associated with Saint Bonaventure and Saint Thomas Aquinas. In the first one, angels are conceived as having some sort of physical structure. However, in the second one, angels are purely spiritual creatures not composed by any kind of physical structure. Aquinas defends a very detailed theory about the angelic nature. Angels have connatural intentional forms and no perception of individual states of affairs. Each one of them is the only exemplar of its species. Angels are immediately saved or condemned after their creation by a unique act of will. All of these contentions are discussed. They are not necessary for a reasonable conception of angels as purely spiritual creatures, nor do they seem correct. A corrected Thomistic theory of angelic nature, though, does not appear decisively superior over a Bonaventurian one.

Este trabalho apresenta e discute duas grandes alternativas sistemáticas para compreender a ontologia angélica. Estas alternativas estão associadas com São Boaventura e São Tomás de Aquino. Na primeira alternativa, os anjos são concebidos como possuindo algum tipo de estrutura física. Na segunda, por sua vez, os anjos são criaturas puramente espirituais, não compostas por nenhum tipo de estrutura física. São Tomás de Aquino defende uma teoria muito detalhada da natureza angélica. Os anjos têm formas intencionais conaturais e não possuem percepção de estados de coisas individuais. Cada um deles é único exemplar de sua espécie. Os anjos são imediatamente salvos ou condenados, depois de sua criação, por um único ato de vontade. Todas estas alegações são discutidas. Não são necessárias para uma concepção razoável dos anjos como criaturas puramente espirituais, e tampouco parecem corretas. Uma teoria tomista corrigida da natureza angélica, contudo, não parece decisivamente superior a uma teoria boaventuriana.

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.

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.

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.

This work presents a -possible- solution to the so-called 'Bradley's Regress'. It is claimed, first, that the regress should be seen as a problem that appears when one is trying to explain reductively states of affairs, that is, when one is trying to reduce states of affairs to its components. The recent proposal of Gaskin (2008) is, then, discussed. Gaskin sustains that the fact that the regress is infinite might turn it into a proper reductive explanation of states of affairs. It is argued, though, that the infinite instantiation relations postulated by Gaskin are not apt to give the reductive explanation sought. Finally, it is contended that tropes, in various of the forms by which they have been proposed may give the required reductive explanation of states of affairs. Tropes have, further, an important systematic advantage over the usual strategies used to defuse the regress, for tropes do not appear as an 'exception' or as mysterious 'primitives' in the general ontological landscape.

Este trabajo presenta una -posible- solución para el llamado 'regreso de Bradley'. Se sostiene, en primer lugar, que el regreso podría ser visto como un problema que aparece cuando se trata de explicar reductivamente los estados de cosas, esto es, cuando se trata de reducir los estados de cosas a sus componentes. Luego, se discute la reciente propuesta de Gaskin (2008). Gaskin alega que el hecho de que el regreso es infinito podría hacerlo una explicación reductiva apropiada de los estados de cosas. Se argumenta, sin embargo, que las infinitas relaciones de instanciación postuladas por Gaskin no son aptas para entregar la explicación reductiva buscada. Finalmente, se sostiene que los tropos, en varias de las formas en que han sido propuestos pueden entregar la explicación reductiva buscada de los estados de cosas. Los tropos, además, tienen una importante ventaja sistemática sobre las estrategias usuales utilizadas para desactivar el regreso, pues los tropos no aparecen como una 'excepción' o como misteriosos 'primitivos' en el panorama ontológico general.

This work presents the subtraction argument for transcendent universals, i.e., for universals that are not instantiated. The argument depends on two main premises: (i) the contingency of the different instantiations of a universal, and (ii) the ontological independence between these instantiations. By the first premise one can postulate metaphysically possible worlds where given instantiations of a universal are subtracted. One can consider, then, a possible world where only one object instantiates a universal. By the principle (ii) of independence, construed in a particular way, one can postulate in this point a possible world where no object instantiates the universal. It is contended that the independence thesis (ii) is too strong for the defender of immanent universal, who can construe it in a milder guise, compatible with the generic dependence of universals to having some or other instance.

Este trabajo presenta el argumento de sustracción para defender los universales trascendentes, esto es, universales que no se encuentran instanciados. El argumento depende de dos premisas fundamentales: (i) la contingencia de las diferentes instanciaciones de un universal, y (ii) la independencia ontológica entre estas instanciaciones. Por la primera premisa se pueden postular mundos metafísicamente posibles en donde las instanciaciones dadas de un universal son sustraídas. Se puede considerar, luego, un mundo posible en donde sólo un objeto instancia el universal. Por el principio (ii) de independencia, interpretado de un modo particular, se puede postular en este punto un mundo posible en donde ningún objeto instancia el universal. Se argumenta que la tesis de independencia (ii) es demasiado fuerte para el defensor de los universales inmanentes, quien puede entenderla de un modo más moderado, compatible con la dependencia genérica de los universales a tener una u otra instancia.

This paper discusses a well-known objection to libertarian free will in a non-deterministic world. In a non-deterministic world the complete state of affairs of the world in an instant of time t is compatible with different alternative complete states of affairs in the future of t. It has been argued that, in so far as different alternatives are possible to a free decision, it is a matter of chance and luck that that decision is taken. If a free decision is a matter of luck, then the agent cannot be considered responsible for it. It is argued that the difficulty appears from an anti-realist conception of causality, where causal facts are supervenient on regularities or counterfactual dependences. A realist conception of causality can, then, explain how the agent is causally in control of the free decision taken when the decision does not fall under a regularity or a counterfactual dependence. Once considered how the agent is in control of the decision, it is argued that one cannot say that the free decision is a matter of luck for the agent.

Este trabajo discute una objeción bien conocida a la libertad de la voluntad libertaria en un mundo no determinista. En un mundo no determinista el estado de cosas total del mundo en un instante de tiempo t es compatible con diferentes estados de cosas totales alternativos en el futuro de t. Se ha argumentado que, en cuanto son posibles diferentes alternativas a una decisión libre, es una cuestión de azar y suerte que tal decisión se ha tomado. Si una decisión libre es una cuestión de suerte, entonces el agente no puede ser considerado responsable por ella. Se argumenta que la dificultad aparece en una concepción anti-realista de la causalidad, donde los hechos causales son supervenientes a regularidades o dependencias contrafácticas. Una concepción realista de la causalidad puede, por ello, explicar cómo el agente está en control causal de la decisión libre tomada, cuando la decisión no cae bajo una regularidad o una dependencia contrafáctica. Una vez considerado cómo es que el agente está en control de la decisión, se argumenta que no se puede decir que la decisión libre es una cuestión de suerte para el agente.