From the Qur'an, Surah Maryam: -/- (21) So she conceived him, and went in seclusion with him to a remote place. (22) And the pains of childbirth drove her to the trunk of a palm tree: she cried (in her anguish): "Ah! would that I had died before this! Would that I had been a thing forgotten and out of sight!" (23) But (a voice) cried to her from beneath the (palm tree): "Grieve not! for thy Lord hath provided a (...) rivulet beneath thee;" (24) "And shake towards thyself the trunk of the palm tree: it will let fall fresh ripe dates upon thee." (25) "So eat and drink and cool (thine) eye. And if thou dost see any man say 'I have vowed a fast to (Allah) Most Gracious, and this day will I enter into no talk with any human being.'" -/- This Surah depicts a human being in unbearable pain. What makes the pain tolerable is the sympathy that God shows for Mary. Hearing her inner voice, understanding her suffering and her grief, God is moved to provide her with practical and substantive support to help her bear her agony. For me this story portrays a God who is active in the world, hears the supplications of humanity, and has empathy with the needy, the oppressed, and those who are suffering. -/- Yet I am concerned that our theological traditions in the Islamic world (as also in Christendom) have developed through the centuries such that God is now seen, by overwhelming theological consensus, as an immutable being, a being outside time who has determined our providence from the standpoint of eternity, who has foreknowledge of every free action of his creations and has designed all according to His plan for past and future events; who knows in advance even the timings and contents of our petitionary prayers and has decided already whether to answer them. (shrink)

Avicenna's proof for the existence of God (the Necessary Existent) in the Metaphysics of the Salvation relies on the claim that every possible existent shares a common cause. I argue that Avicenna has good reason to hold this claim given that he thinks that (1) every essentially ordered causal series originates in a first, common cause and that (2) every possible existent belongs to an essentially ordered series. Showing Avicenna's commitment to 1 and 2 allows me to respond (...) to Herbert Davidson's and Richard Swinburne's claim that Avicenna's proof for the Necessary Existent is incomplete and fallacious -/- . (shrink)

Mümkün varlıkları aracı kılmadan Vâcibü’l-Vücûd’un varlığını ispatlama çabalarının bir sonucu olan sıddıkîn burhanı ilk defa Müslüman filozoflar tarafından dillendirildi. İbn Sînâ (ö. 428/1037) da Fârâbî’nin etkisiyle yeni bir burhan açıkladı ve buna sıddıkîn adını verdi. Molla Sadrâ (ö. 1050/1641) varlığın asaleti ilkesini mutasavvıflardan, teşkîk ilkesini de Sühreverdî’den iktibas ederek yeni bir sıddıkîn burhanı dillendirdi. Bu burhanın, varlığın asaleti, basîtliği/yalınlığı, teşkîkî ve ma’lûlün illete ihtiyacı olmak üzere bazı öncülleri vardır. O, bu öncülleri açıkladıktan sonra teselsüle ihtiyaç duymadan Vâcibü’l-Vücûd’un varlığını ispatlar. Onun (...) burhanı diğer sıddıkîn burhanlarına nispetle bazı üstün özelliklere sahiptir. Öncelikle bu burhan varlığın asaleti ilkesi üzerine bina edildiğinden dayanağı varlık kavramı değil, varlığın nesnel hakikatidir. İkincisi bu burhan Vâcibü’l-Vücûd’un zâtını ispatlamakla birlikte Vâcibü’l-Vücûd’un birliğini ve kemâlî sıfatlarını ispatlar. Üçüncüsü bu burhana göre mümkün varlıklar hiçbir aracı olmadan Vâcibü’l-Vücûd’a bağımlı olduklarından burhanın açıklanmasında teselsül ve kısır döngüden yararlanma ihtiyacı yoktur. Molla Sadrâ’nın teselsül ve kısır döngüden de yararlanarak Vâcibü’l-Vücûd’un varlığını ispatladığı burhanlar da vardır. Molla Sadrâ bu burhanıyla hem Vâcibü’l-Vücûd’un varlığını ve hem de onun kemâlî sıfatlarını ispatladığını iddia eder. Bu çalışmada bu iddia incelecek ve ispat-ı vacip meselesinde Molla Sadrâ’nın ne gibi yenilikler getirdiği ele alınacaktır. ABSTRACT A result of the attempts to prove the existence of The Necessary Existence without the mediation of possible beings, proof of the truthful was first expressed by Muslim philosophers called it sıddıkin. Mullā Ṣadrā’s “proof” that he explains has certain premises such as the fundamental of existence, indivisibility of the existence, existential gradation, effect’s need for cause. After explanining these premises, Mullā Ṣadrā then proves the Necessary Existence without needing succession. Mullā Ṣadrā’s proof of the truthful has certain superior features tan the proofs of truthful expressed before him. First of all, as this proof is built upon the principle of the fundamental of existence, its foundation is the external truth of existence, not the concept of existence itself. Secondly, this proof proves the unity and perfection attributes of The Necessary Existence as well as proving the existence of the Necessary Existence. Thirdly, according to this proof, as all possible existences are dependent on The Necessary Existence without any mediation, there is no need to benefit from succession and vicious circle in explaining the proof. However, Mullā Ṣadrā proves the Necessary Existence by benefitting from succession and vicious circle in other proofs. Mullā Ṣadrā asserts that this proof demonstrates the presence of The Necessary Existence and its perfection attributions. This study examines this assertion and addresses what kind of innovations was brought by Mullā Ṣadrā in terms of proving The Necessary Existence. (shrink)

This is a review of *Necessary Existence* (by Alex Pruss and Josh Rasmussen). The review outlines a response to the main line of argument that is developed in the book.

We initially characterize what we’ll call existence problems as problems where there is evidence that a putative entity exists and this evidence is not easily dismissed; however, the evidence is not adequate to justify the claim that the entity exists, and in particular the entity hasn’t been detected. The putative entity is elusive. We then offer a strategy for determining whether an existence problem is philosophical or scientific. According to this strategy (1) existence problems are characterized in (...) terms of causal roles, and (2) these problems are categorized as scientific or philosophical on the basis of the epistemic context of putative realizers. We argue that the first step of the strategy is necessary to avoid begging the question with regard to categorization of existence problems, and the second step categorizes existence problems on the basis of a distinction between two ways in which an entity can be elusive. This distinction between kinds of elusiveness takes as background a standard account of inference to the best explanation. Applying this strategy, we argue that the existence of a multiverse is a scientific problem. (shrink)

Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that (...) have a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

Metaphysicians frequently appeal to intuition. But when is that appeal useful? I consider that question by focusing on our existential intuitions. In particular, I want to go some way to answering the question of whether, and when, appeal to existential intuitions is useful, by consid-ering the issue in the light of an argument for unrestricted composition. This argument appeals to a difference in the extent to which restricted and unrestricted compositionalists appeal to existential intuitions, and concludes that at the very (...) least, restricted compositionalists are on shak-ier epistemic ground than unrestricted compositionalists. Having outlined this argument for unrestricted composition, I con-sider the nature of the unrestricted existential quantifier in the context of three different metaphysical scenarios about the way the world might be: scenarios that differ with respect to whether the metaphysics of a world completely or uniquely settles the division of that world into ob-jects. I argue that appeal to intuition is not only useful but necessary if we are to determine the intension of ‘exists’ and hence its extension at any given world. But this appeal is not simply an appeal to our brute ex-istential intuitions—our dispositions actually to quantify over a certain domain. Rather, it requires equilibration over a set of worlds in which we consider our ‘quantificational’ dispositions in each world, where, importantly, included in this set of worlds are worlds in which the meta-physics differently settles the division of those worlds into objects. Ul-timately, I argue, our dispositions yield various conditional claims about our concept <existence>. These are conditional claims of the most ab-stract kind: they tell us, for instance, that if there is some natural, unique division of our world into objects, then the unrestricted quantifier ranges over all and only the objects in that domain. But, I will argue, our untu-tored, world-bound dispositions are no guide at all to what actually ex-ists even on the supposition that metaphysics alone does not uniquely or completely settle a natural division of our world into objects. Hence they are no guide to the nature of composition. And to the extent that certain restricted compositionalist views depend on such intuitions, so much the worse for them. Or so I shall argue. (shrink)

The standard position on moral perfection and gratuitous evil makes the prevention of gratuitous evil a necessary condition on moral perfection. I argue that, on any analysis of gratuitous evil we choose, the standard position on moral perfection and gratuitous evil is false. It is metaphysically impossible to prevent every gratuitously evil state of affairs in every possible world. No matter what God does—no matter how many gratuitously evil states of affairs God prevents—it is necessarily true that God coexists (...) with gratuitous evil in some world or other. Since gratuitous evil cannot be eliminated from metaphysical space, the existence of gratuitous evil presents no objection to essentially omnipotent, essentially omniscient, essentially morally perfect, and necessarily existing beings. (shrink)

I argue that the fundamental dogma that all necessary relations are internal is ungrounded. To motivate my argument, I analyse Moore’s classic ideas on internal relations and take them as an illustration of the common form of reasoning that can mislead us to conclude that all necessary relations are internal. That reasoning illicitly smuggles the idea that necessary properties and relations reflect on identity—in the sense that the loss of a necessary property/relation is a loss of (...) identity—into the separate idea that the loss of a necessary property/relation is a loss of essence. Essence, however, is not identity. So the way seems to be open for the existence of necessary properties/relations which do not belong to the essence of entities; that is, the existence of necessary but external relations. I then offer some examples of such relations. (shrink)

THE aim of this paper is to refute Hume's contention that there cannot be logically necessary connections between successive events. I intend to establish, in other words, not 'Logically necessary connections do exist between successive events', but instead the rather more modest proposition: 'It may be, it is possible, as far as we can ever know for certain, that logically necessary connections do exist between successive events.' Towards the end of the paper I shall say something about (...) the implications of rejecting Hume's contention. (shrink)

The aim of this paper is to clarify Spinoza’s views on some of the most fundamental issues of his metaphysics: the nature of God’s attributes, the nature of existence and eternity, and the relation between essence and existence in God. While there is an extensive literature on each of these topics, it seems that the following question was hardly raised so far: What is, for Spinoza, the relation between God’s existence and the divine attributes? Given Spinoza’s claims (...) that there are intimate connections between God’s essence and his existence – “God’s essence and his existence are one and the same”(E1p20) – and between God’s essence and the attributes – “By attribute I understand what the intellect perceives of substance, as constituting its essence” (E1d4), we would naturally expect that by transitivity, there is a significant relation between God’s existence and the attributes. Yet, as far as I know, there is little, if any, attempt in the existing literature to explicate such a relation, and it is one of my aims of this study to both raise the question and answer it. Eventually, I will argue that for Spinoza God is nothing but existence, and that the divine attributes are just fundamental kinds of existence, or, what is the same, as I will later argue, the intellect’s most fundamental and adequate conceptions of existence. In the first part of the paper I provide some background for Spinoza’s brief discussion in the TTP of God’s name and essence by studying the claims of Maimonides in the Guide of the Perplexed that God’s true essence is necessary existence, and that this essence is denoted by the ineffable Hebrew name of God, the Tetragrammaton (YHVH). In the second part of the paper I point out similar claims Spinoza presents in the TTP, and show how they respond to and echo Maimonides’ discussion in the Guide. In the third part, I examine Spinoza’s apparently conflicting claims in the Ethics about the relationship between God’s essence and existence. In some places Spinoza claims that God’s essence and existence are strictly identical (E1p10: “God’s essence his existence are one and the same”), but in other passages he makes the apparently much more modest claim that God’s essence involves existence (E1d1, E1p7d and E1p11d), which may lead one to believe that there is more to God’s essence than mere existence. I show that Spinoza’s understanding of the relation denoted by the Latin ‘involvit’ is consistent with the strict identification of essence and existence in God, and that Spinoza identifies God’s essence with self-necessitated existence, or eternity. Indeed, Spinoza’s understanding of eternity [aeternitas] as self-necessitated existence (E1d8) is one of the very few Spinozistic concepts that has no trace in Descartes. In this part I will also solve the long-standing problem of the sense in which the infinite modes can be called ‘eternal.’ In the fourth part I turn to the relation between the divine attributes and God’s existence and argue that, for Spinoza, the attributes are self-sufficient and adequate conceptions of existence. Finally, I will attempt to explain what brought Spinoza to deify existence. -/- Part I: “In that Day shall God be One, and his Name One”- Maimonides on God’s Name and Essence. -/- 1.1 Before we delve into the texts, let me suggest a few distinctions between various views on the issue of the relation between essence and existence in God. The view I suspect both Maimonides and Spinoza subscribe to can be termed the divine essence-existence Identity Thesis. -/- Identity Thesis (IT): God’s essence is existence and nothing but existence. We should distinguish the Identity Thesis from the much more common view according to which God’s essence contains existence, or (which I take to be roughly the same) that existence is one of the properties or perfections which constitute God’s essence. The latter view allows for the possibility (though it does not demand) that there is more to God’s essence than bare existence (e.g., God’s essence may include omniscience, omnipotence, etc.). I will term this view the divine essence-existence Containment Thesis. (shrink)

While there has been much discussion about what makes some mathematical proofs more explanatory than others, and what are mathematical coincidences, in this article I explore the distinct phenomenon of mathematical facts that call for explanation. The existence of mathematical facts that call for explanation stands in tension with virtually all existing accounts of “calling for explanation”, which imply that necessary facts cannot call for explanation. In this paper I explore what theoretical revisions are needed in order to (...) accommodate this phenomenon. One of the important upshots is that, contrary to the current consensus, low prior probability is not a necessary condition for calling for explanation. In the final section I explain how the results of this inquiry help us make progress in assessing Hartry Field’s style of reliability argument against mathematical Platonism and against robust realism in other domains of necessary facts, such as ethics. (shrink)

Cosmological arguments for God typically have two stages. The first stage argues for a first cause or a necessary being, and the second stage argues from there to God. T. Ryan Byerly offers a simple, abductive argument for the second stage where the best explanation for why the being is found to have necessary existence is that it is a perfect being. The reasoning behind this argument is that universal generalizations explain observations of their instances; for example, (...) the universal generalization that all ravens are black explains why some particular raven is observed to be black. Similarly, the fact that a being has all perfections explains why we find the being to have necessary existence. I distinguish between two readings of Byerly’s proposed theistic explanation, and conclude that his explanation does not offer an advantage to the theist in either case. (shrink)

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on (...) the powerset of the natural numbers. (shrink)

Self-consciousness relates to important themes, such as sentience and personhood, and is often the cornerstone of moral theories (Warren, 1997). However, not much attention is given to future moral creatures of the earth: robots. This may be due to the unsettled status of their experience, which is why I have chosen to find the necessary features of self-consciousness in them. Philosophy of mind is also my interest which I have developed since I rejected the idea of souls and could (...) not account for my own phenomenal experiences. Among the current answers to the hard problem of consciousness (Chalmers, 1995) one stood out to me – Daniel Dennett’s multiple drafts model of consciousness presented in “Consciousness Explained” (Dennett, 1991) and his other works. Daniel Dennett is a self-described illusionist (Dennett, 2016) and a functionalist. His position is synonymous to holding self-conscious experiences, such as deliberating over one’s pain or reflecting over one’s actions insufficient to postulate existence of a metaphysical self. He believes instead that experiences are functional realizations which do not require any self, and the feeling of being conscious or self-conscious is actually a ”user-illusion” (Dennett, 1991), a term describing the unjustified belief of being in control of one’s actions. In his views, a selfhood as it is popularly conceived is contradictory. Therefore, he rejects realism about mental events, a position also called naïve realism (Siegel, 2011), on the basis that it is unverifiable and there are insufficient grounds to accept mental events (Dennett, 1988). He adopts a similar scepticism towards other theories of minds, hence nearing eliminative materialism in self-consciousness and related theme of pain (Dennett, 1978). His multiple drafts model of consciousness seeks to ground our beliefs about self-consciousness in the specific architecture of mind, which is particular to every species and kind of being. As such it is a particularly flexible theory that examines experiences of non-humans without falling into binary thinking – believing that a being has as rich inner life as humans do or none. This is why it is a great starting point for establishing necessary conditions for consciousness in robots. In this essay, I will often use words computer, programme, robot interchangeably for the purpose of clarity and take as the working definition “autonomous machines capable of sensing their environment, making decision and performing tasks similar to human actions”. I chose to explore self-consciousness instead of committing to the issue of consciousness, because consciousness can be defined in a weak sense, in which even a thermostat is “conscious” of the temperature, and consciousness in a strong sense, which invokes the internalism and externalism debate that is less connected to the nature of experiences than self-consciousness. My exploration pertains first and foremost to the philosophy of mind, of which I will examine the most relevant positions and decide to commit to functionalism (Block, 1980). Then I will advocate for explaining away of some of phenomena of self-consciousness and believing self-consciousness to be a sort of illusion. From there I will conclude that robots could fall for the same illusion of self-consciousness and therefore become self-conscious. I will argue, that self-consciousness can be established using a modified Turing Test, which would determine if a robot believed in a meaningful narrative about itself (Ricoeur, 1991) and hence be self-conscious. This will lead to answering the question of this essay: what are the features necessary for a self-conscious robot in the light of “Consciousness Explained” by Daniel Dennett? (shrink)

In Necessary Existence, Pruss and Rasmussen give an argument for a necessary being employing a modest causal principle. Here I note that, when applied to highly general and fundamental matters, the principle may well be false (or at least not so obvious).

Neste capítulo, Loux apresenta alguns problemas com relação às modalidades e algumas das relações entre elas e o vocabulário dos mundos possíveis, expondo as duas principais posições ontológicas com relação a tais mundos e às modalidades e com relação à natureza das modalidades, a saber, o possibilismo e o actualismo, defendidos respectivamente por Lewis e Plantinga. Essas são teorias inconsistentes entre si, que intentam nos dizer se os mundos possíveis são concretos ou abstratos e se existe algo além do que (...) é actual. (shrink)

If God necessarily exists this has some interesting consequences. In this little note I mention some of these.

‘Relational value’ (RV) has intuitive credibility due to the shortcomings of existing axiological categories regarding recognizing the ethical relevance of people’s relations to nature. But RV is justified by arguments and analogies that do not hold up to closer scrutiny, which strengthens the assumption that RV is redundant. While RV may provide reasons for ethically considering some relations, much work remains to show that RV is a concept that does something existing axiological concepts cannot, beyond empirically describing relations people have (...) to environmental areas and places. (shrink)

This chapter focuses on the dispute between necessitarians and contingentists, mainly addressing the issue as to whether laws of nature are metaphysically necessary or metaphysically contingent with a weaker kind of necessity, commonly referred to as natural, nomological, or nomic necessity. It is assumed here that all fundamental properties are dispositional or role properties, making the dispute a strictly verbal one. The existence of categorical intrinsic properties as well as dispositional properties is also assumed and the relationship between (...) them examined. Finally, the chapter concludes by returning to the debate between necessitarians and contingentists under the assumption that both dispositional and categorical fundamental properties exist. It is argued here that necessitarian positions can be recast as contingentist, but that there are unequivocally contingentist positions preferred because they are less mysterious despite being ontologically more complex. (shrink)

According to hardcore actualism (HA), all modal truths are grounded in the concrete constituents of the actual world. In this paper, I discuss some problems faced by HA when it comes to accounting for certain alleged possibilities of non‐existence. I focus particular attention on Leech (2017)'s dilemma for HA, according to which HA must either sacrifice extensional correctness or admit mere possibilia. I propose a solution to Leech's dilemma, which relies on a distinction between weak and strong possibility. It (...) remains the case, however, that HA cannot capture certain iterated de re possibilities of non‐existence and that it is committed to a stock of necessary existents. But I still think that the virtues of the view outweigh these costs. (shrink)

Contemporary debates on obedience and consent, such as those between Thomas Senor and A. John Simmons, suggest that either political obligation must exist as a concept or there must be natural duty of justice accessible to us through reason. Without one or the other, de facto political institutions would lack the requisite moral framework to engage in legitimate coercion. This essay suggests that both are unnecessary in order to provide a conceptual framework in which obedience to coercive political institutions can (...) be understood. By providing a novel reading of Hobbes’s Leviathan, this article argues that both political obligation and a natural duty to justice are unnecessary to ground the ability of political institutions to engage in legitimate coercion. This essay takes issue with common readings of Hobbes which assume consent is necessary to generate obedience on the part of citizens, and furthermore that political obligation is critical for the success of political institutions. While the failure of the traditional Hobbesian narrative of a consenting individual would seem to suggest the Leviathan is indefensible as a project, this paper argues that the right of war in the state of nature was more central for Hob- bes’s understanding of political institutions than obligation. Furthermore, Hobbes provides an adequate defense of political institutions even if his arguments about consent, obligation and punishment are only rhetorical. In this way Hobbesian law is best understood as a set of practical requirements to avoid war, and not as moral requirements that individuals are bound to comply with. Thus Hobbesian political institutions are not vulnerable to contemporary philosophical anarchist criticisms about political obligation and political institutions as such. To develop this reading, I focus primarily on the Leviathan, including interpretations by Skinner, Kateb, Flathman, and Oakeshott. Ultimately, this argument provides insight into contem- porary political institutions of the state, citizenship, criminality, and the law in a world where political obligation has not been adequately justified. (shrink)

This article examines the concerns and debates that have arisen in African philosophy over the last few decades, and asks whether it continues to be necessary for African philosophy to take on what the author calls “perverse questions” or “perverse preoccupations” with the West. The author argues that to engage and respond to questions about the intellectual capabilities of African thinkers or the possible existence of philosophical resources in African cultures is to respond to perverse questions. To engage (...) in academic dialogues implicitly or explicitly guided by a request or a felt need to justify and defend the very possibility of African philosophy or African rationality is to engage in perverse and unnecessary dialogues. Because these perverse debates often precede, prevent, or condition the formulation of what count as necessary debates, it is important that they be identified and critically assessed, and when possible, dispensed with. Only then can African philosophy pursue necessary and fruitful debates. (shrink)

By using the general investigation framework offered by the cognitive science of religion (CSR), I analyse religion as a necessary condition for the evolutionary path of knowledge. The main argument is the "paradox of the birth of knowledge": in order to get to the meaning of the part, a sense context is needed; but a sense of the whole presupposes the sense (meaning) of the parts. Religion proposes solutions to escape this paradox, based on the imagination of sense (meaning) (...) contexts, respectively closures of these contexts through meta-senses. What is important is the practical effectiveness of solutions proposed by religion, taking into account the costs of faith and the costs of the absence of religious belief. The hypothesis has the following consequences: religion is a necessary condition for the initial evolution of knowledge and the emergence of religion is determined by the evolution of knowledge. The continuation of the solving of paradox is a Bayesian one, using explorations: a sense of the whole allows cognitive arrangements of the parties, which in turn open the possibility of a rearrangement of the whole. The contribution of religion to the emergence of sense (meaning) could be governed by the rule: any map of the world is more useful than no map; any meaning (of life) is better than no meaning. The human mind fills the perceptual and cognitive gaps, some (religious) filling solutions being true vault keys of the entire cognitive construction called the world. Knowledge is conditioned by the existence of an organized context, as the cosmos created by religion by means of explanatory meta-theories supports knowledge by closing the cognitive context and using meaning networks. The proposed analysis is consistent with a redefinition of rationality from the perspective of evolution: the importance and relevance of knowledge is determined by its practical outcome - survival. In the context of useful fictions, it does not matter what God actually does, but what we have done by believing in God. Existence has provided a pragmatic verification of the cognitive solutions that underlie the survival strategies promoted by religions. (shrink)

AT POSTERIOR ANALYTICS 1.1.71B15 AND FOLLOWING, Aristotle identifies six characteristics of the first principles from which demonstrative science proceeds. These are traditionally grouped into two sets of three: group A: ex alêthôn, prôtôn, amêsôn; group B: gnôrimôterôn, proterôn, and aitiôn. The characteristic, which I believe has been underrated and somewhat misinterpreted by scholars and commentators from Philoponus to the present day, is the characteristic of truth. In this paper I propose to present a textually based interpretation of truth that shows (...) the following: that truth is necessarily linked to being. The example given of nonbeing, the commensurability of the diagonal with the sides of a square, suggests more than simple truth is required for first principles and premises of demonstrative science; and that Aristotle later in the APo changes this characteristic to necessary truth, for he recognizes that truth alone is an insufficient basis for scientific demonstration. The referents of necessary truth are eternal being, and the need for eternal being demands that universals exist extramentally for Aristotle. Finally, one of the important ways that universal genera and species exist for Aristotle are as real, causal principles. (shrink)

The standard objection to Locke’s epistemology is that his conception of knowledge inevitably leads to skepticism about external objects. One reason for this complaint is that Locke defines knowledge as the perception of a relation between ideas, but perceiving relations between ideas does not seem like the kind of thing that can give us knowledge that tables and chairs exist. Thus Locke’s general definition of knowledge seems to be woefully inadequate for explaining knowledge of external objects. However, this interpretation and (...) subsequent criticism ignore a special category of knowledge Locke calls “real knowledge”, which is Locke’s own account of how we can have knowledge of the real world. In in this paper I argue that real knowledge of substances requires that, in addition to the perception of a relation between ideas, there be a necessary connection between our ideas and the external objects they represent. It is because Locke thinks there is a necessary connection between these ideas and reality that he thinks the perception of ideas can give us knowledge of the actual world. (shrink)

Throughout history, oppressors have used multiple forms of violence to impose their own logic on the human universe they oppress. One such form is epistemic violence, which is based on the monopoly control of truth and the hijacking of universality. Those who apply this violence seek to convince everyone of the absolute character of their supposed truths, of the quasi-natural universality of their ways of thinking, of living, of organizing socially. Truth and universality are ineludible objects in dispute between conservative (...) and emancipating forces. The scenario of this complaint today reaches global dimensions. Life itself is at stake. It is obvious that, without an undermining of oppressive truths and predatory particularisms dressed-up as universalities, social emancipation is not feasible. It is also not possible to conserve life. Unlimited growth, the permanent trend towards wealth accumulation, the pursuit at all costs of profit, make capital increasingly incompatible with life. False truths, such as the inevitable centrality of the market and the natural character of capitalism, must be dismantled. Following the logical-deductive method, this work aims to speak critically of the truth, but not denying its existence. This work speaks critically of truth, but does not negate its existence. Attempts are made to uncover the social conditions of the possibility of truth. It seeks to describe how truth can and should exist, if it aspires to be free and decolonized within a social paradigm such as Our America. (shrink)

Why is there something rather than nothing? I don't know. But I give an argument that qualia exist *necessarily*. The *possibility* of the existence of red qualia requires actual red qualia to specify what the possibility is a possibility *of*.

The “self” does not exist within a vacuum. For an entity to be considered to have a sense of self, it requires certain characteristics and attributes. This paper investigates these “structures” of the sense of self in detail, which range from a unified consciousness to self-awareness to personal identity. The paper details how each attribute and characteristic is strictly necessary for an entity to be classified as having a self, and how the five structures detailed within may be used (...) as a guide for categorising and classifying entities as having selfhood or not (or any point along the spectrum between these). The five structures do not represent a theory of selfhood, but rather a meta-theory on the potential emergence and classification of the self. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, (...) we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn is an example of a know-how representation. Such representations are argued to have their origin in a principle called the minimum duplication of resources. For most the subsequent discussions existence of colour name strategy suffices. It is pointed out that the BerlinA- KayA universal partial ordering of colours and the frequency (...) of traffic accidents classified by colour are surprisingly similar; a detailed analysis is not carried out as the specific colours recorded are not identical. Some consequences of the existence of a name strategy for the philosophy of language and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary throughout to use real numbers as opposed to bi-valent quantities; and also that the concomitant label associated with sentences should not be of unconditional truth, but rather several real-valued quantities associated with visual communication. The implication of real-valued truth quantities is that the Continuum Hypothesis of pure mathematics is side-stepped, because real valued quantities occur ab initio. The existence of name strategy shows that thought/sememes and talk/phonemes can be separate, and this vindicates the assumption of thought occurring before talk used in psycho-linguistic speech production models. (shrink)

Martin Heidegger devotes extensive discussion to medieval philosophers, particularly to their treatment of Truth and Being. On both these topics, Heidegger accuses them of forgetting the question of Being and of being responsible for subjugating truth to the modern crusade for certainty: ‘truth is denied its own mode of being’ and is subordinated ‘to an intellect that judges correctly’. Though there are some studies that discuss Heidegger’s debt to and criticism of medieval thought, particularly that of Thomas Aquinas, there is (...) no constructive reply to his assertions. As a result, Heidegger’s critique had an unprecedented effect on the credibility of medieval philosophy, whereby great portions of the philosophical community dismiss it altogether as an illegitimate Onto‐Theology. It is the aim of this study to offer a constructive reply that will fundamentally grapple with these allegations. By constructive reply we mean not only a reply that avoids the problems Heidegger raises regarding existence, essence and truth, but more importantly, one that uses Heidegger’s criticism in order to present a more insightful account of these notions. The present study is composed of two parts where the second serves as a sort of addendum. The first part, the core of this study, is an attempt to develop an understanding of the distinction between essence and existence that, on the one hand, accords with Heidegger’s criticism while on the other hand advances our understanding of how we think and understand reality. After presenting Heidegger’s depiction of Aquinas’s distinction between essence and existence (esse) as a real distinction, the study will present several views propounded by scholars of Aquinas regarding the status of this distinction. It will be argued that it is not clear whether the distinction is real, formal or conceptual, and that different types of distinction are applied in different places, particularly in regard to the phantasm that Aquinas considers essential to the human act of thinking. The second part diverges from the first part and focuses on Heidegger’s criticism of Aquinas’s conception of truth as adequation, i.e., what it is that grounds the possibility of truth as adequation. This divergence is necessary in order to present a full metaphysical response to Heidegger’s criticism. Since the aim of the present study is to argue that Aquinas’s philosophical system can contend with Heidegger’s criticism, a partial reply would greatly diminish its effectiveness. (shrink)

We show that, assuming impossibility of absolute nothingness, a necessary being does exist. Our argument is an elaboration of the "Subtraction argument" known in philosophical circles, and it makes use of the compactness theorem of propositional logic and an interpretation of the notion of "possible worlds" through propositional valuations.

I suggest two improvements to Joshua Rasmussen’s intriguing recent argument that a causally powerful being necessarily exists.

The concept of recognition (Anerkennung in German) has been in the center of intensive interest and debate for some time in social and political philosophy, as well as in Hegel-scholarship. The first part of the article clarifies conceptually what recognition in the relevant sense arguably is. The second part explores one possible route for arguing that the „recognitive attitudes‟ of respect and love have a necessary role in the coming about of the psychological capacities distinctive of persons. More exactly, (...) it explores the possibility that they are necessary in the kind of intersubjective relationship in which normal human infants engage in the pre-linguistic communicative practice of pointing things to others, as described by Michael Tomasello. If an incapacity to participate in the already Gricean communicative practices of pointing makes it also impossible for the infant to learn symbolic communication, and if without the immediately intrinsically motivating other-regarding attitudes of recognition communicative pointing does not get off the ground (at least among the most intelligent animals currently known to exist), then the capacity for recognition may be a decisive difference between humans and their closest non-human relatives. That is, it may be why only human infants, but no other animals, are capable of embarking on a developmental journey that normally leads to full-fledged psychological personhood. If this is so, then the concept of recognition, today mostly discussed in social and political philosophy and Hegel-studies, could turn out to be a very useful tool in cognitive scientific work interested in specifically human forms of social intentionality, cognition, volition and so forth. (shrink)

Is it necessary for all Christians – including Christians who are metaphysicians with demonstrative knowledge of God’s existence – to hold by faith that God exists? I shall approach this apparently straightforward question by investigating two opposing lines of interpretation of Thomas Aquinas’s own response to this question. I shall begin with two texts from Thomas that motivate two incompatible theses concerning Thomas’s doctrine of the harmony of faith and reason with respect to the existence of God. (...) Next, I shall clarify the salient points of disagreement between these two interpretations of faith and reason in Thomas Aquinas before examining dialectically a number of arguments in favor and against the respective theses of these two interpretations. In the final section I shall argue that the results of our dialectical inquiry reveal that the initial disagreement between the two positions is not irresolvable. Accordingly, I shall conclude by proposing two revised versions of the initial theses that emphasize the compatibility of these two interpretations of Thomas Aquinas’s doctrine of the harmony of faith and reason. (shrink)

A specter is haunting Hume scholarship: the specter of the “New Hume.” Contrary to more traditional interpretations, according to which Hume rejects belief in any conception of causation that invokes (metaphysically) necessary connections between distinct existences, proponents of the New Hume hold that Hume at the least allowed for the possibility of such connections—it’s just that he thought we couldn’t know much, if anything, about them, if we assume that they do exist. -/- I will argue that the views (...) of the “New Humers” (as I shall call them) are mistaken. I will begin by discussing their reading of Hume on causation, using Galen Strawson as a foil. I then examine the relation between Hume’s view of relations (pun intended) and his account of “necessary connexions”. Next, I argue that this account, once properly understood, shows that he did not believe in what we would think of as necessary connections while at the same time explaining why, as the New Humers point out, Hume sometimes writes in ways that can make it sound like he does, as well as reconciling Hume’s two definitions of causation. After that, I answer objections, and then raise some doubts about Hume’s account before finally concluding the paper. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two (...) mooted solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, however, argues against the (...) proof in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)

For the OK, there is in fact no opposition between the logical and the material or the spiritual: reality is a formless logical substance. Representation is morphogenesis and the terms 'material' and 'spiritual' only denote categories of morphogenesis. Our constant experience shows us that spiritual and material interact. The border between understanding and becoming, between meaning and act, which seems trivial to us, is elusive when we try to approach it. For example: when the subject follows the object of his (...) attention with his gaze, where to draw the line between material and spiritual ? Representation is morphogenesis and the OK uses the term 'horizon', not to separate the material from the spiritual, but to distinguish the formless from the representable, the unspeakable from the speakable. For the OK the speakable is not 'something else' than the unspeakable, it is a mode of order: The rainbow is not 'an other thing' than rain, light, sun, the walk that brought me here and now, my sense of vision, my culture etc ... all this unspeakable set of logical interdependencies from which emerges, for me subject, the meaning of the rainbow. And above all, this horizon is not 'in my mind'. The ordaining of the unspeakable is not carried out 'by my understanding'. The emergence of the meaning from the unspeakable logic is not happening 'in' and 'by' my mind. On the contrary, it is a process of pure logic*, a progressive aglomeration of interdependance, which makes the subject emerge as a representation of the world and of his own existence. The logical transcends the Existing. This is the key to understanding this article: We have not left the Garden of Eden. The representation is not 'overhanging' the world, it is 'the' world. Representation is not "grasping form" but "morphogenesis", not as "attribution of form" but as "necessary ordering mode of logical reality". Common sense (including science and logic) does not represent reality, it emerges from it in the form of modes of order of reality, of logic. My representation of this white stone is not 'something else' than the unspeakable logic from which the meaning of 'white stone' emerges for me, it is only a mode of order. There are no "other things" than the things which represent themselves in me and which are modes of order. The Existing is representation. Existence is a mode of order *. The amorphous logical "substance" precedes (transcends) its representation. The logical transcends logic. (shrink)

We explore a ‘Neo-Cartesian’ account of divine ultimacy that raises the concept of God to its ultimate level of abstraction so that we can do away with even the question of his existence. Our starting point is God’s relation to the logical and metaphysical order of reality and the views of Descartes and Leibniz on this topic. While Descartes held the seemingly bizarre view that the eternal truths are freely created by God, Leibniz stands for the mainstream view that (...) the eternal truths are grounded in God’s nature. We argue that the implausibility of Descartes’ doctrine stems mainly from the assumption that there is a non-epistemic notion of absolute necessity that constitutes the ultimate court of appeal for all modal questions and that this assumption is questionable. We also question the assumption that God’s ultimacy merely requires that all reality be grounded in God in the sense of mere explanation, so that it suffices if the necessary truths are grounded in God’s nature but not in God’s will. This will lead us to a reassessment of Descartes’ position. In the final and main part of the paper, we push Descartes’ doctrine of the creation of the eternal truths to its ‘logical’ conclusion with the aim of getting to a novel conception of ‘God.’. (shrink)

This is the third in a series of papers on material modality, which explores the concept of a materially necessary being and argues that such a being exists.

This paper is a review of the cosmological argument that Tim O'Connor defends in "Theism and Ultimate Explanation".

Metaphysics relies on the presupposition of the non-being of the world: since the world has once not existed it is necessary to postulate a cause for its existence, i.e. an extrinsic principle to explain the absolute beginning of the causal series of all things that constitute the world. After the critique of theologizing metaphysics by authors like Kant, Hegel and Nietzsche, the notion of an absolute beginning still persists though in a field in which it often goes as (...) such unnoticed, while it factually enjoys wide acceptance, namely in epistemology. It sounds as a truism that knowledge begins: personal inexistence (birth-death cycle) and the phenomenon of unconsciousness (sleep-wake cycle) seem to endorse the obviousness of that statement. Now, to link the beginning of the phenomenal series of subjective acts of knowledge with the existence of an external world that causes the specific content of our temporary cognitive acts relies, however, on two presuppositions, namely on the thesis of a complete non-being or nothingness of knowledge and, intrinsically related to this first presupposition, on the thesis of an absolute beginning of cognitive activity. If knowledge begins from its own nothingness, there must be a cause that is external to the totality of acts of knowledge, a cause that it doesn´t belong to the series of cognitive acts and, therefore, that it is not caused by any of them: this uncaused cause of contentful knowledge is supposed to be the real world external to the knowing subject. In my paper I make explicit the relation between realist-empiricist approachs to epistemology and the double presupposition of the nothingness and absolute beginning of knowledge, I explain the difficulties implied by these two presuppositions and, finally, I propose as a plausible solution to those difficulties some key theoretical claims of absolute idealism. (shrink)

One of the final obstacles to understanding consciousness in physical terms concerns the question of whether conscious states can exist in posterior regions of the brain without active connections to the brain's prefrontal lobes. If they can, difficult issues concerning our knowledge of our conscious states can be resolved. This paper contains a list of types of conscious states that may meet this criterion, including states of coma, states in which subjects are absorbed in a perceptual task, states in brains (...) with damaged prefrontal lobes, states of meditation and conscious states of some infants and animals. Recent evidence also suggests that conscious states of some people with autism may meet this criterion. (shrink)

This discussion note aims to call into question the first part of Gloria Frost’s article, Aquinas and Scotus on the Source of Contingency, devoted to Aquinas’s thought on the source of contingency in creation. I shall discuss three controversial claims that represent the key points of Frost’s interpretation of Aquinas’s account on contingency: with re spect to existence, every creature exists contingently on the grounds that no creature is necessarily willed by God; with respect to cause-and-effect relationship, only those (...) effects that derive from a voluntary cause are contingently caused; God’s will, as a voluntary cause, is a contingently operating cause and thus cannot immediately produce a necessary effect. According to my analysis, Frost’s misinterpretation of Aquinas’s position on contingency in creation derives from the erroneous assumption that, for Aquinas, the freedom of a cause implies the contingency of such a cause and of all the effects following from it. I shall prove that Frost’s misunderstanding consists in neglecting that Aquinas does not endorse this co-implication between freedom and contingency: in fact, if the freedom of a cause indicates that it can refrain from producing its effect, the contingency of a cause means its mutability and fallibility, namely that it can be prevented in producing its effect. (shrink)

Much has been made of how Darwinian thinking destroyed proofs for the existence of God from ‘design’ in the universe. I challenge that prevailing view by looking closely at classical ‘teleological’ arguments for the existence of God. One version championed by Aristotle and Thomas Aquinas stems from how chance is not a sufficient kind of ultimate explanation of the universe. In the course of constructing this argument, I argue that the classical understanding of teleology is no less (...) class='Hi'>necessary in modern Darwinian biology than it was in Aristotle's time. In fact, modern biology strengthens the claims that teleological arguments make by vindicating many of their key features. As a consequence, I show how Aristotle and Aquinas' teleological argument for an intelligent First Cause remains valid. (shrink)