An exploration of the details of counterpart theory, and some applications of the view. In Chapter 1, I set out the view and clarify the most important features: that the counterpart relation is a context dependent similarity relation, and that individuals are world-bound entities. I then set out what I take to be the most promising methods of filling in important details. Chapter 2 is a discussion of an alternative view, lump theory. I attempt to distinguish lump theory from counterpart (...) theory, and argue that several attempt to do so fail. Chapter 3 is an attempt to apply counterpart theory for individuals to properties. I attempt to stay as close to the standard view as possible, but find it necessary to modify the world-bound condition. I suggest a version of property counterpart theory that overcomes the obstacles I have identified. The final chapter is a discussion of a recent attempt to apply counterpart theory to the comparativist view of quantitative properties. I argue that an attempt to rely on counterpart theory to overcome an objection is unsuccessful. (shrink)

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given discourse (...) is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

I first ask what it is to make up a story. In order to answer that question, I give existence and identity conditions for stories. I argue that a story exists whenever there is some narrative content that has intentionally been made accessible. I argue that stories are abstract types, individuated by the conditions that must be met by something in order to be a properly formed token of the type. However, I also argue that the truth of our story (...) identity attributions---sentences like, "Peter Jackson's Lord of the Rings is the same story as JRR Tolkien's Lord of the Rings''---are relative to their context of use, so that the same attribution of identity might be true in one context or false in another because of a change in what's being said about the works in the differing contexts. From those existence and identity conditions, I draw the conclusions that story is best understood to be a phase sortal of some abstract types, and that what it is to make up a story is to identify a type of narrative representation and its content, such that the content is neither based on actual events nor on the content of other stories to an objectionable degree. In chapter 2, I ask what it is for a story to be complete. I argue for the general meta-thesis I call "Completion Pluralism", viz. that there are many kinds of artwork completeness, many corresponding senses of 'complete', and no kind of artwork completeness is objectively more important than any other. I give a pair of arguments against those who would deny Completion Pluralism, endorsing Completion Monism instead. First, I show how Monistic analyses of the one (or one most important) kind of artwork completeness fail. I also show that each Monistic theory's failure is contingent on the assumption of Completion Monism: the denial of Completion Monism dissolves each argument against the extensional adequacy of extant theories of artwork completeness. I argue that this is all best explained by the idea that Completion Pluralism is true. Second, I argue that Completion Pluralism fits best with the variety of interests that we bring to questions about artwork completeness: there is no single or overriding concern we have when we want to know whether an artwork is complete. We shouldn't expect completeness to be a single sort of thing, then. I show how to put Completion Pluralism to work by identifying different kinds of artwork completeness in artworks. Finally, I introduce a new kind of completeness particular to stories, what I call "narrative completion", and show how it's distinct from other kinds of completeness discussed. In chapter 3, I argue that the distinction between fictional and non-fictional stories is the degree to which stories are made-up. In short, a fictional story is a made-up story. I first provide a couple desiderata for thinking about theories of fiction, then show how the two most popular extant theories of fiction---the prop theory and the genre theory---fall short in meeting one or more of those desiderata to some extent. I then show how the theory that fictions are made-up stories better meets the desiderata, using my account of what it is to make up a story from chapter 1. I turn to explicitly ontological matters in chapter 4. Addressing the question of what stories are, I show that both the theses that they are eternal and immutable and that they are created and historical seem plausible for independent reasons. I discuss a schema of an argument some philosophers who hold to the latter view (those I call "Creationists") attempt to give for their view. However, I show how those who hold to the view that stories are eternal and immutable ("Platonists") can account for all the same appearances as the Creationists, usually at least as well and sometimes with a better accounting. Similar, deductive arguments for Platonism will give rise to similar responses from the Creationist, however. In the end, then, the style of argument in particular is unlikely to advance the discussion much. Finally, I attempt to advance the discussion by building an abductive case for Platonism. First, I vindicate a particular metaontological methodology for the debate at hand, a methodology that allows for "revisionary" outcomes in our ontologies of art objects. Second, I build a case for Platonism by arguing that it best explains a number of features of stories discussed in the previous chapters. Moreover, I argue that Creationism is committed to an implausible account of how some abstract objects come into existence. Given the combination of those facts, I argue that we should prefer Platonism to Creationism. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

In this dissertation, I defend a Russellian form of descriptivism. The main supporting argument invokes a relation between meaning and thought. I argue that the meanings of sentences are the thoughts people use them to express. This is part of a Gricean outlook on meaning according to which psychological intentionality is prior to, and determinative of, linguistic intentionality. The right approach to thought, I argue in Chapter 1, is a type of functionalism on which thoughts have narrow contents. On this (...) view, the attitude ascriptions of a regimented psychology capture what people really believe and desire. These attitude ascriptions have content clauses that are what David Lewis calls ‘modified Ramsey sentences.’ I then conclude that, since the meanings of sentences are the narrow contents of the thoughts speakers use them to express, the meanings of sentences can also be represented with such descriptive sentences. I extend the view so that it applies to individual words. The resulting view is a form of descriptivism. Referring, I claim in Chapter 2, is the expression of a de re attitude. I argue that the non-psychological, de re individuation of thoughts captures only contingent features of these thoughts. Furthermore, whether a thought counts as de re depends on the attributor’s context. These two characteristics carry over to reference. The referential properties of speech acts and expressions are merely contingent features. Furthermore, whether a speech act or expression counts as referring depends upon the attributor’s context. In Chapter 3, I apply this version of descriptivism to indexicals, demonstratives and names. Indexicals turn out to have non-descriptive, context-insensitive, semantically determined meanings. Demonstratives have descriptive, context-sensitive, pragmatically determined meanings. Names, finally, have descriptive, context-insensitive, semantically determined meanings. In the final chapter, I address Putnam's model-theoretic argument, the most formidable obstacle to the form descriptivism outlined here. I criticize Lewis's ‘magnetist’ solution that invokes primitive naturalness because it is committed to the existence of incorrigible error about the external world. I suggest an empiricist approach on which psychological intentionality, and so ultimately linguistic intentionality as well, is anchored in experience. (shrink)

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

Öz: Frege özel adların (ve diğer dilsel simgelerin) anlamları ve gönderimleri arasında ünlü ayrımını yaptığı “Anlam ve Gönderim Üzerine” (1948) adlı makalesinde, bu ayrımın önemi, gerekliliği ve sonuçları üzerine uzun değerlendirmeler yapar ancak özel adın anlamından tam olarak ne anlaşılması gerektiğinden yalnızca bir dipnotta kısaca söz eder. Örneğin “Aristoteles” özel adının anlamının Platon’un öğrencisi ve Büyük İskender’in öğretmeni ya da Stagira’da doğan Büyük İskender’in öğretmeni olarak alınabileceğini söyler. Burada dikkat çeken nokta örnekteki özel adın olası anlamları olarak gösterilen belirli betimlemelerin (...) de özel ad içeriyor olması. Anlamın Frege için bileşimsel olduğu, bir başka deyişle bir dilsel simgenin anlamının (varsa) parçalarının anlamlarınca belirlendiği düşünülürse, örnekteki belirli betimlemelerin anlamlarının saptanabilmesi için içerdikleri özel adların da anlamları saptanıp betimleme içinde geçtikleri yere konmalıdır. Bu işlem hiçbir özel ad kalmayana kadar sürdürülmelidir. Ancak biraz düşünülünce bir özel adın nesnesini tekil olarak betimleyecek ve içinde özel ad geçmeyecek bir betimleme bulmanın kolay olmadığı görülür. Örneğin yukarıdaki betimlemelerde geçen “Platon”, “Büyük İskender” ve “Stagira” gibi özel adların anlamları olabilecek ancak özel ad içermeyen betimlemeler bulmak pek kolay görünmüyor. Ortaya bir sonsuz gerileme sorunu çıkmış gibi duruyor. Frege’nin anlam-gönderim ayrımını için ciddi sonuçları olabilecek bu sorunu Frege çözebilir mi? Bu yazıda bu sorunun yanıtını arayacağım. Sorunu betimledikten sonra Frege’nin önündeki seçenekleri (örneğin bağlama duyarlı terimlerden (gösterme adılları veya belirteçler) yararlanma veya bağlamı sınırlama gibi) değerlendireceğim. -/- Abstract: In his “Sense and Reference” (1948), Frege makes his famous distinction between the sense and the reference of a proper name (and other signs) and discusses at length the significance, necessity and consequences of the distinction, but he explains how the sense of a proper name should be understood very briefly in a footnote. According to him, for example, the sense of the proper name “Aristotle” can be taken as the pupil of Plato and teacher of Alexander the Great or the teacher of Alexander the Great who was born in Stagira. What is interesting here is that the definite descriptions given as the possible senses of this proper name do themselves contain proper names too. Since the sense is something compositional for Frege, which means the sense of a linguistic sign is determined by its constituents (if there are any), in order to determine the sense of definite descriptions in question, we should first determine the senses of proper names they contain and substitute these senses with the proper names themselves. This process should continue until no proper name remains. However, it does not seem easy to find a definite description which describes the object of a proper name uniquely but contains no proper name itself. For instance, could we find appropriate senses that contain no proper name for “Plato”, “Alexander the Great” and “Stagira”? It does not seem likely. A problem of infinite regress appears to arise. Can Frege solve this problem, which poses a serious threat for his sensereference distinction? I will explore this problem in this paper. After explaining the problem, I will discuss the options (e.g. turning to indexicals or context restriction) Frege can take to deal with it. (shrink)

It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic version of first-order logic with appropriate memory devices and show how to base a version of counterpart theory with actuality (...) on this. This theory is, in special cases, equivalent to modal first-order logic with actuality, and apparently does not suffer from the logical flaws that have been mentioned in the literature. (shrink)

En este artículo discuto cómo es que la idea intuitiva de que las cosas podrían cambiar, combinada con principios excesivamente plausibles, nos lleva a la paradoja de Chisholm. Arguyo que la mejor respuesta a esta paradoja –pues efectúa la menor mutilación a nuestros principios teóricos y asunciones intuitivas– es la postura esencialista. Primero expongo algunas motivaciones para hacer una teoría metafísica que explique la modalidad de re. Luego reviso los principios a los que estaremos regresando en el curso del artículo. (...) Entonces muestro cómo ellos, conjuntamente, implican la paradoja de Chisholm. Después reviso las posibles fuentes de esta paradoja, rechazando varias salidas posibles. Argumento que la fuente de la paradoja está en que nuestros principios teóricos son demasiado liberales, y que la opción esencialista subsana este defecto. (shrink)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

Existentialism is compatible with a broadly biological vision of who we are. This thesis is grounded in an analysis of “concrete” or “individual” possibility, which differs from standard conceptions of possibility in that it allows for possibilities to come into being or disappear through time. Concrete possibilities are introduced both in individual life and by major transitions in evolution. In particular, the advent of ultrasociality and of language has enabled human goals to be formulated in partial independence from the vestigial (...) “goal” of biological replication. The existentialist stance is validated by the necessity of choice grounded in emotion, in a way that does not require a commitment to a Kantian Will. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

Chisholm's Paradox and the Four Worlds Paradox are paradoxes about the cross-world identity of artifacts that are made of parts. The paradoxes are described as derivable in S5 modal logic from principles concerning the essentiality of the original matter of an artifact and the Tolerance Principle concerning possible changes in the original matter. On one hand, the original matter is essential to the artifact; on the other hand, bare identity or distinctness with respect to the original matter can be inferred (...) by applying the Tolerance Principle in S5. ;This dissertation analyzes two solutions that have been proposed. Nathan Salmon developed an Intransitive Accessibility Solution that rejects S5 as the logic for metaphysical modality. We show that Salmon's argument for the intransitivity of metaphysical possibility is unsound. The fundamental problem in Salmon's account is his attempt to derive the mode of metaphysical possibility from the accessibility relation between the possible worlds, which, by the theory of possible worlds that Salmon advocates, has to be determined by metaphysical possibilities with a pre-determined mode. The conclusion of Salmon's argument only reiterates a premise of the argument. We also discuss Salmon's other defenses, and show that these defenses are unsuccessful. ;Graeme Forbes proposes a Counterpart Solution. His solution replaces the standard two-valued semantics by a counterpart semantics with infinitely many degrees of truth-value. Our view is that Forbes' solution is unsatisfactory. Forbes avoids the identity problem by formulating the problem in terms of similarity relation. We argue that the similarity relation must not be a semantic device for representing identity. ;Our analysis reveals two versions of tolerance principle that have not been distinguished in literature. The paradoxes are associated with the Strong Tolerance Principle. We argue that the Strong Tolerance Principle is false. The intuition of tolerance is sufficiently described by the Weak Tolerance Principle. Moreover, we argue that the knowing of the possibilities about the origination of an artifact is empirical. The knowledge of the historical background and the origination of the artifact is needed for knowing the possibilities. With this view, S5 as the logic of metaphysical modality can be defended. (shrink)

First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several (...) of the approaches to first - order modal logic. Then I present one that I call FOIL in the Montague tradition that, I believe, is both expressive and natural. I briefly discuss in what sense it can be made to encompass the other approaches. Finally, I provide tableau rules to go with the FOIL semantics. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity (...) with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

Three different notions of concepts are outlined: one derives from Leibniz, while the other two derive from Frege. The Leibnizian notion is the subject of his "calculus of concepts" (which is really an algebra). One notion of concept from Frege is what we would call a "property", so that when Frege says "x falls under the concept F", we would say "x instantiates F" or "x exemplifies F". The other notion of concept from Frege is that of the notion of (...) sense, which played various roles within Frege's theory. This notion of concept can be generalized and, as such, accounts for our intuitive talk of "x's concept of ...", where the ellipsis can be filled in with a name for individual, a property, or a relation, etc. After outlining these three notions, I then discuss how (axiomatic) object theory offers a distinct, precise regimentation of each of the three notions. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Monism is a metaphysical view according to which there is only one fundamental object. This paper will explore monism within the context of truthmaker theory, or Truthmaker Monism, a view rarely discussed in literature. Although few truthmaker theorists defend monism, at least explicitly, some theories seem to share the spirit of monism to some extent. Interestingly, they are proposed as solutions for the same problem, called the problem of negative truth. A close examination will show that while each of these (...) solutions can account for the problem, they are unsatisfactory for different reasons. This paper will suggest a novel solution to the problem of negative truth which preserves the advantages of existing solutions while avoiding the difficulties with which they are faced. (shrink)

Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of language and (...) formal semanticists. That in turn presents a strong argument for the use of operator-based systems in the semantics of natural language, instead of systems with explicit quantification over worlds and times that have become a de-facto standard for such applications. The popularity of such explicit-quantification systems is shown to be based on the misinterpretation of a claim by Cresswell, which led many philosophers and linguists to assume that introducing “now” and “then” is expressively equivalent to explicitly quantifying over worlds and times. (shrink)

This paper aims to construct a logic of alternative-I that provides a proper conceptual framework for talk of possible-I in decision-making context, and thereby solves what we call the paradox of possible-I. The model of our logic, Alt-I model, is an adaptation of N. Belnap’s branching-time model, and the STIT (see to it that) operator defined on the model serves to represent choices and decisions made by actual and counterfactual agents. We conclude this paper by discussing the application of Alt-I (...) model to the case of digital twins, digital copies of a person. (shrink)

Self-consciousness in non-human animals is a complex phenomenon which raises both conceptual and methodological problems. First, what do we mean by the concept of ‘self-consciousness’? Secondly, what is the best experimental approach to self-consciousness? This paper gives a short overview of the concept of self-consciousness in section 1. We can understand the concept of self-consciousness as capturing the ability of subjects to consciously think about themselves as themselves. If this is accurate, then it is prudent to look at a broad (...) bundle of abilities which are related to this ability. The paper then focuses on advantages and problems of the multipronged approach, a kind of empirical approach which uses several different test criteria to determine whether a subject is self-conscious or not. Section 2 briefly contrasts this kind of approach with other possibilities. The main disparity is to singlepronged approaches, which have been discussed and dismissed in greater detail elsewhere. Section 3 discusses the advantages of a multipronged approach, whereas section 4 is dedicated to the discussion of some of its problems. (shrink)

Gideon Rosen’s [1990 Modal fictionalism. Mind, 99, 327–354] Modal Fictionalist aims to secure the benefits of realism about possible-worlds, whilst avoiding commitment to the existence of any world other than our own. Rosen [1993 A problem for fictionalism about possible worlds. Analysis, 53, 71–81] and Stuart Brock [1993 Modal fictionalism: A response to Rosen. Mind, 102, 147–150] both argue that fictionalism is self-defeating since the fictionalist is tacitly committed to the existence of a plurality of worlds. In this paper, I (...) develop a new strategy for the fictionalist to pursue in response to the Brock–Rosen objection. I begin by arguing that modal fictionalism is best understood as a paraphrase strategy that concerns the propositions that are expressed, in a given context, by modal sentences. I go on to argue that what is interesting about paraphrastic fictionalism is that it allows the fictionalist to accept that the sentence ‘there is a plurality of worlds’ is true without thereby committing her to the existence of a plurality of worlds. I then argue that the paraphrastic fictionalist can appeal to a form of semantic contextualism in order to communicate her status as an anti-realist. Finally, I generalise my conception of fictionalism and argue that Daniel Nolan and John O’Leary-Hawthorne [1996 Reflexive fictionalisms. Analysis, 56, 26–32] are wrong to suggest that the Brock-Rosen objection reveals a structural flaw with all species of fictionalism. (shrink)

In recent work, Jonathan Schaffer (Mind 119: 341–376, 2010) has attempted to argue that counterpart theorists are committed to holding that any two actual objects are bound together in a modally substantial sense. By clarifying the core elements of counterpart theory, I explain why Schaffer’s argument fails.

Possible worlds represent you as being certain ways, as having a different lives, different hopes, and different friends. A foundational question in the philosophy of modality thus emerges: in virtue of what does a world represent you in these ways? In this paper, we focus on David Lewis's answer to this metarepresentational question: Counterpart Theory.

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

We care not just how things are but how they could have been otherwise – about possibility and necessity as well as actuality. Many philosophers regard such talk as beyond the reach of respectable science, since observation tells us how things are but not how they could have been otherwise. I argue that, on the contrary, such criticisms are ill-founded: possibility and necessity are studied in natural science, for example through phase spaces, abstract mathematical representations of the possible states of (...) a physical system. The possibility is objective, not merely epistemic, though it may be more restricted than pure metaphysical possibility. The elements of a phase space are very similar to Kripke's possible worlds, despite being time slices rather than total histories. The absence of explicit modal operators in the mathematical models used by scientists does not show science to be non-modal; rather, it manifests reliance on a mathematical framework for theorizing about objective possibility similar to the mathematical framework of possible worlds model theory. (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)

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

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)

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)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

Standard lore has it that a proper name, or a definite description on its de re reading, is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim (...) is trivial, though one is left wondering how it is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time‐bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds ‐ like the “wave” at the stadium or the characters of a cartoon? In such cases the rigidi‐ ty claim can't be right and a counterpart‐theoretic semantics seems required. Is that bad? I say it isn't. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic theory in which (...) world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is accepted, (...) I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

Kai Wehmeier’s Wittgensteinian Predicate Logic is a formulation of first-order logic under the exclusive interpretation of the quantifiers. W-logic has a distinguished relation constant for co-reference but no sign for objectual identity. Wehmeier denies that objectual identity exists on the grounds that it cannot be a genuine binary relation. Fortunately W-logic is equi-expressive with standard first-order logic with identity and it appears that objectual identity is dispensable across the broader logical enterprise. This paper challenges the latter claim as objectual identity (...) seems to be needed in the exclusive interpretation of quantified modal logic, specifically, for implementing certain kinds of de re quantification. (shrink)

Classical modalism about essence is the view that essence can be analysed in modal terms. Despite Kit Fine's influential critique, no general refutation of classical modalism has yet been given. In the first part of the paper, I provide such a refutation by showing that the notion of essence cannot be analysed in terms of any sentential operator definable in the language of standard quantified modal logic. As a reaction to Fine's critique, some have defended sophisticated modalism, which attempts to (...) analyse essence in an enriched modal language quantifying over both possible and impossible worlds. In the second part of the paper, I argue that sophisticated modalism falls prey to variations on Fine's counterexamples to classical modalism. I conclude that the most promising approaches to understanding the notion of essence consist in taking essence either as primitive or as analysable via a combination of modal and non-modal notions. (shrink)

Lewis proposed to test the validity of a modal thesis by checking whether its possible-world translation is a theorem of counterpart theory. However, that criterion fails to validate many standard modal laws, thus raising doubts about the logical adequacy of the Lewisian framework. The present paper considers systems of counterpart theory of increasing strength and shows how each can be motivated by exhibiting a suitable intended model. In particular, perfect counterpart theory validates all the desired modal laws and therefore provides (...) a way out of the logical objection. Finally, a weakening of perfect counterpart theory is put forward as a response to some metaphysical objections. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

On one influential view, metaphysical fundamentality can be understood in terms of joint‐carving. Ted Sider has recently argued that (i) some first order quantifier is joint‐carving, and (ii) modal notions are not joint‐carving. After vindicating the theoretical indispensability of quantification against recent criticism, I will defend a logical result due to Arnold Koslow which implies that (i) and (ii) are incompatible. I will therefore consider an alternative understanding of Sider's metaphysics to the effect that (i) some first order quantifier is (...) joint‐carving, and (iii) intensional notions are not joint‐carving. Another result due to Koslow entails that (i) and (iii) are also incompatible. I will argue that this second result is inconclusive. Nevertheless, (iii) is incompatible with another tenet of Sider's metaphysics, namely that (iv) ‘being joint‐carving’ is itself joint‐carving. In order to resolve the inconsistency, I will tentatively argue that condition (iv) should be renounced. (shrink)

It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are (...) adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)