Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

This book collects six unpublished and published academic studies on the thought of Francisco Suárez, which is addressed through accurate textual analyses and meticulous contextualization of his doctrines in the Scholastic debate. The present essays aim to portray two complementary aspects coexisting in the work of the Uncommon Doctor: his innovative approach and his adherence to the tradition. To this scope, they focus on some pivotal, but often neglected, topics in Suárez’s metaphysics and psychology – such as his theories of (...) cognition and truth, angelology, continuous quantity – thereby developing an original inquiry into a crucial moment in the development of Western philosophy. (shrink)

I argue in this paper that Descartes is committed both to a compatibilist view concerning the relation between free will and divine preordination, namely, one according to which both of these views come out true, and to a libertarian view as regards human free will. I defend here that what allows our author to maintain both of these committments is what I call Mysterism, namely, the view according to which God's immense and incomprehensible nature explains our incapacity to understand fully (...) that compatibility through our own finite reason. (shrink)

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

This paper argues that Aquinas's conception of the human soul and intellect offers a consistent alternative to the dilemma of materialism and post-Cartesian dualism. It also argues that in their own theoretical context, Aquinas' arguments for the materiality of the human soul and immateriality of the intellect provide a strong justification of his position. However, that theoretical context is rather "alien" to ours in contemporary philosophy. The conclusion of the paper will point in the direction of what can be done (...) to render Aquinas's position more palatable to contemporary philosophers. (shrink)

Human freedom is often characterised as a unique power of self-determination. Accordingly, free human action is often thought to be determined by the agent in some distinctive manner. What is more, this determination is widely assumed to be a kind of efficient-causal determination. In reaction to this efficient-causal-deterministic conception of free human action, this paper argues that if one takes up the understanding of determination and causality that is offered by Anscombe in ‘Causality and Determination’, and moreover takes up an (...) understanding of free human action that is constrained by Anscombe’s account of intentional action in Intention, then an account of free human action as distinctively caused or determined by the agent is untenable. However, the notion of necessitation that Anscombe presents in ‘Causality and Determination’, which implies neither causality nor determination, offers an attractive alternative account. This alternative account pushes us to reconsider the sense in which human freedom is a power of self-determination, and to acknowledge the limits of our control in free action. (shrink)

In this article, the philosophical-anthropology of St. Thomas Aquinas is examined. In particular, the non-dualistic aspects of his anthropology are explicated and shown to have the potential to provide an underpinning for a holistic approach to psychology. In the course of this examination, parallels are drawn between Thomism and existential-phenomenology. The article concludes with an exploration of the ways in which a dialogue between existential-phenomenology and Thomism might benefit both traditions of thought, particularly as regards their relevance to metapsychology.

The last thirty years of scholarship in western medieval philosophical historiography have seen a number of reflections on the methodological paradigms, schools, trends, and dominant approaches in the field. As a contribution to this ongoing assessment of the existing methods of studies in medieval philosophy and theology and a supplement to classifications offered by M. Colish, J. Inglis, C. König-Pralong, J. Marenbon, A. de Libera, and others, the article offers another explanatory tool. Here is a description of an imaginary system (...) of methodological coordinates that systematizes the current tendencies by placing them in a three-dimensional system of axes. Every axis corresponds to a certain aspect of the historical and systematic research in medieval thought and symbolizes a possible movement between two extremes representing opposite methodological values and directions. The methods and approaches practiced in recent studies in medieval philosophy and theology might be schematically located inside this general system of argumentational, focal (or objectival), and (con)textual axes with their intersection identified with what some scholars call the “integral” model of study. This explanatory tool allows one to see how current approaches and methods form a panoply of axes that belong together in one complex grid and helps to visualize the tapestry of existing approaches in medieval philosophical historiography. (shrink)

I, along with others, have been critical of the social construction of brain death and the various social factors that led to redefining death from cardiopulmonary failure to irreversible loss of brain functioning, or brain death. Yet this does not mean that brain death is not the best threshold to permit organ harvesting—or, as people today prefer to call it, organ procurement. Here I defend whole-brain death as a morally legitimate line that, once crossed, is grounds for families to give (...) permission for organ donation. I do so in five moves. First, I make the case that whole-brain death is a social construction that transformed one thing, coma dépassé, into another thing, brain death, as a result of social pressures. Second, I explore the way that the 1981 President’s Commission tried to establish the epistemological certainty of brain death, hoping to avoid making arcane metaphysical claims and yet still utilizing metaphysical claims about human beings. Third, I explore the moral meaning of the social construction of a definition that cannot offer metaphysical certainty about the point at which somebody becomes just some body. Fourth, I describe how two moral communities—Jewish and Catholic—actually ground their metaphysical positions with regard to brain death in the normativity of prior social relations. Finally, I conclude with a reflection on the aesthetic-moral enterprise of the metaphysical-epistemological apparatus of brain death, concluding that only such an aesthetic-moral approach is sufficiently strong to stave off the utility-maximizing tendencies of late-modern Western cultures. (shrink)

The Thomistic proof of the immateriality of human reason consists in the argument from the fact that intellection has as its object not empirical particulars but abstract universals. A standard objection against dualism plays up the problem with the causal influence of the soul on the body . The Thomistic solution depends on the hylemorphic conception of the soul as substantial form of body, i.e. on the view that the human soul is that in virtue of which a human body (...) has those essential properties which it has. (shrink)

Most contemporary theologians have distanced themselves from views that identify the image of God with a capacity or a set of capacities that humans have. This article examines three arguments against the structural view and finds them wanting. The first argument is that the structural view entails mind/body dualism and dualism is no longer viable given neuroscience and contemporary philosophy. Against this, I argue that contemporary forms of dualism are able to circumvent such worries and are at least prima facie (...) plausible. The second claim is that structural views end up disvaluing the human body and our relatedness. Here, I argue that neither the structural view nor dualism has such consequences. The third issue consists of various evolutionary worries that have to do with the lack of a clear-cut boundary between human capacities and the capacities of nonhuman animals. As a response, the article argues that although there might not be a clear-cut set of capacities that all humans share, we could still have a notion of human distinctiveness that is sufficient for the structural image of God. (shrink)

The details of St. Thomas Aquinas’s anthropological view are subject to debate. Some philosophers believe he held that human persons survive their deaths. Other philosophers think he held that human persons cease to exist at their death, but come back into being at the general resurrection. In this paper, I defend the latter view against one of the most significant objections it faces, namely, that it entails that God punishes and rewards separated souls for the sins or merits of something (...) else: the (non-existent) persons to whom those souls once belonged. The objector takes this entailment to be problematic. I argue that it fits in well with St. Thomas’s views about punishment and about persons. (shrink)

Intuition serves a variety of roles in contemporary philosophy. This paper provides a historical discussion of the revival of intuition in the 1970s, untangling some of the ways that intuition has been used and offering some suggestions concerning its proper place in philosophical investigation. Contrary to some interpretations of the results of experimental philosophy, it is argued that generalized skepticism with respect to intuition is unwarranted. Intuition can continue to play an important role as part of a methodologically conservative stance (...) towards philosophical investigation. I argue that methodological conservatism should be sharply distinguished from the process of evaluating individual propositions. Nevertheless, intuition is not always a reliable guide to truth and experimental philosophy can serve a vital ameliorative role in determining the scope and limits of our intuitive competence with respect to various areas of inquiry. (shrink)

Thomas Aquinas persistently defended the idea that the soul survives physical death. But what exactly is the rational soul that becomes separated from the body at death? When a person’s body dies, do they cease to exist? Over the past few decades, a nuanced debate has developed between “survivalists” and “corruptionists” over whether or not a separated soul is still a person, leading to impenetrable disagreements in which neither side can seem to sway the other. In this research, I propose (...) a previously unexplored answer to this contentious query: that a person whose soul has been separated from their body is an incomplete human being. (shrink)

This paper defends a hylomorphic version of animalism according to which human persons survive as immaterial, bodiless animals after death. According to the hylomorphism under consideration, human persons have souls that survive death, and according to the animalism under consideration, human persons are necessarily animals. One might think this implies that human persons don't survive their deaths since if they were to survive their deaths, they would be immaterial animals after death, but necessarily animals are material. This paper shows that (...) the hylomorphic animalist can overcome this problem in a way that respects the intuition that animals are material. In addition, the paper defends the hylomorphic animalist survivalist from the objection that her view introduces an insoluble mereological puzzle. (shrink)

In this paper I argue that there are resources in the work of Thomas Aquinas that amount to a unique approach to what David P. Schweikard and Hans Bernhard Schmid’s call the “Central Problem” facing theorists of collective intentionality and action. That is to say, Aquinas can be said to affirm both (1) the “Individual Ownership Claim” and (2) the “Irreducibility Claim,” coherently and compellingly. Regarding the Individual Ownership Claim, I argue that Aquinas’s concept of “general virtue” (virtus generalis) buttresses (...) an account of the way in which individuals act collectively qua individuals, i.e., without invoking hive minds or other scientifically problematic phenomena. Further, with respect to the Irreducibility Claim (2), I argue that Aquinas’s concept of “common good” (bonum commune) offers an account of the way in which some powers and acts of social groups are importantly irreducible to those of their members. Considered together, I argue that these two positions in Aquinas are correlative, and therefore amount to a coherent account of collective action and group agency, respectively. (shrink)

Thomas Aquinas and Hervaeus Natalis share a correlational theory of intentionality. When I cognize a thing, I am in a real relation with the thing cognized and at the same time the thing is in a relation of reason with me. Hervaeus coins the term “intentionality” to designate precisely this relation of reason. First and second intentionality express two stages of this relation. First intentionality refers to the relation that a thing has to the mind, while second intentionality indicates the (...) relation that a thing qua cognized has to the mind. Thus, first intentionality involves direct cognition, while second intentionality reflexive cognition. This theory of intentionality has two purposes: first, to de-psychologize the cognitive process and second, to allow the application of Aristotle’s table of categories to the sphere of the mental. Through his detailed analysis of the relation of intentionality, Hervaeus clarifies some of Thomas’s obscurer points, but at the same time he has to solve a delicate problem of circularity entailed by the notion of intentionality as a relation of reason. (shrink)

The demands of morality ought to be intelligible. However they are not alwaysreadilyintelligible. Thus it is easy to see why we need good sense and courage, and why we should seek to live at peace with our neighbours. But moral necessity is not always that transparent. Furthermore the intelligibility we seek is perhaps not always of this kind. This paper illustrates these difficulties by considering certain basic and unshakable convictions we share about homicide and sexuality, two topics we tend to (...) think badly about. And it explores a significant similarity in the moral philosophies of Anscombe and Kant. (shrink)

RÉSUMÉ: Je discute dans le présent article le concept de vertu naturelle chez Aristote et Thomas d’Aquin. J’analyse l’idée de Thomas d’Aquin de vertus qui sont naturelles à tous les être humains en m’aidant de la théorie contemporaine de la loi naturelle; et je défends son idée de vertus qui sont naturelles à certains êtres humains en discutant quelques problèmes en éthique contemporaine de la vertu et en comparant ses conceptions à celles de David Hume. Finalement, je recours au concept (...) de vertu naturelle pour examiner la question de l’unité des vertus et le problème du «courageux meurtrier nazi». Je comprends cette exploration du thème de la vertu naturelle comme une contribution à la réflexion sur la vertu en général et, plus particulièrement, au débat entre une éthique de la vertu et une éthique des principes. (shrink)

The prolonged public debate on human embryonic stem cell (ECS) research has reflected a deepening moral divide in American society over the ontological status of the human embryo and the morality o...

There is a pervasive trend in Western theology to identify imago Dei with human intellectual and cognitive capacities. However, several contemporary theologians have criticized this view because, according to the critics, it leads to a truncated view of humanity. In this article, I shall concentrate on the question of rationality, first, through theologies of Thomas Aquinas and contemporary Lutheran Robert Jenson, and second, in some branches of recent cognitive psychology. I will argue that there is a significant overlap between contemporary (...) scientific interpretations of rationality and both a traditional Thomistic view and a contemporary ecumenical interpretation of imago Dei. Consequently, it is possible to give an account of imago Dei which takes structural features as central and which is in accord with contemporary science, without falling prey to the dangers that the critics of structuralism point out. (shrink)

RESUMO Ainda que Tomás de Aquino não usasse o termo intencionalidade frequentemente, ele tem uma teoria que explica como nós, enquanto sujeitos, nos referimos intencionalmente aos objetos. Nossa referência funciona quando há uma "identidade formal" entre a forma no ato de percepção ou conhecimento do sujeito e a forma do objeto. Na literatura secundária, "identidade formal" é muitas vezes o nome usado para chamar essa teoria. Nosso artigo visa o fato de que, em Tomás, a tese da identidade formal não (...) é só epistemológica, mas ela exige uma base metafísico-ontológica. O resultado da nossa investigação é que, segundo a tese da identidade formal, a referência epistêmica aos objetos funciona de maneira direta, mas por meio disso ela não produz uma variedade de objetos imanentes ou intencionais na ontologia. ABSTRACT Even if Thomas Aquinas did not use the term intentionality often, He has a theory that explains how we, as subjects, intentionally refer to objects. Our reference works when there is a "formal identity" between the form in the act of perception or subject knowledge and the form of the object. In secondary literature, "formal identity" is the name used to refer to that theory. Our article aims at the fact that, in Thomas's writings, the formal identity thesis is not only epistemological, but requires a metaphysical-ontological basis. The result of our investigation is that, according to the formal identity thesis, the epistemic reference to objects works on a direct way, but by means of that it does not produce a variety of immanent or intentional objects within ontology. (shrink)

Allocating the burden of proof and intuitions in philosophical disputes.– This paper criticises the view that in philosophical disputes the onus probandi rests on those who advance a position that contradicts our basic intuitions. Such a rule for allocating the burden of proof may be an adequate reconstruction of everyday justification, but is unreasonable in the area of philosophy. In philosophy it is not only difficult to determine the plausibility of a proposition, at the same time contradictory claims may be (...) equally plausible. – In contrast to such common sense proposals I try to show that in philosophical disputes the burden of proof does not depend on the material content of speech acts. A speaker simply bears the burden of proof for a proposition p if he has asserted that p and has agreed to justify it. (shrink)