This paper investigates the roles that abstraction and representation have in activities associated with language. Activities such as associative learning and counting require both the abilities to abstract from and accurately represent the environment. These activities are successfully carried out among vocal learners aside from humans, thereby suggesting that nonhuman animals share something like our capacity for abstraction and representation. The identification of these capabilities in other species provides additional insights into the development of language.

If the most familiar overlapping interpretation of Everettian quantum mechanics is correct, then each of us is constantly splitting into multiple people. This consequence gives rise to the quantum doomsday argument, which threatens to draw crippling epistemic consequences from EQM. However, a diverging interpretation of EQM undermines the quantum doomsday argument completely. This appears to tell in favour of the diverging interpretation. But it is surprising that a metaphysical question that is apparently underdetermined by the physics should be settled by (...) purely epistemological considerations; and I argue that the positive case for divergence based on the quantum doomsday effect is ultimately unsuccessful. I discuss how some influential treatments of Everettian confirmation handle the quantum doomsday puzzle, and suggest that it can most satisfyingly be resolved via a naturalistic approach to the metaphysics of modality. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

Tropes is a systematic investigation into the metaphysics of properties, aiming to motivate and defend trope theory, and more specifically Natural Class Trope Nominalism (NCTN). Ehring’s book treats an impressive span of relevant positions, considerations, debates and objections with charity and clarity; it’s also a real page-turner, at least if one has (as I do) a taste for analytic twists and turns.

The full-text of this article is not currently available in ORA, but the original publication is available at springerlink.com . Citation: Williamson, T. . 'The necessary framework of objects', Topoi 19, 201-208. N.B. Tim Williamson is now based at the Faculty of Philosophy, University of Oxford.

In his book Objective Becoming (Skow 2015), Bradford Skow has offered a rich and systematic treatment of the passage of time. We learn much about what objective passage could and could not amount to from engaging with his careful work. Skow’s overall conclusion is that the ‘block universe’ deflationary theory of passage is stronger than any currently available version of the recently-popular moving spotlight theory of temporal passage. To help establish this conclusion, Skow provides a taxonomy of theories of temporal (...) passage, including some new and unfamiliar theories that he classifies as versions of the moving spotlight view. These new theories are worthy of further study; however, in this commentary I will argue that they suffer from some problems that render them uncongenial to committed believers in temporal passage (Sections 2–5). I’ll also make a few brief remarks about some other arguments in the book, concerning branching time (Section 6), relativistic presentness (Section 7), and temporal experience (Section 8). (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

When it comes to scientific explanation, our parsimonious tendencies mean that we focus almost exclusively on those dispositions whose manifestations result in some sort of change – changes in properties, locations, velocities and so on. Following this tendency, our notion of causation is one that is inherently dynamic, as if the maintenance of the status quo were merely a given. Contrary to this position, I argue that a complete concept of causation must also account for dispositions whose manifestations involve no (...) changes at all, and that a causal theory that fails to include these ‘static’ dispositions alongside the dynamic ones renders static occurrences miraculous. (shrink)

A prominent contemporary anti-skeptical strategy, most famously articulated by Keith DeRose, aims to cage the skeptic′s doubts by contextualizing subjunctive conditional accounts of knowledge through a conversational rule of sensitivity. This strategy, I argue, courts charges of circularity by selectively invoking heavy counterfactual machinery. The reason: such invocation threatens to utilize a metric for modal comparison that is implicitly informed by judgments of epistemic sameness. This gives us reason to fear that said modal metric is selectively cherry-picked in advance to (...) support the very anti-skeptical conclusion for which the contextualist longs. (shrink)

When attempting to determine which of our acts affect future generations and which affect the identities of those who make up such generations, accounts of personal identity that privilege psychological features and person affecting accounts of morality, whilst highly useful when discussing the rights and wrongs of acts relating to extant persons, seem to come up short. On such approaches it is often held that the intuition that future persons can be harmed by decisions made prior to their existence is (...) mistaken as identity is a most fragile thing with even the smallest differences in the conditions under which we procreate affecting not the interests of distinct future persons, but the identities of those who will come to exist in the future. Within this paper I reject this view, holding that a subscription to these two accounts need not result in the conclusion that virtually all acts relating to possible persons are permitted. Further, I argue that such accounts may in fact allow a great deal more scope for the determination of prenatal harms than accounts of personal identity that privilege physical features. Finally, by interpreting claims regarding causal identity such as Parfit’s Time Dependence Claim in terms of Counterpart Theory I suggest that a solution to the non-identity problem can be found in the acceptance of, as relevant in prenatal cases, three kinds of objective similarity relations: Biological, Environmental and Decisional counterpart relations. (shrink)

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence properties of (...) those items. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

David Wallace has given a decision-theoretic argument for the Born Rule in the context of Everettian quantum mechanics. This approach promises to resolve some long-standing problems with probability in EQM, but it has faced plenty of resistance. One kind of objection charges that the requisite notion of decision-theoretic uncertainty is unavailable in the Everettian picture, so that the argument cannot gain any traction; another kind of objection grants the proof’s applicability and targets the premises. In this article I propose some (...) novel principles connecting the physics of EQM with the metaphysics of modality, and argue that in the resulting framework the incoherence problem does not arise. These principles also help to justify one of the most controversial premises of Wallace’s argument, ‘branching indifference’. Absent any a priori reason to align the metaphysics with the physics in some other way, the proposed principles can be adopted on grounds of theoretical utility. The upshot is that Everettians can, after all, make clear sense of objective probability. 1 Introduction2 Setup3 Individualism versus Collectivism4 The Ingredients of Indexicalism5 Indexicalism and Incoherence5.1 The trivialization problem5.2 The uncertainty problem6 Indexicalism and Branching Indifference6.1 Introducing branching indifference6.2 The pragmatic defence of branching indifference6.3 The non-existence defence of branching indifference6.4 The indexicalist defence of branching indifference7 Conclusion. (shrink)

Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical (...) frameworks which might be combined with the Saunders–Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

Bare particularism is a constituent ontology according to which substances—concrete, particular objects like people, tables, and tomatoes—are complex entities constituted by their properties and their bare particulars. Yet, aside from this description, much about bare particularism is fundamentally unclear. In this paper, I attempt to clarify this muddle by elucidating the key metaphysical commitments underpinning any plausible formulation of the position. So the aim here is primarily catechismal rather than evangelical—I don’t intend to convert anyone to bare particularism, but, by (...) looking at a series of questions, to instead specify what, if one is a bare particularist, one is committed to. Along the way, I address three major objections: a classic objection about whether bare particulars have properties, a new objection raised by Bailey, and an understanding objection that questions some of the position’s resources. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

Quine (1960, Word and object. Cambridge, Mass.:MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. ‘Rabbit’ might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous ‘argument from below’ to the conclusion that there can be no fact of the matter (...) as to how reference is to be divided. Putative counterexamples to Quine’s claim have been put forward in the past (see especially Evans 1975; 1975, Journal of Philosophy, LXXII(13), 343–362. Reprinted in McDowell (Ed.), Gareth Evans: Collected papers. Oxford: Clarendon Press.), and various patches have been suggested (e.g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), A companion to the philosophy of language (pp. 397–426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as ‘rabbit’ divide their reference over four-dimensional continuants (Quine’s rabbits), instantaneous temporal slices of those continuants (Quine’s rabbit-slices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ‘consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branching worlds’ and ‘parallel worlds’ interpretations; the metaphysics of EQM is in this sense underdetermined by the physics. A prominent argument due to Lewis (On (...) the Plurality of Worlds, 1986 ) supports the non-branching interpretation. Belnap et al. (Facing the Future: Agents and Choices in Our Indeterministic World, 2001 ) refer to Lewis’ argument as the ‘Assertion problem’, and propose a pragmatic response to it. I argue that their response is unattractively ad hoc and complex, and that it prevents an Everettian who adopts branching-time semantics from making clear sense of objective probability. The upshot is that Everettians are better off without branching-time semantics. I conclude by discussing and rejecting an alternative possible motivation for branching time. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to include impossible (...) worlds and give a more satisfactory account of the dependence of a set on its members. Focusing on the case of singletons, we articulate a logical framework in which to evaluate set-theoretic dependence claims, using a normal first-order modal logic. We show that on this framework the dependence of a singleton on its single members follows from logic alone. However, the converse does not hold. (shrink)

The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...) level of metaphysics and epistemology alike with a sortalist position. Sortalism is the position which insists that, if the question is whether a and b are the same, it has to be asked what are they? Any sufficiently specific answer to that question will bring with it a principle of activity or functioning and a mode of behaviour characteristic of some particular kind of thing by reference to which questions of persistence or non-persistence through change can be adjudicated.These contentions are illustrated by reference to familiar examples such as the human zygote, the Ship of Theseus and Shoemaker's Brown-Brownson. The first example is hostage for a mass of unproblematical cases. The problems presented by the second and third sort of examples arise chiefly (it is claimed) from an incompleteness in our conceptions of the relevant sort—the what the thing in question is. That incompleteness need not prevent us from knowing perfectly well which thing we are referring to. In the concluding section, sortalism is defended against various accusations of anthropocentrism.The paper touches on the interpretation of Heraclitus, Leibniz's theory of clear indistinct ideas, the difficulties of David Lewis's ‘perdurantist’ or stroboscopic view of persistence, four-dimensionalism, and the relation of personal identity both to experiential memory and to the particular bodily physiognomy of a subject. At some points—as in connection with the so-called Only a and b rule—the paper corrects, supplements or extends certain theses or formulations proposed in the author's Sameness and Substance Renewed (2001). (shrink)

While the concept event has been an important tool in our thinking about causation and action, the concept process has not been appealed to so readily. However, recently, several philosophers have...

Considerations upon the nature of properties and laws have led some philosophers to claim that the correct epistemic attitude with regards to the intrinsic properties of particulars is scepticism. I examine one particularly clear version of this line of argument, and contend that a serious form of scepticism is not established. However, I argue that the theories of properties and laws underlying the argument have unwanted metaphysical implications. These provide a stronger reason to jettison the analyses. I end by sketching (...) an alternative view that avoids these difficulties. -/- . (shrink)

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood as essence, (...) as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

Forty years ago, Bayesian philosophers were just catching a new wave of technical innovation, ushering in an era of scoring rules, imprecise credences, and infinitesimal probabilities. Meanwhile, down the hall, Gettier’s 1963 paper [28] was shaping a literature with little obvious interest in the formal programs of Reichenbach, Hempel, and Carnap, or their successors like Jeffrey, Levi, Skyrms, van Fraassen, and Lewis. And how Bayesians might accommodate the discourses of full belief and knowledge was but a glimmer in the eye (...) of Isaac Levi. Forty years later, scoring rules, imprecise credences, and infinitesimal probabilities are all the rage. And the formal and “informal” traditions are increasingly coming together as Bayesian arguments spill over into debates about the foundations of empirical knowledge, skepticism, and more. Relatedly, Bayesian interest in full belief and knowledge has never been greater. Much more besides has happened in the last forty years of Bayesian philosophy, .. (shrink)

ABSTRACT In ‘Properties, Propositions, and Conditionals’ Field [2021] advances further on our understanding of the logic and meaning of naive theories – theories that maintain, in the face of paradox, basic assumptions about properties and propositions. His work follows in a tradition going back over 40 years now, of using Kripke fixed-point model constructions to show how naive schemas can be (Post) consistent, as long as one embeds in a non-classical logic. A main issue in all this research is the (...) question of finding a suitable conditional for the naive schemas, an implication connective that is well-behaved enough to be useful but weak enough to maintain coherence when there are paradoxes in the surrounding aether. Field takes several cues from the exemplary work of Ross Brady. Brady's work is predominantly concerned with models for naive theories in relevant logic. Field's considered view is that ‘relevant conditionals are just the wrong tool for naive theories’ [ibid.: 140]. In this note, I reply that a relevant conditional is an indispensable tool for at least one very important job: giving identity conditions for properties. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

Beliefs are commonly analyzed as binary relations between subjects and propositions. Perry and Lewis have shown that the standard account has difficulties in handling self-locating beliefs. Robert Stalnaker has recently put forward a version of the standard account that is supposed to overcome this problem. Stalnaker's motivation for defending the propositional account of belief is that it comes with a simple and powerful propositional model of communication. In this paper I argue that Stalnaker's proposal fails. The only way of upholding (...) the propositional account of belief is by abandoning the simple account of communication. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...) I present the main argument of those semanticists and describe several responses to the initialisation problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialisation failure in the classical way, even in indeterministic contexts. (shrink)

W ramach semantyk Kripkego dla języków modalnych wartość logiczna zdania może zmieniać się wraz ze zmianą parametru indeksu semantycznego. Oznacza to, że stosując tego typu semantykę do analizy zdań języka naturalnego, musimy wskazać indeks istotny dla analizy semantycznej. Zwykło się przyjmować, że odpowiedni indeks jest ustalany przez kontekst wypowiedzi. Pomysł ten został odrzucony przez semantyków analizujących języki temporalno-modalne w kontekście indeterminizmu, co wygenerowało problem ustalania indeksu. W artykule przedstawię argument owych semantyków, a następnie zarysuję kilka odpowiedzi na problem ustalania indeksu. (...) Ostatecznie będę argumentował, że przy pewnych założeniach metafizycznych i semantycznych można udzielić klasycznej odpowiedzi na problem ustalania indeksu również w kontekstach indeterministycznych. (shrink)

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

(No abstract is available for this citation).

I shall distinguish between two periods of analytic ontology, one semi-idealistic, the other post-idealistic. The former fostered the very idea of a conceptual scheme within which questions of ontology could be formulated and answered in the first place; the latter rejected this idea in favour of the view that ontological inquiry neither presupposes a framework, nor provides the framework for science or everyday speech. Since then, ontology is what it always have been, the systematic study of the most fundamental categories (...) of being, not of thought. Unfortunately, such a category theory becomes aporetic in its search for a solution of the problem of the “temporary intrinsic”. Experience cannot tell us, whether entities persist by “perduring” or by “enduring.” One can take an alternative route and seek to broaden the conceptual basis of ontology by focussing on “Being” in contrast to entities, or being. The controversy on perdurantism and endurantism emerges as a dispute over two conflicting ways of being in time, not of Being itself. (shrink)

The debate over persistence is often cast as a disagreement between two rival theories—the perdurantist theory that objects persist through time by having different temporal parts at different times, and the endurantist theory that objects persist through time by being wholly present at different times. This way of framing the debate over persistence involves both an important insight and an important error. Unfortunately, the error is often embraced and the insight is often ignored. This paper aims to correct both of (...) these mistakes, and thus clarify the debate over persistence. (shrink)

The problem of temporary intrinsics is the problem of how persisting objects can have different intrinsic properties at different times. The relativizer responds to this problem by replacing ordinary intrinsic properties with relations to times. In this note, I identify and respond to three different objections to the relativizer's proposal, each of which can be traced to the work of David Lewis.

This paper formulates a general epistemological argument against what I call non-causal realism, generalizing domain specific arguments by Benacerraf, Field, and others. First I lay out the background to the argument, making a number of distinctions that are sometimes missed in discussions of epistemological arguments against realism. Then I define the target of the argument—non-causal realism—and argue that any non-causal realist theory, no matter the subject matter, cannot be given a reasonable epistemology and so should be rejected. Finally I discuss (...) and respond to several possible responses to the argument. In addition to clearing up and avoiding numerous misunderstandings of arguments of this kind that are quite common in the literature, this paper aims to present and endorse a rigorous and fully general epistemological argument against realism. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)