The Reduction of the Possible to the Real. Modern philosophy cannot avoid dealing with possible worlds - neither in the field of intensional logic nor in other fields not directly connected with logical investigations. This paper attempts to develop a method to substitute possible worlds by the real world, referring to the works of Stig Kanger and Nino B. Cocchiarella. This is done by investigating the metaphorical and dynamical functions of natural languages. It is proved that this new technique is (...) adequate for use in the semantics of intensional languages. As an example a language is constructed, which is based on the aristotelian view of universal concepts. (shrink)

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...) based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

This paper explores the prospects of a combinatorial account of modality. We argue against David M. Armstrong’s version of combinatorialism, which seeks to do without modal primitives, on the grounds, among other things, that Armstrong’s basic ontological categories are themselves subject to non-contingent constraints on recombination. We outline an alternative version, which acknowledges the necessity of modal primitives, at the level of ontology, and not just of our concepts.

William Lane Craig's defence of the kalam cosmological argument rests heavily on two philosophical arguments against a past-eternal universe. In this article I take issue with one of these arguments, what I call the – namely, that the metaphysical absurdity of an actually infinite number of things existing precludes the possibility of a beginningless past. After explaining this argument, I proceed to raise some initial doubts. After setting those aside, I show that the argument is ineffective against proponents of presentism. (...) The remainder of the article considers and rejects possible replies on Craig's behalf. (shrink)

It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal logic is one that validates both the Barcan Formula and its converse. This requires that domains be fixed across all possible worlds. All objects exist necessarily; some – those we would usually consider contingent – are concrete at some worlds and non-concrete (but still existent) at others. Linsky and Zalta refer to such objects as ‘contingently non-concrete’. I defend the standard (...) usage of the word ‘exists’, and the view that many objects exist only contingently. I argue that the Linsky/Zalta analysis, and to a lesser extent Williamson’s, suffers not only from a peculiar ontology but also from two related formal difficulties. Their analysis gives either counter-intuitive or ad hoc results about essences, and it fails to accommodate contingently existing abstracta. (shrink)

It has been argued that actualism – the view that there are no non-actual objects – cannot deal adequately with statements involving iterated modality, because such claims require reference, either explicit or surreptitious, to non-actual objects. If so, actualists would have to reject the standard semantics for quantified modal logic (QML). In this paper I develop an account of modality which allows the actualist to make sense of iterated modal claims that are ostensibly about non-actual objects. Every occurrence of a (...) modal operator involves the stipulation of a possible world, and nested modal operators require stipulation of nested possible worlds. I provide an actualistically acceptable (AA) semantics for QML wherein the nesting relation is irreflexive and intransitive and forms a tree. Despite these restrictions, AA models can beshown to be sound and complete for a wide variety of modal logics. (shrink)

Although the use of possible worlds in semantics has been very fruitful and is now widely accepted, there is a puzzle about the standard definition of validity in possible-worlds semantics that has received little notice and virtually no comment. A sentence of an intensional language is typically said to be valid just in case it is true at every world under every model on every model structure of the language. Each model structure contains a set of possible worlds, and models (...) are defined relative to model structures, assigning truth-values to sentences at each world countenanced by the model structure. The puzzle is why more than one model structure is used in the definition of validity. There is presumably just one class of all possible worlds and just one model structure defined on this class that does correctly the things that model structures are supposed to do. (These include, but need not be limited to, specifying the set of individuals in each world as well as various accessibility relations between worlds.) Why not define validity simply as truth at every world under every model on this one model structure? What is the point of bringing in more model structures than just this one?

We investigate these questions in some detail and conclude that for many intensional languages the puzzle points to a genuine difficulty: the standard definition of validity is insufficiently motivated. We begin (Section 1) by showing that a plausible and natural account of validity for intensional languages can be based on a single model structure, and that validity so defined is analogous in important respects to the standard account of validity for extensional languages. We call this notion of validity "validity!", and in Section 2 we contrast it with the standard notion, which we call "validity2". Several attempts are made to discover a rationale for the almost universal acceptance of validity2, but in most of these attempts we come up empty-handed. So in Section 3 we investigate validity! for some intensional languages. Our investigation includes providing axiomatizations for several propositional and predicate logics, most of which are provably complete. The completeness proofs are given in the Appendix, which also contains a sketch of a compactness proof for one of the predicate logics. (shrink)

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

In this paper, I argue that various disputes in ontology have important ramifications and so are worth taking seriously. I employ a criterion according to which whether a dispute matters depends on how integrated it is with the rest of our theoretical projects. Disputes that arise from previous tensions in our theorizing and have additional implications for other issues matter, while insular disputes do not. I apply this criterion in arguing that certain ontological disputes matter; specifically, the disputes over concrete (...) possible worlds and coincident material objects. Finally, I consider how one could show that some ontological disputes do not matter, using a Platonism/nominalism dispute as an example. (shrink)

Gödel’s Ontological argument is distinctive because it is the most sophisticated and formal of ontological arguments and relies heavily on the notion of positive property. Gödel uses a third-order modal logic with a property abstraction operator and property quantification into modal contexts. Gödel describes positive property as "independent of the accidental structure of the world"; "pure attribution," as opposed to privation; "positive in the 'moral aesthetic sense.'" Pure attribution seems likely to be related to the Leibnizian concept of perfection.By a (...) careful examination of the formal semantics of third-order modal logic with property abstraction together with a Completeness result for third-order modal logic with property abstraction for faithful models that I previously developed in 2000 in my work, Gödel’s Ontological Argument, I argue that it is not possible to develop a sufficient applied third-order modal semantics for Gödel’s ontological argument. As I explore possible approaches for an applied semantics including anti-Realist accounts of the semantics of modal logic compatible with Actualism, I argue that Gödel makes implicit philosophical assumptions which commit him to both possibilism (the belief in merely possible objects) and modal realism (the belief in possible worlds). (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...) requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual. (shrink)

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...) that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (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)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

The so-called Mind argument aims at the conclusion that agents act freely only if determinism is true. The soundness of this argument entails the falsity of libertarianism, the two-part thesis that agents act freely, and free action and determinism are incompatible. In this paper, I offer a new formulation of the Mind argument. I argue that it is true by definition that if an agent acts freely, either (i) nothing nomologically grounds an agent’s acting freely, or (ii) the consequence argument (...) for incompatibilism is unsound. I define the notion of nomological grounding, and argue that unless an agent’s acting freely is nomologically grounded, unacceptable consequences follow. I then argue that if agents act freely and the consequence argument is sound, a vicious regress ensues. I conclude by considering the libertarian’s dialectical options. (shrink)

Presentism is the view that only presently existing things exist. Actualism is the view that only actually existing things exist. Although these views have much in common, the position we take with respect to one of them is not usually thought to constrain the position that we may take toward the other. In this paper I argue that this standard attitude deserves further scrutiny. In particular, I argue that the considerations that motivate one common objection to presentism—the grounding objection—threaten to (...) give rise to an analogous grounding objection to actualism. Those who are moved by grounding considerations to give up presentism should either be moved by analogous considerations to give up actualism as well or be prepared to undertake quite a bit of further work in order to defend their position. (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)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

This paper seeks to give an account of what it is for an individual to instantiate thisness (i.e. primitive individual essence). Thisnesses are peculiar entities, and even those who endorse their existence and instantiation by objects/entities, have said very little about how an individual and its thisness are related. My approach will be to seek out a model for the instantiation of thisness by canvassing broadly Aristotelian accounts of the substance/attribute relation, and then by making appropriate modifications to the most (...) likely candidates in order to accommodate an individual's instantiation of thisness. What will emerge is that the model with the most utility makes thisness redundant in the case of material substances. Nonetheless, I will suggest that a version of the model can be appropriately applied in the case of other individuals which might instantiate thisness: for example, events (where these are conceived as a fundamental category of ontology distinct from material substances). (shrink)

In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional structure (...) and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

I defend counterpart theory against post-Kripkean objections. Trenton Merricks objects that no construction of ersatz counterparts is uniquely and intrinsically suitable; I reply that metaphysical constructions need not have these features. Sarah Moss refutes my solution (from "All the world's a stage") to the problem of timeless counting for temporal counterpart theory; I offer a new solution. Hazen, Fara, Williamson, and others have objected that counterpart theory generates an unacceptable logic for an actuality operator; I attempt to give a better (...) semantics. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained by modal realism. (...) I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

This thesis was on how God is related to the truth-values of propositions on possible worlds - specifically, those propositions that do not seem to be about Him and constitute His ideas for what to create. It opened with a survey of some historical positions with special emphasis on Aquinas, Leibniz, Spinoza and Kant. Next, some criticisms were given for these so-called deity theories with the most space given to Brian Leftow’s critiques. The second chapter detailed Brian Leftow’s theological modality. (...) In it, secular modality is excogitated in an instant from eternity when God gets a set of creaturely natures in one imaginative act. His preferences that are based on His nature then determine the modality of what God thinks up. A number of objections were raised for the Leftowian project and the last chapter attempted to supplement an older deity theory with some insights from Leftow in order to avoid his initial criticisms. (shrink)

This project is an investigation into the prospects for an antirealist theory of essence. Essentialism is the claim that at least some things have some of their properties essentially. Essentialist discourse includes claims such as “Socrates is essentially human”, and “Socrates is accidentally bearded”. Historically, there are two ways of interpreting essentialist discourse. I call these positions ‘modal essentialism’ and ‘neo-Aristotelian essentialism’. According to modal essentialism, for Socrates to be essentially human is for it to be necessary that he be (...) a human if he exists, and for Socrates to accidentally have a beard is for it to be contingent that Socrates has a beard if he exists. According to neo-Aristotelian essentialism, objects have definitions in something like the way words do. For Socrates to be essentially human but accidentally bearded is for it to be part of the definition of Socrates that he is human, but not part of that definition that he is bearded. I argue that both are susceptible to antirealist interpretation. This thesis sets about showing that this is the case. In Chapters One and Two I investigate neo-conventionalist theories of modality, in the hope of using such a position to develop an antirealist modal essentialism. In Chapter Three I discuss the debate between modal and neo-Aristotelian essentialism and conclude that it is by no means settled. In Chapter Four I develop an antirealist neo-Aristotelian essentialism based on the mechanism of one of the neo-conventionalist accounts of modality. In Chapter Five I argue that this account is in a better position to give an essentialist theory of necessity than its realist counterparts. I conclude that, regardless of whether one is a modal or neo-Aristotelian essentialist, antirealist essentialism is a viable theory of essence that is worthy of consideration in contemporary debate. (shrink)

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

This thesis will survey several prominent approaches to analysing causation, discuss their differences and similarities, and look at a number of problems which are common to all of them. I will be arguing for the following claims about how we should approach the process of analysing causation. Firstly, I will be arguing that a reductive analysis is desirable, since if we can reductively analyse causation in terms of something empirically accessible, we can explain how it is possible to know anything (...) about causation. I will argue that to reductively analyse causation is to find out what kind of facts ground causal facts. Secondly, I will argue, following Hall and Strevens, that there are two kinds of causation, causal difference making and causal influence. This two-tiered approach explains the cases where we are tempted to ascribe conflicting characteristics to our concept of causation. Thirdly, I will argue that causal influence grounds causal difference making and that it does so necessarily. That the grounding relation holds necessarily is important for defending the two-tiered approach against the objection that it would yield a disjunctive account. (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)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (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)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the constraints. Therefore, (...) a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

I develop a device for simulating quantification over merely possible objects from the perspective of a modal actualist ---someone who thinks that everything that exists actually exists.