It is exceedingly frequent for people to speak of the ‘passing of time’. We do not, on the other hand, speak of the ‘passing of space’. There do not seem to be any common locutions concerning spatial passage analogous to those of time’s assumed passage. Further, there is a long held belief in the philosophy of time that there is no spatial analogue of the passage of time. This opinion does not take into account circumstances that cannot be noticed in (...) day-to-day existence and which indicate that there is such a spatial analogue. (shrink)

Letter to the Editors in response to Alasdair Richmond's 'Time Travelers'.

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)

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)

An important theme running through D.H. Mellor’s work is his realism, or as I shall call it, his objectivism: the idea that reality as such is how it is, regardless of the way we represent it, and that philosophical error often arises from confusing aspects of our subjective representation of the world with aspects of the world itself. Thus central to Mellor’s work on time has been the claim that the temporal A-series (previously called ‘tense’) is unreal while the B-series (...) (the series of ‘dates’) is real. The A-series is something which is a product of our representation of the world, but not a feature of reality itself. And in other, less central, areas of his work, this kind of theme has been repeated: ‘Objective decision making’ (1980) argues that the right way to understand decision theory is as a theory of what is the objectively correct decision, the one that will actually as a matter of fact achieve your intended goal, rather than the one that is justified purely in terms of what you believe, regardless of whether the belief is true or false. ‘I and now’ (1989) argues against a substantial subjective conception of the self, using analogies between subjective and objective ways of thinking about time and subjective and objective ways of thinking about the self. And in the paper which shall be the focus of my attention here, ‘Nothing like experience’ (1992), Mellor contests arguments which try and derive anti-physicalist conclusions from reflections on the subjective character of experience. A common injunction is detectable: when doing metaphysics, keep the subjective where it belongs: inside the subject’s representation of the world. (shrink)

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)

The sensitivity condition on knowledge says that one knows that P only if one would not believe that P if P were false. Difficulties for this condition are now well documented. Keith DeRose has recently suggested a revised sensitivity condition that is designed to avoid some of these difficulties. We argue, however, that there are decisive objections to DeRose’s revised condition. Yet rather than simply abandoning his proposed condition, we uncover a rationale for its adoption, a rationale which suggests a (...) further revision that avoids our objections as well as others. The payoff is considerable: along the way to our revision, we learn lessons about the epistemic significance of certain explanatory relations, about how we ought to envisage epistemic closure principles, and about the epistemic significance of methods of belief formation. (shrink)

Christiaens argues that digital technologies are fundamentally undermining workers’ autonomy by enacting systems of surveillance that lead to exploitation, alienation, and exhaustion. For a more sustainable future of work, digital technologies should support human development instead of subordinating it to algorithmic control.

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)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Phenomenalist interpretations of Kant are out of fashion. The most common complaint from anti-phenomenalist critics is that a phenomenalist reading of Kant would collapse Kantian idealism into Berkeleyan idealism. This would be unacceptable because Berkeleyan idealism is incompatible with core elements of Kant’s empirical realism. In this paper, I argue that not all phenomenalist readings threaten empirical realism. First, I distinguish several variants of phenomenalism, and then show that Berkeley’s idealism is characterized by his commitment to most of them. I (...) then make the case that two forms of phenomenalism are consistent with Kant’s empirical realism. The comparison between Kant and Berkeley runs throughout the paper, with special emphasis on the significance of their theories of intentionality. (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)

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)

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)

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)

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)

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...

The attention economy — the market where consumers’ attention is exchanged for goods and services — poses a variety of threats to individuals’ autonomy, which, at minimum, involves the ability to set and pursue ends for oneself. It has been argued that the threat wireless mobile devices pose to autonomy gives rise to a duty to oneself to be a digital minimalist, one whose interactions with digital technologies are intentional such that they do not conflict with their ends. In this (...) paper, we argue that there is a corresponding duty to others to be an attention ecologist, one who promotes digital minimalism in others. Although the moral reasons for being an attention ecologist are similar to those that motivate the duty to oneself, the arguments diverge in important ways. We explore the application of this duty in various domains where we have special obligations to promote autonomy in virtue of the different roles we play in the lives of others, such as parents and teachers. We also discuss the consequences of our arguments for employers, software developers, and policy makers. (shrink)

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)

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)

According to “intentionalist” interpretations of Kant’s transcendental idealism, Kant’s empirical objects are to be understood as mere intentional objects. This interpretation requires a corresponding account of intentionality and intentional objects. This paper defends an account of how the intentionalist should understand the intentional structures at work in the sensory consciousness of physical bodies. First a relational conception of intentionality (articulated in terms of an object’s presence to consciousness) is distinguished from a non-relational conception (articulated in terms of representational content). I (...) argue that the intentionalist’s claim that Kant’s empirical objects are mere intentional objects is primarily a claim about non-relational intentionality. I then ask whether the intentionalist should also recognize a role for relational intentionality as well. After rejecting two possible answers (that there is no relational intentionality, or that there are intentional relations to things in themselves), I argue that sensory consciousness involves having spatially arrayed collections of sensations presented to consciousness in intuition, and then conceptualizing these sensation-arrays as physical objects. The obvious worry about such a phenomenalist interpretation has to do with the consistency of this interpretation with Kant’s empirical realism; these concerns are addressed in detail in the final section. (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)

Friedrich Hayek’s defense of neoliberal free market capitalism hinges on the distinction between economies and catallaxies. The former are orders instituted via planning, whereas the latter are spontaneous competitive orders resulting from human action without human design. I argue that this distinction is based on an incomplete semantic history of “economy.” By looking at the meaning of “oikonomia” in medieval providential theology as explained by Giorgio Agamben and Joseph Vogl, I argue how Hayek’s science of catallactics is itself a secularization (...) of providential theology. This exposes Hayek to three criticisms: he unjustifiably neglects the possibility of tendencies toward spontaneous disorder in free markets, he condemns the “losers” of neoliberal competition to being providential waste on the road to general prosperity, and he imposes on people the duty to consent to a neoliberal order that hinders them from cultivating their inoperativity. (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 “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)

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)

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)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

It is not uncommon in time travel stories to find that the mechanism by which the time travel is achieved is not invented. A time traveller could journey to his/her own past and give the designs of the time travel machine to his/her earlier self as s/he was given the designs as a younger person. These designs never get thought up by anyone. Such a situation would conflict with the usual conception of the acquisition of knowledge. This situation is called (...) the Temporal Epistemic Anomaly and would arise if knowledge is gained at a time prior to the information in question being transmitted but is not discovered or invented at any time. This article examines the implications of information propagating around a causal chain that is closed in time (which is required to create the Anomaly) and whether this information need have a specific origin point. (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)

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)

Many philosophers want to say both that everything is determined by the physical and subject to physical laws and principles, and that certain mental entities cannot be identified with any physical entities. The problem of mental causation is to make these two assumptions compatible with the causal efficacy of the mental. The concern is that this physicalist picture of the world leaves no space for the causal efficacy of anything non-physical. The physical, as it is sometimes said, excludes anything non- (...) physical from doing causal work. (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)

Cognitive neuroscientists frequently talk about the brain representing the world. Some philosophers claim that this is a confusion. This paper argues that there is no confusion, and outlines one thing that might mean, using the notion of a model derived from the philosophy of science. This description is then extended to make apply to propositional attitude attributions. A number of problems about propositional attitude attributions can be solved or dissolved by treating propositional attitudes as models.

‘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)

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.

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)

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)

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)

The term ‘psychologism’ is normally used for the doctrine that logical and mathematical truths must be explained in terms of psychological truths (see Kusch 1995 and 2011). As such, the term is typically pejorative: the widespread consensus is that psychologism in this sense is a paradigm of philosophical error, a gross mistake that was identified and conclusively refuted by Frege and Husserl.

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)

In the beginning of the 1970s, Michel Foucault dismisses the terminology of ‘exclusion’ for his projected analytics of modern power. This rejection has had major repercussions on the theory of neoliberal subject-formation. Many researchers disproportionately stress how neoliberal dispositifs produce entrepreneurial subjects, albeit in different ways, while minimizing how these dispositifs sometimes emphatically refuse to produce neoliberal subjects. Relying on Saskia Sassen’s work on financialization, I argue that neoliberal dispositifs not only apply entrepreneurial norms, but also suspend their application for (...) groups that threaten to harm the population’s profitability. Neoliberal dispositifs not only produce entrepreneurial subjects, but also surplus populations that are expelled from the overall population to maintain its productivity. Here, the concept of ‘exclusion’ is appropriate if understood in Agamben’s sense of an inclusive exclusion. The surplus population is part of neoliberal dispositifs, but only as the element to be abandoned. (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)

This paper defends an interpretation of the representational function of sensation in Kant's theory of empirical cognition. Against those who argue that sensations are ?subjective representations? and hence can only represent the sensory state of the subject, I argue that Kant appeals to different notions of subjectivity, and that the subjectivity of sensations is consistent with sensations representing external, spatial objects. Against those who claim that sensations cannot be representational at all, because sensations are not cognitively sophisticated enough to possess (...) intentionality, I argue that Kant does not use the term ?Vorstellung? to refer to intentional mental states exclusively. Sensations do not possess their own intentionality, but they nevertheless perform a representational function in virtue of their role as the matter of empirical intuition. In empirical intuition, the sensory qualities given in sensation are combined with the representation of space to constitute the intuited appearance. The representational function of sensation consists in sensation being the medium out of which intuited appearances are constituted: the qualities of sensations stand in for what the understanding will judge (conceptualize) as material substance. (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)

The ability to focus on relevant information is central to human cognition. It is therefore hardly unsurprising that the notion of relevance appears across a range of different dis- ciplines. As well as its central role in relevance-theoretic pragmatics, for example, rele- vance is also a core concept in the affective sciences, where there is consensus that for a particular object or event to elicit an emotional state, that object or event needs to be relevant to the person in whom (...) that state is elicited. Despite this, although some affective scientists have carefully considered what emotional relevance might mean, surprisingly little research has been dedicated to providing a definition. Since, by contrast, the relevance-theoretic notion of relevance is carefully defined, our primary aim is to compare relevance as it exists in affective science and in relevance theory, A further aim is to redress what we perceive to be an imbalance: Affective scientists have made great strides in understanding the processes of emotion elicitation/responses etc., but despite the fact that among humans the communication of information about emotional states is ubiquitous, pragmatists have tended to ignore it. We conclude, therefore, that affective science and relevance theory have much to learn from each other. (shrink)