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)

An introduction to temporal parts theory. Most of us believe in spatial parts: hands are spatial parts of people, an electron is a spatial part of a hydrogen atom, the earth is a spatial part of the solar system. Why are these parts "spatial" parts? Because they are spatially smaller: the hand is spatially smaller than the person, the electron is spatially smaller than the atom, the earth is spatially smaller than the solar system. Temporal parts, then, are parts that (...) are temporally smaller. My current temporal part, "me-today", we might call it, is temporally smaller than me, since it exists today and only today. Temporal parts theory says that objects are made up of temporal as well as spatial parts. (shrink)

In this paper, I provide an accuracy-based argument for conditionalization (via reflection) that does not rely on norms of maximizing expected accuracy. -/- (This is a draft of a paper that I wrote in 2013. It stalled for no very good reason. I still believe the content is right).

We argue that dualities offer new possibilities for relating fundamentality, levels, and emergence. Namely, dualities often relate two theories whose hierarchies of levels are inverted relative to each other, and so allow for new fundamentality relations, as well as for epistemic emergence. We find that the direction of emergence typically found in these cases is opposite to the direction of emergence followed in the standard accounts. Namely, the standard emergence direction is that of decreasing fundamentality: there is emergence of less (...) fundamental, high-level entities, out of more fundamental, low-level entities. But in cases of duality, a more fundamental entity can emerge out of a less fundamental one. This possibility can be traced back to the existence of different classical limits in quantum field theories and string theories. (shrink)

I develop an account of the sorts of considerations that should go into determining where the limits of possibility lie. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘Ontological Commitment’ and ‘An Actualist’s Guide to Quantifying-In’.).

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

Several philosophers of religion have used contemporary work on the metaphysics of space to dismantle objections to Christian doctrine. In this paper I shall also make use of work in the metaphysics of space to explore a topic in Christian thought that has received little attention by philosophers, namely inaugurated eschatology. My aim will be to take the conclusions of some biblical scholars who have written on this topic, and then begin to provide some metaphysical models of this doctrine, so (...) as to overcome objections against inaugurated eschatology based on metaphysical concerns. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)

The article argues against attempts to combine ontological realism about modality with the rejection of modal rationalism and it suggests that modal realism requires modal rationalism. /// El artículo da argumentos en contra de que se intente combinar el realismo ontológico sobre la modalidad con el rechazo del racionalismo modal y sugiere que el realismo modal exige racionalismo modal.

In their modern classic ``What Price Substantivalism? The Hole Story'' Earman and Norton argued that substantivalism about spacetime points implies that general relativity is indeterministic and, for that reason, must be rejected as a candidate ontology for the theory. More recently, Earman has cottoned on to a related argument (in fact, related to a \emph{response} to the hole argument) that arises in the context of canonical general relativity, according to which the enforcing of determinism along standard lines---using the machinery of (...) gauge theory---leads to a `frozen universe' picture (grounded in an absence of changes in values of general relativity's observables). \emph{Prima facie} this would seem to land the anti-substantivalist in waters at least as deep as those that Earman and Norton argued troubled substantivalism. In this paper I introduce the argument in what I think are clearer terms than Earman's, and assess his treatment of the problem. For the most part I agree with Earman about the nature of the problem, but I find aspects of his discussion wanting, especially as regards his proposed ontology. I argue that ontological sense can be made of the changelessness if a structuralist stance is adopted with respect to a natural class of observables. (shrink)

Recent developments in the scientific realism debate have resulted in a form of ‘exemplar driven’ realism that eschews general ‘recipes’ and instead focuses on the specific, ‘local’ reasons for adopting a realist stance in particular theoretical contexts. Here I suggest that such a move highlights even more sharply the need for the realist to incorporate a health dose of metaphysics in her position, particularly when it comes to the theories associated with modern physics. Turning to another set of recent developments, (...) having to do with the relationship between metaphysics and science, I argue that the exemplar driven realist can appropriate certain current metaphysical devices to help make concrete her commitments. Specifically I focus on a kind of exemplar based structural realism and examine the adequacy of, first, the determinables-determinate relationship as presented by Wilson and, second, Paul’s ‘one category ontology, as such devices within this framework. (shrink)

This is a self-contained introduction to the Everett interpretation of quantum mechanics. It is the introductory chapter of Many Worlds? Everett, quantum theory, and reality, S. Saunders, J. Barrett, A. Kent, and D. Wallace, Oxford University Press.

This paper explores the Persistence Question about cities, that is, what is necessary and sufficient for two cities existing at different times to be numerically identical. We first show that we can possibly put an end to the existence of a city in a number of ways other than by physically destroying it, which reveals the metaphysics of cities to be partly different from that of ordinary objects. Then we focus in particular on the commonly perceived vulnerability of cities to (...) imaginary relocation; and we make the hypothesis that cities do have among their essential properties that of being surrounded by a specific geographical context. Finally we investigate the pos- sibility that a city can survive relocation in virtue of the capacity of its geographical context to survive it in the first place. We suggest that city contexts may not be essentially context-dependent in turn, and outline a possible description of the cri- teria for their persistence over time. (shrink)

Michael Almeida once told me that he thought we were just a couple of hours of conversation away from reaching deep agreement about some important topics in the philosophy of religion pertaining to God, multiverses, and modality. This paper represents my attempt to move this conversation forward and to seek this common ground. Specifically, I respond to Almeida’s paper entitled “The Multiverse and Divine Creation”. In the first four sections, I record my disagreement with him concerning some smaller matters. In (...) Section 5, I try to persuade him that what he considers a ‘bug’ in the theistic multiverse is actually a feature—and a desirable one at that. In Section 6, I close by identifying some points at which our views seem to converge. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

This is a draft of a chapter that has been accepted for publication by Oxford University Press in the forthcoming book "Ethics and Explanation", edited by Neil Sinclair and Uri Leibowitz due for publication in 2016.

Privileged-perspective realism (PPR) is a version of metaphysical realism that takes certain irreducibly perspectival facts to be partly constitutive of reality. PPR asserts that there is a single metaphysically privileged standpoint from which these perspectival facts obtain. This chapter discusses several views that fall under the category of privileged-perspective realism. These include presentism, which is PPR about tensed facts, and non-multiverse interpretations of quantum mechanics, which the chapter argues, constitute PPR about world-indexed facts. Using the framework of the bird perspective (...) and the frog perspective, it argues that PPR views methodologically treat the frog perspective as metaphysically primary. This chapter considers case studies of metaphysical interpretations of special relativity and quantum mechanics in order to demonstrate that such motivations for PPR are non-naturalistic. Further, it considers psychological factors that motivate the appeal of PPR views and offers naturalistic explanations of why we should not expect them to produce an adequate metaphysics of science. (shrink)

Under the eternalist hypothesis that objects or events exist temporally, but independently of being present two different views of persistence are on the market: Persisting objects endure if they are multiply located in time, and persisting objects perdure if they are singly located by having numerically different temporal parts. In the framework of the special theory of relativity, the metaphysics of persistence is confronted with peculiar difficulties. Things persist by being “wholly present” at more than one time; but what are (...) times within a temporally non-separated spacetime? Things persist by having different temporal parts at different times; but what are the temporal parts of a four-dimensional object in Minkowski spacetime? Recently, several authors have argued that SR favours perdurantism over its endurantist rival. In this paper, I intend to show that the purported arguments are only those against endurantism. The first simply fails, but the second, more convincing one, is such that with a similar strategy we should argue against perdurantism as well: Enduring and perduring entities are hence both in conflict with SR which undermines the eternalist hypothesis. (shrink)

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.

Ward Blondé ABSTRACT: In this paper, an evolutionary multiverse argument against naturalism is presented: E1. In an evolutionary multiverse, phenomena have variable evolutionary ages. E2. After some time T, the development of the empirical sciences will be evolutionarily conserved. E3. The phenomena with an evolutionary age above T are methodologically supernatural. Entities are classified ….

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)

It is usually suggested that the rational self-interest for our future is justified only if we accept endurance theory of personal persistence. This suggestion has been sometimes used to strengthen the plausibility of endurantism over perdurantism, which seemingly does not justify this type of interest. Contrary to the widespread assumption I argue that rational self-interest in some circumstances could be problematic not only for perdurantism but for endurantism as well. The second part of the paper deals with the perdurantistic and (...) endurantistic possibilities to face this common challenge of rational self-interest. (shrink)

In most cases, we think that what settles what act it is right to perform is sensitive to what we take the facts about the world to be. But those facts include many controversial metaphysical claims about the world. I argue that depending on what metaphysical model we take to be correct, we will have very different views about what the right actions are. In particular, I argue that if a particular metaphysical model — the branching universe model — is (...) correct, then many of our ethical intuitions are false. We need to think carefully about the relation between ethical and metaphysical intuitions, and ethical and metaphysical theories. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

This paper argues that the Einstein-Minkowski space-time of special relativity provides an adequate model for classical tense logic, including rigorous definitions of tensed becoming and of the logical priority of proper time. In addition, the extension of classical tense logic with an operator for predicate-term negation provides us with a framework for interpreting and defending the significance of future contingency in special relativity. The framework for future contingents developed here involves the dual falsehood of non-logical contraries, only one of which (...) becomes true. This has several methodological, metaphysical and physical advantages over the alternative traditional frameworks for handling future contingents. (shrink)

Can two objects occupy completely the same space for all of their careers? Yes, according to the standard theory, as long as they fall under different sortals; this happens when an object constitutes another. Nevertheless, to avoid spatio-temporally coincident objects many hypothesis have been proposed, none of which has reached consensus. An unexplored way of answering that question in the negative is to claim that if one object constitutes another only the constituted exists. This commits one to intermittent existence, which (...) plausibility is argued for in here and its foundations surveyed. This notion is to be based on the sub-sistence of the constituting object when only the constituted exists, and on the super-sistence on the constituted object when this no longer exists but the constituting does under certain conditions. (shrink)

In this chapter I consider what recent work on background independent physics can do for structuralism, and what structuralism can do for background independent physics. I focus on the problems of time and observables in gravitational physics. The ‘frozen’ character of the observables of general relativity is usually considered to constitute a serious problem for the theory. I argue that by invoking correlations between physical quantities we can provide a natural explanation of the appear- ance of time and change in (...) timeless structures. I argue that this response can resolve a problem with Max Tegmark’s ‘extreme structuralist’ position. I then consider what bearing the mathematical representation used has on the debate over the nature of structure in discussions of structural realism. I argue that it has both the resources to ground the notion of structure in physics and to answer the ‘no relations without relata’ objection. (shrink)

In 1915 not being able to find field equations for a generally covariant theory of gravitation Einstein came up with a fundamental argument against general covariance – the hole argument. This essay discusses the hole argument and focusses on its consequences for substantivalism and determinism. Two different definitions of determinism are introduced and their compatibility with general covariance from a substantivalist's point of view is discussed.

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.

The culture-economy dialectic (CED) – the opposition of the concepts and phenomena of culture and economy – is one of the most important ideas in the modern history of ideas. Both disciplinary boundaries and much theoretical thought in social science are strongly influenced or even determined by the CED. For that reason, a thorough analysis and evaluation of the CED is needed to improve understanding of the history of ideas in social science and the currently fashionable research on the cultural (...) influences on economic differences between countries and regions. This thesis is an attempt to do just that. The concepts of “culture” and “economy” (and related concepts) and the (assumed) relations therebetween are compared and analyzed. Empirical results from earlier studies are summarized and some new test are presented. These new tests are partly based on a measurement of Dutch regional culture. However, most theories of the CED are (nearly) impossible to verify (empirically). There appears to be some influence of wealth on specific cultural phenomena (such as individualism and post-materialism), but the often assumed influence of culture on entrepreneurship and economic growth remains unconfirmed. Moreover, from an analysis of the theories themselves, it appears that most of these cannot be falsified and are, therefore, hardly 'scientific'. Many of the theories of the CED and, in fact, many theories of social science in general are of a conceptual rather than a causal nature. These theories cannot be falsified (or verified) by empirical means alone, but must be studied by means of conceptual analysis. In the final conclusions, this thesis, therefore, argues for conceptual analysis in – and a more anarchist approach to – social science. (shrink)