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)

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)

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

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)

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

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

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

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)

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)

R.M. Sainsbury's account of reference has many compelling and attractive features. But it has the undesirable consequence that sentences of the form "x is thinking about y" can never be true when y is replaced by a non-referring term. Of the two obvious ways to deal with this problem within Sainsbury's framework, I reject one and endorse the other. This endorsement is also within the spirit of Sainsbury's account of reference. /// La explicación que ofrece R.M. Sainsbury de la referencia (...) tiene muchas características convincentes y atractivas, pero tiene la consecuencia indeseable de que oraciones de la forma "x está pensando acerca de y" nunca pueden ser verdaderas cuando se reemplaza y con un término no referencial. De las dos maneras obvias de tratar este problema dentro del marco teórico de Sainsbury, rechazo una y acepto la otra. Aceptar esta última también cae dentro del espíritu de la explicación de la referencia ofrecida por Sainsbury. (shrink)

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

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)

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)

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

What would Gottfried Wilhelm Leibniz have said about today’s problem of consciousness? Some philosophers claim that Leibniz was one of the first to argue that there is an ‘explanatory gap’ between our knowledge of matter and our knowledge of consciousness, and that he thought this posed a problem for materialism (see for example Churchland 1995: 191-2; Kriegel 2015: 49; Seager 1991; Searle 1983: 267-8). This is supposed to be the point of the famous passage in the Monadology (1714), in which (...) Leibniz argues that perception is ‘inexplicable in terms of mechanical reasons’... (shrink)

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

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)

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)

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.

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)

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

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)

As Jaegwon Kim points out in his excellent new book, “reductionism” has become something of a pejorative term in philosophy and related disciplines. But originally (eg, as expressed in Ernest Nagel’s 1961 The Structure of Science) reduction was supposed to be a form of explanation, and one may wonder whether it is reasonable to reject in principle the advances in knowledge which such explanations may offer. Nagel’s own view, illustrated famously by the reduction of thermodynamics to statistical mechanics, was that (...) reduction is a relation between theories: theory A is reduced to theory B by formulating “bridge laws” which link the terminology of the theories, and using them to derive A from B. (An additional reductive claim is that Aphenomena are identical with certain B-phenomena—as when the temperature of a gas is identified with its mean molecular kinetic energy—but this kind of identity claim is, strictly speaking, independent of the claim about theories.) Applied to the case of mental states and brain states, a reduction would provide explanatory relations between psychology and neuroscience, normally supplemented with the claim that mental properties are identical with physical properties in the brain. (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)

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)

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

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

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)

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

Taddeo’s recent article, ‘Information Warfare: A Philosophical Perspective’ (Philos. Technol. 25:105–120, 2012) is a useful addition to the literature on information communications technologies (ICTs) and warfare. In this short response, I draw attention to two issues arising from the article. The first concerns the applicability of ‘information warfare’ terminology to current political and military discourse, on account of its relative lack of contemporary usage. The second engages with the political and ethical implications of treating ICT environments as a ‘domain’, with (...) its ramifications for the pursuit of ‘dominion’, particularly through military action. (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)

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.

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)

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)

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)

Necessitists about set theory think that the pure sets exists, and are the way they are, as a matter of necessity. They cannot explain why the sets (de rebus) are all the sets. This constitutes the Ur-Objection against necessitism; it is the primary motivation cited by potentialists about set theory. -/- At least three families of potentialism draw motivation from the Ur-Objection. Contingentists think that any things could form a set even if they actually did not. Prioritists think that sets (...) hyperintensionally depend upon their members. Structural-potentialists think that any possible set-hierarchy could be extended. However, once we have disentangled these three versions of potentialism, we see that the Ur-Objection should not motivate anyone. (shrink)

A foundational issue for the science and philosophy of consciousness concerns the function(s) of consciousness – what consciousness does for any particular aspect of psychological or neural processing. In spite of progress in consciousness science, false assumptions and a lack of clarity regarding how best to approach the functions of consciousness represent an ongoing and serious roadblock to progress. Misguided approaches to the function(s) of consciousness have the potential to mangle explanatory priorities, and divert attention, effort, and funding away from (...) useful questions and experimental paradigms. In this paper we offer a way forward: the capacity-based approach to the function(s) of consciousness. This approach flows out of a general explanatory approach that is influential in the philosophy of science and psychology (but not consciousness studies), according to which the mind is understood in terms of a structured collection of capacities. And capacities are explained by empirically discovered facts that identify functions (causal roles) played by empirically identified parts of a system. After elucidating this capacity-based approach to the mind, we show how consciousness fits within it. We then argue that this approach avoids problems that plague theory-based approaches to identifying the function(s) of consciousness, avoids mistakes endemic to the common strategy of looking for the function(s) of consciousness by asking what consciousness is necessary for, and re-orients explanatory priorities in a way that better focuses consciousness science, and that suggests fruitful avenues for experimentation. (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)

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

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)

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)

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)

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.

Ted Honderich's theory of consciousness as existence, which he here calls Radical Externalism, starts with a good phenomenological observation: that perceptual experience appears to involve external things being immediately present to us. As P.F. Strawson once observed, when asked to describe my current perceptual state, it is normally enough simply to describe the things around me (Strawson, 1979, p. 97). But in my view that does not make the whole theory plausible.