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)

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)

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)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (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.

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)

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.

According to Streeck and Vogl, the neoliberalization of the state has been the result of political-economic developments that render the state dependent on financial markets. However, they do not explain the discursive shifts that would have been required for demoting the state to the role of an agent to bondholders. I propose to explain this shift via the performative effect of neoliberal agency theory. In 1976, Michael Jensen and William Meckling claimed that corporate managers are agents to shareholding principals, which (...) implied that their main task was the procurement of shareholder value. Agency theory subsequently prescribes a series of measures to ensure the alignment of principal and agent interests in corporations. The diffusion of agency theory, however, moved beyond corporate governance to reconfigure the state. Due to its reliance on capital markets, the state supposedly likewise becomes an agent of the investment public and should procure bondholder value. (shrink)

Donald Trump and Boris Johnson are notoriously uninterested in truthtelling. They also often appear uninterested even in constructing plausible falsehoods. What stands out above all is the brazenness and frequency with which they repeat known falsehoods. In spite of this, they are not always greeted with incredulity. Indeed, Republicans continue to express trust in Donald Trump in remarkable numbers. The only way to properly make sense of what Trump and Johnson are doing, we argue, is to give a greater role (...) to audience relativity - and in some cases, audience participation - in notions like bullshitting and bald-faced lying. In this paper, we develop a new understanding of bullshitting, one that includes bald-faced lying, and recognizes that different communicative acts may be directed at different audiences with a single utterance. In addition, we argue for recognition of the category of bald-faced bullshitting, a particular speciality of both Trump and Johnson, and one especially useful to authoritarian leaders. (shrink)

This article proposes a term structure model for dual-currency interest rate markets. The model assumes that volatility is a deterministic function of time alone. This volatility structure can reduce the dimension of the required state variables. An important special case is presented, which corresponds essentially to a Vasicek/Hull-White yield curve model in each currency. The model is very useful for pricing cross-currency derivatives.

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.

In recent years, Italian Thought has become an influential school of philosophical reflection. This explains the reputation of thinkers like Agamben, Negri, and Esposito far beyond the borders of Italy. Not only has Italian Thought called attention to the crisis of Derridian deconstructive thought in recent years and replaced it with a biopolitical approach, but it also attests to contemporary political issues of key urgency. I aim to clarify this diffusion process with the specific case of Belgium, where two extra (...) factors explain the rise of Italian Thought. The neoliberalisation of the university system renders Belgian universities particularly dependent on Anglo-Saxon research trends, while the political and economic developments of Belgium are a key example of the issues Italian Thought emphasizes. (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)

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)

The best definition of philosophy, in my opinion, was given by Wilfrid Sellars fifty years ago: ‘The aim of philosophy, abstractly formulated, is to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term’. This definition does not get us very far; and nor should we expect it to (after all, as Nietzsche said, only that which has no history can be defined). But it does give us something to (...) get started on. One important element in the definition, for example, is the emphasis on the ‘breadth’ of philosophy. Another is the idea of ‘hanging together’. Yet another, which I want to focus on here, is that philosophy is a form of understanding. Philosophy is a cognitive, rather than an aesthetic or a practical endeavour, aiming at an improvement in our cognitive position rather than at edification or political activism. Certainly philosophy has resulted in edification and political activism, and no doubt it will do in the future too. But this is not its aim. (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)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

This paper explores the concept of information beyond its common role as descriptive data. It suggests that information operates as an intrinsic structure, influencing and defining systems across different dimensions and contexts, much like a universal “instruction set.” From societal bonds to natural phenomena, information is not passive but dynamic and often self-propagating, like a force. This document examines the function, autonomy, and density of information, considering it as fundamental to existence itself.

Abstract The values of the healthcare sector are fairly ubiquitous across the globe, focusing on caring and respect, patient health, excellence in care delivery, and multi-stakeholder collaboration. Many individual pharmacists embrace these core values. But their ability to honor these values is significantly determined by the nature of the system they work in. -/- The paper starts with a model of the prevailing pharmacist workforce model in Scotland, in which core roles are predominantly separated into hierarchically disaggregated jobs focused on (...) one professional ‘pillar’: Clinician /Practice Provider; Educator; Leader/Manager; and Researcher. This is the ‘Atomistic’ Model. This skills-segregation yields a workforce of individuals working in isolation rather than collaborating together, and lacking a shared information flow, purpose and identity. Key strategic flaws include suboptimal responsiveness to population and subpopulation needs, inconsistency and inequity of care, an erosion of professional agency, and lower job satisfaction. It is conjectured that this results from a lack of congruence between values, professional ethos, and organizational structure. ‘Atomism’ culminates in a syndrome of widespread professional-level cognitive dissonance. -/- The paper contrasts this with a new emerging workforce vision, The Collaborative Care Model. This new model defines a systems-first-approach, built on the principle that all jobs must include all four professional ‘pillars’. Vertical skills integration, involving education and task sharing, will support sustainability and succession planning. Horizontal skills integration (across practice, leadership and research) is included to improve responsiveness to population need and individual professional agency. The working conditions, supportive ethos, and career structure needed to make the model work are described. Moral theory and workforce theory are used to justify why the model may be more effective for population health, delivering greater job satisfaction for individuals and ultimately helping systematically realize and honor healthcare values. Finally, the paper sketches the first steps needed to implement the model at the national level, starting with the operationalization of new multi-pillar professional curricula across the career spectrum. Potential pitfalls and challenges are also discussed. -/- Co-Authors: 1. Paul Forsyth (PF) Lead Pharmacist Clinical Cardiology, Pharmacy, NHS Greater Glasgow & Clyde. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Writing - original draft (lead author), Writing - review & editing (lead author) 2. Andrew Radley (AR), Consultant in Public Health Pharmacy, NHS Tayside. Contribution: Conceptualization; Model curation; Model Theory; Writing - review & editing 3. Gordon Rushworth (GR), MPharm MSc FFRPS FRPharmS (Consultant). Programme Director, Highland Pharmacy Education & Research Centre, NHS Highland, Inverness. Contribution: Model curation; Writing - review & editing 4. Fiona Marra (FM) National Lead Clinician Scottish Infection and Immunology Network (SPAIIN) / Advanced Pharmacist HCV / HIV, NHS Greater Glasgow & Clyde. Contribution: Model curation; Writing - review & editing 5. Susan Roberts (SR) Associate Postgraduate Pharmacy Dean, NHS Education for Scotland. Contribution: Model curation; Writing - review & editing 6. Roisin O’Hare (RO) Lead Teacher Practitioner Pharmacist, Northern Ireland University Network, Southern Health and Social Care Trust. Contribution: Model curation; Writing - review & editing 7. Catherine Duggan (CD) Chief Executive Officer, International Pharmaceutical Federation (FIP). Contribution: Model curation; Writing - review & editing 8. Barry Maguire (BM) Senior Lecturer, School of Philosophy, Psychology and Life Sciences, The University of Edinburgh. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Supervision; Writing - original draft (senior academic supervisor), Writing - review & editing (senior academic supervisor) -/- . (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

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)

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)

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)

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)

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)

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)

Digital innovations are rapidly changing the contemporary workplace. Big Tech companies marketing algorithmic management increasingly decide on the Future of Work. Political responses, however, often focus on managing the impact of these technologies on workers. They leave the question of how these technologies are designed or how workers can determine their own futures unanswered. This approach risks surrendering the Future of Work debate to techno-determinist imaginaries aligned with corporate interests. Using Cornelius Castoriadis’ early writings on worker struggles in French Tayloristic (...) factories and his later oeuvre on conflictual social imaginaries, I propose an agonistic approach to the Future of Work. Not merely companies implementing workplace technologies, but also workers themselves possess agency in determining the Future of Work. Workers’ frequent contestations against machinic surveillance and technologically mediated coordination of the labour process disclose an alternative Future of Work in which technologies are used to enhance worker autonomy rather than bureaucratic control. Worker struggles at Amazon Mechanical Turk illustrate this agonistic dynamic: Amazon mobilizes algorithmic management to fragment and control a workforce of globally dispersed remote workers, but the latter form online social communities and create counter-technologies to reappropriate control over the labour process. (shrink)

Jaspers’s binary distinction between understanding and explanation has given way first to a proliferation of explanatory levels and now, in John Campbell’s recent work, to a conception of explanation with no distinct levels of explanation and no inbuilt rationality requirement. I argue that there is still a role for understanding in psychiatry and that is to demystify the assumption that the states it concerns are mental. This role can be fulfilled by placing rationality at the heart of understanding without a (...) commitment to the attempt to use rationality to shed light on interpretation and mindedness as though from outside those notions. Delusions still present a significant challenge to philosophical attempts at understanding, but this merely reflects the genuine clinical difficulties such states present. (shrink)

I advocate scepticism about epistemic blame; the view that we have good reason to think there is no distinctively epistemic form of blame. Epistemologists often find it useful to draw a distinction between blameless and blameworthy norm violation. In recent years, this has led several writers to develop theories of ‘epistemic blame.’ I present two challenges against the very idea of epistemic blame. First, everything that is supposedly done by epistemic blame is done by epistemic evaluation, at least according to (...) a prominent view about the social role of epistemic evaluation. Parsimony considerations count against introducing an idle mechanism that does the same work as an existing one. Second, no current theory of epistemic blame includes a plausible account of the force of epistemic blame or the practices that could express it. I conclude that we should give up the notion of epistemic blame. (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)

Brentano’s account of what he called intentionale Inexistenz — what we now call intentionality — is without question one of the most important parts of his philosophy, and one of the most influential ideas in late 19th-century philosophy. Here I will explain how this idea figures in Brentano’s central text, Psychology from an Empirical Standpoint (Brentano 1995a). I will then briefly explain how Brentano’s ideas about intentionality evolved after the first publication of this work in 1874, and how they were (...) then misinterpreted by some influential analytic philosophers. (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)

Neoliberalism has installed an unending competitive struggle in the economy. Within this context activists have pushed for a reappraisal of laziness and inactivity as forms of resistance. This idea has been picked up by Maurizio Lazzarato and Giorgio Agamben in different ways. I start with explaining the former’s appraisal of laziness as a release of potentialities unrealizable under financial capitalism. Lazzarato’s appraisal of laziness however resembles neoliberal theories of innovation, because both share the conceptual persona of a subject whose potentialities (...) exceed the current status quo. Potentiality is thus not an unambiguous antagonist of capitalism, as Lazzarato suggests. In order to adequately oppose neoliberalism, Lazzarato should question the role of potentiality in capitalism. Agamben has undertaken such a project. In the second part of the essay I consequently argue that Agamben’s philosophy of inactivity as impotentiality is able to circumvent neoliberalism and the society of the spectacle. (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)

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)

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)

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)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (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 knowledge argument is something that is both an ideal for philosophy and yet surprisingly rare: a simple, valid argument for an interesting and important conclusion, with plausible premises. From a compelling thought-experiment and a few apparently innocuous assumptions, the argument seems to give us the conclusion, a priori, that physicalism is false. Given the apparent power of this apparently simple argument, it is not surprising that philosophers have worried over the argument and its proper diagnosis: physicalists have disputed its (...) validity, or soundness or both; in response, non-physicalists have attempted to reformulate the argument to show its real anti-physicalist lesson. (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)

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

Although the study of epileptic absence seizures has the potential to contribute a great deal to the scientific understanding of consciousness, this potential has yet to be fully exploited. There have been a number of insightful discussions of consciousness in the context of epileptic seizures, but the basic conceptual issues are still poorly understood and many empirical questions remain unexplored. In this paper I review a number of questions that are of interest to consciousness scientists and identify ways in which (...) the study of absence seizures might bear on their investigation. (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)

It is common to distinguish between conscious mental episodes and standing mental states — those mental features like beliefs, desires or intentions, which a subject can have even if she is not conscious, or when her consciousness is occupied with something else. This paper presents a view of standing mental states according to which these states are less real than episodes of consciousness. It starts from the usual view that states like beliefs and desires are not directly present to the (...) mind, but are posited to explain thought and behaviour. Ascriptions of these states are attempts to model a subject’s “Worldview”: the totality of their cognitive, conative and affective dispositions. When ascribing standing states, we often significantly simplify the complexity of the Worldview. This simplification is a feature of models in general. The Worldview is also distinguished from the “Habitus” — the totality of dispositions that are associated with character traits. As with the Worldview, modelling the Habitus should be treated as a useful simplification of a very complex reality. It is argued that although these models have some similarities with fictions, these similarities are outweighed by the dissimilarities. (shrink)

Actions performed in a state of automatism are not subject to moral evaluation, while automatic actions often are. Is the asymmetry between automatistic and automatic agency justified? In order to answer this question we need a model or moral accountability that does justice to our intuitions about a range of modes of agency, both pathological and non-pathological. Our aim in this paper is to lay the foundations for such an account.

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)

Much recent discussion has focused on the nature of artifacts, particularly on whether they have essences. While it is often held that artifacts are intention-dependent and necessarily have functions, it is equally commonly held, though far less discussed, that artifacts are the result of physical modification of some material objects. This paper argues that the physical modification condition on artifacts is false. First, it formulates the physical modification condition perspicuously for the first time. Second, it offers counterexamples to this condition, (...) both concrete and abstract. Third, it considers, and rejects, two responses to these counterexamples, one which appeals to the distinction between being a K and being used as a K and another which argues that the counterexamples are merely of functional, not artifactual, kinds. Finally, it considers, and rejects, a more general objection that appropriation makes artifact creation too easy. As a consequence, artifacts can be created by appropriating pre-existing objects and it sketches some success conditions for such appropriation. (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)

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)