The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

Expressivists traditionally explain normative supervenience by saying it is a conceptual truth. I argue against this tradition in two steps. First, I show the modal claim that stands in need of explanation has been stated imprecisely. Classic arguments in metaethics for normative supervenience and those that rely on it as a premise presuppose a constraint on the supervenience base that is rarely (if ever) made explicit: the repeatability of the non-normative properties on which the normative supervenes. Non-normative properties are repeatable (...) when it is possible for numerically distinct individuals to share them. Second, I show if the modal truth that stands in need of explanation entails that there are individuals exactly alike in repeatable non-normative respects that cannot normatively differ, then standard expressivist accounts of normative supervenience as a conceptual truth are unsuccessful. Expressivist metasemantics for normative terms, together with constitutive facts about the non-cognitive attitudes essentially involved in normative thought, strongly suggest that repeatable supervenience could not be a conceptual truth. I argue, finally, that although repeatable supervenience bears the marks of a conceptual truth, expressivists should be content to treat it as an ordinary normative truth, and to explain it the same way they explain other normative truths. (shrink)

I want to defend a Combinatorialtheory of possibility. Such a view traces the very idea of possibility to the idea of the combinations – all the combinations which respect a certain simple form – of given, actual, elements. Combination is to be understood widely enough to cover the notions of expansion and contraction. The combinatorial idea is not new, of course. Wittgenstein gave a classical exposition of it in the Tractatus. Perhaps its charter is 3.4: ‘A proposition determines a place (...) in logical space. The existence of this logical place is guaranteed by the mere existence of the constituents’. There is a small additional combinatorial literature. I myself was converted to a combinatorial view by Brian Skyrms’ brief but fascinating article ‘Tractarian Nominalism.’. (shrink)

A property, F, is maximal iff, roughly, large parts of an F are not themselves Fs.' Maximality makes trouble for a recent analysis of intrinsicality by Rae Langton and David Lewis.

This paper presents what the authors call the ‘divergence problem’ regarding choosing between different future possibilities. As is discussed in the first half, the central issue of the problem is the difficulty of temporally locating the ‘active cause’ on the modal divergent diagram. In the second half of this paper, we discuss the ‘second-person freedom’ which is, strictly, neither compatibilist negative freedom nor incompatibilist positive freedom. The divergence problem leads us to two hypothetical views (i.e. the view of single-line determination (...) and that of one-off chance), and these views bring humans closer to the afree side – i.e. outside of the contrast between being free and being unfree. The afree side is greatly different from the ordinary human side. This paper tries to secure the second-person freedom as a substitute for the ordinary human freedom while preventing the divergence problem from arising. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

A ‘state of affairs’ is understood here as any kind of concrete entity that can play the role of truthmaker. Different ontologies propose different structures of entities to work as ‘states of affairs’ in this sense. Defenders of universals will propose for the role non- mereological structures of universals, objects and times. Defenders of tropes will propose tropes, either with or without universals and objects. Resemblance nominalists will propose primitive ontological facts of resemblance between objects in time. In any of (...) these cases, times are an essential component of a state of affairs. Any ontology of states of affairs, then, should clarify what times are in order to clarify what states of affairs are. An examination of the dominant reductivist conceptions of times shows that these connections have not yet been thought through carefully. In any of the dominant reductivist conceptions, times are entities that either include or describe everything that happens simultaneously at a given instant. Even in some cases they include the description of everything that happens at any time. If one introduce times taken as they are in any of these reductivist conceptions, it will be essential to a state of affairs everything that happens simultaneously with it, or even everything that happens at any time. Under some assumptions the internal relation of every state of affairs with every other state of affairs expands to the internal relation of everything with everything. This is an unhappy theoretical situation that calls for a more careful consideration of some central tenets in our ontology of time. (shrink)

In this work it is proposed that the conditions of identity for biological organisms are given by the following principle: for all organisms x and y, x = y if and only if x has been caused by the self-preserving activity of y. This principle determines both the inter-temporal identity of organisms and the identity of organism in different possible worlds. It unifies what can be supposed about conditions of identity coming from —at least— three different conceptions about the nature (...) of biological organisms, those of RobertWilson, Thomas Pradeu and Ellen Clarke. These conceptions are presented and compared. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...) argument, I appeal to the doctrine of temporal parts or “four-dimensionalism” for short. When held in conjunction with a certain evaluative principle about whose experiences matter, four-dimensionalism reconciles B-theory with some time-biased preferences. (shrink)

First-order normative theories concerning what’s right and wrong, good and bad, etc. and metanormative theories concerning the nature of first-order normative thought and talk are widely regarded as independent theoretical enterprises. This paper argues that several debates in metanormative theory involve views that have first-order normative implications, even as the implications in question may not be immediately recognizable as normative. I first make my claim more precise by outlining a general recipe for generating this result. I then apply this recipe (...) to three debates in metaethics: the modal status of basic normative principles, normative vagueness and indeterminacy, and the determination of reference for normative predicates. In each case I argue that certain views on each issue carry first-order normative commitments, in accordance with my recipe. (shrink)

A primer on the philosophical issues relating to phenomenal consciousness, part of a collection of new papers by scientists and philosophers on the constitution of consciousness.

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...) livro trata de um tema interno à metafísica, que é a metafísica das leis da natureza. O autor apresenta as teorias tradicionais contemporâneas, tal como também a sua própria teoria original, e avalia cada uma delas por vez. Ele também aborda o problema da modalidade das leis da natureza e apresenta uma certa crítica à visão padrão da necessidade como verdade em todos os mundos possíveis, e mostra uma aplicação da sua discussão à metafísica da Física. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Evidence based medicine (EBM) is under critical debate, and person centered healthcare (PCH) has been proposed as an improvement. But is PCH offered as a supplement or as a replacement of EBM? Prima facie PCH only concerns the practice of medicine, while the contended features of EBM also include methods and medical model. I here argue that there are good philosophical reasons to see PCH as a radical alternative to the existing medical paradigm of EBM, since the two seem committed (...) to conflicting ontologies. This paper aims to make explicit some of the most fundamental assumptions that motivate EBM and PCH, respectively, in order to show that the choice between them ultimately comes down to ontological preference. While EBM has a solid foundation in positivism, or what I here call Humeanism, PCH is more consistent with causal dispositionalism. I conclude that if there is a paradigmatic revolution on the way in medicine, it is first of all one of ontology. (shrink)

In this dissertation I suggest an answer to the famous question ‘why is there something rather than nothing?’ I argue that there is something because there could not have been nothing. The focus of my discussion is the empty possible world of metaphysical nihilism, and the first chapter is a rejection of the only prominent argument for that position; the subtraction argument. In the second part of my discussion I construct a positive argument against metaphysical nihilism, I assume, as is (...) common in the literature, that inconceivability provides evidence of impossibility. I establish the inconceivability of nothingness taking propositional imagining to be the core of conceivability, claiming that we have no experience of nothingness in the relevant sense and are unable to imagine it. Finally, I suggest that a distinction should be made between everyday use of the term ‘nothing’, and the sense under discussion here. The inconceivability of nothingness applies only in the latter case. Given that nothingness is inconceivable, we have prima facie reason to suppose that the empty world is impossible. I conclude that given the failure of the subtraction argument and in light of my argument against metaphysical nihilism, that position should be rejected. (shrink)

A material composite object is an object composed of two or more material parts. The world, it seems, is simply awash with such things. The Eiffel Tower, for instance, is composed of iron girders, nuts and bolts, and so on. You and I, as human beings, are composed of flesh and bone, and various organs. Moreover, these parts themselves are composed of further parts, such as molecules, which themselves are composed of atoms, which are composed of sub-atomic particles. Material composite (...) objects are, it seems, ubiquitous. However, despite their ubiquity, a little philosophical reflection on the matter, as is so often the case, reveals that they are also deeply puzzling. -/- The question which has received most attention from philosophers interested in material composition is: under what circumstances do two or more material objects compose a further object? Why is it, for instance, that a collection of iron girders that are bolted together in the centre of Paris do compose an object (that is, the Eiffel Tower), but that there is no object composed of the Eiffel Tower and the Moon? What conditions are satisfied by the first set of objects, and not by the second set of objects, which make this the case? In short, what are the necessary and sufficient conditions for composition to occur? -/- Since the 1980s, philosophers have devoted considerable attention to this question, and it has proved difficult to answer. This article provides a survey of the various answers that have been given to this question, plus the arguments that have been offered in their defence. (shrink)

The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural properties. This paper argues that being a perfectly (...) natural property is not a very natural property, and examines the consequences. (shrink)

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the meanings of (...) natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

In an influential article published in 1982, Bas Van Fraassen developed an argument against causal realism on the basis of an analysis of the Einstein-Podolsky-Rosen correlations of quantum mechanics. Several philosophers of science and experts in causal inference -including some causal realists like Wesley Salmon- have accepted Van Fraassen’s argument, interpreting it as a proof that the quantum correlations cannot be given any causal model. In this paper I argue that Van Fraassen’s article can also be interpreted as a good (...) guide to the different causal models available for the EPR correlations, and their relative virtues. These models in turn give us insight into some of the unusual features that quantum propensicies might have. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Metaphysics is concerned with the foundations of reality. It asks questions about the nature of the world, such as: Aside from concrete objects, are there also abstract objects like numbers and properties? Does every event have a cause? What is the nature of possibility and necessity? When do several things make up a single bigger thing? Do the past and future exist? And so on. -/- Metametaphysics is concerned with the foundations of metaphysics. It asks: Do the questions of metaphysics (...) really have answers? If so, are these answers substantive or just a matter of how we use words? And what is the best procedure for arriving at them—common sense and conceptual analysis? Or assessing competing hypotheses with quasi-scientific criteria? -/- This volume gathers together sixteen new essays that are concerned with the semantics, epistemology, and methodology of metaphysics. My aim is to introduce these essays within a more general (and mildly opinionated) survey of contemporary challenges to metaphysics . (shrink)

Our beliefs utilize various sources: perception, memory, induction, etc. We trust these sources to provide reliable information about the world around us. My dissertation investigates how this trust could be justified. Chapter one introduces background material. I argue that justification rather than knowledge is of primary epistemological importance, discuss the internalism/externalism debate, and introduce an evidentialist thesis that provides a starting point/framework for epistemological theorizing. Chapter two introduces a puzzle concerning justification. Can a belief source provide justification absent prior justification (...) for believing it's reliable? Any answer appears to either make justifying the reliability of a source intellectually unsatisfying or all together impossible. Chapter three considers and rejects a plethora of proposed solutions to our puzzle. Investigating these solutions illustrates the need to further investigate evidence, evidence possession, and evidential support. Chapter four discusses the metaphysics of evidence. I argue that evidence always consists of a set of facts and that fact-proposition pairs stand in confirmation relations isomorphic to those holding between pairs of propositions. Chapter five argues that justification requires what I call actually connected possession of supporting evidence: a subject must be aware of supporting evidence and of the support relation itself. Chapter six argues that the relation constitutive of a set of facts being justificatory evidence is a sui generis and irreducible relation that is knowable a priori. Chapter seven begins by showing how Richard Fumerton's acquaintance theory meets the constraints on a theory of justification laid down in previous chapters. I modify the theory so as to: make room for fallible foundational justification, and allow inferential justification absent higher-order beliefs about evidential connections. Chapter eight applies the developed theory of justification to our initial puzzle. I show how my modified acquaintance theory is in a unique position to vindicate the idea that necessarily a source provides a person with justification only if she is aware of evidence for the reliability of that source. However, this awareness of evidence for a source's reliability falls short of a justified belief and thereby avoids impalement from our dilemma's skeptical horn. (shrink)

The epistemological problem of the external world asks: (1) “How is knowledge of the external world possible given certain obstacles which make it look impossible?” This is a “how-possible?” question: it asks how something is possible given certain obstacles which make it look impossible (cf. Cassam 2007; Nozick 1981; Stroud 1984). Now consider the following question, which asks: (2) “How is a philosophically satisfying answer to (1) possible?” Skepticism is the thesis that knowledge of the external world is impossible. It (...) therefore represents a negative answer to the first question. Meta-epistemological skepticism is the thesis that a satisfying philosophical explanation of how our knowledge of the external world is possible is itself impossible. It therefore represents a negative answer to the second question. In this thesis, I explore the prospects of meta-epistemological skepticism. In particular, I structure the thesis around two master arguments from for meta-epistemological skepticism. The first argument is that skepticism represents a kind of paradox which requires dispensing with a plausible principle or belief, or even 'platitude', which means that there's no philosophically satisfying response to the paradox (see, e.g., Stroud 1984), and the second argument is “Stroud’s dilemma” (cf. Cassam 2009), that either we explain how external world knowledge is possible by reference to what external world knowledge we have, thereby failing to answer the philosophical question adequately, or else we don't, but then we succumb to first-order skepticism. I argue that the first argument fails to provide adequate support for meta-epistemological skepticism. However, the second argument, Stroud’s dilemma, is plausible and withstands serious objections (e.g., from Sosa 1994, Williams 1996, and Cassam 2009). In short, while the worry emerging out of the 'skeptical paradox' view fails to adequately support meta-epistemological skepticism, Stroud’s dilemma succeeds. Fortunately, it doesn't show that we lack external world knowledge; we rather just can't explain, philosophically, how it's possible. We may have first-order knowledge without understanding how it's possible. This thesis therefore represents a partial defense of meta-epistemological skepticism. Meta-epistemological skepticism is a live option in epistemology. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

This dissertation contains four independent essays addressing a cluster of related topics in the philosophy of mind. Chapter 1: “Fundamentality Physicalism” argues that physicalism can usefully be conceived of as a thesis about fundamentality. The chapter explores a variety of other potential formulations of physicalism (particularly modal formulations), contrasts fundamentality physicalism with these theses, and offers reasons to prefer fundamentality physicalism over these rivals. Chapter 2:“Modal Rationalism and the Demonstrative Reply to the Master Argument Against Physicalism” introduces the Master Argument (...) Against Physicalism and investigates its crucial premise: the inference from an a priori gap between the physical and consciousness to a lack of necessitation between the two. I argue against the strong form of modal rationalism that underwrites the master argument and offer a more moderate rationalist view. I offer a novel demonstrative reply to the master argument, according to which a connection between conscious experience and demonstratives, not dualism, is the source of the epistemic gap between consciousness and the physical. Chapter 3: “Conceptual Mastery and the Knowledge Argument” argues that Frank Jackson’s famous anti-physicalist knowledge argument featuring Mary, a brilliant neuroscientist raised in a black and white room, founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been removed, Mary can know the relevant truths. Chapter 4: “Toward a Theory of Conceptual Mastery” investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I argue against three views of conceptual mastery, according to which conceptual mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. I propose and respond to objections to my own “meaning postulate view” of the conditions under which a thinker has mastery of a concept. (shrink)

Thesis (Ph.D.)--University of Hawaii at Manoa, 2008.

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)