Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, the (...) ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes. (shrink)

I modify and generalize Carnap’s notion of frameworks as a way of unpacking Goodman’s metaphor of “making worlds with symbols”. My frameworks provide, metaphorically, a way of making worlds out of symbols in as much as all our framework-bound access to the world is through frameworks that always stand to be improved in accuracy, precision, and usually both. Such improvement is characterized in pragmatist terms.

Most literature on vagueness deals with the phenomenon as applied to predicates. On the contrary, even the idea of vague connectives seems to be taken as an oxymoron. The goal of this article is to propose an understanding of vague logical connectives based on vague quantifiers. The main idea is that the phenomenon of vagueness translates to connectives in terms of the property of Abnormality. I also argue that Prior’s Tonk can, according to this approach, be considered a vague connective. (...) In order to do so, I provide a sound and complete interpretation for it, based on Strict-Tolerant semantics, in which Tonk has a non-normal truth-table. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

I argue that four-dimensionalism and the desire satisfaction account of well-being are incompatible. For every person whose desires are satisfied, there will be many shorter-lived individuals (‘person-stages’ or ‘subpersons’) who share the person’s desires but who do not exist long enough to see those desires satisfied; not only this, but in many cases their desires are frustrated so that the desires of the beings in whom they are embedded as proper temporal parts may be fulfilled. I call this the frustrating (...) problem for four-dimensionalism. In the first half of the paper I lay the groundwork for understanding the frustrating problem, and then in the second half, I will examine six possible responses to the frustrating problem on behalf of the four-dimensionalist, (i) the Parfit (1984) inspired claim that identity is not what matters, (ii) the personal pronoun revisionism of Noonan (2010), (iii) the indirect concern account of Hudson (2001), (iv) the sensible stages account of Lewis (1986), (v) a multiple-concepts account of desire satisfaction, and (vi) a No Desire View according to which subpersons have no mental states and thus no desires to frustrate. I argue that none of these solutions will help the four-dimensionalist; she does better to reject the desire satisfaction theory, while the defender of the desire satisfaction theory does better to reject four-dimensionalism. (shrink)

The ontology of ‘powerful qualities’ is gaining an increasing amount of attention in the literature on properties. This is the view that the so-called categorical or qualitative properties are identical with ‘dispositional’ properties. The position is associated with C.B. Martin, John Heil, Galen Strawson and Jonathan Jacobs. Robert Schroer ( 2012 ) has recently mounted a number of criticisms against the powerful qualities view as conceived by these main adherents, and has also advanced his own (radically different) version of the (...) view. In this paper I have three main aims: firstly, I shall defend the ontology from his critique, arguing that his criticisms do not damage the position. Secondly, I shall argue that Schroer’s own version of the view is untenable. Thirdly, the paper shall serve to clear up some conceptual confusions that often bedevil the powerful qualities view. (shrink)

Can a belief source confer justification when we lack antecedent justification for believing that it’s reliable? A negative answer quickly leads to skepticism. A positive answer, however, seems to commit one to allowing pernicious reasoning known as “epistemic bootstrapping.” Puzzles surrounding bootstrapping arise because we illicitly assume either that justification requires doxastic awareness of a source’s epistemic credentials or that there is no requirement that a subject be aware of these credentials. We can resolve the puzzle by splitting the horns (...) and requiring a non-conceptual awareness of, or direct acquaintance with, a source’s legitimacy. Requiring non-conceptual as opposed to doxastic awareness halts the regress and avoids the skeptical results. On the other hand, requiring non-conceptual awareness also guarantees that we are aware of evidence for a source’s reliability prior to using that source to form justified beliefs; we thereby avoid the problem of allowing epistemic bootstrapping to generate the illicit gains in justification. (shrink)

I offer a new response to the regress argument against pure powers ontologies. This involves rejecting an overlooked premiss, which is that a power’s manifestation is exhaustively accounted for by the powers involved in it. Rejection of this premiss not only answers the regress argument, but also brings with it wider metaphysical consequences, including a shift away from one-category ontologies.

Infinity, in various guises, has been invoked recently in order to ‘explain’ a number of important questions regarding observable phenomena in science, and in particular in cosmology. Such explanations are by their nature speculative. Here we introduce the notions of relative infinity, closure, and economy of explanation and ask: to what extent explanations involving relative or real constructed infinities can be treated as reasonable?

There are currently several versions of Everett's relative state interpretation of quantum mechanics, responding to a number of perceived problems for the original proposal. One of those problems is whether Everett's idea is in accord with the standard 'probabilistic' interpretation implicit in the Born rule. I argue in defence of what appears to be Everett's original view on this. The contribution I aim to make is a more complete discussion of the central issues of the identity of objects and observers (...) over time and how the concept of expectation can be applied when all 'possible' outcomes of a measurement process are regarded as actually occurring. (shrink)

Proposed derivations of the Born rule for Everettian theory are controversial. I argue that they are unnecessary but may provide justification for a simplified version of the Principal Principle. It’s also unnecessary to replace Everett’s idea that a subject splits in measurement contexts with the idea that subjects have linear histories which partition Many worlds? Everett, quantum theory, and reality, Oxford University Press, Oxford, pp 181–205, 2010; Wallace in The emergent multiverse, Oxford University Press, Oxford, 2012, Chapter 7; Wilson in (...) Br J Philos Sci 64:709–737, 2013; The nature of contingency: quantum physics as modal realism, Oxford University Press, Oxford, forthcoming). Linear histories were introduced to provide a concept of pre-measurement uncertainty and I explain why pre-measurement uncertainty for splitting subjects is after all coherent, though not necessary because Everett’s original fission interpretation of branching can arguably be rendered coherent without it, via reference to Vaidman, Tappenden, Sebens and Carroll and McQueen and Vaidman. A deterministic and probabilistic quantum mechanics can be made intelligible by replacing the standard collapse postulate with a no-collapse postulate which identifies objective probability with relative branch weight, supplemented by the simplified Principal Principle and some revisionary metaphysics. (shrink)

The contemporary popularity of semantic externalism has arisen from so-called Twin Earth thought experiments which suggest that the representational content of a natural kind term cannot be wholly determined by processes within a speaker's body. Such arguments depend on the intuition that the extensions of natural kind terms cannot have changed as the result of the scientific investigation of natural kinds' constitutions. I demonstrate that this externalist intuition depends on an assumption about the mentality of isomorphic doppelgangers which has never (...) been questioned but which is nonetheless arguably false. I develop an alternative view of the instantiation of mind which entails a revision of our understanding of the constitution of environmental objects. The picture seems to be fully coherent despite its oddity and I can find no good reason to reject it. The conclusion must be that the case for semantic externalism is thus less compelling than is often supposed. (shrink)

Recently, some have attempted to reformulate debates in first-order metaphysics, particularly in the metaphysics of time and modality, for reasons due to Williamson. In this paper, we focus on the ways in which the likes of Cameron, Correia and Rosenkranz, Deasy, Ingram, Tallant, Viebahn, inter alia, have initiated and responded to attempts to capture the core of presentism using a formal, logical machinery. We argue that such attempts are doomed to fail because there is no theoretical core to presentism. There (...) is no single view or family of views that is presentism. (shrink)

This paper is an attempt to answer the question, ‘could there be causation in a timeless world?’ My conclusion: tentatively, yes. The paper and argument have three parts. Part one introduces salient issues and spells out the importance of this line of investigation. Section two of the paper reviews recent arguments due to Baron and Miller, who argue in favour of the possibility of causation in a timeless world, and looks to reject their arguments developed there. Section three is a (...) response to a response. In their, Baron and Miller also argue that an argument in favour of the possibility of causation at timeless worlds, that I put forward, is an argument that fails. In section three, my response to Baron and Miller is that their argument against me succeeds, but that there is a nearby argument that we can appeal to in order to demonstrate the possibility of causation at timeless worlds. (shrink)

In this paper I offer a counterexample to the so called vagueness argument against restricted composition. This will be done in the lines of a recent suggestion by Trenton Merricks, namely by challenging the claim that there cannot be a sharp cut-off point in a composition sequence. It will be suggested that causal powers which emerge when composition occurs can serve as an indicator of such sharp cut-off points. The main example will be the case of a heap. It seems (...) that heaps might provide a very plausible counterexample to the vagueness argument if we accept the idea that four grains of sand is the least number required to compose a heap—the case has been supported by W. D. Hart. My purpose here is not to put forward a new theory of composition, I only wish to refute the vagueness argument and point out that we should be wary of arguments of its form. (shrink)

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

Realist essentialists face a prima facie challenge in accounting for our knowledge of the essences of things, and in particular, in justifying our engaging in thought experiments to gain such knowledge. In contrast, conferralist essentialism has an attractive story to tell about how we gain knowledge of the essences of things, and how thought experiments are a justified method for gaining such knowledge. The conferralist story is told in this essay.

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

A strong form of representationalism says that every conscious property of every mental state can be identified with some part of the state’s representational properties. A weaker representationalism says that some conscious property of some mental state can be identified with some part of the state’s representational properties. David Papineau has recently argued that all such theories are incorrect since they construe consciousness as consisting in “relations to propositions or other abstract objects outside space and time”, whereas consciousness is “concrete” (...) and “here and now”. Papineau defends instead a kind of “qualia theory” according to which all conscious properties are intrinsic non-relational properties of subjects. He argues that this theory bypasses the difficulties he identifies for representationalism. Similar worries about representationalism, and similar ideas to the effect that some qualia theory, adverbial theory, or sense-datum theory fares better with respect to these worries are relatively wide-spread. I argue that Papineau’s theory does not bypass the difficulties he identifies for representationalism. In fact, Papineau’s theory arguably has no advantage at all over representationalism with regard to these issues. The features that concern Papineau about representationalist views do not derive—or do not derive solely—from the representationalism of these views. They derive from a common-factorism of these views. And this common-factorism is embraced by Papineau as well as by most theories of consciousness and perception. (shrink)

A strong form of representationalism says that every conscious property of every mental state can be identified with some part of the state’s representational properties. A weaker representationalism says that some conscious property of some mental state can be identified with some part of the state’s representational properties. David Papineau has recently argued that all such theories are incorrect since they construe consciousness as consisting in “relations to propositions or other abstract objects outside space and time”, whereas consciousness is “concrete” (...) and “here and now”. Papineau defends instead a kind of “qualia theory” according to which all conscious properties are intrinsic non-relational properties of subjects. He argues that this theory bypasses the difficulties he identifies for representationalism. Similar worries about representationalism, and similar ideas to the effect that some qualia theory, adverbial theory, or sense-datum theory fares better with respect to these worries are relatively wide-spread. I argue that Papineau’s theory does not bypass the difficulties he identifies for representationalism. In fact, Papineau’s theory arguably has no advantage at all over representationalism with regard to these issues. The features that concern Papineau about representationalist views do not derive—or do not derive solely—from the representationalism of these views. They derive from a common-factorism of these views. And this common-factorism is embraced by Papineau as well as by most theories of consciousness and perception. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

[A. W. Moore] There are criteria of ineffability whereby, even if the concept of ineffability can never serve to modify truth, it can sometimes serve to modify other things, specifically understanding. This allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein's Tractatus and those who adopt the new reading recently championed by Diamond, Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than (...) ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

Metaethical realists disagree about the nature of normative properties. Naturalists think that they are ordinary natural properties: causally efficacious, a posteriori knowable, and usable in the best explanations of natural and social sciences. Non-naturalist realists, in contrast, argue that they are sui generis: causally inert, a priori knowable and not a part of the subject matter of sciences. It has been assumed so far that naturalists can explain causally how the normative predicates manage to refer to normative properties, whereas non-naturalists (...) are unable to provide equally satisfactory metasemantic explanations. This article first describes how the previous non-naturalist accounts of reference fail to tell us how the normative predicates could have come to refer to the non-natural properties rather than to the natural ones. I will then use the so-called qua-problem to show how the causal theories of reference of naturalists also fail to fix the reference of normative predicates to unique natural properties. Finally, I will suggest that, just as naturalists need to rely on the non-causal mechanism of reference magnetism to solve the previous problem, non-naturalists, too, can rely on the very same idea to respond to the pressing metasemantic challenges that they face concerning reference. (shrink)

The stage theory is a four-dimensional account of persistence motivatedby the worm theory's inability to account for our intuitions in thecases involving coinciding objects. Like the worm theory, it claimsthat there are objects spread out in time, but unlike the worm theory,it argues that these spacetime worms are not familiar particulars liketables and chairs. Rather, familiar particulars are the instantaneoustemporal slices of worms. In order to explain our intuitions that particulars persist for more than an instant, the stage theory drawson (...) the counterpart theory of modal possibilism, which it is supposedto parallel. In this paper I show how the stage theory presupposes thattime can be divided into instants, which I call the atomistic view oftime. I do this by laying out an alternative theory of the nature oftime, the gunky view, and show that if time is gunky the stage theorycollapses into the worm theory. The deeper problem is that the merepossibility of gunky time would cause the stage theory's parallels topossibilism to break down. I therefore conclude that the stage theoryis committed to the view that time is necessarily atomistic. Finally,in the last section I argue that the fact that the stage theory rulesout a priori the possibility of time being gunky gives us reason toreject it as an account of persistence. (shrink)

Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented.

This article surveys recent developments in the epistemology of modality.

What is the relation between entailment and reasons for belief? In this paper, I discuss several answers to this question, and I argue that these answers all face problems. I then propose the following answer: for all propositions p1,...,pn and q, if the conjunction of p1,..., and pn entails q, then there is a reason against a person's both believing that p1,..., and that pn and believing the negation of q. I argue that this answer avoids the problems that the (...) other answers to this question face, and that it does not face any other problems either. I end by showing what the relation between deductive logic, reasons for belief and reasoning is if this answer is correct. (shrink)

It is widely assumed that sense perception cannot deliver knowledge of nonactual (metaphysical) possibilities. We are not supposed to be able to know that a proposition p is necessary or that p is possible (if p is false) by sense perception. This paper aims to establish that the role of sense perception is not so limited. It argues that we can know lots of modal facts by perception. While the most straightforward examples concern possibility and contingency, others concern necessity and (...) impossibility. The possibility of a perceptual route to some modal knowledge is not as radical as it may at first sound. On the contrary, acknowledging it has benefits. (shrink)

Frank Jackson has argued that, given plausible claims about supervenience, descriptive predicates and property identity, there are no irreducibly normative properties. Philosophers who think that there are such properties have made several objections to this argument. In this paper, I argue that all of these objections fail. I conclude that Jackson's argument shows that there are no irreducibly normative properties.

In this paper I do two things: (1) I support the claim that there is still some confusion about just what the Quine-Putnam indispensability argument is and the way it employs Quinean meta-ontology and (2) I try to dispel some of this confusion by presenting the argument in a way which reveals its important meta-ontological features, and include these features explicitly as premises. As a means to these ends, I compare Peter van Inwagen’s argument for the existence of properties with (...) Putnam’s presentation of the indispensability argument. Van Inwagen’s argument is a classic exercise in Quinean meta-ontology and yet he claims – despite his argument’s conspicuous similarities to the Quine-Putnam argument – that his own has a substantially different form. I argue, however, that there is no such difference between these two arguments even at a very high level of specificity; I show that there is a detailed generic indispensability argument that captures the single form of both. The arguments are identical in every way except for the kind of objects they argue for – an irrelevant difference for my purposes. Furthermore, Putnam’s and van Inwagen’s presentations make an assumption that is often mistakenly taken to be an important feature of the Quine-Putnam argument. Yet this assumption is only the implicit backdrop against which the argument is typically presented. This last point is brought into sharper relief by the fact that van Inwagen’s list of the four nominalistic responses to his argument is too short. His list is missing an important – and historically popular – fifth option. (shrink)

Learning about feminism can be a revelation for many students. However, for others, it can be a confounding, troubling experience. These difficulties return as problems for the teacher: how to help...

Arguing first that the best way to understand what a continuant is is as something that primarily has its properties at a time rather than atemporally, the paper then defends the idea that there are occurrent continuants. These are things that were, are, or will be happening—like the ongoing process of someone reading or my writing this paper, for instance. A recently popular philosophical view of process is as something that is referred to with mass nouns and not count nouns. (...) This has mistakenly encouraged the view that the only way to think of process is as the stuff of events, and has obscured the possibility of thinking of processes as individual continuants. (shrink)

This paper defends a version of the realist view that fictional characters exist. It argues for an instance of abstract realist views, according to which fictional characters are roles, constituted by sets of properties. It is argued that fictional names denote individual concepts, functions from worlds to individuals. It is shown that a dynamic framework for understanding the evolution of discourse information can be used to understand how roles are created and develop along with story content. Taking fictional names to (...) denote individual concepts provides accounts of a number of uses of fictional names. These include non-fictional uses, fictional uses, metafictional uses, interfictional uses, counterfictional uses, and negative existentials. It is argued that this account is not open to objections that have been raised in the literature. (shrink)

Propositional temporalism is the view that there are temporary propositions: propositions that are true, but not always true. Factual futurism is the view that there are futurist facts: facts that obtain, but that will at some point not obtain. Most A-theoretic views in the philosophy of time are committed both to propositional temporalism and to factual futurism. Mark Richard, Jeffrey King and others have argued that temporary propositions are not fit to be the contents of propositional attitudes, or to be (...) the semantic values of natural language utterances. But these discussions have overlooked another role that the A-theorist’s posits struggle to play: the role of facts in explaining other facts. Focusing on the case of action explanation by reasons, this paper presents the challenge that explanation poses for factual futurism. It then brings that challenge to bear against propositional temporalism and the A-theory more generally. My argument saddles the factual futurist with surprising commitments concerning reasons, facts and explanation. The futurist might accept those commitments and pay the price. The alternative – which I prefer – is to reject factual futurism, and with it the A-theory. (shrink)

Recent accounts of pretense have been underdescribed in a number of ways. In this paper, we present a much more explicit cognitive account of pretense. We begin by describing a number of real examples of pretense in children and adults. These examples bring out several features of pretense that any adequate theory of pretense must accommodate, and we use these features to develop our theory of pretense. On our theory, pretense representations are contained in a separate mental workspace, a Possible (...) World Box which is part of the basic architecture of the human mind. The representations in the Possible World Box can have the same content as beliefs. Indeed, we suggest that pretense representations are in the same representational ``code'' as beliefs and that the representations in the Possible World Box are processed by the same inference and UpDating mechanisms that operate over real beliefs. Our model also posits a Script Elaborator which is implicated in the embellishment that occurs in pretense. Finally, we claim that the behavior that is seen in pretend play is motivated not from a ``pretend desire'', but from a real desire to act in a way that ®ts the description being constructed in the Possible World Box. We maintain that this account can accommodate the central features of pretense exhibited in the examples of pretense, and we argue that the alternative accounts either can't accommodate or fail to address entirely some of the central features of pretense. q 2000 Elsevier Science B.V. All rights reserved. (shrink)

A standard response to the problem of diachronic vagueness is ‘the semantic solution’, which demands an abundant ontology. Although it is known that the abundant ontology does not logically preclude endurantism, their combination is rejected because it necessitates massive coincidence between countless objects. In this paper, I establish that the semantic solution is available not only to perdurantists but also to endurantists by showing that there is no problem with such ubiquitous and principled coincidence.

It is generally thought that truthmaking has to be an internal relation because if it weren’t, then, as David Armstrong argues, “everything may be a truthmaker for any truth”. Depending on whether we take an internal relation to be one that is necessitated by the mere existence of its terms or one that supervenes on the intrinsic properties of its relata, the truthbearers involved in the truthmaking relation must either have their contents essentially or intrinsically. In this paper, I examine (...) Armstrong’s account, according to which what is made true at the fundamental level are mental state tokens. The conclusion is reached that such tokens have their contents neither essentially nor intrinsically, and so, are simply the wrong kind of entities to be made true internally. (shrink)

If the computational theory of mind is right, then minds are realized by machines. There is an ordered complexity hierarchy of machines. Some finite machines realize finitely complex minds; some Turing machines realize potentially infinitely complex minds. There are many logically possible machines whose powers exceed the Church–Turing limit (e.g. accelerating Turing machines). Some of these supermachines realize superminds. Superminds perform cognitive supertasks. Their thoughts are formed in infinitary languages. They perceive and manipulate the infinite detail of fractal objects. They (...) have infinitely complex bodies. Transfinite games anchor their social relations. (shrink)

Pantheism claims: (1) there exists an all-inclusive unity; and (2) that unity is divine. I review three current and scientifically viable ontologies to see how pantheism can be developed in each. They are: (1) materialism; (2) Platonism; and (3) class-theoretic Pythagoreanism. I show how each ontology has an all-inclusive unity. I check the degree to which that unity is: eternal, infinite, complex, necessary, plentiful, self-representative, holy. I show how each ontology solves the problem of evil (its theodicy) and provides for (...) salvation (its soteriology). I conclude that Platonism and Pythagoreanism have the most divine all-inclusive unities. They support sophisticated contemporary pantheisms. (Published Online February 17 2004). (shrink)

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

Take a formula of first-order logic which is a logical consequence of some other formulae according to model theory, and in all those formulae replace schematic letters with English expressions. Is the argument resulting from the replacement valid in the sense that the premisses could not have been true without the conclusion also being true? Can we reason from the model-theoretic concept of logical consequence to the modal concept of validity? Yes, if the model theory is the standard one for (...) sentential logic; no, if it is the standard one for the predicate calculus; and yes, if it is a certain model theory for free logic. These conclusions rely inter alia on some assumptions about possible worlds, which are mapped into the models of model theory. Plural quantification is used in the last section, while part of the reasoning is relegated to an appendix that includes a proof of completeness for a version of free logic. (shrink)