Philosophical accounts denying that temporal passage is an objective feature of reality face an explanatory challenge with respect to why it appears to us as though time passes. Recently, two solutions have surfaced. Cognitive illusionism claims that people experience the passage of time due to their belief that time passes. Cognitive error theory claims that we do not experience the passage of time, but hold the belief that we do, which we have acquired through making an inference from the prior (...) belief that time passes. These approaches suppose that belief and passage experience are explanatorily connected, and they depend on the claims that people who experience the passage of time or at least believe that they do also believe that time passes. To test these claims, we probed the beliefs of populations of individuals with depression and schizotypy, thus conditions that are strongly associated with alterations in temporal phenomenology. Depression was assessed with the Beck Depression Inventory (BDI) and schizotypy with the short Oxford-Liverpool Inventory of Feelings and Experiences (O-LIFE). While cognitive illusionism and inferentialist cognitive error theory would predict a strong association between BDI and O-LIFE scores and beliefs about time passage, our study found no such association. The experience of passage does not seem to be explanatorily connected to beliefs about the passage of time. (shrink)

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

According to orthodoxy, the most fundamental kind of causation involves one event causing another event. I argue against this event‐causal view. Instead, the most fundamental kind of causation is thing causation, which involves a thing causing a thing to do something. Event causation is reducible to thing causation, but thing causation is not reducible to event causation, because event causation cannot accommodate cases of fine‐grained causation. I defend my view from objections, including C. D. Broad's influential “timing” argument, and I (...) conclude with implications for agent‐causal theories of free will. (shrink)

Many prominent critiques of philosophical methods proceed by suggesting that some method is unreliable, especially in comparison to some alternative method. In light of this, it may seem natural to conclude that these (comparatively) unreliable methods should be abandoned. Drawing upon work on the division of cognitive labour in science, we argue things are not so straightforward. Rather, whether an unreliable method should be abandoned depends heavily on the crucial question of how we should divide philosophers’ time and effort between (...) different methods, in order to maximise our prospects of achieving epistemic success. We show that, in a range of cases, even a (comparatively) unreliable method deserves to be allocated some of these resources. (shrink)

In this paper, we explore locative grounding harmony, according to which the location of the grounds mirrors the location of the grounded. We proceed in three stages. First, we clarify the notion of locative harmony and describe different locative harmony principles. Second, we offer two arguments for the claim that grounding between physically located entities obeys principles of locative harmony. Third, we consider and respond to a range of cases that seem to show that grounding relations between physically located entities (...) do not obey such principles. We conclude that grounding between such entities obeys locative harmony. (shrink)

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

This paper offers a new account of metaphysical explanation. The account is modelled on Kitcher’s unificationist approach to scientific explanation. We begin, in Sect. 2, by briefly introducing the notion of metaphysical explanation and outlining the target of analysis. After that, we introduce a unificationist account of metaphysical explanation before arguing that such an account is capable of capturing four core features of metaphysical explanations: irreflexivity, non-monotonicity, asymmetry and relevance. Since the unificationist theory of metaphysical explanation inherits irreflexivity and non-monotonicity (...) directly from the unificationist theory of scientific explanation that underwrites it, we focus on demonstrating how the account can secure asymmetry and relevance. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

According to dialetheism, there are some true contradictions. According to the A-theory, the passage of time is a mind-independent feature of reality. On some A-theories, the passage of time involves the movement of the present. I show that by appealing to dialetheism one can explain why the present moves. I then argue that A-theorists should adopt this explanation. To do this, I defend two claims. First, that the dialetheic explanation is an improvement on the only other explanation available for why (...) the present moves and, second, that adopting the explanation is better than leaving the motion of the present unexplained. Assuming that A- theorists should adopt the best available version of their view, it follows that they should adopt a dialetheic explanation of why time passes. (shrink)

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

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

A number of philosophers have argued in favour of extended simples on the grounds that they are needed by fundamental physics. The arguments typically appeal to theories of quantum gravity. To date, the argument in favour of extended simples has ignored the fact that the very existence of spacetime is put under pressure by quantum gravity. We thus consider the case for extended simples in the context of different views on the existence of spacetime. We show that the case for (...) extended simples based on physics is far more complex than has been previously thought. We present and then map this complexity, in order to present a much more textured picture of the argument for extended simples. (shrink)

It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...) versions of the dynamical explanation. The first is the moving ego explanation—according to which it is our belief that the ego moves, or our phenomenology as of the ego moving, that jointly (partially) explains future- and near-bias. The second is the moving time explanation—according to which it is our belief that time robustly passes, or our phenomenology as of robust passage, which jointly (partially) explain future- and near-bias. We found no evidence in favour of either explanation. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Cognitive science has recently made some startling discoveries about temporal experience, and these discoveries have been drafted into philosophical service. We survey recent appeals to cognitive science in the philosophical debate over whether time objectively passes. Since this research is currently in its infancy, we identify some directions for future research.

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

Skow ([2007]), and much more recently Callender ([2017]), argue that time can be distinguished from space due to the special role it plays in our laws of nature: our laws determine the behaviour of physical systems across time, but not across space. In this work we assess the claim that the laws of nature might provide the basis for distinguishing time from space. We find that there is an obvious reason to be sceptical of the argument Skow submits for distinguishing (...) time from space: Skow fails to pay sufficient attention to the relationship between the dynamical laws and the antecedent conditions required to establish a complete solution from the laws. Callender’s more sophisticated arguments in favour of distinguishing time from space by virtue of the laws of nature presents a much stronger basis to draw the distinction. By developing a radical reading of Callender’s view we propose a novel approach to differentiating time and space that we call temporal perspectivalism. This is the view according to which the difference between time and space is a function of the agentive perspective. (shrink)

Self-interest voting is irrational when it has even a small cost, but it can be rational for those who care about others; its expected utility (EU) may exceed its cost. For cosmopolitan voters (those who care about outsiders), the EU of voting increases with the number of affected others. The EU of voting for the good of the world now and in the future can thus be large. In some cases, the EU of parochial voting (e.g., considering only one's nation) (...) may not cross the cost threshold, but cosmopolitan voting can cross it. I apply these principles to various kinds of voting. And I compare voting to charity. Voting has the advantage of enlisting the coercive power of the state, but charity can be more focused on effective policies. I discuss campaign contributions, and I conclude with a discussion of the existence of utilitarian voters. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Despite their centrality to medicine, drugs are not easily defined. We introduce two desiderata for a basic definition of medical drugs. It should: (a) capture everything considered to be a drug in medical contexts and (b) rule out anything that is not considered to be a drug. After canvassing a range of options, we find that no single definition of drugs can satisfy both desiderata. We conclude with three responses to our exploration of the drug concept: maintain a monistic concept, (...) or choose one of two pluralistic outcomes. Notably, the distinction between drugs and other substances is placed under pressure by the most plausible of the options available. (shrink)

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

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic genealogy (...) as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In the classical Turing test, participants are challenged to tell whether they are interacting with another human being or with a machine. The way the interaction takes place is not direct, but a distant conversation through computer screen messages. Basic forms of interaction are face-to-face and embodied, context-dependent and based on the detection of reciprocal sensorimotor contingencies. Our idea is that interaction detection requires the integration of proprioceptive and interoceptive patterns with sensorimotor patterns, within quite short time lapses, so that (...) they appear as mutually contingent, as reciprocal. In other words, the experience of interaction takes place when sensorimotor patterns are contingent upon one’s own movements, and vice versa. I react to your movement, you react to mine. When I notice both components, I come to experience an interaction. Therefore, we designed a “minimal” Turing test to investigate how much information is required to detect these reciprocal sensorimotor contingencies. Using a new version of the perceptual crossing paradigm, we tested whether participants resorted to interaction detection to tell apart human from machine agents in repeated encounters with these agents. In two studies, we presented participants with movements of a human agent, either online or offline, and movements of a computerized oscillatory agent in three different blocks. In each block, either auditory or audiovisual feedback was provided along each trial. Analysis of participants’ explicit responses and of the implicit information subsumed in the dynamics of their series will reveal evidence that participants use the reciprocal sensorimotor contingencies within short time windows. For a machine to pass this minimal Turing test, it should be able to generate this sort of reciprocal contingencies. (shrink)

A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...) provides a useful framework for developing two existing approaches to the metaphysics of QG, involving functionalism and mereology respectively. (shrink)

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

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would (...) not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

The Triviality Argument against presentism maintains that we should reject presentism because there is no way to define the view that is not either trivially true or obviously false. We suggest that this style of argument over-emphasises purely linguistic means of representing a philosophical thesis. We argue that there is no reason to suppose that all philosophical theses must be linguistically representable, and thus that the failure to linguistically represent presentism is no big deal. It certainly shouldn’t lead us to (...) reject the view. We offer a more general moral for philosophy, and that is to look beyond purely linguistic methods of representing philosophical views and embrace a wider range of representational media. (shrink)

The anglophone philosophy profession has a well-known problem with gender equity. A sig-nificant aspect of the problem is the fact that there are simply so many more male philoso-phers than female philosophers among students and faculty alike. The problem is at its stark-est at the faculty level, where only 22% - 24% of philosophers are female in the United States (Van Camp 2014), the United Kingdom (Beebee & Saul 2011) and Australia (Goddard 2008).<1> While this is a result of the (...) percentage of women declining at each point through-out the standard career trajectory, recent large-scale studies in the United States (Paxton et al. 2012) and Australia (Goddard et al. 2008) have identified a key drop-off point as the transi-tion between taking introductory classes and majoring in philosophy. So why do dispropor-tionately few female students choose to major in philosophy? (shrink)

Pragmatic vindicatory genealogies provide both a cause and a rationale and can thus affect the space of reasons. But how far is the space of reasons affected by this kind of genealogical argument? What normative and evaluative implications do these arguments have? In this paper, I unpack this issue into three different sub-questions and explain what kinds of reasons they provide, for whom are these reasons, and for what. In relation to this final sub-question I argue, most importantly, that these (...) arguments are ambiguous about what they give us reasons for, meaning that they can be interpreted both as justifications for recognizing the normative standing of certain norms, values, and practices - and thus for living by them - and as excuses for those that do so. I illustrate this point by reference to the genealogical vindication of honour cultures, showing how the vindicatory argument can illuminate such case as one of excusing moral ignorance. Drawing on legal theory and moral philosophy, I show that different evaluative and normative implications hang on the result of the interpretation as either justification or excuse, and show that this ambiguity is a virtue rather than a limitation. (shrink)

Surface presentism is the combination of a general relativistic physics with a presentist metaphysics. In this paper, we provide an argument against this combination based on black holes. The problem focuses on the notion of an event horizon. We argue that the present locations of event horizons are ontologically dependent on future black hole regions, and that this dependence is incompatible with presentism. We consider five responses to the problem available to the surface presentist, and argue that none succeed. Surface (...) presentism thus faces the prospect of refutation based on evidence that confirms the existence of black holes. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Kant’s view of human beings is, as much of his philosophy, notoriously based on the dichotomy between the phenomenal and the noumenal world. This dichotomy digs a rift across human nature by separating the animal and the rational parts of it, their heteronomous and autonomous components, their sense of duty and their self-love. Human beings, for Kant, inhabit both worlds. On the one hand, even if we agree with Kant that the fundamental moral norms are constitutive of our rational and (...) autonomous agency and therefore inescapable, it remains unclear whether and how far these norms can motivate finite and heteronomous human beings, normally concerned with their own ends, interests and inclinations. On the other hand, although moral actions may express who we really are as rational beings, they may nonetheless leave us with an unfulfilled but legitimate need to reconcile morality with our own ends as finite, animal beings, inevitably concerned with living our own lives. Sasha Mudd described these phenomena as two forms of alienation: moral alienation (the estrangement of the heteronomous agent, motivated by happiness and inclinations, from a morality perceived as alien, foreign, and hardly motivating) and practical alienation (the estrangement of the autonomous moral agent from her empirical and heteronomous dimension – her projects, desires, aspirations, inclinations, and so on). On Mudd’s account, Kant successfully escape the first kind of alienation through his doctrine of respect. Here I argue, contra Mudd, that there are at least two ways in which Kant leaves moral agents alienated from morality itself. (shrink)

Se la tradizione continentale, da Nietzsche a Foucault, ha sottolineato le implicazioni critiche e destabilizzanti del metodo genealogico, gli approcci analitici hanno dimostrato che esso può anche offrire sostegno ai propri oggetti di indagine: norme comportamentali, pratiche, concetti e così via. Un resoconto genealogico, per esempio, può avere un carattere giustificativo quando individua una relazione funzionale necessaria tra il concetto o la pratica in esame e bisogni umani abbastanza fondamentali. La questione che voglio affrontare riguarda le presunte capacità giustificative di (...) questo tipo di spiegazioni genealogiche. In che misura modificano davvero lo spazio delle ragioni? Sostengo che la loro portata normativa e valutativa è variabile e che l'esame di alcuni casi limite aiuta a dimostrarlo. Più specificamente, ritengo che in alcuni casi le ragioni offerte attraverso queste spiegazioni siano ragioni non tanto per giustificare l'uso di certi concetti o pratiche, quanto per giustificare coloro che li vivono. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

Current debate in the metaphysics of time ordinarily assumes that we should be realists about time. Recently, however, a number of physicists and philosophers of physics have proposed that time will play no role in a completed theory of quantum gravity. This paper defends fictionalism about temporal thought, on the supposition that our world is timeless. We argue that, in the face of timeless physical theories, realism about temporal thought is unsustainable: some kind of anti-realism must be adopted. We go (...) on to provide an argument against eliminativism about temporal thought. While it doesn't follow from this argument that fictionalism about temporal thought is true, we suggest that this nonetheless shows that fictionalism should be regarded as the preferred view. (shrink)