I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...) existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely constrained by their flexibility. (...) Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

The Physical Intentionality Thesis claims that dispositions share the marks of psychological intentionality; therefore, intentionality is not exclusively a mental phenomenon. Beyond the standard five marks, Alexander Bird introduces two additional marks of intentionality that he argues dispositions do not satisfy: first, thoughts are extrinsic; second, the direction of causation is that objects cause thoughts, not vice versa. In response, this paper identifies two relevant conceptions of extrinsicness, arguing that dispositions show deep parallels to thoughts on both conceptions. Then, it (...) shows that Bird’s discussion of direction of causation overlooks complexities of dispositionality and intentionality that problematize apparent differences between thoughts and dispositions. The paper ends with a discussion of why we find these parallels between thoughts and dispositions. (shrink)

The many-worlds view is one of the most discussed “interpretations” of quantum mechanics. As is well known, this view has some very controversial and much discussed aspects. This paper focuses on one particular problem arising from the combination of quantum mechanics with Special Relativity. It turns out that the ontology of the many-worlds view – the account of what there is and what branches of the universe exist – is relative to inertial frames. If one wants to avoid relativizing ontology, (...) one has to argue either that there is an additional source of branching due to Special Relativity and thus additional branches or worlds. Or one has to argue that there are not only many worlds but also many universes ; there is thus not only one tree of many world-branches but many frame-specific trees, a “forest” of many world-trees. The main problem here is how one can understand all or any of this. (shrink)

In non-philosophical discourse, “identity” is often used when the specific character of artefacts is described or evaluated. We argue that this usage of “identity” can be explicated as referring to the symbol properties of artefacts as they are conceptualized in the symbol theory of Goodman and Elgin. This explication is backed by an analysis of various uses of “identity”. The explicandum clearly differs from the concepts of numerical identity, qualitative identity and essence, but it has a range of similarities with (...) the notion of self-concept used in psychology and practical philosophy. The proposed explication is used to analyse claims about identity-pluralism and identity-conflicts. Firstly, the explication allows us to distinguish various ways how the same artefact can have a plurality of identities. Secondly, more or less sharp conflicts within an identity or between identities of an artefact are distinguished. Thirdly, many phenomena called “identity-conflicts” are only apparently identity-conflicts and can be analysed as involving some other form of tension. (shrink)

Several philosophers of science and metaphysicians claim that the dispositional properties of fundamental particles, such as the mass, charge, and spin of electrons, are ungrounded in any further properties. It is assumed by those making this argument that such properties are intrinsic, and thus if they are grounded at all they must be grounded intrinsically. However, this paper advances an argument, with one empirical premise and one metaphysical premise, for the claim that mass is extrinsically grounded and is thus an (...) extrinsic disposition. Although the argument concerns mass characterized as a disposition, it applies equally well whether mass is a categorical or dispositional property; however, the dispositional nature of mass is relevant to some important objections and implications discussed. (shrink)

The purpose of this essay is exegesis. I explicate Nicolas Malebranche's (1674, 1678, 1688, 1714) concept of intelligible extension. I begin by detailing how the concept matured throughout Malebranche's work, and the new functions it took on within his metaphysical system. I then examine Gustav Bergmann's “axiomatic” interpretation, as well as the criticism of it offered by Daise Radner. I argue that Radner's criticism of the interpretation is only partly successful; some of her objections can be met; others cannot. I (...) then develop a novel interpretation of the concept, given insights from this dispute. I call it the “programmatic interpretation.” I argue that this interpretation coheres well with Malebranche's famous Vision in God thesis, as well as many of his other commitments. I conclude by considering a certain pertinent objection to my proposal, summarizing the dialectic, and forcefully restating my case. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

The idea of ‘the university’ has stood for universal themes—of knowing, of truthfulness, of learning, of human development, and of critical reason. Through its affirming and sustaining of such themes, the university came itself to stand for universality in at least two senses: the university was neither partial nor local in its significance . Now, this universalism has been shot down: on the one hand, universal themes have been impugned as passé in a postmodern age; in the ‘knowledge society’, knowledge (...) with a capital ‘K’ is giving way to multiple and even local knowledges . On the other hand, the very process of globalization has been accused of being a new process of colonization. Global universities, accordingly, may be seen as a vehicle for the imposition of Western modes of reason . Diversity is the new watchword, a term that—we may note—has come to be part of the framing of the contemporary policy agenda for higher education. Accordingly, in such a situation of multiple meanings, both within and across institutions, the university becomes an institutional means for developing the capacities—at both the personal and the societal levels—to live with ‘strangeness’: perhaps here lies a new universal for the university? But, then, if that is the case, if strangeness is the new universal for the university, some large challenges await those who would claim to lead and manage universities. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...) for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

John goes out for a walk. If John endures and his walk perdures, they are different entities. However, what if both John and his walk perdure? Is John’s walk identical to his relevant temporal part? Some philosophers answer in the affirmative. Their motivations rest on ontological parsimony and the quest for clear-cut identity criteria for existing things. By contrast, one of the most widely accepted theories of events – the theory of events as property-exemplifications – allows us to formulate an (...) argument to the effect that objects’ temporal parts are distinct from the events they participate in: the AID argument, as I shall call it. In this paper, I argue that accepting austere nominalism is the best strategy a supporter of the identification between events and temporal parts of objects can take in order to resist the AID argument. (shrink)

Priority monism (hereafter, ‘monism’) is the view that there exists one fundamental entity—the world—and that all other objects that exist (a set of objects typically taken to include tables, chairs, and the whole menagerie of everyday items) are merely derivative. Jonathan Schaffer has defended monism in its current guise, across a range of papers. Each paper looks to add something to the monistic picture of the world. In this paper we argue that monism—as Schaffer describes it—is false. To do so (...) we develop an ‘island universe’ argument against Schaffer's monistic theory. (shrink)

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) of Formal Inconsistency. This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ. Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

When a novel scientific theory conflicts with otherwise plausible moral assumptions, we do not treat that as evidence against the theory. We may scrutinize the empirical data more keenly and take extra care over its interpretation, but science is in some core sense immune to moral refutation. Can the same be said of philosophical theories (or the non-ethical, ‘metaphysical’ ones at least)? If a position in the philosophy of mind, for example, is discovered to have eye-widening moral import, does that (...) count against it at all? Actual responses by philosophers to the question of whether unanticipated moral consequences of metaphysical theories have evidential force are scattered, implicit, divergent, under-argued, and sometimes even self-undermining. The present discussion is, most immediately, an attempt to sort out the confusion. Beyond that, it exploits the new perspective this question gives us on a familiar topic: the relation of philosophy to science. (shrink)

According to a number of approaches in theoretical physics, spacetime does not exist fundamentally. Rather, spacetime exists by depending on another, more fundamental, non-spatiotemporal structure. A prevalent opinion in the literature is that this dependence should not be analyzed in terms of composition. We should not say, that is, that spacetime depends on an ontology of non-spatiotemporal entities in virtue of having them as parts. But is that really right? On the contrary, we argue that a mereological approach to dependent (...) spacetime is not only viable, but promises to enhance our understanding of the physical situation. (shrink)

This paper offers a new way to evaluate counterfactual conditionals on the supposition that actually, there is no time. We then parlay this method of evaluation into a way of evaluating causal claims. Our primary aim is to preserve, at a minimum, the assertibility of certain counterfactual and causal claims once time has been excised from reality. This is an important first step in a more general reconstruction project that has two important components. First, recovering our ordinary language claims involving (...) notions such as persistence, change and agency and, second, recovering enough observational evidence so that any timeless metaphysics is not empirically self-refuting. However, the project of investigating causation in a timeless setting has a greater relevance than its application to timeless physical theory alone. For, as we show, it can be used to model the assertibility conditions of causal claims more generally. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

To state an important fact about the photon, physicists use such expressions as (1) “the photon has zero (null, vanishing) mass” and (2) “the photon is (a) massless (particle)” interchangeably. Both (1) and (2) express the fact that the photon has no non-zero mass. However, statements (1) and (2) disagree about a further fact: (1) attributes to the photon the property of zero-masshood whereas (2) denies that the photon has any mass at all. But is there really a difference between (...) saying that something has zero mass (charge, spin, etc.) and saying that it has no mass (charge, spin, etc.)? Does the distinction cut any physical or philosophical ice? I argue that the answer to these questions is yes. Put briefly, the claim of this paper is that some zero-value physical quantities are not mere “privations”, “absences” or “holes in being”. They are respectable properties in the same sense in which their non-zero partners are. This, I will show, has implications for the debate between two rival views of the nature of property, dispositionalism and categoricalism. (shrink)

I argue in this paper that the debate over composition is factually empty; in other words, I argue that there’s no fact of the matter whether there are any composite objects like tables and rocks and cats. Moreover, at the end of the paper, I explain how my argument is suggestive of a much more general conclusion, namely, that there’s no fact of the matter whether there are any material objects at all. Roughly speaking, the paper proceeds by arguing that (...) if there were a fact of the matter about whether composite objects exist, then it would be either a necessary fact or a contingent fact, and both of these alternatives are implausible. (shrink)

A number of philosophers have argued in recent years that certain kinds of metaphysical debates—e.g., debates over the existence of past and future objects, mereological sums, and coincident objects—are merely verbal. It is argued in this paper that metaphysical debates are not merely verbal. The paper proceeds by uncovering and describing a pattern that can be found in a very wide range of philosophical problems and then explaining how, in connection with any problem of this general kind, there is always (...) a non-verbal debate to be had. Indeed, the paper provides a recipe for locating the non-verbal debates that surround these philosophical problems. This undermines metametaphysical verbalist views of our metaphysical questions—i.e., views that say that there is no non-verbal debate to be had about some metaphysical question. Finally, the paper also provides a quick argument against actual-literature verbalist views of our metaphysical questions; in other words, the paper argues that in connection with all of our metaphysical questions, it is easy to find examples of non-verbal debates in the actual philosophical literature. (shrink)

This paper examines the need for static dispositions within the basic ontology of the powers view of properties. To lend some focus, Neil Williams’s well developed case for static dispositions is considered. While his arguments are not necessarily intended to address fundamental ontology, they still provide a useful starting point, a springboard for diving into the deeper metaphysical waters of the dispositionalist approach. Within that ontological context, this paper contends that Williams’s arguments fail to establish the need to posit static (...) dispositions, or at least any sort not already well appreciated by advocates of the powers view. The paper then proceeds to suggest an alternative motivation for positing static dispositions, the success of which depends greatly on which ontological approach to objects is paired with the powers view. (shrink)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

In two earlier works (Balashov, 2000a: Philosophical Studies 99, 129–166; 2000b: Philosophy of Science 67 (Suppl), S549–S562), I have argued that considerations based on special relativity and the notion of coexistence favor the perdurance view of persistence over its endurance rival. Cody Gilmore (2002: Philosophical Studies 109, 241–263) has subjected my argument to an insightful three fold critique. In the first part of this paper I respond briefly to Gilmore’s first two objections. I then grant his observation that anyone who (...) can resist the first objection is liable to succumb to the third one. This, however, opens a way to other closely related relativistic arguments against endurantism that are immune to all three objections and, in addition, throw new light on a number of important issues in the ontology of persistence. I develop two such novel arguments in the second half of the paper. (shrink)

I offer a new criticism of the argument from vagueness to four-dimensionalism [Sider 2001. The argument is modelled after an older argument for mereological universalism [Lewis 1986 and may be looked upon as a tightened-up and extended version of the latter. While I agree with other critics [Koslicki 2003; Markosian 2004 that the argument from vagueness fails precisely because of this affinity, my recipe for dealing with it is different. I reject the assumption, shared by Sider with his opponents, that (...) synchronic composition and ‘minimal diachronic fusion’ are sufficiently similar to use considerations inspired by the analysis of the former to bear on the latter. My objection to a crucial premise of the argument from vagueness turns on the relevant aspect of dissimilarity between these two cases. (shrink)

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

David Lewis and Peter van Inwagen have claimed that there are no “knockdown” arguments in philosophy. Their claim appears to be at odds with common philosophical practice: philosophers often write as though their conclusions are established or proven and that the considerations offered for these conclusions are decisive. In this paper, I examine some questions raised by Lewis’s and van Inwagen’s contention. What are knockdown arguments? Are there any in philosophy? If not, why not? These questions concern the nature of (...) the philosophical enterprise and our answers have implications for the limits on the attitudes of informed, rational thinkers. (shrink)

I examine the issue of persistence over time in thecontext of the special theory of relativity (SR). Thefour-dimensional ontology of perduring objects isclearly favored by SR. But it is a different questionif and to what extent this ontology is required, andthe rival endurantist ontology ruled out, by thistheory. In addressing this question, I take theessential idea of endurantism, that objects are whollypresent at single moments of time, and argue that itcommits one to unacceptable conclusions regardingcoexistence, in the context of SR. (...) I then propose anddiscuss a plausible account of coexistence forperduring objects, which is free of these defects. This leaves the endurantist room for some maneuvers. I consider them and show that they do not really helpthe endurantist out. She can accommodate the notionof coexistence in the relativistic framework only atthe cost of renouncing central endurantist intuitions. (shrink)

This paper does two things. First, it argues for a metaphilosophical view of conceptual analysis questions; in particular, it argues that the facts that settle conceptual-analysis questions are facts about the linguistic intentions of ordinary folk. The second thing this paper does is argue that if this metaphilosophical view is correct, then experimental philosophy is a legitimate methodology to use in trying to answer conceptual-analysis questions.

A response is given here to Benacerraf's 1973 argument that mathematical platonism is incompatible with a naturalistic epistemology. Unlike almost all previous platonist responses to Benacerraf, the response given here is positive rather than negative; that is, rather than trying to find a problem with Benacerraf's argument, I accept his challenge and meet it head on by constructing an epistemology of abstract (i.e., aspatial and atemporal) mathematical objects. Thus, I show that spatio-temporal creatures like ourselves can attain knowledge about mathematical (...) objects by simply explaininghow they can do this. My argument is based upon the adoption of a particular version of platonism — full-blooded platonism — which asserts that any mathematical object which possiblycould exist actuallydoes exist. (shrink)

This paper argues that, with certain provisos, predicting one's future actions is incompatible with rationally deliberating about whether to perform those actions. It follows that fully rational omniscient agents are impossible, since an omniscient being could never rationally deliberate about what to do . Consequently, theories that explain practical reasons in terms of the choices of a perfectly rational omniscient agent must fail. The paper considers several ways of defending the possibility of an omniscient agent, and concludes that while some (...) of these may work, they are inconsistent with the aim of explaining practical normativity by appeal to such an agent. (shrink)

Discussion of the supervenience relation in the philosophical literature of recent years has become Byzantine in its intricacy and diversity. Subtle modulations of the basic concept have been tooled and retooled with increasing frequency, until supervenience has lost nearly all its original lustre as a simple and powerful tool for cracking open refractory philosophical problems. I present a conceptual model of the supervenience relation that captures all the important extant concepts without ignoring the complexities uncovered during work over the past (...) two decades. I test my analysis by applying it to the problem of defining physicalism, concluding that the thesis of physicalism is best captured by the conjunction of two supervenience relations. (shrink)

In this article, I focus on internal dimensions of moral responsibility. I argue that if such dimensions are real -- and it seems they are -- then moral responsibility is compatible with determinism.

This paper distinguishes bruteness from fundamentality by developing a theory of stochastic grounding that makes room for non-fundamental bruteness. Stochastic grounding relations, which only underwrite incomplete explanations, arise when the fundamental level underdetermines derivative levels. The framework is applied to fission cases, showing how one can break symmetries and mitigate bruteness whilst avoiding arbitrariness and hypersensitivity.

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Generalizing on some arguments due to Arthur Prior and Dmitry Mirimanoff, we provide some further limitative results on what can be thought.

This paper presents and motivates a counterpart theoretic semantics for quantifi ed modal logic based on a fleshed out account of Lewis's notion of a `possibility.' According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quanti ed modal logic based on evaluating formulae at possibilities is developed. It is shown that this framework naturally accommodates an actuality operator, addressing recent objections to counterpart theory, (...) and is equivalent to the more familiar Kripke semantics for quanti fied modal logic with an actuality operator. (shrink)

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)

Modal counterpart theory identifies a thing’s possibly being F with its having a counterpart that is F at another possible world; temporal counterpart theory identifies a thing’s having been F or going to be F, with its having a counterpart that is F at another time. Benovsky, J. 2015. “Alethic Modalities, Temporal Modalities, and Representation.” Kriterion: Journal of Philosophy 29: 18–34 in this journal endorses modal counterpart theory but holds that temporal counterpart theory is untenable because it does not license (...) the ascription of the intuitively correct temporal properties to ordinary objects, and hence that we should understand ordinary objects, including persons, as transtemporal ‘worms’. I argue that the worm theory is problematic when it comes to accounting for what matters in survival and that temporal counterpart theory provides a plausible account of personal persistence. (shrink)

The violation of Bell inequalities seems to establish an important fact about the world: that it is non-local. However, this result relies on the assumption of the statistical independence of the measurement settings with respect to potential past events that might have determined them. Superdeterminism refers to the view that a local, and determinist, account of Bell inequalities violations is possible, by rejecting this assumption of statistical independence. We examine and clarify various problems with superdeterminism, looking in particular at its (...) consequences on the nature of scientific laws and scientific reasoning. We argue that the view requires a neo-Humean account of at least some laws, and creates a significant problem for the use of statistical independence in other parts of physics and science more generally. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

Evolutionary developmental biology represents a paradigm shift in the understanding of the ontogenesis and evolutionary progression of the denizens of the natural world. Given the empirical successes of the evo-devo framework, and its now widespread acceptance, a timely and important task for the philosophy of biology is to critically discern the ontological commitments of that framework and assess whether and to what extent our current metaphysical models are able to accommodate them. In this paper, I argue that one particular model (...) is a natural fit: an ontology of dispositional properties coherently and adequately captures the crucial casual-cum-explanatory role that the fundamental elements of evo-devo play within that framework. (shrink)