The relationship between “character” and an “actor” appears to be quite straightforward: an actor acts as/plays character [x]. But let us be more specific and reword this formulation: actor [y] acts as/plays Hamlet. Or – for the time of the play – actor [y] is Hamlet. And it is this last statement that is paradoxically utterly true and utterly false. It is in the name of a theatrical character that the tension between actor and character arises. Asking, for example, who (...) is Hamlet? yields an answer where both actor and character have legitimate exclusive rights to being “Hamlet.” In short, to whom/what does the name of a theatrical character refer? By first arguing that theatre works as a reverse-“beetle” language-game, whereby I posit that theatre allows for private rule-making, I am able to turn to the idea of reference. It is by examining the name of theatrical characters and what these names refer to that I suggest that – following Hegel – theatrical names refer dialectically. Understanding theatrical characters as such, interpretation hinges not only on the output of theatre (i.e., the meaning), but also the input (i.e., the truth value). (shrink)

In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the conditional. Instead, I argue (...) that each individual instance of the conditional may be interpreted either factually or counterfactually, rather than these instances dividing into distinct types. I examine the classic Oswald–Kennedy pair of sentences, typically taken to be the quintessential example of how conditionals must be split into two different categories, to show that they in fact do not demonstrate this. I then present my account of the logic underlying the ordinary-language conditional, the system C3, and a justification of the form it takes. This logic provides distinct interpretations of the conditional as it concerns what is factual or what is counterfactual, respectively. The factual interpretation is true when both antecedent and consequent are true at the actual world, false when the antecedent is true and consequent false, and not truth-apt otherwise. The counterfactual interpretation incorporates a ceteris paribus clause, ensuring that it is not falsified by extraordinary, unforeseeable occurrences, and is true when, at all worlds at which the antecedent is ceteris paribus true, the consequent too is true. It is false when, at any of these worlds the consequent is false; and not truth-apt otherwise. I go on to examine alternative theories of the conditional—from the suppositionalist approach to evaluating the putative indicative conditional, to Stalnaker’s combined indicative and counterfactual account, and Lewis’s analysis of the counterfactual; among a number of others—and offer comparison to my own theory. Finally, I look at various challenges to my account of the conditional. Being a strict conditional (albeit variably so), that of C3 is open to the objection that it fails to match ordinary speakers’ intuitions as regards its truth-value assignments to, for instance, conditionals with necessarily true consequents. I address these so- called paradoxes of the strict conditional, and also discussion the question of truth-preservation in the C3 system in the case of such inferences as those relying on transitivity and that of modus ponens. I maintain that these inferences are indeed truth-preserving under certain, specifiable, conditions, and I close by offering possible avenues for further research. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

In this paper, I want to address once more the venerable problem of intentional identity, the problem of how different thoughts can be about the same thing even if this thing does not exist. First, I will try to show that antirealist approaches to this problem are doomed to fail. For they ultimately share a problematic assumption, namely that thinking about something involves identifying it. Second, I will claim that once one rejects this assumption and holds instead that thoughts are (...) constituted either by what they are about, their intentional objects, or by what determines their proposition-like intentional contents, one can address the problem of intentional identity in a different way. One can indeed provide a new solution to it that basically relies on two factors: a) what sort of metaphysical nature intentional objects effectively possess, once they are conceived as schematic objects à la Crane (2001, 2013); b) whether such objects really belong to the overall ontological inventory of what there is. According to this solution, two thoughts are about the same nonexistent intentional object iff i) that object satisfies the identity criterion for objects of that metaphysical kind and ii) objects of that kind belong to the overall ontological inventory of what there is, independently of whether they exist (in a suitable first-order sense of existence). As such, this solution is neither realist nor antirealist: only if condition ii) is satisfied, different thoughts can be about the same nonexistent intentionale; otherwise, they are simply constituted by the same intentional content (provided that this content is not equated with that intentionale). Third, armed with this solution, I will hold that one can find a suitable treatment of the specific and related problem of whether different people may mock-think about the same thing, even if there really is no such thing. Finally, I will try to show that this treatment can be also applied to the case in which different thoughts are, according to phenomenology, about the same intentionale and yet this intentionale is of a kind such that there really are no things of that kind. For in this case, such thoughts are about the same intentionale only fictionally. (shrink)

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and `typicality-as-best-exemplar', I argue that the (...) former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)

Aaccording to D. K. lewis (1973), would-couterfactuals and might-counterfactuals are duals. from this, it follows that the negation of a would-counterfactual is equiv- alent to the corresponding “might-not”-counterfactual and that the negation of a might-counterfactual is equivalent to the corresponding “would-not”- counterfactual. there are cases, however, where we seem to be entitled to accept the would- counterfactual and we are also equally entitled to accept the corresponding might-not-counterfactual and cases where we seem to be entitled to accept the might-counterfactual without (...) being equally entitled to reject the corresponding would-not-counterfactual. In this paper, I will show that a distinction between two types of rejections for counterfactuals (p-rejection and s-rejection) and the recognition that might-not-counterfactuals may play the role of p-rejections (by an application to counterfactuals of the lewisian approach to conversational scores) could explain why the problematic cases should not be seen as cases where the duality of would- and might-counterfactuals fails. (shrink)

This thesis in an invistigation into the concept of "harm" and its moral relevance. A common view is that an analysis of harm should include a counterfactual condition: an act harms a person iff it makes that person worse off. A common objection to the moral relevance of harm, thus understood, is the non-identity problem. -/- This thesis criticises the counterfactual condition, argues for an alternative analysis and that harm plays two important normative roles. -/- The main ground for rejecting (...) the counterfactual condition is that it has unacceptable consequences in cases of overdetermination and pre-emption. Several modifications to the condition are considered but all fail to solve this problem. -/- According to the alternative analysis to do harm is to perform an act which is responsible for the obtaining of a state of affairs which makes a person’s life go worse. It is argued that should be understood in terms of counterfactual dependence. This claim is defended against counterexamples based on redundant causation. An analysis of is also provided using the notion of a well-being function. It is argued that by introducing this notion it is possible to analyse contributive value without making use of counterfactual comparisons and to solve the non-identity problem. -/- Regarding the normative importance of harm, a popular intuition is that there is an asymmetry in our obligations to future people: that a person would have a life worth living were she to exist is not a reason in favour of creating that person while that a person would have a life not worth living is a reason against creating that person. It is argued that the asymmetry can be classified as a moral option grounded in autonomy. Central to this defence is the suggestion that harm is relevant to understanding autonomy. Autonomy involves partly the freedom to pursue one’s own aims as long as one does no harm. (shrink)

According to necessitarianism, all truths are logically necessary, and the modal doctrine of a necessitarian philosopher is in a sharp contrast with something that seems manifest—the view that there are contingent truths. At least on the face of it, then, necessitarianism is highly implausible. René Descartes is usually not regarded as a necessitarian philosopher, but some of his philosophical views raise the worry as to whether he is committed to the necessity of all truths. This paper is an appraisal of (...) this worry. (shrink)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown to result from Kratzer’s (1991) semantics by Yalcin (2006, 2009, 2010). In contrast to the alternative semantics presented by Yalcin and Lassiter (2010, 2011), based on finitely additive probability measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of Kratzer (1991). All of these (...) semantics avoid the entailment problems that result from Kratzer’s semantics. Our discussion focuses on methodological issues concerning the choice between different semantics. (shrink)

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional (...) obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

En este artículo se revisa la hipótesis sobre la transparencia de las imágenes de Kendall Walton y sus diferentes críticas. Propongo que la imagen fotográfico-cinematográfica solo puede ser potencialmente transparente. Debería, así, hablarse de grados de transparencia. La transparencia de la imagen se divide en umbrales que dependen de la fase de producción en la que esté. De esta forma tenemos transparencia en el registro, de representación, de enunciación y epistémica.

A standing challenge in the theory of counterfactuals is to solve the “deviation problem”. Consider ordinary counterfactuals involving an antecedent concerning a difference from the actual course of events at a particular time, and a consequent concerning, at least in part, what happens at a later time. In the possible worlds framework, the problem is often put in terms of which are the relevant antecedent worlds. Desiderata for the solution include that the relevant antecedent worlds be governed by the actual (...) laws of nature with no miracles; that the past in those worlds before the antecedent time matches the actual past; that the account is compatible with determinism, and that many of our ordinary counterfactual judgments are correct, and would be correct even given determinism. Many theorists have compromised on one or more of these desiderata, but this paper presents an account employing impossible worlds that satisfies them all. (shrink)

In this paper, we use antecedent-final conditionals to formulate two problems for parsing-based theories of presupposition projection and triviality of the kind given in Schlenker 2009. We show that, when it comes to antecedent-final conditionals, parsing-based theories predict filtering of presuppositions where there is in fact projection, and triviality judgments for sentences which are in fact felicitous. More concretely, these theories predict that presuppositions triggered in the antecedent of antecedent-final conditionals will be filtered (i.e. will not project) if the negation (...) of the consequent entails the presupposition. But this is wrong: John isn’t in Paris, if he regrets being in France intuitively presupposes that John is in France, contrary to this prediction. Likewise, parsing-based approaches to triviality predict that material entailed by the negation of the consequent will be redundant in the antecedent of the conditional; but John isn’t in Paris, if he’s in France and Mary is with him is intuitively felicitous, contrary to these predictions. Importantly, given that the trigger appears in sentence-final position, both incremental (left-to-right) and symmetric versions of such theories make the same predictions. These data constitute a challenge to the idea that presupposition projection and triviality should be computed on the basis of parsing. This issue is important because it relates to the more general question as to whether presupposition and triviality calculation should be thought of as a pragmatic post-compositional phenomenon or as part of compositional semantics (as in the more traditional dynamic approaches). We discuss a solution which allows us to maintain the parsing-based pragmatic approach; it is based on an analysis of conditionals which incorporates a presupposition that their antecedent is compatible with the context, together with a modification to Schlenker’s (2009) algorithm for calculating local contexts so that it takes into account presupposed material. As we will discuss, this solution works within a framework broadly similar to that of Schlenker’s (2009), but it doesn’t extend in an obvious way to other parsing-based accounts (e.g. parsing-based trivalent approaches). We conclude that a parsing-based theory can be maintained, but only if we adopt a substantial change of perspective on the framework. (shrink)

There is a variety of epistemic roles to which photographs are better suited than non-photographic pictures. Photographs provide more compelling evidence of the existence of the scenes they depict than non-photographic pictures. They are also better sources of information about features of those scenes that are easily overlooked. This chapter examines several different attempts to explain the distinctive epistemic value of photographs, and argues that none is adequate. It then proposes an alternative explanation of their epistemic value. The chapter argues (...) that photographs play the epistemic roles they do because they are typically rich sources of depictively encoded information about the scenes they depict, and reliable depictive representations of those scenes. It then explains why photographs differ from non-photographic pictures in both respects. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

There is an account of modal operators that is both elegant and powerful and that deserves to be called the standard account. There are, however, some epistemic uses of modal operators which seem to be counterexamples to the account – they pose what I call the objectivity problem. It is often thought that the objectivity problem can be fixed by a certain kind of modification to the standard account. I argue that this kind of modification cannot work. Then I argue (...) that the problem posed for the standard account by recently discussed eavesdropper cases is really just the objectivity problem in a different guise, thereby emphasizing the need for a new solution to the objectivity problem. Finally, I propose a new solution to the objectivity problem. (shrink)

This article defends strong formal ontological conception of ontological categories against Lewis's "deflanationary" conception. Here, it sides with E.J. Lowe (1998) among others. However, the paper argues against Lowe's conception of metaphysics as an a priori science. Different category systems are compared and the best system is selected on the basis of its ability to accommodate our the best a posteriori conceptions of reality.

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...) the world (and himself), the reality he holds beliefs about undergoes a change in its doxastic part, which means that his introspective beliefs have to be adjusted accordingly. (shrink)

I explore the thesis that the future is open, in the sense that future contingents are neither true nor false. The paper is divided into three sections. In the first, I survey how the thesis arises on a variety of contemporary views on the metaphysics of time. In the second, I explore the consequences for rational belief of the ‘Aristotelian’ view that indeterminacy is characterized by truth-value gaps. In the third, I outline one line of defence for the Aristotelian against (...) the puzzles this induces: treating opinion about future contingents as a matter of fictional belief rather than simple belief. (shrink)

*This is a project I hope to come back to one day. It stalled, a bit, on the absence of a positive theory of update I could be satisfied with* When should we believe a indicative conditional, and how much confidence in it should we have? Here’s one proposal: one supposes actual the antecedent; and sees under that supposition what credence attaches to the consequent. Thus we suppose that Oswald did not shot Kennedy; and note that under this assumption, Kennedy (...) was assassinated by someone other than Oswald. Thus we are highly confident in the indicative: if Oswald did not kill Kennedy, someone else did. (shrink)

Evaluativism about desire, the view that desires just are, or necessarily involve, positive evaluations of their objects, currently enjoys widespread popularity in many philosophical circles. This chapter argues that evaluativism, in both of its doxastic and perceptual versions, overstates and mischaracterises the connection between desires and evaluations. Whereas doxastic evaluativism implausibly rules out cases where someone has a desire, despite evaluating its object negatively, being uncertain about its value, or having no doxastic attitude whatsoever towards its evaluative status at all, (...) perceptual evaluativism cannot even properly apply to the large class of standing desires. It is also argued that evaluativism about desire is not even well-motivated in the first place: the theory is supposed to solve a particular puzzle about the role desires play in the explanation of action, yet, in fact, it does not offer any help whatsoever in dealing with the relevant puzzle. (shrink)

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...) believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their (...) use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

This paper argues that the technical notion of conditional probability, as given by the ratio analysis, is unsuitable for dealing with our pretheoretical and intuitive understanding of both conditionality and probability. This is an ontological account of conditionals that include an irreducible dispositional connection between the antecedent and consequent conditions and where the conditional has to be treated as an indivisible whole rather than compositional. The relevant type of conditionality is found in some well-defined group of conditional statements. As an (...) alternative, therefore, we briefly offer grounds for what we would call an ontological reading: for both conditionality and conditional probability in general. It is not offered as a fully developed theory of conditionality but can be used, we claim, to explain why calculations according to the RATIO scheme does not coincide with our intuitive notion of conditional probability. What it shows us is that for an understanding of the whole range of conditionals we will need what John Heil (2003), in response to Quine (1953), calls an ontological point of view. (shrink)

Jaegwon Kim (1998a, 2005) claims that his exclusion problem follows a priori for the non-reductive physicalist given her commitment to five apparently inconsistent theses: mental causation, non-identity, supervenience, causal closure and non-overdetermination. For Kim, the combination of these theses entails that mental properties are a priori excluded as causes, forcing the non-reductive physicalist to accept either epiphenomenalism, or some form of reduction. In this thesis, I argue that Kim’s exclusion problem depends on a particular conception of causation, namely sufficient production, (...) and that when causation is understood in interventionist terms, the non-reductive physicalist can avoid the exclusion problem. I argue that Woodward’s (2003, 2008a, 2011a) version of interventionism not only provides an account of mental causation that avoids the exclusion problem, but argue that it also upholds all of the minimal commitments of non-reductive physicalism, thereby providing a successful non-reductive physicalist solution to the exclusion problem. In Chapter 2, I argue that all five theses are minimal commitments of non-reductive physicalism that cannot be rejected in order to avoid the exclusion problem. Chapter 3 identifies the assumptions that I take to underlie the exclusion problem. Chapter 4 introduces and outlines the central features of Woodward’s (2003) interventionism and Chapter 5 argues that Woodward’s interventionist account of mental causation provides a solution to the exclusion problem. I examine two alternative interventionist accounts of mental causation[1] that fail to provide satisfactory solutions to the exclusion problem and conclude that Woodward’s account therefore provides the only satisfactory account of mental causation and solution to the exclusion problem. Chapter 6 addresses some challenges proposed by Michael Baumgartner (2009, 2010) and argues that the interventionist is able to defend her position against these objections and uphold the interventionist solution to the exclusion problem outlined in this thesis. [1. Proposed by List and Menzies (2009) and Campbell (2007, 2008a, 2008b, 2010).]. (shrink)

Since J. McTaggart’s paper on “The Unreality of Time” the opposition of “A-theorists” and “B-theorists” establishes a focal point in the modern debate on the metaphysics of time: While “A-theorists” claim the existence of an objective present, moving along time positions, “B-theorists” maintain that time is just a set of ontologically equivalent coordinates, “now” being merely the indexical of the speaker’s position. Contemporary attempts to resolve the issue by resorting to the analysis of language or to the theory of science (...) seem to deliver no definite results. By contrast, practical and existential aspects of the two models promise to be more univocal guides in deciding between them. Particularly, C. D. Broad’s hybrid conception of a “growing block theory” attains special attractiveness in this regard. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

In the last papers published by Alchourrón, he attacked non-monotonic logics, which he considered philosophically unsound for the representation of defeasible reasoning. Instead of a non-monotonic consequence relation, he proposed a formal representation of defeasibility based on an AGM-like revision of implicit assumptions connected to the premises. Given that this is a procedure to generate non-monotonic logics, it is not clear, from a mathematical standpoint, why he was so suspicious of such logics. In the present paper we try to answer (...) this question based on Alchourrón' s convictions about epistemology, particularly the epistemology of law. We also propose another revision operator on theories called refinement, which provides a faithful representation of the sort of epistemic change considered by Alchourrón as intrinsic to defeasibility. En sus últimos escritos publicados, Alchourrón desarrolló un ataque contra las lógicas no-monotónicas, que consideraba filosóficamente inadecuadas a la representación del razonamiento derrotable. En vez de una relación de consecuencia no-monotónica, él propuso una representación formal de la derrotabilidad basada en un modelo de revisión de las asunciones implícitas ligadas a las premisas. Dado que éste es un procedimiento para generar lógicas no-monotónicas, no está claro -en el nivel matemático- por qué él era tan desconfiado de tales lógicas. En el presente texto intentamos contestar a esta pregunta basados en las convicciones de Alchourrón sobre epistemología, particularmente la epistemología jurídica. También proponemos otro operador de revisión aplicado a las teorías, llamado refinamiento, que proporciona una representación fiel de la especie de cambio epistémico considerado por Alchourrón como intrínseco a la derrotabilidad. (shrink)

A ‘might’ counterfactual is a sentence of the form ‘If it had been the case that A, it might have been the case that C’. Recently, John Hawthorne has argued that the truth of many ‘might’ counterfactuals precludes the truth of most ‘would’ counterfactuals. I examine the semantics of ‘might’ counterfactuals, with one eye towards defusing this argument, but mostly with the aim of understanding this interesting class of sentences better.

This 183-page introductory part of my dissertation is an overview of some key debates in philosophical moral psychology and its methodology.

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

The paper focuses on the problem of identification of laws of nature and their demarcation from other kinds of regularities. The problem is approached from the viewpoint of several metaphysical, epistemological, logical and methodological criteria. Firstly, several dominant approaches to the problem are introduced. Secondly, the logical and semantic explicatory framework – Transparent Intensional Logic – is presented for the sake of clarification of logical forms of sentences that are supposed to express the laws of nature. Finally, a complementary strategy (...) to the demarcation problem is proposed, including reconsideration of relevant metaphysical, epistemological, logical and methodological requirements and principles behind the former conceptions. (shrink)

Whether there exist causal relations between guns firing and people dying, between pedals pressed and cars accelerating, or between carbon dioxide emissions and global warming, is typically taken to be a mind-independent, objective, matter of fact. However, recent contributions to the literature on causation, in particular theories of contrastive causation and causal modelling, have undermined this central causal platitude by relativising causal facts to models or to interests. This thesis flies against the prevailing wind by arguing that we must pay (...) greater attention to which elements of our causal talk vary with context and which elements track genuine features of the world around us. I will argue that once these elements are teased apart we will be in a position to better understand some of the most persistent problems in the philosophy of causation: pre-emption cases, absence causation, failures of transitivity and overdetermination. The result is a naturalist account of causation, concordant with the contextual variability we find in our ordinary causal talk, and parsimonious with respect to the theoretical entities posited. (shrink)

The broad aim of this thesis is to explore fruitful connections between ideology theory and the philosophy of possible worlds. Ideologies are full of modal concepts, such as possibility, potential, necessity, essence, contingency and accident. Typically, PWs are articulated for the analysis and illumination of modal concepts. That naturally suggests a method for theorising ideological modality, utilising PW theory. The specific conclusions of the thesis proffer a number of original contributions to knowledge: 1) PWs should only be used for explication (...) and not as evidence or criteria of assessment in ideology theory. The estimation of utopian possibilities, human essences and freedoms must be determined by extrinsic criteria. PWs can serve only as a window or means of expression but not as a set of evaluative premises. 2) For this purpose, a modified version of Lewisian genuine realism, with its device of counterpart theory, is the best approach; the alternative theories risk constricting possibilities or smuggling in assumptions that ought to be objects of analysis in ideology theory. This is instructive, since ideology theorists are prone to pick and choose favoured aspects of modal philosophy without further argument. 3) Conclusions and suggest the adoption of GR or fictionalist GR. Overall, the actualist options are less adequate. Fictionalism, by contrast, is a worthwhile contender, but it too presents comparative weaknesses which reinforce GR’s standing as a potent challenger to the modal metaphysician. Therefore, this thesis presents additional reasons to think GR true. The conclusions are not knockdown, and I draw out incentives and consequences for adopting alternative stances. The various chapters also provide specific details for comprehending and debating ideological modals. (shrink)

Contemporary emotion research typically takes the phenomenon of emotion to be exhausted by a class of mental events that are intentional, conscious, and related to certain sorts of behaviour. Moreover, other affective phenomena, such as moods, are also considered to be relatively short-term, episodic, or occurrent states of the subject undergoing them. Emotions, and other putative emotional phenomena that common-sense takes as long-lasting, non-episodic, or dispositional are things that both philosophers and scientists sometimes recognise, but that are relatively neglected in (...) comparison to emotional episodes. This thesis aims at showing that this neglect is unjustified. I will argue that there is a class of entities, 'sentiments'—broadly characterised as dispositions to undergo emotional episodes—that are irreducible to emotional episodes or collections thereof and have properties that make them a suitable target of study by the emotion researcher.In the first chapter, I argue that an analysis of caring as a pattern of emotional episodes, while more plausible than alternative, non-emotional accounts, faces a number of counterexamples that motivate the search for an account of caring as related in a certain way to emotions but as irreducible to them. I argue that a dispositional account, according to which dispositions are conceived as distinct from their manifestations, is an account for which a strong case can be made.The second chapter is dedicated to defending a modest form of realism about dispositions in general and psychological dispositions in particular. According to realism, dispositions are genuine properties that, although perhaps reducible to non-dispositional properties, cannot be re-described in terms of events only. In the third chapter, I show in what ways emotional dispositions can positively contribute to the explanation of the occurrence of emotional episodes. In the fourth chapter, I argue that caring, understood as a species of sentiment, is not to be construed as a mere disposition to produce certain events; rather, we should allow that certain dispositions are genuinely mental or psychological. Assuming realism about the mental, I argue that some dispositions are mental in a way that others are not. I suggest that being intentional is the property that makes psychological dispositions genuinely mental. I end the chapter by drawing a connection between caring and the notion of character. On my view, caring is at least a necessary ingredient of certain character traits, in particular the virtues. In chapter five, I tackle a recent form of empirically informed scepticism about character and argue, on the basis of general considerations about psychological dispositions, that the sceptic’s case is not as strong as she makes out. Finally, in chapter six, I argue that at least certain forms of sentiment, for example romantic love, can be genuinely supported by reasons, thereby suggesting a way they can contribute to the value of our lives. Overall, the aim of this thesis is to establish the respectability of sentiments in a sophisticated account of the mind. (shrink)

I discuss three connections between Dummett's writings about time and philosophical aspects of physics. The first connection arises from remarks of Dummett's about the different relations of observation to time and to space. The main point is uncontroversial and applies equally to classical and quantum physics. It concerns the fact that perceptual processing is so rapid, compared with the typical time-scale on which macroscopic objects change their observable properties, that it engenders the idea of a `common now', spread across space. (...) The other two connections are specific to quantum theory, as interpreted along the lines of Everett. So for these two connections, the physics side is controversial, just as the philosophical side is. In Section 3, I connect the subjective uncertainty before an Everettian `splitting' of the multiverse to Dummett's suggestion, inspired by McTaggart, that a complete, i.e. indexical-free description of a temporal reality is impossible. And in Section 4, I connect Barbour's denial that time is real---a denial along the lines of Everett, rather than McTaggart---to Dummett's suggestion that statements about the past are not determinately true or false, because they are not effectively decidable. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual conditionals that can exhibit different degrees of contingency. We use the idea of possible worlds to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, it is this structure what helps explain why idealizations, despite being deformations of reality, are so successful (...) in scientific practice. (shrink)

A widely accepted claim about counterfactuals is that they differ from strict conditionals, that is, there is no adequate representation of them as sentences of the form   . To justify this claim, Stalnaker and Lewis have argued that some fallacious inferences would turn out valid if counterfactuals were so represented. However, their argument has a flaw, as it rests on a questionable assumption about the relation between surface grammar and logical form. Without that assumption, no consequence of the (...) alleged kind is obtained, hence the claim may be rejected. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes to people (...) who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.