It is fairly common, among those who think propositions exist, to think they exist necessarily. Here, I consider three arguments in support of that conclusion. What I hope to show is not that that claim is false, but, rather, that the arguments used in its defense tend to presuppose a certain kind of approach to modality: a roughly Plantingian view. What the arguments show, then, is that one cannot accept that approach to modality and accept contingently existing propositions. But there (...) are other approaches to modality – I discuss three such approaches – into which contingently existing propositions fit perfectly well. This suggests that disputes over, for example, singular propositions, must be conducted within a broader agreement over modal matters if they are to be at all productive. (shrink)

It can be intuitively understood that sets and their elements in mathematics reflect the atomistic way of thinking in physics: Sets correspond to physical properties, and their elements correspond to particles that have these properties. At the same time, quantum statistics and quantum field theory strongly support the view that quantum particles are not individuals. Some of the problems faced in modern physics may be caused by such discrepancy between set theory and physical theory. The question then arises: Is it (...) possible to reconstruct the concept of set as a collection of objects that model quantum particles rather than as a mere collection of individuals? David Deutsch has argued that identical entities can be diverse in their attributes, and that this nature, what he calls fungibility, must lie at the heart of quantum physics. In line with this idea, a set theory with fungible elements is established, and the collection of such sets is shown to be endowed with an ortholattice structure, which is better known as quantum logic. (shrink)

In this paper I argue that adopting a perdurance view of persistence through time does not lead to skepticism about moral responsibility, despite what many theorists have thought.

Artykuł jest próbą analizy koncepcji minimalistycznej neurofilozofii autorstwa Henrika Waltera w kontekście dyskusji dotyczącej problemu psychofizycznego. Bezpośrednio związana z ową koncepcją teoria o „zróżnicowanej metafizyce” została w tekście powiązana z ideą pluralizmu eksplanacyjnego i ukazana jako metodologiczna alternatywa dla poszukiwania fundamentalnych teorii świadomości. Jednocześnie poza ewentualnymi zaletami metafilozoficznej refleksji podejmowanej w ramach minimalistycznej neurofilozofii zarysowane zostały jej podstawowe ograniczenia i problemy związane m.in. z uznaniem superweniencji za punkt łączący różnorodne stanowiska neurofilozoficzne.

In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (...) (iv) if for all we know we are free but predetermined, then it is really possible that we are, so (v) compatibilism. We uncover how the crucial epistemic modality underlying (iv) must be understood, and contend that, understood this way, the libertarian can resist (iv). Importantly, however, resisting the argument does commit the libertarian to what has been called “flip-flopping”—but we argue that this is perfectly coherent. We conclude by articulating two crucially ways the libertarian can resist the argument, by saying that we can know that determinism is false "from the armchair". (shrink)

Paul Benacerraf’s argument that mathematical realism is apparently incompatible with mathematical knowledge has been widely thought to also show that a priori knowledge in general is problematic. Although many philosophers have rejected Benacerraf’s argument because it assumes a causal theory of knowledge, some maintain that Benacerraf nevertheless put his finger on a genuine problem, even though he didn’t state the problem in its most challenging form. After diagnosing what went wrong with Benacerraf’s argument, I argue that a new, more challenging, (...) version of Benacerraf’s problem can be constructed. The new version—what I call the Defeater Version—of Benacerraf’s problem makes use of a no-defeater condition on knowledge and justification. I conclude by arguing that the best way to avoid the problem is to construct a theory of how a priori judgments reliably track the facts. I also suggest four different kinds of theories worth pursuing. (shrink)

This paper tries to unleash the nature of the paradox of nonexistence or non-being or negative singular existentials by using a General Metalogical Theory. In the first section, this paper explains in detail the paradox of negative singular eixistentials and explains how Alexius Meinong and Bertrand Russell respond to this paradox. Russell resolves the paradox using quantification method which Quine extends to formulate a criterion of ontological commitments. In the second section, a General Metalogical Theory is explained, and it is (...) shown that how the developed General Metalogical Theory is useful in unleashing the paradox of nonexistence. The principles of General Metalogical Theory is developed from Quine’s criterion: to be is to be the value of bound variable. In Quine’s criterion, the notion of the bound variable is significant. The General Metalogical Theory in unleashing the nature of the paradox mainly focuses on the question: from where does the binding of the bound variable come? The paper argues that it is not enough to say that the binding of the bound variable comes from the existentially loaded use of the particular quantifier. General Metalogical Theory attempts to show that the binding of the bound variable comes from somewhere else, so that we attach the particular quantifier to the variable and use the particular quantifier in an existentially loaded sense. Explaining the binding nature of the bound variable in the above-mentioned manner will unleash the nature of the paradox. (shrink)

This paper resolves the problems raised by Israel Scheffler and Noam Chomsky against Quine’s criterion of ontological commitment. I call Scheffler’s and Chomsky’s problems as (1) the problem of inexorable ontological commitments and (2) the problem of false existential inferences. I extend their problems to a third one, which is called as the problem of extended inexorable ontological commitments to rival entities. In order to present the third problem, two ontological disputes are considered: Russell–Meinong dispute from the context of the (...) referential theory of meaning and David Lewis–Meinong dispute from the context of modal metaphysics. In order to work out a resolution to these three problems, I emphasize the distinction between meta-ontology/meta-theory and object theory. Then, it is explained that there is a functional difference between Quine’s criterion of ontological commitments (meta-theory) and the object theories to which this criterion is applied. Here, considering the functional difference, I introduce different kinds of commitments: direct commitments and indirect commitments. Using Strawson’s views on the notion of presupposition, the distinction between direct commitments and indirect commitments is characterized further. Employing this distinction, I resolve the problem of inexorable ontological commitment to the entities, the problem of false existential inferences and the problems of extended inexorable ontological commitment to the rival entities. (shrink)

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

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.