In recent years, a disagreement has erupted between two camps of philosophers about the rationality of bias toward the near and bias toward the future. According to the traditional hybrid view, near bias is rationally impermissible, while future bias is either rationally permissible or obligatory. Time neutralists, meanwhile, argue that the hybrid view is untenable. They claim that those who reject near bias should reject both biases and embrace time neutrality. To date, experimental work has focused on future-directed near bias. (...) The primary aim of this paper is to shed light on the debate by investigating past-directed near bias. If people treat the past and future differently with respect to near bias, by being future-directed but not past-directed near biased, then this supports a particular version of the hybrid view: temporal metaphysic hybridism. If people treat the past and future the same with respect to near bias, then this supports a simple version of time neutralism, which explains both future bias and near bias in terms of the functioning of a single mechanism: the anticipatory/retrospectory mechanism. Our results undermine the claim that people are future-directed, but not past-directed, near biased, and hence do not support temporal metaphysic hybridism. They also fail to support simple time-neutralism; instead, they suggest that there are multiple mechanisms that differently shape future- and past-directed preferences. (shrink)

Temporal non-dynamists hold that there is no temporal passage, but concede that many of us judge that it seems as though time passes. Phenomenal Illusionists suppose that things do seem this way, even though things are not this way. They attempt to explain how it is that we are subject to a pervasive phenomenal illusion. More recently, Cognitive Error Theorists have argued that our experiences do not seem that way; rather, we are subject to an error that leads us mistakenly (...) to believe that our experiences seem that way. Cognitive Error Theory is a relatively new view and little has been said to explain why we make such an error, or where, in the cognitive architecture, such an error might creep in. In this paper we remedy this by offering a number of hypotheses about the source of error. In so doing we aim to show that Cognitive Error Theory is a plausible competitor to Phenomenal Illusion Theory. (shrink)

We argue that S is in a position to know that p iff S can know that p. Thus, what makes position-to-know-ascriptions true is just a special case of what makes ability-ascriptions true: compossibility. The novelty of our compossibility theory of epistemic modality lies in its subsuming epistemic modality under agentive modality, the modality characterizing what agents can do.

P.F. Strawson argued that ‘mature sensible experience (in general) presents itself as … an immediate consciousness of the existence of things outside us’ (1979: 97). He began his defence of this very natural idea by asking how someone might typically give a description of their current visual experience, and offered this example of such a description: ‘I see the red light of the setting sun filtering through the black and thickly clustered branches of the elms; I see the dappled deer (...) grazing in groups on the vivid green grass…’ (1979: 97). In other words, in describing experience, we tend to describe the objects of experience – the things which we experience – and the ways they are when we are experiencing them. Some go further. According to Heidegger. (shrink)

Pettit endorses a ‘republican’ conception of social freedom of the person as consisting of a state of non-domination, and takes this to refute Mill’s ‘liberal’ claim that non-domineering but coercive interference can compromise social freedom of choice. This paper argues that Pettit’s interpretation is true to the extent that Mill believes that the legitimate, non-arbitrary and just coercion of would-be dominators, for the sake of preventing them from dominating others, can render them unfree to choose to do so without rendering (...) them socially unfree (qua dominated) persons in their own right. However, contra Pettit, Mill is correct to reject the ‘republican’ view for at least two reasons. Firstly, it enables him to avoid commitment to the implausible implication that would-be dominators who sincerely deny any interest in a shared system of basic liberties are automatically rendered unfree persons by the coercion necessary to uphold such a system. Secondly, it enables him to avoid begging the question against ‘immoralists’ like Nietzsche, whose opposition to systems of reciprocal non-domination is at least partly motivated by the losses of social freedom of choice they entail for those they deem to be worthy of dominating others. (shrink)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Gruber and Smith (2019) have conducted some interesting virtual reality (VR) experiments, but we think that these experiments fail to illuminate why people think that the present is special. Their experiments attempted to test a suggestion by Hartle (2005) that with VR one might construct scenarios in which people experience the same present twice. If that’s possible, then it could give us a reason to think that when we experience the present as being special, that’s not because it’s objectively so. (...) Instead, our experience of the present being special is a feature of having a psychology like ours. While we are sympathetic to the thought that there is no objective present, we do not think that these experiments give us a reason to think this. That said, VR experiments, such as Gruber and Smith’s, hold much promise for being able to illuminate various aspects of our temporal psychology.According to Hartle’s (2005) IGUS model (which is meant to resemble entities like us) sensory information is routed to two kinds of processes: conscious processes C, which cause behavior, and unconscious processes, U, which construct a schematic representation of the environment. Hartle proposed that we experience the present as being special because of the sensory information at a time entering into C. For Gruber et al. (2020), the succession of sensory information entering into C underpins our experience of time passing. Our experience of time passing is illusory because it fails to be verid... (shrink)

Hoerl & McCormack posit two systems – the temporal updating system and the temporal reasoning system – and suggest that they explain an inherent contradiction in people's naïve theory of time. We suggest there is no contradiction. Something does, however, require explanation: the tension between certain sophisticated beliefs about time, and certain phenomenological states or beliefs about those phenomenological states. The temporal updating mechanism posited by H&M may contribute to this tension.

It is widely agreed that perceptual experience is a form of intentionality, i.e., that it has representational content. Many philosophers take this to mean that like belief, experience has propositional content, that it can be true or false. I accept that perceptual experience has intentionality; but I dispute the claim that it has propositional content. This claim does not follow from the fact that experience is intentional, nor does it follow from the fact that experiences are accurate or inaccurate. I (...) end by considering the relationship between this question and the question of whether experience has non-conceptual content. (shrink)

The phenomenal character of perceptual experience involves the representation of colour, shape and motion. Does it also involve the representation of high-level categories? Is the recognition of a tomato as a tomato contained within perceptual phenomenality? Proponents of a conservative view of the reach of phenomenal content say ’No’, whereas those who take a liberal view of perceptual phenomenality say ’Yes’. I clarify the debate between conservatives and liberals, and argue in favour of the liberal view that high-level content can (...) directly inform the phenomenal character of perception. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

The metaphysical “Law of Continuity of Alterations” says that whenever an object alters from one state to another, it passes through a continuum of intermediate states. Kant treated LCA as a transcendental law of understanding. The primary purpose of the paper is to reconstruct and evaluate Kant’s three arguments for LCA. All three are found to be inadequate. However, a secondary goal of the paper is to show that LCA would have more naturally been construed as a regulative principle of (...) reason. I conclude with some remarks about how this could work. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

Elements of Mind (EM) has two themes, one major and one minor. The major theme is intentionality, the mind’s direction upon its objects; the other is the mind–body problem. I treat these themes separately: chapters 1, and 3–5 are concerned with intentionality, while chapter 2 is about the mind–body problem. In this summary I will first describe my view of the mind–body problem, and then describe the book’s main theme. Like many philosophers, I see the mind–body problem as containing two (...) sub–problems: the problem of mental causation and the problem of consciousness. I see these problems forming the two horns of a dilemma. Just as the problem of mental causation pushes us towards physicalism, so the problem of consciousness pushes us away from it. Each problem reveals the inadequacy of the solution to the other. Essentially the problem of mental causation is the conflict between (i) the apparent fact that mental states and events have effects in the physical world and (ii) a general principle about the causal nature of the physical world, which is sometimes called the ‘causal closure’ or the ‘causal completeness’ of the physical world. This principle says that all physical effects have physical causes which are enough to bring them about. The problem then is simple: how can a mental cause have a physical effect if that effect also has a physical cause which is enough to bring it about? Barring massive overdetermination of our actions by independent causes, it seems that the best answer is to identify the mental and the physical causes. And this is traditionally how physicalists have argued for their identity theory of mind and body. However, many physicalists reject the identity theory, and therefore they have to solve the mental causation problem in some other way. At present, there is no consensus among physicalists on which of the currently proposed solutions is correct. In chapter 2 of EM I propose an alternative, which I call ‘emergentism’. Inspired by the rejection of the identity theory, Emergentism is the idea that mental properties are genu.. (shrink)

When are you in a position to rely on p in practical reasoning? Existing accounts say that you must know that p, or be in a position to know that p, or be justified in believing that p, or be in a position to justifiably believe it, and so on. This paper argues that all of these proposals face important problems, which I call the Problems of Negative Bootstrapping and of Level Confusions. I offer a diagnosis of these problems, and (...) I argue that an adequate epistemic norm must be transparent in the following sense: According to the correct epistemic norm, a consideration counts in favor of (or against) relying on p in practical reasoning iff, and to the extent that, this consideration also counts in favor of (or against) p being true. I introduce a candidate epistemic norm that satisfies this condition. According to this norm, one should rely on p in practical reasoning only if it must be that p. If we adopt a non-factualist account of “must”, this amounts to a novel and attractive proposal, a proposal that satisfies the transparency condition. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Many philosophers are impressed by the progress achieved by physical sciences. This has had an especially deep effect on their ontological views: it has made many of them physicalists. Physicalists believe that everything is physical: more precisely, that all entities, properties, relations, and facts are those which are studied by physics or other physical sciences. They may not all agree with the spirit of Rutherford's quoted remark that 'there is physics; and there is stamp-collecting',' but they all grant physical science (...) a unique ontological authority: the authority to tell us what there is. Physicalism is now almost orthodox in much philosophy, notably in much recent philosophy of mind. But although often invoked, it is rarely explicitly defined. It should be. The claim that everything is physical is not as clear as it seems. In this paper, we examine a number of proposed definitions of physicalism and reasons for being a physicalist. We will argue both that physicalism lacks a clear and credible definition, and that in no non-vacuous interpretation is it true. We are concerned here only with physicalism as a doctrine about the empirical world. In particular, it should not be confused with nominalism, the doctrine that there are no universals.2 Nominalism and physicalism are quite independent doctrines. Believers in universals may as consistently assert as deny that the only properties and relations are those studied by physical science. And nominalists may with equal consistency assert or deny that physical science could provide enough predicates to describe the world. That is the question which concerns physicalists, not whether physical predicates name real universals. (We will for brevity write as if they do, but we do not need that assumption.). (shrink)

Some have claimed that people with very different beliefs literally see the world differently. Thus Thomas Kuhn: ‘what a man sees depends both upon what he looks at and also upon what his previous visual—conceptual experience has taught him to see’ (Kuhn 1970, p. ll3). This view — call it ‘Perceptual Relativism’ — entails that a scientist and a child may look at a cathode ray tube and, in a sense, the first will see it while the second won’t. The (...) claim is not, of course, that the child’s experience is ‘empty’; but that, unlike the scientist, it does not see the tube as a cathode ray tube. One way of supporting this claim is to say that one cannot see something as an F unless one has the concept F. Since the child plainly lacks the concept of a cathode ray tube, it cannot see it as a cathode ray tube. Although Perceptual Relativism is hard to believe, this supporting suggestion is not so implausible. After all, when we see (and more generally, perceive) the world, the world is presented to us in a particular way; so how can we see it as being that way unless we have some idea or conception of the way it is presented? We need not be committed to a representative theory of perception to think that perceptions in some sense represent the world. We can express this by saying that perceptions have content. Now it is a commonplace that the contents of beliefs and the other propositional attitudes involve concepts. The belief that this thing is a cathode ray tube involves, in some sense, the concept cathode ray tube. So the line of thought behind Perceptual Relativism may be expressed thus: seeing an F as an F is a state with content. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

According to conventional wisdom, the split-brain syndrome puts paid to the thesis that consciousness is necessarily unified. The aim of this paper is to challenge that view. I argue both that disunity models of the split-brain are highly problematic, and that there is much to recommend a model of the split-brain—the switch model—according to which split-brain patients retain a fully unified consciousness at all times. Although the task of examining the unity of consciousness through the lens of the split-brain syndrome (...) is not a new one—such projects date back to Nagel’s seminal paper on the topic—the time is ripe for a re-evaluation of the issues. (shrink)

What is the distinctively philosophical problem of perception? Here it is argued that it is the conflict between the nature of perceptual experience as it intuitively seems to us, and certain possibilities which are implicit in the very idea of experience: possibilities of illusion and to the world' which involves direct awareness of existing objects and their properties. But if one can have an experience of the same kind without the object being there -- a hallucination of an object -- (...) then it seems that perceptual experience cannot essentially be such a relation. This is the fundamentally philosophical problem of perception; the various philosophical theories of perception in the 20th and 21st centuries can be seen as responses to it. (shrink)

A widespread intuition is that words, musical works, and flags are intentionally produced and that they’re abstract types that can have incorrect tokens. But some philosophers, notably Julian Dodd and Nicholas Wolterstorff, think intention-dependence isn’t necessary; tokens just need to have certain relevant intrinsic features to be tokens of a given type. I show how there’s an unappreciated puzzle that arises from these two views: if tokens aren’t intention-dependent and types can admit of correct and incorrect tokens, then some driftwood (...) that washes up and forms what seems like the word ‘cat’ may simultaneously be a misspelling of ‘act’ and innumerable other misspelt words. I consider various ways Dodd and Wolterstorff can respond to this counterintuitive result and argue that biting the bullet, as well as nearby views, are implausible. Thus, they need to give up one of the two commitments, and I argue that requiring the intention-dependence of tokens, rather than the mere possession of certain intrinsic properties, is the best option. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

‘It is of the very nature of consciousness to be intentional’ said Jean-Paul Sartre, ‘and a consciousness that ceases to be a consciousness of something would ipso facto cease to exist’.1 Sartre here endorses the central doctrine of Husserl’s phenomenology, itself inspired by a famous idea of Brentano’s: that intentionality, the mind’s ‘direction upon its objects’, is what is distinctive of mental phenomena. Brentano’s originality does not lie in pointing out the existence of intentionality, or in inventing the terminology, which (...) derives from scholastic discussions of concepts or intentiones.2 Rather, his originality consists in his claim that the concept of intentionality marks out the subject matter of psychology: the mental. His view was that intentionality ‘is characteristic exclusively of mental phenomena. No physical phenomenon manifests anything like it’.3 This is Brentano’s thesis that intentionality is the mark of the mental. Despite the centrality of the concept of intentionality in contemporary philosophy of mind, and despite the customary homage paid to Brentano as the one who revived the terminology and placed the concept at the centre of philosophy, Brentano’s thesis is widely rejected by contemporary philosophers of mind. What is more, its rejection is not something which is thought to require substantial philosophical argument. Rather, the falsity of the thesis is taken as a starting-point in many contemporary discussions of intentionality, something so obvious that it only needs to be stated to be recognised as true. Consider, for instance, these remarks from the opening pages of Searle’s Intentionality: Some, not all, mental states and events have Intentionality. Beliefs, fears, hopes and desires are Intentional; but there are forms of nervousness, elation and undirected anxiety that are not Intentional.... My beliefs and desires must always be about something. But my nervousness and undirected anxiety need not in that way be about anything.4 Searle takes this as obvious, so obvious that it is not in need of further argument or elucidation. (shrink)

Much recent discussion has focused on the nature of artifacts, particularly on whether artifacts have essences. While the general consensus is that artifacts are at least intention-dependent, an equally common view is function essentialism about artifacts, the view that artifacts are essentially functional objects and that membership in an artifact kind is determined by a particular, shared function. This paper argues that function essentialism about artifacts is false. First, the two component conditions of function essentialism are given a clear and (...) precise formulation, after which counterexamples are offered to each. Second, ways to handle the counterexamples suggested by Randall Dipert and Simon Evnine are considered and rejected. Third, I then consider the prospects for restricting function essentialism to so-called technical artifacts, as Lynne Baker does, and argue that this, too, fails. This paper thereby consolidates the scattered literature on function essentialism and shows that, despite the seeming plausibility of the thesis, it should be rejected as an account of artifact essences. (shrink)

I defend the intention-dependence of artifacts, which says that something is an artifact of kind K only if it is the successful product of an intention to make an artifact of kind K. I consider objections from two directions. First, that artifacts are often mind- and intention-dependent, but that this isn’t necessary, as shown by swamp cases. I offer various error theories for why someone would have artifact intuitions in such cases. Second, that while artifacts are necessarily mind-dependent, they aren’t (...) necessarily intention-dependent. I consider and reject three kinds of cases which purport to show this: accidental creation, automated production, and mass production. I argue that intentions are present in all of these cases, but not where we would normally expect. (shrink)

The phenomenology of agency has, until recently, been rather neglected, overlooked by both philosophers of action and philosophers of consciousness alike. Thankfully, all that has changed, and of late there has been an explosion of interest in what it is like to be an agent. 1 This burgeoning field crosses the traditional boundaries between disciplines: philosophers of psychopathology are speculating about the role that unusual experiences of agency might play in accounting for disorders of thought and action; cognitive scientists are (...) developing models of how the phenomenology of agency is generated; and philosophers of mind are drawing connections between the phenomenology of agency and the nature of introspection, phenomenal character, and agency itself. My aim in this paper is not to provide an exhaustive survey of this recent literature, but to provide a.. (shrink)

Newcomers to the philosophy of mind are sometimes resistant to the idea that pain is a mental state. If asked to defend their view, they might say something like this: pain is a physical state, it is a state of the body. A pain in one’s leg feels to be in the leg, not ‘in the mind’. After all, sometimes people distinguish pain which is ‘all in the mind’ from a genuine pain, sometimes because the second is ‘physical’ while the (...) first is not. And we also occasionally distinguish mental pain (which is normally understood as some kind of emotional distress) from the ‘physical pain’ one feels in one’s body. So what can be meant by saying that pain is a mental state? Of course, it only takes a little reflection shows that this naive view is mistaken. Pain is a state of consciousness, or an event in consciousness, and whether or not all states of mind are conscious, it is indisputable that only minds, or states of mind, are conscious.2 But does the naive view tell us anything about the concept of pain, or the concept of mind? I think it does. In this paper, I shall give reasons for thinking that consciousness is a form of intentionality, the mind’s ‘direction upon its objects’. I shall claim that the consciousness involved in bodily sensations like pain is constituted by the mind’s direction upon the part or region of the body where the sensation feels to be. Given this, it is less surprising that the naive view of pain says what it does: the apparent ‘physicality’ of pain is a consequence of confusing the object of the intentional state—the part of the body in which the pain is felt—with the state of being in pain. (shrink)

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

The central and defining characteristic of thoughts is that they have objects. The object of a thought is what the thought concerns, or what it is about. Since there cannot be thoughts which are not about anything, or which do not concern anything, there cannot be thoughts without objects. Mental states or events or processes which have objects in this sense are traditionally called ‘intentional,’ and ‘intentionality’ is for this reason the general term for this defining characteristic of thought. Under (...) the heading of ‘thought’ we can include many different kinds of mental apprehension of an object—including relatively temporary episodes of contemplating or scrutinising, as well as persisting states like beliefs and hopes which are not similarly episodic in character. These are all ways of thinking about an object. But even construing ‘thought’ in this broad way, it is clear that not all mental states and events are thoughts: sensations, emotions and perceptual experiences are not thoughts, but they are also paradigmatically mental. Do these mental states and events have objects too? Or are there mental states and events which have no objects? (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (shrink)

Explanation does not exist in a metaphysical vacuum. Conceptions of the structure of a phenomenon play an important role in guiding attempts to explain it, and erroneous conceptions of a phenomenon may direct investigation in misleading directions. I believe that there is a case to be made for thinking that much work on the neural underpinnings of consciousness—what is often called the neural correlates of consciousness—is driven by an erroneous conception of the structure of consciousness. The aim of this paper (...) is lay bare some connections between the explanation of consciousness and the structure of consciousness, and to argue for a conception of the structure of consciousness that is more adequate than that which currently drives much research into the neural correlates of consciousness. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

The celebrated "Twin Earth" arguments of Hilary Putnam (1975) and Tyler Burge (1979) aim to establish that some intentional states logically depend on facts external to the subjects of those states. Ascriptions of states of these kinds to a thinker entail that the thinker's environment is a certain way. It is not possible that the thinker could be in those very intentional states unless the environment is that way...

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

We call our thoughts conscious, and we also say the same of our bodily sensations, perceptions and other sensory experiences. But thoughts and sensory experiences are very different phenomena, both from the point of view of their subject and in their functional or cognitive role. Does this mean, then, that there are very different kinds or varieties of consciousness? Philosophers do often talk about different kinds of consciousness: Christopher Hill, for example, claims that ‘it is customary to distinguish five forms (...) of consciousness’ (Hill 2009: 1). These are: agent consciousness, propositional consciousness, introspective consciousness, relational consciousness and phenomenal consciousness; to which Hill adds experiential consciousness, making six in total. (shrink)

Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...) strategies succeed. The article then discusses and discharges some remaining grounds for resistance to these skeptical conclusions, as well as the possibility of defending a weaker version of a normative lottery principle. The conclusion is that we have no reason to believe that where equal claims conflict, we are morally required to hold a lottery, as opposed to simply picking one of the parties on more subjective grounds or out of pure whim. In addition to the practical consequences of this skeptical view, the article sketches some theoretical implications for debates about saving the greater number and about axiomatic utilitarianism. (shrink)

Many philosophers are impressed by the progress achieved by physical sciences. This has had an especially deep effect on their ontological views: it has made many of them physicalists. Physicalists believe that everything is physical: more precisely, that all entities, properties, relations and facts are those which are studied by physics or other physical sciences...

There are empirical grounds to doubt the effectiveness of a common and intuitive approach to teaching debiasing strategies in critical thinking courses. We summarize some of the grounds before suggesting a broader taxonomy of debiasing strategies. This four-level taxonomy enables a useful diagnosis of biasing factors and situations, and illuminates more strategies for more effective bias mitigation located in the shaping of situational factors and reasoning infrastructure—sometimes called “nudges” in the literature. The question, we contend, then becomes how best to (...) teach the construction and use of such infrastructures. (shrink)

If you stare for a period of time at a scene which contains movement in one direction, and then turn your attention to an object in a scene which contains no movement, this object will appear to move in the opposite direction to that of the original movement. The effect can be easily achieved by attaching a piece of paper with a spiral drawn on it to the spinning turntable of a record player, and then turning the turntable off while (...) continuing to look at the spiral (see Frisby 1979, pp. 100-101 for a detailed descrip- tion of how to bring this about). But the illusion of movement can also occur when looking at a waterfall, for instance, and turning one's attention away from the waterfall to a stationary object such as a stone; hence its name - the 'Waterfall Illusion'. (shrink)

This paper is about a puzzle which lies at the heart of contemporary physicalist theories of mind. On the one hand, the original motivation for physicalism was the need to explain the place of mental causation in the physical world. On the other hand, physicalists have recently come to see the explanation of mental causation as one of their major problems. But how can this be? How can it be that physicalist theories still have a problem explaining something which their (...) physicalism was intended to explain in the first place? If physicalism is meant to be an explanation of mental causation, then why should it still face the problem of mental causation? (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

I can agree with much of what D.H. Mellor says in his response to my paper ('Crane's Waterfall Illusion'). I can agree that perception in some sense 'aims' at truth, that its function 'is to tell us how the world truly is'...

In The Mind and the World Order, C.I. Lewis made a famous distinction between the immediate data ‘which are presented or given to the mind’ and the ‘construction or interpretation’ which the mind brings to those data (1929: 52). What the mind receives is the datum – literally, the given – and the interpretation is what happens when we being it ‘under some category or other, select from it, emphasise aspects of it, and relate it in particular and unavoidable ways’ (...) (1929: 52). So although any attempt to describe the given will inevitably be an interpretation of it, this should not give us reason to deny its existence: ‘no-one but a philosopher could for a moment deny this immediate presence in consciousness of that which no activity of thought can create or alter’ (1929: 53). Whatever those outside philosophy might think, Lewis was certainly right about what philosophers were prepared to deny. His conception of the ‘given’ is without question one of the targets of Wilfrid Sellars’s influential critique of the notion of the ‘whole framework of givenness’ (1957).1 One of the things Sellars was attacking was the idea that something that was merely given by the senses could put one in a position to be justified in making a judgement about the empirical world. The.. (shrink)

By definition, pain is a sensory and emotional experience that is felt in a particular part of the body. The precise relationship between somatic events at the site where pain is experienced, and central processing giving rise to the mental experience of pain remains the subject of debate, but there is little disagreement in scholarly circles that both aspects of pain are critical to its experience. Recent experimental work, however, suggests a public view that is at odds with this conceptualisation. (...) By demonstrating that the public does not necessarily endorse central tenets of the “mental” view of pain (subjectivity, privacy, and incorrigibility), experimental philosophers have argued that the public holds a more “body-centric” view than most clinicians and scholars. Such a discrepancy would have important implications for how the public interacts with pain science and clinical care. In response, we tested the hypothesis that the public is capable of a more “mind-centric” view of pain. Using a series of vignettes, we demonstrate that in situations which highlight mental aspects of pain the public can, and does, recognize pain as a mental phenomenon. We also demonstrate that the public view is subject to context effects, by showing that the public’s view is modified when situations emphasizing mental and somatic aspects of pain are presented together. (shrink)

This paper is an attempt to understand the content of, and motivation for, a popular form of physicalism, which I call ‘non-reductive physicalism’. Non-reductive physicalism claims although the mind is physical (in some sense), mental properties are nonetheless not identical to (or reducible to) physical properties. This suggests that mental properties are, in earlier terminology, ‘emergent properties’ of physical entities. Yet many non-reductive physicalists have denied this. In what follows, I examine their denial, and I argue that on a plausible (...) understanding of what ‘emergent’ means, the denial is indefensible: non-reductive physicalism is committed to mental properties being emergent properties. It follows that the problems for emergentism—especially the problems of mental causation—are also problems for non-reductive physicalism, and they are problems for the same reason. (shrink)

This paper presents a puzzle or antinomy about the role of properties in causation. In theories of properties, a distinction is often made between determinable properties, like red, and their determinates, like scarlet (see Armstrong 1978, volume II). Sometimes determinable properties are cited in causal explanations, as when we say that someone stopped at the traffic light because it was red. If we accept that properties can be among the relata of causation, then it can be argued that there are (...) good reasons for allowing that some of these are determinable properties. On the other hand, there are strong arguments in the metaphysics of properties to treat properties as sparse in David Lewis’s (1983) sense. But then it seems that we only need to believe in the most determinate properties: particular shades of colour, specific masses, lengths and so on. And if we also agree with Lewis that sparse properties are ‘the ones relevant to causal powers’ (1983: 13) it seems we must conclude that if properties are relevant to causation at all, then all of these are determinate properties. I call this ‘the antinomy of determinable causation’. On the one hand, we have a good argument for the claim that determinable properties can be causes, if any properties are. I call this the Thesis. But on the other hand, we have a good argument for the claim that only the most determinate properties can be causes, if any properties are. I call this the Antithesis. Clearly, we need to reject either the Thesis or the.. (shrink)