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)

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)

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

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)

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)

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)

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)

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.

Relational egalitarianism holds that people should live together as equals. We argue against the received wisdom amongst both friends and foes of relational egalitarianism that it fails to provide a theory of intergenerational justice. Instead, we argue that relational egalitarianism is concerned with social equality amongst future contemporaries, and that this commitment gives rise to duties of justice for current generations that can be grounded in the idea of generational overlap. In doing so, we argue that that the scope of (...) relational egalitarian concerns extends beyond generations amongst whom social relations exist. (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)

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)

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)

The purpose of this paper is to review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS) .

Analytic philosophy and phenomenology represent two major movements in the study of the mind. Both developed in the twentieth century, having roots that go back well before. Even though the two schools of thought have been in dialogue in the past, they are currently at an impasse. In this paper, I examine the origin of this impasse and suggest that at a crucial point in the conversation, right when the issues were clearly articulated and there was broad agreement on the (...) key questions, analytic philosophy abruptly changed the subject. Early analytic philosophers, like Carnap and Schlick, sought to establish a sharp distinction between the objective content of one’s claims and beliefs and what is merely subjective or perspectival. Phenomenologists denied this distinction. When efforts to defend the distinction failed, analytic philosophy took the distinction to be obvious and in no need of defense. I call this a shocking non sequitur. (shrink)

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

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

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)

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

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

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)

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

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)

Fear is a preventer, sometimes robustly so. When fear robustly prevents, it changes or diminishes what an agent is able to do. Various popular conceptions of fear focus on its negative role: fear sometimes prevents us from acting as we should, as in certain cases of akrasia. But by the same token, fear sometimes prevents us from acting as we shouldn’t, as in certain other cases of inverse akrasia. We end with a plea on behalf of fear, both in light (...) of its preventing role and its broader connection to other ways we express concern, in particular, to hope. (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)

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

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

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)

​This book, itself a study of two books on the Baroque, proposes a pair of related theses: one interpretive, the other argumentative. The first, enveloped in the second, holds that the significance of allegory Gilles Deleuze recognized in Walter Benjamin’s 1928 monograph on seventeenth century drama is itself attested in key aspects of Kantian, Leibnizian, and Platonic philosophy. The second, enveloping the first, is a literalist claim about predication itself – namely, that the aesthetics of agitation and hallucination so emblematic (...) of the Baroque sensibility adduces an avowedly metaphysical ‘naturalism’ in which thought is replete with predicates. Oriented by Barbara Cassin’s development of the concerted sense in which homonyms are critically distinct from synonyms, the philosophical claim here is that ‘the Baroque’ names the intervallic [διαστηματική] relation that thought establishes between things. On this account, any subject finds its unity in a concerted state of disquiet – a state-rempli in which, phenomenologically speaking, experience comprises as much seeing as reading. (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)

Shadow pictures radically changed the modern understanding of pictorial concepts. Tim Otto Roth’s broadly based cultural history traces the consequences of this revolution of methods of vision and image production in the sciences and the arts. By means of abundant image and text sources he develops a picture theory based on physics and projective geometry. This definitive book comprising 500 pages provides a generally understandable and vivid insight in the history of shadowgraphs from the 19th century until the present age. (...) A crucial role play scientific processes as the X-ray technique, but also the artistic examination of space and body. (shrink)

In the first Critique, Kant attempts to prove what we can call the "Principle of Intensive Magnitudes," according to which every possible object of experience will possess a determinate "degree" of reality. Curiously, Kant argues for this principle by inferring from a psychological premise about internal sensations (they have intensive magnitudes) to a metaphysical thesis about external objects (they also have intensive magnitudes). Most commentators dismiss the argument as a failure. In this article I give a reconstruction of Kant's argument (...) that attempts to rehabilitate the argument back into his broader transcendental theory of experience. I argue that we can make sense of the argument's central inference by appeal to Kant's theory of empirical intuition and by an analysis of the way in which Kant thinks sensory matter constitutes our most basic representations of objects. (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)

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)

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

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.

What could be more dull than the idea of a symposium? The word conjures up associations with dusty dons, tedious academic papers on deservedly obscure facts and theories. In universities these days, what used to be called ‘symposia’ are often called ‘workshops’ – perhaps in a feeble attempt to make the symposium sound more exciting. If this is your view of the symposium, you may be surprised to learn that the original ancient Greek symposium was a drinking party: the word (...) derives from the Greek for ‘drinking together’. A Greek symposium was a ritualised and often debauched affair. The master of the symposium would begin by drinking a small ‘libation’ of undiluted wine – the Greeks normally mixed their wine with water – and he would then decide in what proportion the wine was to be diluted to determine what kind of evening it was going to be. Plato’s Symposium, a dialogue on the nature of love, describes the most famous symposium of all. The great philosopher Socrates dominates the discussion (as he normally did), drinks more than anyone else, and leaves the symposium sober in the early morning, with the inferior thinkers and drinkers comatose. (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)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

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

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)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Descartes famously argued that animals were mere machines, without thought or consciousness. Few would now share this view. But if other animals have conscious lives, what are they like, how do they differ from ours, and how would we ever know anything about them? This lecture will address this question by looking at the kinds of thoughts we might share with animals, and looking at philosophical and empirical arguments for how our thoughts might differ from theirs.

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

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of how (...) to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (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)

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)

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)