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)

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.

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)

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)

Suppose we can save either a larger group of persons or a distinct, smaller group from some harm. Many people think that, all else equal, we ought to save the greater number. This article defends this view (with qualifications). But unlike earlier theories, it does not rely on the idea that several people's interests or claims receive greater aggregate weight. The argument starts from the idea that due to their stakes, the affected people have claims to have a say in (...) the rescue decision. As rescuers, our primary duty is to respect these procedural claims, which we must do by doing what these people would decide, in a process where each is given an equal vote on the matter. So in cases where each votes in their own self-interest, respect for their equal right to decide, or their autonomy, will lead us to save the greater number. The argument is explained in detail, with special attention to the questions of how, exactly, it avoids aggregation, and of why majority rule is superior to lottery procedures. The view has further advantages. Especially, it explains the “partial” relevance of numbers in cases involving unequal harms, and it does so in a way that dissolves the appearance of paradox that besets theories of “partial aggregation.”. (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)

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.

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

A singular thought can be characterized as a thought which is directed at just one object. The term ‘thought’ can apply to episodes of thinking, or to the content of the episode (what is thought). This paper argues that episodes of thinking can be just as singular, in the above sense, when they are directed at things that do not exist as when they are directed at things that do exist. In this sense, then, singular thoughts are not object-dependent.

In The Mushroom at the End of the World: On the Possibility of Life in Capitalist Ruins, Anna Lowenhaupt Tsing explains how bare land is formed. Capitalism produces ‘ruins’ by stripping living beings of the capacity to form their own ecological relations, a necessary condition for the reproduction of life. Contemporary capitalism alienates living beings from ecological relations, i.e. capitalism generates “the ability to stand alone, as if the entanglements of living did not matter. Through alienation, people and things become (...) mobile assets; they can be removed from their lifeworlds in distance-defying transport to be exchanged with other assets from other life worlds, elsewhere” (Tsing 2021, 5). Cutting the threads of the web of life through capitalist alienation, however, produces bare land as a side effect, infertile waste deprived of the means to reproduce itself without capitalist support. Alienation is the deracination of living beings from their lifeworld, transforming them into passive cogs for capitalist accumulation. However, Tsing upholds matsutake mushrooms, rare fungi popular among Japa- nese foodies, as exemplars of the resilience of ecological relations. Even amidst ruins, matsutakes successfully form beneficial relations with other living beings, like pine trees, other fungi and human beings. The insistent capacity to regenerate ecological relations is the ineluctable means of reproduction for the matsutake mushroom. Even at the end of the world, the matsutake persists by perpetually co-producing new lifeworlds for itself and fellow living beings (see also Haraway 2016). I claim that Tsing’s approach to capitalist alienation is descriptively convinc- ing but lacks the affective force for ecological class consciousness. Tsing surveys the web of life from the perspective of living beings quite distant from humankind, articulating a theoretical diagnosis rather than a political exhortation. On an affective level, it is challenging to generate ecological class consciousness among the (presumably) human readers of my chapter if they are presented with only the biographies of mushrooms growing far beyond my home. As Chantal Mouffe (2018, 72) argues, the construction of an emphatically political identity requires an appeal to the affects, like hope, indignation or compassion. Latour and Schultz also stress that ecological politics currently suffers from an affective misalignment, with people failing to identify with the fate of their increasingly inhospitable environments (2022, 47). Why would European humans care about these unknown fungi? The reproduction of our CO2-intensive livelihoods largely depends on the emission of bare land elsewhere, so in the short run, we stand to benefit more from putting our heads in the sand. I employ Chakrabarty’s (2021) suggestion of grounding post-humanist politics first in strategic anthropocentrism to subsequently push for a post-humanist expansion of our human understanding. One must first feel personally interpellated by the crisis of the global means of reproduction before one can grasp the need for an ecological class politics beyond human confines. I turn to John Steinbeck’s 1939 novel The Grapes of Wrath as a kindred spirit with more mobilising potential. Steinbeck tells the story of a family of impoverished farmers from Oklahoma, the Joads, travelling to California in pursuit of a better life, yet only encountering more poverty, exploitation and anti-immigrant racism. Steinbeck describes in detail the environmental and social devastation, but he focuses on the commodified labour power of migrant farmers rather than commodified mushrooms. Steinbeck’s main characters are also uprooted from their entangled histories in the land and community of rural Oklahoma, but they present a more familiar face of the ecological class deprived of the means of reproduction. Steinbeck’s outcry against alienation-as-deracination is clear, but the shift in perspective facilitates the empathetic outrage required for building ecological class consciousness. Steinbeck’s strategic anthropocentrism helps human readers understand why alienation-as-deracination is a concern. (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.

This paper offers some refinements to a particular objection to act consequentialism, the “causal impotence” objection. According to proponents of the objection, when we find circumstances in which severe, unnecessary harms result entirely from voluntary acts, it seems as if we should be able to indict at least one act among those acts, but act consequentialism appears to lack the resources to offer this indictment. Our aim is to show is that the most promising response on behalf of act consequentialism, (...) the threshold argument, cannot offer a fully general prescription about what to do in cases of collective action. (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)

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)

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)

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)

While the challenges workers face in the gig economy are now well-known, reflections on emancipatory solutions in political philosophy are still underdeveloped. Some have pleaded for enhancing workers' bargaining power through unionisation; others for enhancing exit options in the labour market. Both strategies, however, come with unin-tended side-effects and do not exhaust the full potential for worker self-government present in the digital gig economy. Using the republican theory of freedom as non-domination , I argue that G.D.H. Cole's 20th-century defence of (...) guild socialism offers a promising avenue for enhancing worker autonomy in the gig economy. Platform companies rely on relational and structural domination to undermine worker autonomy, but Cole's guild socialism was specifically designed to enhance autonomy in the workplace. Following Cole's advice today would amount to a defence of worker-owned cooperative platforms. By putting workers in control of platform design and governance, cooperative platforms create new opportunities for worker autonomy. However, platform coopera-tivism faces serious challenges if it plans on becoming a realistic alternative to the traditional gig economy. (shrink)

Craig Callender [2022] provides a novel challenge to the non-arbitrariness principle. His challenge plays an important role in his argument for the rational permissibility of a non-exponential temporal discounting rate. But the challenge is also of wider interest: it raises significant questions about whether we ought to accept the non-arbitrariness principle as a constraint on rational preferences. In this paper, I present two reasons to resist Callender’s challenge. First, I present a reason to reject his claim that the non-arbitrariness principle (...) only targets pure time preferences. Second, I criticize the inference Callender draws from a modest claim to a much stronger claim. The modest claim is that it can be hard to reveal the contents of an agent’s preferences. The stronger claim is that this provides us with a reason to reject a certain kind of normative constraint on rational preferences. I argue that the modest claim doesn’t motivate the stronger claim. The upshot of my two arguments is good news for those sympathetic to the non-arbitrariness principle: Callender’s challenge can be overcome, at least as it currently stands. (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 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)

One of the most influential traditional objections to Adverbialism about perceptual experience is that posed by Frank Jackson’s ‘many property problem’. Perhaps largely because of this objection, few philosophers now defend Adverbialism. We argue, however, that the essence of the many property problem arises for all of the leading metaphysical theories of experience: all leading theories must simply take for granted certain facts about experience, and no theory looks well positioned to explain the facts in a straightforward way. Because of (...) this, the many property problem isn’t on its own a good reason for rejecting Adverbialism; and nor is it a puzzle that will decide amongst the other leading theories. (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 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)

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)

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)

Recent work in metaphysics has focused on the nature of artefacts, most accounts of which assume that artefacts depend on the intentions of their individual makers. Artefacts are thus importantly different from institutional kinds, which involve collective intentions. However, recent work in social ontology has yielded renewed focus on the social dimensions of various kinds, including artefacts. As a result, some philosophers have suggested that artefacts have a distinctly social dimension that goes beyond their makers' individual intentions but which stops (...) short of the collective intentionality of institutional kinds. I aim to combine these insights into an account of artefacts that involves disjunctive conditions of mind-dependence: Artefacts can either depend on the singular intentions of their makers or they can depend on the collective acceptance of particular social groups. Whether the first or second disjunct is satisfied depends on the artefact's context of creation. I'll argue that this applies not to artefact kinds but to individual artefacts. I then consider two objections to my view based on Robinson Crusoe cases and show how my account allows us to fit artefacts into a taxonomy of social kinds. (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)

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

In 1907–8, Russell and Stout presented an objection against James and Schiller, to which both James and Schiller replied. In this paper, I shall revisit their transatlantic exchange. Doing so will yield a better understanding of Schiller’s relationship to a worryingly solipsistic brand of phenomenalism. It will also allow us to appreciate a crucial difference between Schiller and James; a difference which James explicitly downplayed.

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

Jerry Fodor, by common agreement, is one of the world’s leading philosophers. At the forefront of the cognitive revolution since the 1960s, his work has determined much of the research agenda in the philosophy of mind and the philosophy of psychology for well over 40 years. This special issue dedicated to his work is intended both as a tribute to Fodor and as a contribution to the fruitful debates that his work has generated. One philosophical thesis that has dominated Fodor’s (...) work since the 1960s is realism about the mental. Are there really mental states, events and processes? From his first book, Psychological Explanation (1968), onwards, Fodor has always answered this question with a resolute yes. From his early rejection of Wittgensteinian and behaviourist conceptions of the mind, to his later disputes with philosophers of mind of the elminativist ilk, he has always been opposed to views that try to explain away mental phenomena. On his view, there are minds, and minds can change the world. (shrink)

This essay highlights a methodological weakness in Foucault’s genealogy of neoliberalism often mistaken for a biographical shift in his philosophy. Naissance de la biopolitique is sometimes interpreted as evidence for Foucault’s conversion to neoliberalism, whereas its lack of critical acuity stems rather from its methodological limitations. Through a discussion of the “neoliberal conversion”-thesis, I highlight those limitations. Though Foucault’s appreciative tone in his neoliberalism lectures is surprising, his aim is mainly to defamiliarize readers from the dominant mode of neoliberal rationality (...) so that they can affirm the creative potential to foster new conducts, new identities, and new rationalities. Foucault did not convert to neoliberalism, but sought to destabilise it by revealing its historical contingency. However, as Foucault’s surprisingly positive tone shows, this strategy is insufficient for combatting neoliberalism. There is an elective affinity between Foucault’s own politics of creative self-reinvention and neoliberalism’s promise of a non-invasive, post-disciplinary government by indirect economic incentives alone. Foucault’s libertine stance toward subjectivity hence seems easily integrated into a neoliberal conduct of conducts. I propose to supplement Foucault’s genealogical method as he deploys it in Naissance de la biopolitique with an immanent critique of neoliberalism from the perspective of the governed. Rather than investigating neoliberal rationality as a promising endeavour for the future, we can study the real-life implementations of neoliberalism and their effects on subjective conducts. Neoliberal rationality is involved in a permanent struggle to shape the conduct of conducts along entrepreneurial and competitive lines, but subjects are refractory living beings whose conducts are not so simply transformed. Neoliberalism has had to give up its post-disciplinary aspirations and turn to the power of discipline and abandonment to enforce neoliberal norms of conduct. Neoliberalism has transformed into a negative biopolitics that sacrifices the lives of unproductive subjects as collateral damage to the overall welfare of the population. Immanent critique thereby reveals how subjects are pushed beyond their limits until neoliberal norms of conduct become unbearable. This intolerability of neoliberalism cannot be directly deduced from the writings of Becker, Friedman, or Hayek.111 It becomes manifest in the confrontation between neoliberal rationality and the material living bodies of finite human beings unable to be stretched in the ways neoliberalism requires. (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)

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)

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

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)

After three decades in which needs, rights and egalitarianism have dominated the moral agenda among supporters of social housing, desert is making a controversial come-back. I argue that desert as a moral concept is useful but is secondary to other moral forces, rather than being a primary driving force itself. Its job is to allow us to factor responsibility into our moral interactions with others. Desert suffers from having kept bad company, and I outline the still resonant history of the (...) abuse of the concept when it was dominant in housing and other “poor relief”, but argue this should not blind us to its force. If we have a moral duty to provide social housing assistance, whether on the basis of need, rights or egalitarianism (but not pure utilitarianism), I argue that desert does have a legitimate limited role to play in adjusting the primary duty governing the allocation of that assistance. There are practical difficulties of restraining abuse of the concept of desert. But these are outweighed by the practical problems in ignoring it, as that can bring an allocation system into disrepute as well as leaving us unable to argue convincingly for appropriate restraint, rather than eradication, of the use of desert. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

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

It is usual to distinguish between two kinds of doxastic attitude: standing or dispositional states, which govern our actions and persist throughout changes in consciousness; and conscious episodes of acknowledging the truth of a proposition. What is the relationship between these two kinds of attitude? Normally, the conscious episodes are in harmony with the underlying dispositions, but sometimes they come apart and we act in a way that is contrary to our explicit conscious judgements. Philosophers have often tried to explain (...) these situations in largely doxastic terms, by identifying one or other of the attitudes as our ‘real’ beliefs. This chapter argues that this is not generally realistic and we should appeal to a wider range of psychological attitudes. Such an account would be best supported by a picture of the unconscious mind which does not sharply separate the doxastic from the conative and the affective. (shrink)

Within Michel Foucault’s own conceptualization of governmentality, there is little room for something like ‘ungovernable life’. The latter seems to hint at a form of social conduct beyond power-relations, which would offend Foucault’s basic philosophical postulates. I argue that this identification between governmentality and power as such demonstrates a one-sided focus on the history of Western power-relations. By opposing Foucault’s genealogy of governmentality to Ivan Illich’s critical history of government, I delineate indigenous struggles against governmentalization as a form of ungovernable (...) counter-conduct. Throughout his books from the 1970s to 1990s, Illich wrote a critical history of government surprisingly similar to Foucault’s, from the pastorate to modern political economy. However, rather than merely describing this history, Illich argued governmentalization alienated human beings from their autonomy. As a former missionary priest, he criticized the Church’s and modern governments’ attempts to subsume populations under a conduct of conducts. He advocated anticolonial resistance to subsumption under Western governmental regimes. In Illich’s appreciation of decolonized life, an ungovernable form of life can be discovered, which I defend with the example of Zapatismo and indigenous self-government through mandar obedeciendo. (shrink)

Whatever its grammatical status, the verb “to discern” has an implicit transitive element. That is to say, we always discern about something or between two options. What is the right course of action in this situation and in these circumstances? In our paper, we want to look at responses to this question from the perspective of the theology of liberation. As the name implies, this is first and foremost a theology, a way of seeking to understand and articulate the faith (...) of the believing Christian community. But it is also necessarily political, because it seeks to contribute to the liberation of those who are not free – the poor, the oppressed, those to whom injustice is done, both negatively, by decrying the presence of unfreedom and positively by working for social transformation. It is thus a public theology, a manifestation of the ongoing power of religion to inform and motivate its adherents to engage in attempts to transform the world not only in terms of a post mortem future but here and now. (shrink)

This paper presents a new model for pricing OTC derivatives subject to collateralization. It allows for collateral posting adhering to bankruptcy laws. As such, the model can back out the market price of a collateralized contract. This framework is very useful for valuing outstanding derivatives. Using a unique dataset, we find empirical evidence that credit risk alone is not overly important in determining credit-related spreads. Only accounting for both collateral arrangement and credit risk can sufficiently explain unsecured credit costs. This (...) finding suggests that failure to properly account for collateralization may result in significant mispricing of derivatives. We also empirically gauge the impact of collateral agreements on risk measurements. Our findings indicate that there are important interactions between market and credit risk. (shrink)

In this paper, I argue that businesses bear a pro tanto, negative, moral obligation to refuse to engage in economic relationships with representatives of intolerable ideologies. For example, restaurants should refuse to serve those displaying Nazi symbols. The crux of this argument is the claim that normal economic activity is not a morally neutral activity but rather an exercise of political power. When a business refuses to engage with someone because of their membership in some group, e.g., Black Americans, this (...) is a use of political power to signal that Black Americans are other. Conversely, when businesses engage with someone who is clearly representing an intolerable ideology, this is a use of political power that signals the acceptability of that ideology. Businesses should not do this. (shrink)

The passage of Mill’s Utilitarianism that sets out the condition in which one pleasure has a superior quality than another stokes interpretive controversy. According to the Lexical Interpretation, Mill takes one pleasure, P1, to be of a superior quality than another, P2, if, and only if, the smallest quantity of P1 is more valuable than any finite quantity of P2. This paper argues that, while the Lexical Interpretation may be supported with supplementary evidence, the passage itself does not rule out (...) qualitative superiority without lexical dominance, as it only requires P1 to be more valuable than any quantity of P2 that it is possible for someone to experience. Some will object that this concession to opponents of the Lexical Interpretation still renders Mill’s condition for qualitative superiority too demanding to be plausible. However, if Mill’s qualitative rankings apply to higher-order pleasures taken in modes of existence as such rather than to the pleasures of different activities chosen from within these modes, the objection loses much of its force. One upshot is that Mill may have more to contribute to debates in contemporary population axiology than is usually acknowledged. (shrink)

In his lectures on neoliberalism, Michel Foucault argues that neoliberalism produces subjects as ‘entrepreneurs of themselves’. He bases this claim on Gary Becker’s conception of the utility-maximizing agent who solely acts upon cost/benefit-calculations. Not all neoliberalized subjects, however, are encouraged to maximize their utility through mere calculation. This article argues that Foucault’s description of neoliberal subjectivity obscures a non-calculative, more audacious side to neoliberal subjectivity. Precarious workers in the creative industries, for example, are encouraged not merely to rationally manage their (...) human capital, but also to take a leap of faith to acquire unpredictable successes. It is this latter risk-loving, extra-calculative side to neoliberal subjectivity that economists usually designate as ‘entrepreneurial’. By confronting Foucault with the theories of entrepreneurship of the Austrian School of Economics, Frank Knight, and Joseph Schumpeter, the Foucauldian analytical framework is enriched. Neoliberal subjectivation is not the monolithic promotion of utility-maximizing agents, but the generation of a multiplicity of modes for entrepreneurs to relate to oneself and the market. (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)