This paper builds on the system of David Lewis’s “Parts of Classes” to provide a foundation for mathematics that arguably requires not only no distinctively mathematical ideological commitments (in the sense of Quine), but also no distinctively mathematical ontological commitments. Provided only that there are enough individual atoms, the devices of plural quantification and mereology can be employed to simulate quantification over classes, while at the same time allowing all of the atoms (and most of their fusions with which we (...) are concerned) to be individuals (that is, urelements of classes). The final section of the paper canvasses some reasons to be committed to the required ontology for other than mathematical reasons. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

Part 1 of the thesis questions the traditional relation model of intentionality. After fixing reference on the target phenomenon, intentionality, and explaining my interest in it, I ask what sorts of things intentionality might be a relation to. I consider ordinary objects, properties, propositions and hybrid views, and conclude all make the intentional relation appear rather mysterious. From there, I move on to examine the relation view’s most prominent proponents, the tracking theorists—pointing out some challenges such views face, and concluding (...) that it might be worthwhile looking into alternatives to the relation view. Part 2 asks whether the newly emerging phenomenal intentionality movement can provide a viable alternative to the relation model of intentionality. After focusing on a specific kind of phenomenal intentionality theory—something I call modificationism—I examine three such accounts. From there I go on to discuss some common complaints/challenges these kinds of views face, and consider how they might be addressed within the modificationist framework. In Part 3, I address what I call the problem of cognitive contact: how do our contentful mental states manage to make cognitive contact with the ordinary objects (e.g. tables and chairs) that they appear to. The problem is particularly acute for any version of phenomenal intentionality that denies the relation view, and has been given very little attention in the literature. I consider how a modificationist might address this problem, and conclude that though some avenues appear promising, there is nevertheless a great deal of work to be done if modificationism, and phenomenal intentionality theory, is to overcome this problem. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Space and time are two obvious candidates as dimensions of reality. Yet, are they the only two dimensions of reality? Famously, David Lewis maintained the doctrine of ―modal realism‖, the thesis that possible worlds exist and are entities as concrete as the actual world that we live in. In this paper, I will explore the idea that modality can be construed as a dimension along with space and time. However, although Lewis‘ modal realism is the main source of inspiration for (...) this construal of modality, I will argue that something else is required for having a modal dimension. (shrink)

Vetter (2015) develops a localised theory of modality, based on potentialities of actual objects. Two factors play a key role in its appeal: its commitment to Hardcore Actualism, and to Naturalism. Vetter’s commitment to Naturalism is in part manifested in her adoption of Aristotelian universals. In this paper, we argue that a puzzle concerning the identity of unmanifested potentialities cannot be solved with an Aristotelian conception of properties. After introducing the puzzle, we examine Vetter’s attempt at amending the Aristotelian conception (...) in a way that avoids the puzzle, and conclude that this amended version is no longer to be considered naturalistic. Potentiality theory cannot be both actualist and naturalist. We then argue that, if naturalism is to be abandoned by the actualist, there are good reasons to adopt a Platonist conception of universals, for they offer a number of theoretical advantages and allow us to avoid some of the problems facing Vetter’s theory. (shrink)

I argue that the way the world appears to be plays an important role in standard scientific practice, and that therefore the way the world appears to be ought to play a similar role in metaphysics as well. I then show how the argument bears on a specific first-order debate in metaphysics—the debate over whether there are composite objects. This debate is often thought to be a paradigm case of a metaphysical debate that is largely insulated from scientific considerations, and (...) is often disparaged or avoided by naturalistically-inclined metaphysicians as a result. My argument below shows that this attitude is a mistake. The way in which metaphysical debates can be informed by our best science is more complex and far-reaching than is often acknowledged in the literature. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (shrink)

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

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

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

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

Lewis is famous as a contemporary philosophical system-builder. The most obvious way his philosophy exhibited a system was in its content: Lewis’s metaphysics, for example, provided answers to many metaphysical puzzles in an integrated way, and there are illuminating connections to be drawn between his general metaphysical views and, for example, his various views about the mind and its place in nature.

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

In his book Worlds and Individuals: Possible and Otherwise, Takashi Yagisawa Yagisawa argues that his own theory is better than Lewis’s theory by showing that his own theory can deal with important objections to modal realism more successfully than Lewis’s. In particular, Yagisawa claims that by adopting modal tenses, he can respond to many important objections to modal realism in a uniform way. In this paper, I argue that Lewis can also successfully respond to Peacocke’s objection in an exactly parallel (...) way to Yagisawa’s by distinguishing existence at the actual world from existence at other possible worlds and that Yagisawa’s response to van Inwagen’s objection does not succeed. I conclude that Yagisawa fails to show that his own theory is better than Lewis’s. (shrink)

The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that the Forrest-Armstrong argument, (...) when fortified in one of these ways, demands that unrestricted recombination be rejected. The appropriate restriction comes from a consideration of what world structures are possible. I argue that, although there are too many worlds to form a set, for any world, the individuals at that world do form a set. To defend it I invoke a principle of Limitation of Size together with an iterative conception of structure. (shrink)

An annotated bibliography of important works on material constitution.

My thesis centres on the question of whether imaginative states can give rise to knowledge - including whether, and the extent to which, imaginative states can justify beliefs. Across seven chapters, I answer that imaginative states can indeed give rise to knowledge. The first and final chapters introduce and summarise the thesis. In the second chapter, I ask both what different cases of imagining have in common and what sets them apart from other kinds of mental states. In the third (...) chapter, I set out two key challenges that any theory of knowledge by imagination should respond to. The voluntarism challenge asks how imagination can play an evidential role since its content can be voluntarily controlled. The reliability challenge asks whether imaginative states are reliable enough to produce knowledge. I explain what these challenges involve and why they are distinctive, and assess how existing theories of knowledge by imagination could respond to them. I then evaluate the effectiveness of each response. In Chapter 4, I focus on a particular theory of justification - Phenomenal Conservatism, which says that what we are justified in believing is what seems to us to be the case. On the face of it, such a theory appears to exclude imagination as a source of justification. However, I will show how an advocate of Phenomenal Conservatism can include justification by imagination in their model after all. Thereafter in Chapter 5, I ask whether imaginative states can give rise to a particular kind of knowledge: self-knowledge. I look at inward-looking, outward-looking and expressivist theories of self-knowledge. I close Chapter 5 by concluding that all three of these theories can explain how imaginative states can help us acquire self-knowledge. Then in Chapter 6, I turn to see how the Imagination Model of Dreams, which states that dreaming is a kind of imagining, faces a certain challenge if imagination can give rise to knowledge. However, I will show how the imagination model of dreams can be made compatible with justification by imagination, such that we do not have to choose between giving up on justification by imagination or giving in to the sceptic, thus also rescuing the safety of our everyday knowledge. (shrink)

The Abrahamic traditions regard God as the world’s author. But what kind of author? A novelist? A playwright? Perhaps a composer of classical music? I will argue that it is best to regard God as like an improvisational play director or the leader of a jazz ensemble. Each determines the broad melodic contours or coarse-grained plot beforehand, while allowing their musicians or actors, and chance, to fill in the more fine-grained details. This analogy allows us to regard God as the (...) ultimate author of this world, while allowing us to be, while less than co-authors, more than mere enactors of a pre-written piece. These metaphors are particularly well-suited to illustrate and flesh out an Open Theistic view of things. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having simpliciter. (...) I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

This article aims to provide a metaphysical elucidation of the notion of Theism and a coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical Theism. A model of this notion and its extensions is formulated within the ontological pluralism framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David Lewis, which enables it to be explicated clearly and consistently, and two often raised objections against the elements of this notion can be (...) successfully answered. (shrink)

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

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that there are (...) irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

In “Radical Interpretation” (1974), David Lewis asked: by what constraints, and to what extent, do the non-intentional, physical facts about Karl determine the intentional facts about him? There are two popular approaches: the reductive externalist program and the phenomenal intentionality program. I argue against both approaches. Then I sketch an alternative multistage account incorporating ideas from both camps. If we start with Karl's conscious experiences, we can appeal to Lewisian ideas to explain his other intentional states. This account develops the (...) multistage Lewisian approach presented at the end of my earlier "Does Phenomenology Ground Mental Content?" (2013). (shrink)

If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument exploits a self-referential function symbol where the expressed function ends up being intensional in virtue of self-reference. The prohibition on intensional functions thus entails that self-reference cannot be unconstrained, even in a language that is free of semantic terms. However, since intensional functions are already excluded in classical logic, there are no drastic revisionary implications here. Still, the argument reveals a new sort of (...) intensional context, one which does not depend on a propositional attitude verb, a modal operator, an idiom like 'so called', etc. Moreover, since classical logicians do not seem aware of the potential danger with self-reference, a word of warning is in order. (shrink)

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

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

unified treatment of both (families of) interpretations is based on a revised notion of settledness. The main features of this approach are the following: (i) in branching structures, a world can be represented not by a single course of events, but by a node u in the tree, where u itself is seen as the cluster of courses of events passing through it; (ii) the utterance time is uniquely fixed; (iii) the utterance world is not uniquely fixed; (iv) because of (...) (iii), an utterance-event is associated not to a single context, but to a plurality of contexts, depending on which world we are considering as the utterance world. As a consequence, if a future-tensed sentence φ is uttered at u and its truth (falsehood) is already a settled issue at u itself, then the sentence is true (false) at u; otherwise the sentence is neither true nor false at u and, to get a definite truth value, we must wait until settledness is reached in a different context. Since what is crucial, in both cases, is the reference to a given state of information, such a treatment can be extended to other intriguing uses of the future tense, starting from the epistemic reading. These uses will be topic of a related paper. (shrink)

David Lewis proposed to deal with the semantics of sentences that state what is possible for an individual in terms of possible individuals that are in ways the first individual might have been, so called counterparts of the individual. In this book, I defend counterpart semantics as an approach to the semantics of modality and natural language semantics in particular. Counterpart semantics has a rival, the standard Kripkean semantics that deals with the same sentences in terms of an accessibility relation (...) between possible worlds. While counterpart semantics appears to be more flexible and carries less metaphysical presuppositions (it does not presuppose that I myself exist in various possible worlds, e.g.), Kripkean semantics has some advantages of its own. Most importantly, it incorporates the core assumptions of what may be called standard possible-worlds semantics; i.e. the core assumptions of the most successful framework within linguistic semantics. Counterpart semantics, on the other hand, does not conform to these assumptions, or so I will argue. In this book I opt for a synthesis of these two approaches that allows to combine their advantages. In Chap.1 I introduce the basic idea of counterpart semantics. I defend counterparts against the charge, made by Kripke, that counterparts are irrelevant for the analysis of modality. In Chap. 2 I present the classical version of counterpart semantics, i.e. David Lewis's translation of the language of quantified modal logic into counterpart theory. I discuss some well-known problems and opt for a revision of that translation that is able to solve the problems. Lewis's translation indirectly defines semantical values for expressions of quantified modal logic. In Chap.3 I evaluate counterpart semantics with respect to basic features of possible-worlds semantics. I conclude that the semantical values indirectly assigned to sentences by Lewis's translation are not sets of possible worlds, and that they do not meet certain intuitive demands on notions of meaning and content. (The revisions proposed in Chap.2 do not change this.) In Chap.4 I discuss various versions of a combination of counterpart semantics with Kripkean semantics found in the literature. But I conclude that here, the benefits of the latter are achieved by forfeiting the advantages of the former. Chap.5 finally contains my own proposal how to combine the two approaches in a more satisfactory way. The core semantical notion is truth according to a maximal complete representation, where representations now play the role of worlds. It is an important feature of the counterpart relation that it is qualitative, i.e. a relation in which things stand in virtue how they are. In Chap.1 I point out why it is qualitative, and why it ought to be. In Chap.6 I show how to make the notion of a qualitative property or relation precise. Finally, in Chap.7 I show how to extend this and related notions to predicates and propositions. For counterpart semantics to work at all we have to assume that everything that can be said at all can in principle be expressed in a language with qualitative predicates only (and perhaps, additionally, names, treated directly referentially). In Chap.7 I show how this assumption allows to maintain that the representations of our semantics deserve their name. (shrink)

The paper proposes to amend structuralism in mathematics by saying what places in a structure and thus mathematical objects are. They are the objects of the canonical system realizing a categorical structure, where that canonical system is a minimal system in a specific essentialistic sense. It would thus be a basic ontological axiom that such a canonical system always exists. This way of conceiving mathematical objects is underscored by a defense of an essentialistic version of Leibniz’ principle according to which (...) each object is uniquely characterized by its proper and possibly relational essence (where “proper” means “not referring to identity"). (shrink)

The paper argues that the objects of belief should not be conceived as sets of possible worlds or propositions of set of centered possible worlds or egocentric propositions (this is the propositional conception), but rather as sets of pairs consisting of a centered world and a sequence of objects (this is the intentional conception of the objects of belief). The paper explains the deep significance of this thesis for the framework of two-dimensional semantics, indeed for any framework trying to adequately (...) relate semantics and epistemology (which is here construed as what I call the Congruence Principle). I give three arguments for this thesis, two preliminary indecisive ones by way of examples, and third theoretical one alluding to a deep principle of philosophical psychology (which I call the Invariance Principle). This paper is an improved and up-dated version of my paper No. 25. It will appear in Causation, Coherence, and Concepts. A Collection of Essays of mine. (shrink)

Summary of Anna Pilatova’s doctoral thesis A User’s Guide to Proper Names, Their Semantics And Pragmatics The origins of this work go all the way back to my reading of Kripke’s Naming and Necessity in 1993. It had left me with a feeling of dissatisfaction that lingered long enough to inspire my MA thesis (on Internalism and Externalism in the Theories of Reference), and finally inspired the current work. Over time, I became acquainted with other influential accounts of reference of (...) proper names, but my unease with essentialism and wariness of direct designation remained. In the User’s Guide to Proper Names, I seized the opportunity to analyse what I thought was problematic with the mainstream theories of reference of proper names. I tried to tease apart a number of related doctrines about the behaviour of proper names, and thus arrive at a better understanding of how the various parts of the theories of reference I chose to analyse are related. This helped me to develop my own proposal regarding both the semantics and the pragmatics of proper names. The Guide is organised around a particular approach to the tasks of a semantic theory. According to this view, proposed by Stalnaker, a semantic theory dealing with proper names should account for the descriptive semantics of names, their foundational semantics, and the semantics of modal statements in which they figure. Descriptive semantics focuses on the contribution a proper name makes to the truth-value of sentences in which it occurs. Based on such an analysis, a proper name is assigned a semantic value, which is supposed to provide us with an interpretation of that name. A crucial part of this task is to see just what kind of thing the semantic value of a proper name is. In interpreting sentences containing proper names, one can, and often does, use the notion of possible worlds. This is especially true if the sentences in question are modal. There are various approaches to modality, which carry with them different sets of presuppositions. An analysis of the systematic features and presuppositions of various possible-world frameworks is a part of the task of the semantics of modal statements. Another task of semantics of modal statements is to investigate whence the constraints on possible worlds used in analysing these statements should derive, that is, whether, and to what degree, they should derive from the descriptive or the foundational part of the semantic enterprise. Both of these parts of a semantic theory have the potential to make predictions about the foundational semantics of proper names, which deals with the speaker’s behaviour and communication. Foundational semantics aims at answering the following question: What makes it the case that the language spoken by a particular individual or community has the very descriptive semantics it has? In this investigation, one looks at the speaker, her intentions and communicative goals, and tries to look at the strategies she uses to get her (linguistic) point across. To show the usefulness of organising the User’s Guide to Proper Names around these distinctions, and to provide their proper characterisation, is the task of the first part of the introductory first chapter, Outlining the Field and Introducing Some of the Players. In the second part of the same chapter, Setting the Scene, I give a preliminary outline of some of the notions needed to describe the theories of reference that are later investigated, that is mainly the theories proposed by Kripke, Kaplan, Lewis, and Stalnaker. The second chapter, Descriptive Semantics, focuses on the descriptive semantics proposed by Kripke and Kaplan for proper names. In the first part of the chapter, I introduce several arguments in favour of rigid designation. A closer look reveals that none of the three arguments in question -- the modal, the epistemological, and the semantic one -- is actually an argument for rigid designation. They all just argue against some forms of descriptivism. Moreover, in the case of the modal and the epistemological argument, it is relatively easy to find forms of descriptivism that are immune to the lines of reasoning proposed in these arguments. The semantic argument seems to be the strongest of the three. An analysis of a direct argument for rigid designation highlights the connection between rigid designation and certain preconceptions about the identity of individuals. A further investigation of the notion of identity of individuals across possible worlds emerges at this point as an important issue to tackle. It also becomes clear that rigid designation alone cannot fully determine the Kripkean picture of names as non-descriptive entities referring without a mediation of any sort of conceptual content. In the second part of Chapter 2, I introduce the basic notions of Kaplan’s approach to the descriptive semantics of proper names. It turns out that in order to derive the familiar Kripkean picture of proper names, one has to presuppose direct reference for names and at least some version of haecceitism for the individuals in question. While, as we show, Kaplan’s framework does not work well for proper names, it gives us conceptual tools that help us in our undertaking. In the third chapter, Modal Statements, Individuals, and Essences, I analyse three different approaches to building a possible-world framework, Lewis’s, Kripke’s, and Stalnaker’s. In each case, the same questions are asked: What is the motivation and intended field of application of this framework? What are the ontological commitments of the approach? What form of essentialism, if any, does it imply? How does it deal with the notion of an individual? In Lewis’s case, the main problem turns out to be the theory of counterparts, which is, as I show, an integral part of his approach. The concept of an individual implied by it does not seem to correspond to any intuitive reading of counterfactual statements involving individuals. The investigation of Kripke’s framework focuses on describing the weakest form of essentialism that has to be presupposed to make the proposal work. Once that is concluded, I analyse the essentialism Kripke actually proposes, and the motivation and presuppositions on which it rests. I conclude that its motivation cannot be said to come from an analysis of language and that it presupposes a particular form of scientific realism. The rest of the chapter is devoted to a reconstruction and analysis of Stalnaker’s possible world framework, which turns out to be rather more cautious about metaphysical presuppositions and more suited for an analysis of natural language. As in the two previous proposals, I try to reconstruct the notion of actual world that is presupposed here. In the fourth chapter, Foundational Semantics, I investigate the notion of proposition implied by Lewis’s, Kripke’s, and Stalnaker’s approach. I focus on propositions containing proper names, and analyse the way in which each of the conceptions mentioned above is vulnerable to the problem of logical omniscience. An analysis of Lewis’s framework reveals that the concept of proposition implied by it is so weak as to be rather uninteresting. An investigation of Kripke’s concept of proposition deals not only with the systematic issues, but also with the Pierre puzzle and various attempts at solving it. I present a number of different approaches to the problem and compare their merits. Stalnaker is very worried about the problem of logical omniscience, and yet it turns out that his conception is less vulnerable to the adverse consequences of the problem of logical omniscience than other frameworks we investigate. I point out that various pragmatic features of Stalnaker’s framework (the epistemic nature of his possible-world framework, the Gricean principles built into the notion of assertion) help to counterbalance and mitigate the scope of the problem of logical omniscience within it. In Chapter 5, User-friendly Descriptive Semantics, I present and motivate my own proposal for the descriptive semantics of proper names and the treatment of modal statements in which they figure. Basically, the aim is to preserve the notion of names as rigidly designating expressions while admitting as little metaphysics as possible. Working with epistemic possible worlds whose domain is in each case co-determined by a particular context enables me to develop a very intuitive plausible notion of individual, to which a name can be said to refer rigidly. The interpretation of modal statements is then driven not by essentialist constraints in the common sense of the term, but by context-derived limitations, which seems to be a more natural approach. In the sixth and last chapter, Names, Indexicality, and Ambiguity, I develop a view of foundational semantics inspired by the pragmatic observation that in common parlance one can say that a name, `John Smith’ for instance, can refer to numerous individuals. A lot of attention is given to the ontology of names, and the question `What is a name?’ delivers answers which are then used in a discussion about whether names should be seen as indexical or ambiguous. I adopt the ambiguity view, and propose a way of using a Stalnakerian possible-world framework to derive intuitively plausible results for some difficult cases. The weight of the discussion all through the guide rests in an examination of different kinds of presuppositions implied by various possible-world frameworks and the notion of the individual used in accounts of the behaviour of proper names. In my own account of these issues, I do without any metaphysical assumptions and aim at describing communication in terms accessible to its participants. (shrink)

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

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

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)