In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

The semantical framework is fundamentally intensional: neither possible worlds nor sets as basic entities, but rather, besides individuals, propositions, properties and relations (in intension). Logical truth is defined in terms of logical form (without mentioning this notion) without employing sets of models and the concept of truth in a model. Truth itself is explicitly defined (without recursion); the truth-conditions for the logical constants of the object-language become theorems derivable from the axioms for "to intend"--the basic semantical relation.

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce a posteriori (...) warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Given Conciliar Christology and a compositionalist metaphysics of the incarnation, I explore whether ‘qua-propositions’ are capable of solving the coherence problem in Christology. I do this by probing the metaphysical aspect of qua-propositions, since ‘semantics presupposes metaphysics’. My proposal focuses on the fact that the Word accidentally owns an individual human nature. Due to that individuality, the human properties first characterise the individual human nature and, in a ‘next step’, this individual human nature characterises the Word. I call this ‘stepped (...) characterisation’. Subsequently, I show that stepped characterisation validates the use of qua-propositions in Conciliar Christology. Hence, qua-propositions are not merely ‘muddling the waters of logic’. (shrink)

For many centuries, philosophers have debated this question: “Does God exist?” Surprisingly, they have paid rather less attention to this distinct – but also very important – question: “Would God’s existence be a good thing?” The latter is an axiological question about the difference in value that God’s existence would make (or does make) in the actual world. Perhaps the most natural position to take, whether or not one believes in God, is to hold that it would be a very (...) good thing if such a being were to exist. After all, God is traditionally thought to be perfectly powerful and good, and it might seem obvious that such a being’s existence would make things better than they would otherwise be. But this judgment has been contested: some philosophers have held that God’s existence would make things worse, and that, on this basis, one can reasonably prefer God’s non-existence. We first distinguish a wide array of axiological positions concerning the value of God’s existence which might be held by theists, atheists, and agnostics alike. We next construe these positions as comparative judgments about the axiological status of various possible worlds. We then criticize an important recent attempt to show that God’s existence would make things worse, in various ways, than they would otherwise be. (shrink)

God is typically conceived as perfectly good and necessarily so, in two senses: in terms of always performing the best possible act and in terms of having maximal moral worth. Yet any being that freely performs the best act she can must be accorded greater moral worth for any such action than a being that does so necessarily. I conclude that any being that performs the best possible act of necessity cannot also have maximal moral worth, making the concept of (...) God’s perfect goodness incoherent. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

The thesis that entities exist in, at, or in relation to logically possible worlds is criticized. The suggestion that actually nonexistent fictional characters might nevertheless exist in nonactual merely logically possible worlds runs afoul of the most general transworld identity requirements. An influential philosophical argument for the concept of world-relativized existence is examined in Alvin Plantinga’s formal development and explanation of modal semantic relations. Despite proposing an attractive unified semantics of alethic modality, Plantinga’s argument is rejected on formal grounds as (...) supporting materially false actual existence assertions in the case of actually nonexistent objects in the framework of Plantinga’s own underlying classical predicate-quantificational logic. (shrink)

The fundamental question I consider is the following: What is it that makes one thing a person and another thing not? I do not provide a complete answer; rather I begin to develop a framework for answering the question. In this essay I do the following: (1) distinguish between the powers possessed by persons and the constitutions of persons, and propose some metaphysical conjectures concerning the relationship between persons' powers and their constitutions; (2) propose for Christians, as well as for (...) others, an hylomorphic soul-body alternative to Cartesianism; (3) highlight some prominent differences between the nature of human persons and the natures of brute animals; and (4) apply this framework for understanding human persons to problems in biomedical ethics concerning the ontological and moral status of human embryos and of the comatose. (shrink)

This paper starts with the presentation of an Aristotelian theory of negative properties. Against this backdrop, it then asks whether there could be objects that have solely negative properties, i.e., completely negative objects. This possibility is entertained by Wittgenstein in his Tractatus Logico-Philosophicus. The notion of a completely negative object is compared to the concepts of a nonexistent object, a nonconcrete object, and a nonactual object. Ultimately, it is argued that there can be no completely negative objects, because all negative (...) properties entail some positive properties. (shrink)

Having clarified certain conceptual matters with regard to God's relation to sin and evil, Professor Brümmer considers the two propositions that God could be the author of any state of affairs that he does not approve of, and that God could approve of any state of affairs which is evil. Brü mmer argues that both these are logically impossible, the first because it would be a sign of weakness in God, and the second because God's will is the ultimate standard (...) of goodness. (shrink)

The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...) the claim is true, then Anselm's argument is unsound. (shrink)

Every account of moral responsibility has conditions that distinguish between the consequences, actions, or traits that warrant praise or blame and those that do not. One intuitive condition is that praiseworthiness and blameworthiness cannot be affected by luck, that is, by factors beyond the agent’s control. Several philosophers build their accounts of moral responsibility on this luck-free condition, and we may call their views Luck-Free Moral Responsibility (LFMR). I offer moral and metaphysical arguments against LFMR. First, I maintain that considerations (...) of fairness that often motivate LFMR do not require its adoption. Second, I contend that LFMR has counterintuitive implications for the nature and scope of praiseworthiness and blameworthiness and that LFMR is vulnerable to a reductio ad absurdum. Third, I state some common reasons for thinking that LFMR’s commitment to true counterfactuals of libertarian freedom is problematic, and I argue that if there are no such true counterfactuals and if LFMR is true, a person is praiseworthy and blameworthy at most for a tiny fraction of her actions. Fourth, I argue that proponents of LFMR cannot escape this skeptical cost by appealing to a different kind of counterfactual of freedom. Fifth, I develop an anti-skeptical motivation to affirm the idea that luck can affect moral responsibility. (shrink)

RÉSUMÉ: Selon une ontologie platonicienne, il faut qu’une exemplification platonicienne lie des particuliers physiques et un universel non localisé pour qu’i! y ait connexion entre propriété et choses. Dans cet article, je discute du lien d’exemplification platonicien, lequel a l’intéressante faculté de lier des entités localisées à une entité non localisée et donc, pour reprendre les mots d’Armstrong, la faculté de traverser le domaine du non spatialement localisé et celui du spatialement localisé. La littérature ne contient à peu près aucune (...) discussion de l’exemplification. J’en discute et signale une nouveau problème relatif à la connexion entre un universel platonicien et des particuliers physiques. (shrink)

Attempts to explicate the substance-property nexus are legion in the philosophical literature both historical and contemporary. In this paper, I shall attempt to impose some structure into the discussion by exploring ways to combine two unlikely bedfellows—Platonic properties and Aristotelian substances. Special attention is paid to the logical structure of substances and the metaphysics of property exemplification. I shall argue that an Aristotelian-Platonic account of the substance-property nexus is possible and has been ably defended by contemporary philosophers.

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

Plantinga grants that there are possible worlds with freedom and no moral evil, but he argues that it is possible that although God is omnipotent, it is not within God’s power to actualize a world containing freedom and no moral evil. Plantinga believes that the atheologian assumes that it is necessary that it is within an omnipotent God’s power to actualize these better worlds, but in fact, Plantinga argues, this is demonstrably not the case. Since so many philosophers have regarded (...) Plantinga’s Free Will Defense to be a definitive solution to the logical problem of evil, the focus of the debate of the problem of evil has changed from the logical problem of evil to the evidential problem of evil. But we believe that the atheist tossed in the towel too early, and the theist celebrated victory too early. We will argue that Plantinga’s argument does not succeed. Mackie, incidentally, thought the same. He wrote “But how could there be logically contingent states of affairs, prior to the creation and existence of any created beings with free will, which an omnipotent god would have to accept and put up with? This suggestion is simply incoherent.” In this essay we argue that Plantinga fails to demonstrate that it is possible that God is omnipotent, and it is not within God’s power to actualize a world containing freedom but lacking moral evil. Thus Plantinga does not refute Mackie’s response to the Free Will Defense, and the point of Mackie’s question “Why could God not have made men such that they always freely choose the good?” still stands unrefuted. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This paper elaborates the problem of temporal unity for dynamic presentism and diagnoses the source of that problem in the dynamic presentist’s discarding the traditional C-series in its avoidance of McTaggart’s A-series paradox. This C-series provided the fixed structure of time which the transitory aspects of time then followed, and thereby unify those transitory aspects. It then considers ersatzer presentism as an ostensible solution to the problem of temporal unity by providing a new abstract C-series for dynamic presentism. However, after (...) a closer examination of the details of this proposal, it is found that the ersatz-B-series itself needs to be temporally variable to capture the transitory aspects of time that it is meant to track. Consequently, it cannot provide the fixed structure of time required to unify the transitory aspects of time into a temporal series. It is therefore suggested that dynamic presentists look for a more course-grained determiner of temporal progression to construct the presentist-friendly C-series required to unify their transitory aspects of time. (shrink)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the background of debates (...) about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (shrink)

Aquinas’ philosophy is revolutionary, especially his doctrine of essence within the context of natural philosophy has transcended that of Aristotle. The principal distinctions between the doctrines of Aquinas and Aristotle are demonstrated in four layers which are entity-nature, compositeness, particularity and potentiality of essence. Aquinas not only overturns and reforms the Western traditional view of essence, but also constructs a prominent “joint” connecting essentialism to existentialism in Western philosophy.

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

RÉSUMÉ: Selon une ontologie platonicienne, il faut qu’une exemplification platonicienne lie des particuliers physiques et un universel non localisé pour qu’i! y ait connexion entre propriété et choses. Dans cet article, je discute du lien d’exemplification platonicien, lequel a l’intéressante faculté de lier des entités localisées à une entité non localisée et donc, pour reprendre les mots d’Armstrong, la faculté de traverser le domaine du non spatialement localisé et celui du spatialement localisé. La littérature ne contient à peu près aucune (...) discussion de l’exemplification. J’en discute et signale une nouveau problème relatif à la connexion entre un universel platonicien et des particuliers physiques. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

Space and time are two obvious candidates as dimensions of reality. Yet, are they the only two dimensions of reality? Famously, David Lewis maintained the doctrine of ―modal realism‖, the thesis that possible worlds exist and are entities as concrete as the actual world that we live in. In this paper, I will explore the idea that modality can be construed as a dimension along with space and time. However, although Lewis‘ modal realism is the main source of inspiration for (...) this construal of modality, I will argue that something else is required for having a modal dimension. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (shrink)

Abstract : In this paper, it is argued that Leibniz’s view that necessity is grounded in the availability of a demonstration is incorrect and furthermore, can be shown to be so by using Leibniz’s own examples of infinite analyses. First, I show that modern mathematical logic makes clear that Leibniz’s "infinite analysis" view of contingency is incorrect. It is then argued that Leibniz's own examples of incommensurable lines and convergent series undermine, rather than bolster his view by providing examples of (...) necessary mathematical truths that are not demonstrable. Finally, it is argued that a more modern view on convergent series would, in certain respects, help support some claims he makes about the necessity of mathematical truths, but would still not yield a viable theory of necessity due to remaining problems with other logical, mathematical, and modal claims. (shrink)

[Draft substantially revised, September 2021] David Lewis acclimated us to talk of “nonactual concreta that exist,” regarding talking donkeys and the like. I shall argue that this was not for the best, and try to normalize a way of describing them as “actual concreta that do not exist.” The basis of this is a defense of the Meinongian thesis “there are objects of which it is true that there are no such objects,” re: fictitious and illusory objects. I first formulate (...) the problem of negative existentials in a novel way, and discuss why this new version is more forceful against anti-Meinongians. Additional data is also pressed against anti-Meinongians--e.g., the truth of ‘Pegasus is imaginary’, and a reading of ‘There actually are illusory objects’ where it comes out true. The Meinongian, in contrast, easily and uniformly explains the same data, by allowing the existence Pegasus, pink elephants, and the like. But contra Meinong, these cases suggest that the nonexistent objects are mind-dependent objects, and I clarify and defend this suggestion from several objections. The resulting Meinongianism is thus “conservative” in that it merely acknowledges the sense in which there are mind-dependent objects, imaginary and illusory objects being prime examples. Of special note, the “ideology” is conservative as well in that the typical Meinongian jargon of “nuclear” or “encoded” properties is paraphrased away. New suggestions about the ontology of abstracta, mere possibilia, and impossibilia are sketched in light of this. Comparisons are also made with Thomasson, Crane, and McGinn, among others. (shrink)

Recent work on probability in the Everett interpretation of quantum mechanics yields a decision-theoretic derivation of David Lewis’ Principal Principle, and hence a general metaphysical theory of probability; part 1 is a discussion of this remarkable result. I defend the claim that the ‘subjective uncertainty’ principle is required for the derivation to succeed, arguing that it amounts to a theoretical identification of chance. In part 2, I generalize this account, and suggest that the Everett interpretation, in combination with a plausible (...) view of natural laws, has the potential to provide a reductive theory of metaphysical modality. I defend the resulting naturalistic modal realism, and outline some of its implications for other parts of metaphysics. (shrink)

In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...) Arabi’s related views and concepts as they are dispersed throughout his writings. I then clarify, sharpen and, in many cases, develop these views and concepts into fully constructed forms. Finally, I weave the developed concepts and views into a systematic thesis or set of sub-theses. Where necessary, I provide my own arguments and concepts to help substantiate and strengthen the structure of Ibn Arabi’s thesis. I propose that Ibn Arabi’s various, and sometimes apparently inconsistent, views are best presented in terms of three main concepts: the concept of ultimate reality as existence, which has long been known as Ibn Arabi’s thesis of the oneness of existence ; the concept of ultimate reality as the Divine Self ; and the concept of ultimate reality as God. The three concepts neither represent different ultimate realities nor different perspectives of the same ultimate reality. Instead, they represent the same ultimate reality but each one has its own unique scope and encompassment. The three concepts are aimed at encompassing Ibn Arabi’s various views and concepts of ultimate reality in a consistent and systematic manner. (shrink)

One popular conception of natural theology holds that certain purely rational arguments are insulated from empirical inquiry and independently establish conclusions that provide evidence, justification, or proof of God’s existence. Yet, some raise suspicions that philosophers and theologians’ personal religious beliefs inappropriately affect these kinds of arguments. I present an experimental test of whether philosophers and theologians’ argument analysis is influenced by religious commitments. The empirical findings suggest religious belief affects philosophical analysis and offer a challenge to theists and atheists, (...) alike: reevaluate the scope of natural theology’s conclusions or acknowledge and begin to address the influence of religious belief. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

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

The broad aim of this thesis is to explore fruitful connections between ideology theory and the philosophy of possible worlds. Ideologies are full of modal concepts, such as possibility, potential, necessity, essence, contingency and accident. Typically, PWs are articulated for the analysis and illumination of modal concepts. That naturally suggests a method for theorising ideological modality, utilising PW theory. The specific conclusions of the thesis proffer a number of original contributions to knowledge: 1) PWs should only be used for explication (...) and not as evidence or criteria of assessment in ideology theory. The estimation of utopian possibilities, human essences and freedoms must be determined by extrinsic criteria. PWs can serve only as a window or means of expression but not as a set of evaluative premises. 2) For this purpose, a modified version of Lewisian genuine realism, with its device of counterpart theory, is the best approach; the alternative theories risk constricting possibilities or smuggling in assumptions that ought to be objects of analysis in ideology theory. This is instructive, since ideology theorists are prone to pick and choose favoured aspects of modal philosophy without further argument. 3) Conclusions and suggest the adoption of GR or fictionalist GR. Overall, the actualist options are less adequate. Fictionalism, by contrast, is a worthwhile contender, but it too presents comparative weaknesses which reinforce GR’s standing as a potent challenger to the modal metaphysician. Therefore, this thesis presents additional reasons to think GR true. The conclusions are not knockdown, and I draw out incentives and consequences for adopting alternative stances. The various chapters also provide specific details for comprehending and debating ideological modals. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Throughout the last century there has been much discussion over what it is that makes an activity or a theory 'scientific'. In the philosophy of science, conversation has focused on differentiating legitimate science from so-called 'pseudoscience'. In the broader cultural sphere this topic has received attention in multiple legal debates regarding the status of creationism, where it has been generally agreed that the 'supernatural' nature of the claims involved renders them unscientific. In this thesis I focus upon the latter of (...) these issues, arguing that although there may be merit in the larger demarcation project of separating science from pseudoscience, the notion of 'supernaturality' does not belong in this adjudication. Due to the complex cultural issues that have played a role in the history of this topic, this will involve a degree of historical and normative analysis alongside more philosophically abstract considerations. Complicating the discussion is thefact that neither the term 'science' nor 'supernatural' enjoys a widely agreed upon definition. In order to assess the question then, I will survey a wide variety of definitions of each term in order to identify areas of potential conflict. I argue that in none of the prevalent understandings can we find impediment to scientific investigation inherent in the supernaturality of a claim, but rather posit that where difficulty arises it does so for more mundane reasons. I conclude that not only is there no inherent issue with scientific investigation of the supernatural, but that the term 'supernatural' itself is too poorly defined to provide a useful role in philosophical discussion. While I argue that notions of supernaturality should be abandoned entirely when assessing demarcation criteria, I concede that numerous extraneous factors, including the significant degree of overlap between the supernatural and the 'religious', warrant consideration of a compromise position. (shrink)

Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, according (...) to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics. (shrink)