According to Russellian monism, consciousness is constituted at least partly by quiddities: intrinsic properties that categorically ground dispositional properties described by fundamental physics. If the theory is true, then consciousness and such dispositional properties are closely connected. But how closely? The contingency thesis says that the connection is contingent. For example, on this thesis the dispositional property associated with negative charge might have been categorically grounded by a quiddity that is distinct from the one that actually grounds it. Some argue (...) that Russellian monism entails the contingency thesis and that this makes its consciousness‐constituting quiddities epiphenomenal—a disastrous outcome for a theory that is motivated partly by its prospects for integrating consciousness into physical causation. We consider two versions of that argument, a generic version and an intriguing version developed by Robert J. Howell, which he bases on Jaegwon Kim's well‐known “exclusion argument.” We argue that neither succeeds. (shrink)

How could physicalism be true of a world in which there are no fundamental physical phenomena? A familiar answer, due to Barbara Gail Montero and others, is that physicalism could be true of such a world if that world does not contain an infinite descent of mentality. Christopher Devlin Brown has produced a counterexample to that solution. We show how to modify the solution to accommodate Brown’s example: physicalism could be true of a world without fundamental physical phenomena if that (...) world does not contain an infinite descent of mentally constituted mentality. This solution is independently plausible and is available to physicalists of virtually all significant varieties. (shrink)

According to Russellian monism, phenomenal consciousness is constituted by inscrutables: intrinsic properties that categorically ground dispositional properties described by fundamental physics. On Russellian physicalism, those inscrutables are construed as protophenomenal properties: non-structural properties that both categorically ground dispositional properties and, perhaps when appropriately structured, collectively constitute phenomenal properties. Morris and Brown argue that protophenomenal properties cannot serve this purpose, given assumptions Russellian monists typically make about the modal profile of such properties. Those assumptions, it is argued, entail that protophenomenal properties (...) are ‘experience specific’, that is, they are individuated by their potential to constitute phenomenal properties, and are thus not genuinely physical. However, we argue, that reasoning assumes that physical inscrutables must be individuated in terms of their grounding roles. Not only is that assumption questionable: it is antithetical to Russellian monism. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...) prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma. (shrink)

Some scientists suggest that it might be possible to reflect a portion of incoming sunlight back into space to reduce climate change and its impacts. Others argue that such solar radiation management (SRM) geoengineering is inherently incompatible with democracy. In this article, we reject this incompatibility argument. First, we counterargue that technologies such as SRM lack innate political characteristics and predetermined social effects, and that democracy need not be deliberative to serve as a standard for governance. We then rebut each (...) of the argument’s core claims, countering that (1) democratic institutions are sufficiently resilient to manage SRM, (2) opting out of governance decisions is not a fundamental democratic right, (3) SRM may not require an undue degree of technocracy, and (4) its implementation may not concentrate power and promote authoritarianism. Although we reject the incompatibility argument, we do not argue that SRM is necessarily, or even likely to be, democratic in practice. (shrink)

Two important questions arise concerning the properties that constitute the phenomenal characters of our experiences: first, where these properties exist, and, second, whether they are tied to our consciousness of them. Such properties can either exist externally to the perceiving subject, or internally to her. This article argues that phenomenal characters, and specifically the phenomenal characters of colours, may exist independently of consciousness and that they are internal to the subject. We defend this combination of claims against a recent criticism (...) according to which the unconscious phenomenal character of colours exists externally to the subject. We defend internalism about (potentially unconscious) phenomenal character by appealing to recent neuroscientific and behavioural evidence, and by rejecting the claim that externalism about phenomenal character is dialectically in a better position than internalism. In addition, we briefly present certain difficulties for externalist views of phenomenal character. These concern cases where the perceptual relation fails, but a perceptual experience still results. These points suffice to defuse the externalist critique of our view, and support the internalist variant of the consciousness-independence claim as the most plausible account of the unconscious phenomenal character of colours. (shrink)

In this essay, we address an important problem in the ethics of cultural engagement: the problem of giving a systematic account of when and why outsider use of insider cultural material is permissible or impermissible. We argue that many scholars rely on a problematic notion of collective ownership even when they claim to be disavowing it. After making this case, we motivate an alternative framework for thinking about cultural exchange, which we call the core interests framework. We conclude with some (...) reflections on how this framework helps to raise interesting questions about the most promising accounts of wrongful cultural appropriation. (shrink)

Cantor’s first set theory paper (1874) establishes the uncountability of ${\mathbb R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of ${\mathsf {NIN}}$ (resp. ${\mathsf {NBI}}$ ), i.e., the third-order statement there is no injection resp. bijection from $[0,1]$ to ${\mathbb N}$. Working in Kohlenbach’s higher-order Reverse Mathematics, we show that ${\mathsf {NIN}}$ and ${\mathsf {NBI}}$ are hard to prove in terms of (conventional) comprehension axioms, (...) while many basic theorems, like Arzelà’s convergence theorem for the Riemann integral (1885), are shown to imply ${\mathsf {NIN}}$ and/or ${\mathsf {NBI}}$. Working in Kleene’s higher-order computability theory based on S1–S9, we show that the following fourth-order process based on ${\mathsf {NIN}}$ is similarly hard to compute: for a given $[0,1]\rightarrow {\mathbb N}$ -function, find reals in the unit interval that map to the same natural number. (shrink)

What are the testicles and who should we talk to to find out? What structures of women’s bodies are left over and what are missing? What matters in a body? Starting from Donna Haraway’s invitation to narrate «naturoculture» stories, in this article I am interested in how subaltern bodily narratives of intersex people and their companions change expert biologic knowledge, overflowing the classic dualisms of the clinic. I propose to read biology inside the «contact zone» in order to explore the (...) remaking of the body that extend or reconfigure expert imaginaries. This crafting approach to biological knowledge leads to treating expert objects as the provisional result of meaning negotiation processes. I argue that conceptualizing such objects as biological crafts allows us to expand the material cultures of biology to enable other bodies through conversations outside of expert/layman and nature/culture logics. (shrink)

The aim of Reverse Mathematics (RM for short) is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak system of computable mathematics. The Big Five phenomenon of RM is the observation that a large number of theorems from ordinary mathematics are either provable in the base theory or equivalent to one of only four systems; these five (...) systems together are called the ‘Big Five’. The aim of this paper is to greatly extend the Big Five phenomenon as follows: there are two supposedly fundamentally different approaches to RM where the main difference is whether the language is restricted to second-order objects or if one allows third-order objects. In this paper, we unite these two strands of RM by establishing numerous equivalences involving the second-order Big Five systems on one hand, and well-known third-order theorems from analysis about (possibly) discontinuous functions on the other hand. We both study relatively tame notions, like cadlag or Baire 1, and potentially wild ones, like quasi-continuity. We also show that slight generalizations and variations of the aforementioned third-order theorems fall far outside of the Big Five. (shrink)

The first three sections of this lecture address the need for better historical-materialist theorisations of capitalist competition, capitalist classes and capitalist states, and in particular the institutional dimensions of these – which is fundamental for understanding why and how capitalism has survived into the twenty-first century. The fourth section addresses historical materialism’s under-theorisation of the institutional dimensions of working-class formation, and how this figures in explaining why, despite the expectations of the founders of historical materialism, the working classes have not, (...) at least yet, become capitalism’s gravediggers. While recognising that a better historical materialism along these lines will not necessarily provide us with a gps route to a socialist world beyond capitalism, it does suggest a number of guidelines for socialist strategy, with which the lecture concludes. This includes the need for building new institutions capable of defining, mobilising and representing the working class broadly, as well as recognising that the types of parties that can transform working classes into leading agents of social transformation have yet to be invented. A strategic priority must be to start anew at creating the kinds of working-class political institutions which can rekindle the socialist imagination, and develop the socialist capacities to get there. (shrink)

This essay discusses notions of community, commoning, and assemblage, in conjunction with new materialist and posthumanist onto-epistemologies and ethico-politics. The analysis is situated within, and applied to, current debates in ecological and community-oriented art, curating, and activism. The essay concludes with an articulation of what a “community of material-discursive commoning” may be constituted by, through, and with.

Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is to identify theminimalaxioms needed to prove a given theorem from ordinary, i.e., non-set theoretic, mathematics. This program has unveiled surprising regularities: the minimal axioms are very oftenequivalentto the theorem over thebase theory, a weak system of ‘computable mathematics’, while most theorems are either provable in this base theory, or equivalent to one of onlyfourlogical systems. The latter plus the base theory are called the ‘Big (...) Five’ and the associated equivalences arerobustfollowing Montalbán, i.e., stable under small variations of the theorems at hand. Working in Kohlenbach’shigher-orderRM, we obtain two new and long series of equivalences based on theorems due to Bolzano, Weierstrass, Jordan, and Cantor; these equivalences are extremely robust and have no counterpart among the Big Five systems. Thus, higher-order RM is much richer than its second-order cousin, boasting at least two extra ‘Big’ systems. (shrink)

Hardt and Negri's Empire is a welcome and often inspiring antidote to the defeatism that has infected so much of the left. Their analysis includes a number of important insights, such as the capacity of American forms of power to penetrate other states. But their political economy is crude, and the promising discussions they open drift towards an empire without any material center. At the same time, their revolutionary commitments to transformation from below refuses to engage the complexities of agency (...) and organization. In the end we are, disappointingly, left with a virtual empire confronting a virtual proletariat. (shrink)

Bestselling author Sam Harris dismantles the most common justification for religious faith-that a moral system cannot be based on science.

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised (...) by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist–nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract–concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, _Entities_ is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities. (shrink)

The E-Z Reader model (Reichle et al. 1998; 1999) provides a theoretical framework for understanding how word identification, visual processing, attention, and oculomotor control jointly determine when and where the eyes move during reading. In this article, we first review what is known about eye movements during reading. Then we provide an updated version of the model (E-Z Reader 7) and describe how it accounts for basic findings about eye movement control in reading. We then review several alternative models of (...) eye movement control in reading, discussing both their core assumptions and their theoretical scope. On the basis of this discussion, we conclude that E-Z Reader provides the most comprehensive account of eye movement control during reading. Finally, we provide a brief overview of what is known about the neural systems that support the various components of reading, and suggest how the cognitive constructs of our model might map onto this neural architecture. Key Words: attention; eye-movement control; E-Z Reader; fixations; lexical access; models; reading; regressions; saccades. (shrink)

In this enlightening book, Sam Harris argues that free will is an illusion but that this truth should not undermine morality or diminish the importance of social and political freedom; indeed, this truth can and should change the way we think about some of the most important questions in life.

Sam Harris dismantles the most common justification for religious faith--that a moral system cannot be based on science.

Predictive processing accounts of neural function view the brain as a kind of prediction machine that forms models of its environment in order to anticipate the upcoming stream of sensory stimulation. These models are then continuously updated in light of incoming error signals. Predictive processing has offered a powerful new perspective on cognition, action, and perception. In this chapter we apply the insights from predictive processing to the study of emotions. The upshot is a picture of emotion as inseparable from (...) perception and cognition, and a key feature of the embodied mind. (shrink)

This paper develops an account of pluralities based on the following simple claim: some things are nothing over and above the individual things they comprise. For some, this may seem like a mysterious statement, perhaps even meaningless; for others, like a truism, trivial and inferentially inert. I show that neither reaction is correct: the claim is both tractable and has important consequences for a number of debates in philosophy.

Chinese readers' eye movements were simulated in the context of the E-Z Reader model, which was developed to account for the eye movements of readers of English. Despite obvious differences between English and Chinese, the model did a fairly good job of simulating the eye movements of Chinese readers. The successful simulation suggests that the control of eye movements in reading Chinese is similar to that in an alphabetic language such as English.

This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...) existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9). (shrink)

Presents an analogue of the Preface Paradox for intention, and discusses possible implications for the philosophy of action.

The main goal of this paper is to explore the forcefulness of the adoption challenge to procreative parenting. After framing the challenge, I consider two of the most developed attempts to respond to it, due to Luara Ferracioli and Elizabeth Brake. I argue that neither strategy is a promising way to vindicate the permissibility of procreative parenting. I then present several reasons to value procreative parenting that are underappreciated in the recent literature. Though these considerations deserve more philosophical attention, I’m (...) agnostic about whether they are strong enough to overcome the adoption challenge. I explain why this agnosticism is reasonable, and the debate about permissibility arguably intractable, in the context of prevailing deontological assumptions structuring discussions of procreation. I conclude by arguing that an independently interesting metaethical thesis, which I call deontic fictionalism, may give us some perspective on this debate and others like it. (shrink)

Argues that the normative relation of commitment is routinely overlooked by philosophers, and that investigating it reveals some interesting similarities between the moral and rational domains.

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part of the (...) article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

Although interpretivists are right to give inner speech a central role in generating self-knowledge, they mischaracterize the precise nature of this role. Inner speech is fundamentally an action, a form of speech, and provides us with self-knowledge not by being something that we perceive (or “quasi-perceive”) and interpret, but by being something that we knowingly do. Once this is appreciated, interpretivism is undermined.

In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows:Any mention of infinite totalities is literally meaningless.We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that ‘some infinite totalities are more meaningful than others’, the textbook example being that of infinitesimals. For instance, Bishop and Connes have made such claims regarding infinitesimals, (...) and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate ‘meaning’ and ‘computational content’, though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects in Nonstandard Analysis yields the absence of meaning. We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content, similar to the ‘reversals’ from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. (shrink)

Offers a conciliatory solution to one of the central contemporary debates in the theory of rationality, the debate about the proper formulation of rational requirements. Introduces a novel conception of the “symmetry problem” for wide scope rational requirements, and sketches a theory of rational commitment as a response.

Introduction : time, film, and the ethical vision of Emmanuel Levinas. American transcendence : Levinas and a short history of an American idea in film -- Frank Capra and James Stewart : time, transcendence, and the other -- The changing face of American redemption : Henry Fonda, Marilyn Monroe, Paul Newman, and Denzel Washington -- Sex, art, and Oedipus : The unbearable lightness of being -- Fellini and La dolce vita : documentary, decadence, and desire -- Antonioni and L'avventura : (...) transcendence, the body, and the feminine. (shrink)

This paper examines Florence Nightingale's realist philosophy of science by comparing it to the contemporaneously dominant philosophy of positivism. It starts by adumbrating the tenets of positivism and continues by assessing the degree to which Nightingale accepted or rejected those tenets. It is argued that while she accepted much of positivism, on realist grounds she opposed its belief in phenomenalism, its rejection of speculative philosophy, its separation of fact and value, and its rejection of religion. Following an examination of how (...) Nightingale's philosophy impinged on her approach to nursing and health care, the paper concludes with a comparison of her ideas with those of modern realism and a discussion of the contemporary salience of her ideas. It is argued that while some aspects of her approach may no longer provide an appropriate basis for modern nursing, her environmental approach, her transcendental realism, and her adherence to caring values may still be of use to contemporary nurses. (shrink)