In a recent paper, Tuomas Tahko has argued for a hybrid view of the laws of nature, according to which some physical laws are metaphysically necessary, while others are metaphysically contingent. In this paper, we show that his criterion for distinguishing between these two kinds of laws — which crucially relies on the essences of natural kinds — is on its own unsatisfactory. We then propose an alternative way of drawing the metaphysically necessary/contingent distinction for laws of physics based on (...) the central kinematical/dynamical distinction used in physical theorising, and argue that the criterion can be used to amend Tahko’s own account, but also that it can be combined with different metaphysical views about the source of necessity. (shrink)

The Donkey Problem (as I am calling it) concerns the relationship between more and less fundamental ontologies. I will claim that the moral to draw from the Donkey Problem is that the less fundamental objects are merely conventional. This conventionalism has consequences for the 3D/4D debate. Four-dimensionalism is motivated by a desire to avoid coinciding objects, but once we accept that the non-fundamental ontology is conventional there is no longer any reason to reject coincidence. I therefore encourage 4Dists to become (...) even more radical—embrace the Donkey Problem’s conventionalism and deflate the debate between 3Dists and 4Dists. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

The article argues that modal concepts should be explained in terms of the essences or nature of things: necessarily p if, and because, there is something the nature of which ensures that p; possibly p if, and because, there is nothing whose nature rules out its being true that p. The theory is defended against various objections and difficulties, including ones arising from attributing essences to contingent individuals.

I critically evaluate the notion of structure Ted Sider presents in Writing the Book of the World. A prerequisite to understanding Sider's notion of structure is understanding Sider's take on ideology and ontology. In Section II, I discuss this. In Section III, I consider arguments in favor of structure. In Section IV, I examine one debate that is considered by Sider to be nonsubstantive: the debate over modality. I conclude, in Section V, by examining the reception Writing the Book of (...) the World has received in the philosophical community. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

I distinguish Local Constructivism (humans play a constitutive role in constructing some of the objects we have epistemic access to) from Global Constructivism (humans play a constitutive role in constructing all of the objects we have epistemic access to). I explicate and clarify Local Constructivism and show how the metaphysical concerns which motivate endorsing Local Constructivism about some objects (e.g. social objects, modal objects) differ from the epistemic and semantic concerns which motive endorsing Global Constructivism. I, then, examine the criticisms (...) Realists typically present against Constructivism. I argue that, although these criticisms undermine Global Constructivism, Local Constructivism is immune to them. If one has anti-Realist inclinations, but wishes to avoid the morass anti-Realism usually falls into (aka: anti-Realist Boogeyman), one should endorse Local, rather than Global, Constructivism. (shrink)

This paper examines the legitimacy of two common methodologies within philosophy: thought experiments and conceptual analysis. In particular, I examine the uses to which these two methodologies have been put within modal epistemology. I argue that, although both methods can be used to reveal conditional essentialist claims (e.g. necessarily: if x is water, then x is H20), neither can be used to reveal the de re essentialists claims (e.g. x is water and x is essentially H20) they’re often taken to (...) reveal. (shrink)

I argue there are some objects which do not respect the Law of the Excluded Middle, i.e., which are such that, for some property F, the disjunction Fo v ~Fo fails to be true. I call such objects “odd objects” and present three examples—fictional objects, nonsort objects, and quantum objects. I argue that each of these objects is best understood as violating LEM. I, then, discuss Jessica Wilson’s account of metaphysical indeterminacy. I show how the indeterminacy which arises with odd (...) objects can be accounted for on Wilson’s account. I, then, argue that my Wilson-inspired, but non-LEM-respecting, account of metaphysical indeterminacy is superior to Wilson’s in terms of costs and benefits. (shrink)

The central claim of this paper is that the Aristotelian metaphysics of objects is incompatible with physicalism. This includes the contemporary variant of Aristotelianism I call ‘sortalism’. The core reason is that an object’s identity as an instance of a (natural) kind, as well as its consequent persistence conditions, is neither physically fundamental nor determined by what is physically fundamental. The argument for the latter appeals to what is commonly known as ‘the grounding problem’; in particular I argue that the (...) physicalist has no solution, and this requires that the physicalist jettison the traditional concept of objects having kind-specific identity and persistence conditions. (shrink)

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and the structures they (...) form. (shrink)

The absence of a necessary connection in singular causation is a key step in the Humean argument against any form of necessity in causation. I argue that Hume's defence of this step is unsuccessful, and that the step could be skipped, accepting the possibility of necessary a posteriori truths. Still this does not suffice to guarantee a necessary connection in singular causation. Necessary a posteriori truths should be backed by necessary a priori truths. Thus, a main object of this paper (...) is to argue that an a priori philosophical concept of causality involves a necessary connection between its terms. (shrink)

In this paper, I argue that how a mind can come to be about an object and how the world is independently of the workings of any mind are inextricably linked. Hence, epistemology, at its most basic, and metaphysics are systematically related. In order to demonstrate the primary thesis of the paper, I first articulate two contrary accounts of the nature of reality and then two contradictory general views of intentionality. I argue that these positions can be combined in only (...) two ways. This argument turns on the impossibility of there being an object that cannot, in principle, be thought of or referred to, so I present reasons for thinking such a thing cannot exist. The upshot is that there are but two intentional-cum-ontological positions, that is, two unified positions regarding how a mind relates to the world and what the world is like in itself. This might be surprising, for one might have thought that the views in the different domains were independent; it is significant, because it shows that views that might have seemed related by mere affinity are, in fact, necessarily conjoined. I conclude by presenting reasons for thinking one of the two intentional-cum-ontological positions is untenable. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

It is widely supposed that, in Hilary Putnam’s phrase, there are no “ready-made objects” (Putnam 1982; cf. Putnam 1981, Ch. 3). Instead the objects we consider real are partly of our own making: we carve them out of the world (or out of experience). The usual reason for supposing this lies in the claim that there are available to us alternative ways of “dividing reality” into objects (to quote the title of Hirsch 1993), ways which would afford us every bit (...) as much practical and cognitive mastery as we now possess. Hence there is no warrant for supposing that the objects recognized by such alternative schemes are any less real than the objects we actually consider real—unless we are to appeal to a “God’s-eye perspective”, which virtually no one wants to do. The reasonable conclusion, many philosophers suppose, is that any system of objects exists only relative to a particular conceptual scheme or system of predicates. Our system of objects is, in this sense, partly of our own making. But this claim should not be heard as a reaffirmation of the idealism of Fichte or Husserl. It is more accurate to take it merely as a claim about sameness and difference among the objects of the world. It is the claim that sameness and difference, whether at the level of kinds or of individual objects, do not obtain mind-independently, but only relative to a conceptual scheme or predicate system (see, e.g., Putnam 1981, pp. 53-54). That is, whether two objects are of the same kind, and whether one and the same individual object now exists at such-and-such.. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

We are confident of many of the judgements we make as to what sorts of alterations the members of nature's kinds can survive, and what sorts of events mark the ends of their existences. But is our confidence based on empirical observation of nature's kinds and their members? Conventionalists deny that we can learn empirically which properties are essential to the members of nature's kinds. Judgements of sameness in kind between members, and of numerical sameness of a member across time, (...) merely project our conventions of individuation. Our confidence is warranted because apart from those conventions there are no phenomena of kind-sameness or of numerical sameness across time. There is just 'stuff' displaying properties. This paper argues that conventionalists can assign no properties to the 'stuff' beyond immediate phenomenal properties. Consequently they cannot explain how each of us comes to be able to wield 'our conventions'. (shrink)

This paper defends a conceptualist answer to the question how objects come by their modal properties. It isolates the controversial metaphysical assumptions that are needed to get ontological conceptualism off the ground, outlines the conceptualist answer to the question and shows that conceptualism is not in as bad a shape as some critics have maintained.

I present an exemplary Humean modal epistemology. My version takes inspiration from but incurs no commitment to both Hume’s historical position and Lewis’s Humeanism. Modal epistemology should meet two challenges: the Integration challenge of integrating metaphysics and epistemology and the Reliability challenge of giving an account of how our epistemic capacities can be reliable in detecting modal truth. According to Lewis, modal reasoning starts from certain Humean principles: there is only the vast mosaic of spatiotemporally distributed local matters of fact. (...) The facts can be arbitarily recombined. These principles cannot be taken for granted. I suggest a bottom-up approach instead: Humean principles of recombining the mosaic of facts can be retrieved from the evolutionarily instilled and empirically informed use of imagination in exploring everyday circumstantial possibilities. This use of imagination conforms to a primitive conception of matter as freely recombinable. The modal beliefs that can be obtained from generalizing the more elementary exercise of imagination have to be corrected. Recombination is limited by sortal criteria of identity. Moreover, the overall picture of a recombinable spatiotemporal mosaic must be weighed against the results of science. (shrink)

This paper develops a model theoretic semantics for so called “natural kind terms” that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the “K-mechanism” investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

Conventionalism in sport philosophy has been rejected as unable to provide a theory of normativity and as collapsing in ethical relativism, but this criticism is rather imprecise about its target, which invites doubt about the legitimacy of the concept of conventionalism described by its critics. Instead, a more charitable and legitimate account of conventionalism is proposed, one that draws inspiration from conventionalism in axiomatic geometry and is able to avoid the counterarguments directed against conventionalism. This new model allows for a (...) number of non-conventional elements of sport, namely the definition of sport and certain central moral norms, while at the same time arguing that normativity in sport is not exhausted by them, which leaves athletic communities with authority over a broad range of norms. (shrink)

The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...

0.0. Theistic Ethics as a Challenge and a Diagnostic Tool. Naturalistic conceptions in metaethics come in many varieties. Many philosophers who have sought to situate moral reasoning in a naturalistic metaphysical conception have thought it necessary to adopt non-cognitivist, prescriptivist, projectivist, relativist, or otherwise deflationary conceptions. Recently there has been a revival of interest in non-deflationary moral realist approaches to ethical naturalism. Many non-deflationary approaches have exploited the resources of non-empiricist “causal” or “naturalistic” conceptions of reference and of kind definitions (...) in service of the “naturalistic” metaphilosophical conception that substantive moral questions, and questions about the metaphysics of morals, are broadly a posteriori questions, somewhat analogous to scientific questions, and are not amenable to a priori resolution by “conceptual analysis.”. (shrink)

3.0. Well-being as a Challenge to Naturalism. In Chapter Three Adams discusses and criticizes those accounts of a person’s well being which characterize it in terms of counterfactuals regarding her actual desires and preferences. These criticisms are important for the question of ethical naturalism because any plausible naturalist position will have to portray a person’s well-being as somehow or other supervening on features of her psychology and her environment. The sorts of analyses Adams criticizes are the most prominent analyses consistent (...) with this constraint, so it is important to see whether or not Adams’ criticisms of them undermine the prospects for ethical naturalism generally. (shrink)

The extensive philosophical discussions and analyses in recent decades of function-talk in biology have done much to clarify what biologists mean when they ascribe functions to traits, but the basic metaphysical question—is there genuine teleology and design in the natural world, or only the appearance of this?—has persisted, as recent work both defending, and attacking, teleology from a Darwinian perspective, attest. I argue that in the context of standard contemporary evolutionary theory, this is for the most part a verbal, rather (...) than a substantive dispute: the disputants are talking past one another. To justify this claim I develop a general framework within which reductionist views, such as the standard ‘etiological’ account of biofunctions, occupy an intermediate position between what I call full-blooded realism and full-blooded anti-realism, and suggest that whether such views count as ‘realist’ views has no objective, theory-neutral answer. (shrink)

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that abduction can establish claims about (...) necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

A lot of people believe that distinct objects can occupy precisely the same place for the entire time during which they exist. Such people have to provide an answer to the 'grounding problem' – they have to explain how such things, alike in so many ways, nonetheless manage to fall under different sortals, or have different modal properties. I argue in detail that they cannot say that there is anything in virtue of which spatio-temporally coincident things have those properties. However, (...) I also argue that this may not be as bad as it looks, and that there is a way to make sense of the claim that such properties are primitive. (shrink)

The classical view of the relationship between necessity and apriority, defended by Leibniz and Kant, is that all necessary truths are known a priori. The classical view is now almost universally rejected, ever since Saul Kripke and Hilary Putnam discovered that there are necessary truths that are known only a posteriori. However, in recent years a new debate has emerged over the epistemology of these necessary a posteriori truths. According to one view – call it the neo-classical view – knowledge (...) of a necessary truth always depends on at least one item of a priori knowledge. According to the rival view – call it the neoempiricist view – our knowledge of necessity is sometimes broadly empirical. In this paper I present and defend an argument against the neo-empiricist view. I argue that knowledge of the necessity of a necessary truth could not be broadly empirical. (shrink)

Critical notice of Derk Pereboom's "Consciousness and the Prospects of Physicalism". Discusses Pereboom's idea that conscious states might be misrepresented in introspection, and his idea that instantiations of mental properties are composed of instantiations of physical properties.

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

In his groundbreaking book, Thin Objects, Linnebo (2018) argues for an account of neo-Fregean abstraction principles and thin existence that does not rely on analyticity or conceptual rules. It instead relies on a metaphysical notion he calls “sufficiency”. In this short discussion, I defend the analytic or conceptual rule account of thin existence.

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, when it (...) comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

Recent work on the imagination has stressed the epistemic significance of imaginative experiences, notably in justifying modal beliefs. An immediate problem with this is that modal beliefs appear to admit of justification through the mere exercise of rational capacities. For instance, mastery of the concepts of square, circle, and possibility should suffice to form the justified belief that a square circle is not possible, and mastery of the concepts of pig, flying, and possibility should suffice to form a justified belief (...) that a flying pig is possible. It is thus unnecessary to try to imagine a square circle or a flying pig to justify these beliefs. In this paper, I consider three ways to defend the epistemic role of imagination in modal epistemology against this challenge. One claims that modal beliefs simply admit of justification by two separate sources: rational capacities and imaginative experience. Another holds that while beliefs about logical or conceptual modality can be justified entirely by rational capacities, beliefs about metaphysical modality require imaginative experiences. The third, which I defend, is the idea that imagination is relevant in the first instance not to modal knowledge but to modal understanding: even where imaginative experience is unnecessary for the justification of modal beliefs, it is indispensable for directly grasping certain modal propositions. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Some people might be tempted by modal ontological arguments from the possibility that God exists to the conclusion that God in fact exists. They might also be tempted to support the claim that possibly God exists by appealing to the conceivability of God’s existence. In this chapter, I introduce three constraints on an adequate theory of philosophical conceivability. I then consider and develop both imagination-based accounts of conceivability and conceptual coherence-based accounts of conceivability. Finally, I return to the modal ontological (...) argument and consider whether the premise that possibly God exists can be supported by some conceiving. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)