Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

Recent years have seen several studies of metaphysical disputes as disagreement phenomena employing the resources from the research on disagreement in social epistemology. This paper undertakes an analogous study of the metametaphysical disagreement over the substantiveness of metaphysical disputes between inflationists and deflationists. The paper first considers and questions the skeptical argument that the mere existence of the disagreement mandates the suspension of judgement about the substantiveness of metaphysical disputes. Rather, the paper argues that steadfastness in the face of this (...) disagreement is rational, at least for inflationists. Since inflationists are often metaphysicians who were called to this disagreement due to its apparent threat to their first order debates in metaphysics, they can therefore return to these debates in good faith. In contrast, deflationists have no such alternative occupation and the verdict of steadfastness will not alter their engagement in the inflationist/deflationist disagreement: they will continue their attempt to resolve the disagreement to their advantage. Thus, though the verdict of steadfastness is epistemically symmetric between inflationism and deflationism, it induces an asymmetry in the motivation to pursue the inflationist/deflationist disagreement which places the burden of advancing the dialectic of this disagreement with the deflationists while metaphysicians can continue their work as before. (shrink)

Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. (...) This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation. (shrink)

For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...) then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences. (shrink)

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll (...) argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the (...) problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this (...) theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. This is (...) so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

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

Joshua Spencer (2010) has recently used the problem of spatial intrinsics in conjunction with the possibility of extended atomic regions of space to argue against the possibility of extended heterogeneous simples. In part 1, I explain Spencer’s argument against the possibility of heterogeneous simples. In part 2, I argue that if his argument is sound, then a parody argument can be constructed showing that heterogeneous composite objects are also impossible. In part 3, I provide an objection to my parody argument. (...) I then go on to argue that if this objection is successful, then Spencer’s argument is left susceptible to an analogous objection. In short, I argue that either Spencer has shown that composite and simple heterogeneous objects are impossible, or that Spencer’s argument against the possibility of extended heterogeneous simples (and my parody argument) is unsound. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

Problems about the accidental properties of properties motivate us--force us, I think--not to identify properties with the sets of their instances. If we identify them instead with functions from worlds to extensions, we get a theory of properties that is neutral with respect to disputes over counterpart theory, and we avoid a problem for Lewis's theory of events. Similar problems about the temporary properties of properties motivate us--though this time they probably don't force us--to give up this theory as well, (...) and to identify properties with functions from world, time pairs to extensions. Again, the replacement theory is neutral with respect to a metaphysical dispute that the old theory (arguably) forces us to take a stand on--the dispute over whether objects have temporal parts. It also allows us to give a smoother semantics for predication, to better accommodate our intuitions about which objects temporary properties are properties of, and to make temporally self-locating beliefs genuinely self -locating. (shrink)

I survey recent work on mental causation. The discussion is conducted under the twin presumptions that mental states, including especially what subjects believe and desire, causally explain what subjects do, and that the physical sciences can in principle give a complete explanation for each and every bodily movement. I start with sceptical discussions of various views that hold that, in some strong sense, the causal explanations offered by psychology are autonomous with respect to those offered by the physical sciences. I (...) then proceed to views that see the problem of mental causation as that of identifying where in the physical story about us and our world lie the parts that in effect tell us abut mental causation - the kind of position that is pretty much standard in the cognitive science community - and consider issues raised by various forms of functionalism and externalism. The general thrust of my discussion is sympathetic to the story about mental causation suggested by those type-type versions of the mind-brain identity theory that allow for the possiblity of multiple realisability. I include a brief discussion of how a map-system account of belief, by contrast with a language of thought one, should understand explanations of behaviour in terms of what a subject believes. (shrink)

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

How could perceptual experiences reveal matters of essentiality? Answering this question is crucial for vindicating a thesis about the epistemic import of experience, commonly known as Revelation. The thesis comes in a weak and a strong version. Only on the strong one could it make up an authoritative piece of common sense. But this version also seems to demand too much of our experiences, namely that they can reveal essentiality. However, the impression that our experiences are not suited for this (...) turns out to be due to a non-mandatory assumption about how the revelation of essentiality would work. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. What (...) follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

In this article, I propose a semantic account of temporally mismatched past subjunctive counterfactuals. The proposal consists of the following parts. First, I show that in cases of temporal mismatch, [past] cannot be interpreted inside the proposition where it occurs at surface structure. Instead, it must be interpreted as constraining the time argument of the accessibility relation. This has the effect of shifting the time of the evaluation of the conditional to some contextually salient past time. Second, I will propose (...) specific felicity conditions (presuppositions) for subjunctive conditionals and I will argue that there is a strict correspondence between the time of evaluation in the truth conditions of a conditional and the time relevant for the felicity conditions. In other words, if the time relevant for the accessibility relation has been shifted to the past, then the conditional's presupposition will make reference to a past context. On the other hand, if no past is constraining the time argument of the accessibility relation, the conditional's felicity will make reference to the current (main) context. Third, I will argue that the intuition that the antecedent of mismatched counterfactuals is not true is a scalar implicature arising from a competition not between assertions but between presuppositions. Finally, I will investigate the repercussions of my proposal for the general theory of modality. (shrink)

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

A platonic theory of possibility states that truths about what’s possible are determined by facts about properties not being instantiated. Recently, Matthew Tugby has argued in favour of this sort of theory, arguing that adopting a platonic theory of possibility allows us to solve a paradox concerning alien properties: properties that might have been instantiated, but aren’t actually. In this paper, I raise a worry for Tugby’s proposal—that it commits us to negative facts playing an important truth-making role—and offer a (...) strategy to avoid the objectionable negativity. (shrink)

A review of Simon Prosser's book Experiencing Time.

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

This paper offers an argument in favour of a Lewisian version of concretism that maintains both the principle of material inheritance (according to which, if all the parts of an object x are material, then x is material) and the materiality-modality link (that is, the principle that, for every x, if x is material, then x is possible).

This paper addresses the question whether future contingents are knowable, that is, whether one can know that things will go a certain way even though it is possible that things will not go that way. First I will consider a long-established view that implies a negative answer, and draw attention to some endemic problems that affect its credibility. Then I will sketch an alternative line of thought that prompts a positive answer: future contingents are knowable, although our epistemic access of (...) them is limited in some important respects. (shrink)

This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...) of events must be represented in the semantics as a distinguished history, the Thin Red Line. (shrink)

Against the forces of modal ersatzism Lewis launches a variety of attacks, some of which are clearly compelling, others of which are less so. I argue that pictorial ersatzism cannot clearly be distinguished from magical ersatzism, and--more interestingly--that 'genuine' modal realism is subject to precisely the criticisms so fatal for the magical ersatzers.

We discuss the nature of reality in the ontological context of Penrose’s math-matter-mind triangle. The triangle suggests the circularity of the widespread view that math arises from the mind, the mind arises out of matter, and that matter can be explained in terms of math. Non-physicists should be wary of any claim that modern physics leads us to any particular resolution of this circularity, since even the sample of three theoretical physicists writing this paper hold three divergent views. Some physicists (...) believe that current physics has already found the basic framework for a complete description of reality, and only has to fill in the details. Others suspect that no single framework, from physics or other sources, will ever capture reality. Yet others guess that reality might be approached arbitrarily closely by some form of future physics, but probably based on completely different frameworks. We will designate these three approaches as the fundamentalist, secular and mystic views of the world, as seen by practicing physicists. We present and contrast each of these views, which arguably form broad categories capturing most if not all interpretations of physics. We argue that this diversity in the physics community is more useful than an ontological monoculture, since it motivates physicists to tackle unsolved problems with a wide variety of approaches. (shrink)

Impossible worlds are regarded with understandable suspicion by most philosophers. Here we are concerned with a modal argument which might seem to show that acknowledging their existence, or more particularly, the existence of some hypothetical (we do not say “possible”) world in which everything was the case, would have drastic effects, forcing us to conclude that everything is indeed the case—and not just in the hypothesized world in question. The argument is inspired by a metaphysical (rather than modal-logical) argument of (...) Paul Kabay’s which would have us accept this unpalatable conclusion, though its details bear a closer resemblance to a line of thought developed by Jc Beall, in response to which Graham Priest has made some philosophical moves which are echoed in our diagnosis of what goes wrong with the present modal argument. Logical points of some interest independent of the main issue arise along the way. (shrink)

Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether a (...) single notion of property is capable of supporting the various distinctions. (shrink)

This paper examines three proposals on the difference between the complex and the simple view about personal identity: Parfit’s original introduction of the distinction, Gasser and Stefan’s definition, and Noonan’s recent proposal. I argue that the first two classify the paradigm cases of simplicity as complex, while Noonan’s proposal makes simplicity and complexity turn on features whose relevance for the distinction is questionable. Given these difficulties, I examine why we should be interested in whether a position is complex or simple. (...) I describe two purposes of having a distinction, and show that extant accounts of the complex versus simple distinction fail to serve these. I argue that unless we find a satisfying account of the difference between complex and simple positions, we should not frame discourses on personal identity in these terms. (shrink)

. According to Horgans transvaluationist approach, the robustness that characterizes vague terms is inherently incoherent. He analyzes that robustness into two conceptual poles, individualistic and collectivistic, and ascribes the incoherence to the former. However, he claims vague terms remain useful nonetheless, because the collectivistic pole can be realized with a suitable non-classical logic and can quarantine the incoherence arising out of the individualistic pole. I argue, on the contrary, that the nonclassical logic fails to resolve the difficulty and that the (...) incoherence afflicts Horgans collectivistic pole as well, consequently invalidating the entire transvaluationist approach. An alternative, coherent conception of robustness is suggested. (shrink)

Parsimony is a virtue of empirical theories. Is it also a virtue of philosophical theories? I review four contemporary accounts of the virtue of parsimony in empirical theorizing, and consider how each might apply to two prominent appeals to parsimony in the philosophical literature, those made on behalf of physicalism and on behalf of nominalism. None of the accounts of the virtue of parsimony extends naturally to either of these philosophical cases. This suggests that in typical philosophical contexts, ontological simplicity (...) has no evidential value. (shrink)

This note is a sequel to Huber. It is shown that obeying a normative principle relating counterfactual conditionals and conditional beliefs, viz. the royal rule, is a necessary and sufficient means to attaining a cognitive end that relates true beliefs in purely factual, non-modal propositions and true beliefs in purely modal propositions. Along the way I will sketch my idealism about alethic or metaphysical modality.

Our work extends a previous study of epistemological presuppositions in teaching quantum physics in upper scientific secondary school in France. Here, the problematic reference of quantum theory’s concepts is treated at the ontological level. We consider the approach of using narratives describing possible alternative worlds to address the issue. These possible worlds are based on the counterfactual logic developed in the work of D. Lewis. We will show that the narratives written by G. Gamow describe such possible worlds. Some parts (...) of these narratives are found in textbooks in France. These worlds are governed by laws similar to but importantly different from those in our real world. They allow us to materialize properties inaccessible to everyday experience. In this sense, these fiction stories make ontological propositions concerning the nature and structure of the fundamental elements of our physical universe. (shrink)

Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...) We argue that the exclusively negative attention that the objection has received has been a mistake. On our reading, Parfit's Normativity Objection poses a serious threat to reductivism, as it exposes the uneasy relationship between our a priori knowledge of a range of distinctly normative truths and the typical package of semantic commitments that reductivists have embraced since the Kripkean revolution. (shrink)

In his Truth and Probability (1926), Frank Ramsey provides foundations for measures of degrees of belief in propositions and preferences for worlds. Nonquantitative conditions on preferences for worlds, and gambles for worlds and certain near-worlds, are formulated which he says insure that a subject's preferences for worlds are represented by numbers, world values. Numbers, for his degrees of belief in propositions, probabilities, are then defined in terms of his world values. Ramsey does not also propose definitions of desirabilities for propositions, (...) though he is in a position to do this. Given his measures for probabilities of propositions and values of worlds, he can frame natural definitions for both evidential and causal desirabilities that would measure respectively the welcomeness of propositions as items of news, and as facts. His theory is neutral with respect to the evidential/causal division. In the present paper, as Ramsey's foundations are explained, several problems and limitations are noted. Their distinctive virtue – their evidential/causal neutrality – is demonstrated. Comparisons are made with other foundational schemes, and a perspective is recommended from which nonquantitative foundations are not the be all for quantitative theories of ideal preferences and credences. (shrink)

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction between endurance (...) and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

What does it take for Islam and science to engage in a genuine conversation with each other? This essay is an attempt to answer this question by clarifying the conditions which make having such a conversation possible and plausible. I will first distinguish between three notions of conversation: the trivial conversation (which requires sharing a common language and the meaning of its ordinary expressions), superficial conversation (in which although the language is shared, the communicators fail to share the meaning of (...) their theoretical terms), and genuine conversation (which implies sharing the language and the meaning of ordinary as well as theoretical terms). I will then argue that our real concern with regard to the exchange between Islam and science is to be to specify the conditions under which their proponents can engage in a genuine conversation with each other and that such a conversation to take place essentially requires sharing a common ontology. Following Quine, I will argue that Muslims, like the followers of any religion, would have no other choice but to work from within science. Doing so, however, would not prevent Muslims from having a genuine conversation with the proponents of other worldviews because when the shared ontology fails to offer any potentially testable answer to our remaining questions about the world, the Islamic viewpoint can appear as a genuine alternative among other underdetermined ones, deciding between which would be a matter of pragmatic criteria. (shrink)

J. L. Mackie argued that if there were objective moral properties or facts, then the supervenience relation linking the nonmoral to the moral would be metaphysically queer. Moral realists reply that objective supervenience relations are ubiquitous according to contemporary versions of metaphysical naturalism and, hence, that there is nothing especially queer about moral supervenience. In this paper we revive Mackie's challenge to moral realism. We argue: (i) that objective supervenience relations of any kind, moral or otherwise, should be explainable rather (...) than sui generis; (ii) that this explanatory burden can be successfully met vis-à-vis the supervenience of the mental upon the physical, and in other related cases; and (iii) that the burden cannot be met for (putative) objective moral supervenience relations. (shrink)