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)

Background: Both the Council for International Organization of Medical Sciences and the Helsinki Declaration emphasize that the potential benefits of research should outweigh potential harms; consequently, some work has been conducted on participants' perception of benefits in therapeutic research. However, there appears to be very little work conducted with participants who have joined non-therapeutic research. This work was done to evaluate participants' perception of benefits in a genetic epidemiological study by examining their perception of the potential benefits of enrollment.Methods: In-depth (...) interviews lasting between 45 and 60 minutes were conducted with a convenient sample of 25 ill patients and 25 healthy accompanying relatives enrolled in a genetic epidemiological study of tuberculosis. Recorded interviews were transcribed and analyzed using content analysis.Results: Participants perceived that research was beneficial and some of the benefits included the generation of new knowledge, finding the cause of diseases, as well as the control, eradication and prevention of disease. Some thought that research was risky whilst others thought that the benefits outweighed the risks.Conclusion: Participants perceived research to be beneficial and most of them thought that, though it was risky, the benefits outweighed the risks. It is our view that researchers need to give serious consideration to participant's perception of benefits in designing their consent forms, to see to the fulfillment of achievable goals. (shrink)

This paper explores how metaphorical thinking might contribute to an aetiology of florid delusions in psychosis. We argue that this approach helps to account for the path from experience to the delusional assertion, which, though relatively straightforward for monothematic delusions like the Capgras delusion, has always been difficult to account for in florid delusions in psychosis. Our account also helps to account for double book-keeping and the relative agential inertia of the belief.

The debates about human free will are traditionally the concern of metaphysics but neuroscientists have recently entered the field arguing that acts of the will are determined by brain events themselves causal products of other events. We examine that claim through the example of free or voluntary switch of perception in relation to the Necker cube. When I am asked to see the cube in one way, I decide whether I will follow the command (or do as I am asked) (...) using skills that reason and language give to me and change my brain states accordingly. The voluntary shift of perspective in seeing the Necker cube this way or that exemplifies the top-down control exercised by a human being on the basis of the role of language and meaning in their activity. It also indicates the lived story that is at the centre of each human consciousness. In the third part of this essay, three arguments are used to undermine metaphysical objections to the very idea of top-down self control. (shrink)

Most research on student plagiarism defines the concept very narrowly or with much ambiguity. Many studies focus on plagiarism involving large swaths of text copied and pasted from unattributed sources, a type of plagiarism that the overwhelming majority of students seem to have little trouble identifying. Other studies rely on ambiguous definitions, assuming students understand what the term means and requesting that they self-report how well they understand the concept. This study attempts to avoid these problems by examining student perceptions (...) of more complex citation issues. We presented 240 students with a series of examples, asked them to indicate whether or not each should be considered plagiarism, and followed up with a series of demographic and attitudinal questions. The examples fell within the spectrum of inadequate citation, patchwriting, and the reuse of other people’s ideas. Half were excerpted from publicized cases of academic plagiarism, and half were modified from other sources. Our findings indicated that students shared a very strong agreement that near verbatim copy and paste and patchwriting should be considered plagiarism, but that they were much more conflicted regarding the reuse of ideas. Additionally, this study found significant correlation between self-reported confidence in their understanding and the identification of more complex cases as plagiarism, but this study found little correlation between academic class status or exposure to plagiarism detection software and perceptions of plagiarism. The latter finding goes against a prevailing sentiment in the academic literature that the ability to recognize plagiarism is inherently linked to academic literacy. Overall, our findings indicate that more pedagogical emphasis may need to be placed on complex forms of plagiarism. (shrink)

Previous meta-analyses support a female advantage in decoding non-verbal emotion (Hall, 1978, 1984), yet the mechanisms underlying this advantage are not understood. The present study examined whether the female advantage is related to greater female attention to the eyes. Eye-tracking techniques were used to measure attention to the eyes in 19 males and 20 females during a facial expression recognition task. Women were faster and more accurate in their expression recognition compared with men, and women looked more at the eyes (...) than men. Positive relationships were observed between dwell time and number of fixations to the eyes and both accuracy of facial expression recognition and speed of facial expression recognition. These results support the hypothesis that the female advantage in facial expression recognition is related to greater female attention to the eyes. (shrink)

We welcome Cho and Wu’s suggestion that the study of auditory verbal hallucinations could be improved by contrasting and testing more explanatory models. However, we have some worries both about their criticisms of inner speech-based self-monitoring models and whether their proposed spontaneous activation model is explanatory.

What are phenomenal qualities, the qualities of conscious experiences? Are phenomenal qualities subjective, belonging to inner mental episodes of some kind, or should they be seen as objective, belonging in some way to the physical things in the world around us? Are they physical properties at all? And to what extent do experiences represent the things around us, or the states of our own bodies? Fourteen original papers, written by a team of distinguished philosophers and psychologists, explore the ways in (...) which phenomenal qualities fit in with our understanding of mind and reality. This volume offers an indispensable resource for anyone wishing to understand the nature of conscious experience. (shrink)

Journal of Mathematical Logic, Ahead of Print. We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [math] is consistent with the conjecture that [math], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [math] (...) replaced by the class of problems decidable in non-deterministic barely superpolynomial time such as [math]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)

Imagine hosting a party. You arrange snacks, curate a playlist and place a variety of beers in the refrigerator. Your first guest shows up, adding a six-pack before taking one bottle for himself. You watch your next guest arrive and contribute a few more beers, minus one for herself. Ready for a drink, you open the fridge and are surprised to find only eight beers remaining. You haven't been consciously counting the beers, but you know there should be more, so (...) you start poking around. Sure enough, in the crisper drawer, behind a rotting head of romaine, are several bottles. (shrink)

Recent studies suggest that meta-learning may provide an original solution to an enduring puzzle about whether neural networks can explain compositionality – in particular, by raising the prospect that compositionality can be understood as an emergent property of an inner-loop learning algorithm. We elaborate on this hypothesis and consider its empirical predictions regarding the neural mechanisms and development of human compositionality.

A groundbreaking study of the lost tradition of Tibetan Zen containing the first translations of key texts from one thousand years ago. Banned in Tibet, forgotten in China, the Tibetan tradition of Zen was almost completely lost to us. According to Tibetan histories, Zen teachers were invited to Tibet from China in the 8th century, at the height of the Tibetan Empire. When doctrinal disagreements developed between Indian and Chinese Buddhists at the Tibetan court, the Tibetan emperor called for a (...) formal debate. When the debate resulted in a decisive win by the Indian side, the Zen teachers were sent back to China, and Zen was gradually forgotten in Tibet. This picture changed at the beginning of the 20th century with the discovery in Dunhuang (in Chinese Central Asia) of a sealed cave full of manuscripts in various languages dating from the first millennium CE. The Tibetan manuscripts, dating from the 9th and 10th centuries, are the earliest surviving examples of Tibetan Buddhism. Among them are around 40 manuscripts containing original Tibetan Zen teachings. This book translates the key texts of Tibetan Zen preserved in Dunhuang. The book is divided into ten sections, each containing a translation of a Zen text illuminating a different aspect of the tradition, with brief introductions discussing the roles of ritual, debate, lineage, and meditation in the early Zen tradition. Van Schaik not only presents the texts but also explains how they were embedded in actual practices by those who used them. (shrink)

All of Derrida’s texts on Joyce together under one cover in fresh, new translations, along with key essays covering the range of Derrida’s engagement with Joyce’s works. -/- Bringing together all of Jacques Derrida’s writings on James Joyce, this volume includes the first complete translation of his book Ulysses Gramophone: Two Words for Joyce as well as the first translation of the essay “The Night Watch.” In Ulysses Gramophone, Derrida provides some of his most thorough reflections on affirmation and the (...) “yes,” the signature, and the role of technological mediation in all of these areas. In “The Night Watch,” Derrida pursues his ruminations on writing in an explicitly feminist direction, offering profound observations on the connection between writing and matricide. Accompanying these texts are nine essays by leading scholars from across the humanities addressing Derrida’s treatments of Joyce throughout his work, and two remembrances of lectures devoted to Joyce that Derrida gave in 1982 and 1984. The volume concludes with photographs of Derrida from these two events. (shrink)

We present a study comparing, in English, perceived distributions of men and women in 422 named occupations with actual real world distributions. The first set of data was obtained from previous a large-scale norming study, whereas the second set was mostly drawn from UK governmental sources. In total, real world ratios for 290 occupations were obtained for our perceive vs. real world comparison, of which 205 were deemed to be unproblematic. The means for the two sources were similar and the (...) correlation between them was high, suggesting that people are generally accurate at judging real gender ratios, though there were some notable exceptions. Beside this correlation, some interesting patterns emerged from the two sources, suggesting some response strategies when people complete norming studies. We discuss these patterns in terms of the way real world data might complement norming studies in determining gender stereotypicality. (shrink)

De Dreu and Gross offer novel solutions to discouraging attackers via political sanctions. We offer insights from social psychological and criminological research on when such sanctions would work and when they could backfire. We argue that the influence of such sanctioning ultimately rests upon the extent to which such authorities can claim to represent the society that they serve.

This paper investigates the interaction of phenomena associated with loose talk with embedded contexts. §1. introduces core features associated with the loose interpretation of an utterance and presents a sketch of how to theorise about such utterances in terms of a relation of ‘pragmatic equivalence’. §2. discusses further features of loose talk arising from interaction with ‘loose talk regulators’, negation and conjunction. §§3-4. introduce a hybrid static/dynamic framework and show how it can be employed in developing a fragment which accounts (...) for the data surveyed in §§1-2. (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.

In June 2021, the BMA published its report on moral distress and moral injury in UK doctors.1 The report includes definitions of the terms ‘moral distress’ and ‘moral injury’ as well as a summary of how the concepts have developed over time. There is also an analysis of the BMA’s pan-profession survey of moral distress and moral injury of doctors in the UK, the first of its kind. The impact of COVID-19 and recommendations for tackling moral distress also feature. Many (...) may be unfamiliar with the concepts of ‘moral distress’ and ‘moral injury’. These terms are relatively new, and debate is ongoing in academic circles on the best way to understand them.2 Some use the terms interchangeably. The BMA defines moral distress as the psychological unease generated where professionals identify an ethically correct action to take but are constrained in their ability to take that action. Even without an understanding of the morally correct action, moral distress can arise from the sense of a moral transgression. More simply, it is the feeling of unease stemming from situations where institutionally required behaviour does not align with moral principles. This can be as a result of a lack of power or agency, or structural limitations, such as insufficient staff, resources, training or time. The individual suffering from moral distress need not be the one who has acted or failed to act; moral distress can be caused by witnessing moral transgressions by others. Moral injury can arise where sustained moral distress leads to impaired function or longer-term psychological harm. Moral injury can produce profound guilt and shame, and in some cases also a sense of betrayal, anger and profound ‘moral disorientation’. It has also been linked to severe mental health issues. There is increasing recognition across the UK of the problem …. (shrink)

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can be expected to arise. (...) Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (shrink)

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting theories (see [12] and [13]). Here, we show that Weak König's lemma (WKL) and many of its equivalent formulations over RCA₀ from Reverse Mathematics (see [21] and [22]) can be 'pushed down' (...) into the weak theory ERNA, while preserving the equivalences, but at the price of replacing equality with equality 'up to infinitesimals'. It turns out that ERNA plays the role of RCA₀ and that transfer for universal formulas corresponds to WKL. (shrink)

Our ordinary judgments and our metaphysical theories share a common commitment to facts about resemblance. The nature of resemblance is, however, a matter of no small controversy. This essay examines some of the pressing questions that arise regarding the status and structure of resemblance. Among those to be discussed in what follows: what kinds of resemblance relations are there? Can resemblance be analyzed in terms of the sharing of properties? Is resemblance an objective or subjective matter? What, if any, resemblance (...) facts are fundamental? How does resemblance relate to naturalness? (shrink)

A proposed empirical criterion for task susceptibility to introspective awareness distinguishes cognitive processes of which one cannot be aware from those of which one can be aware. The empirical criterion for task susceptibility to awareness effects proposes that there are tasks which cannot be affected by awareness of the rules constituting the tasks. These criteria were applied to research programmes in rule-learning in which past studies in the area of learning without awareness were included as well as current research in (...) implicit learning. The principal question addressed in these studies is whether or not rule-learning can occur without awareness. An historical review showed that rule-learning occurred in tasks which were both susceptible and insusceptible to introspective awareness and to awareness effects. Accordingly, it has been proposed that rather than attempt to decide theoretically and empirically between the opposing hypotheses—that of “cognitive learning” on the one hand, which assumes that awareness is a necessary condition for rule-learning, and that of “automatic learning” on the other, which assumes direct, automatic and unconscious processes—efforts should rather be directed toward developing a theoretical approach which is based on both conscious and unconscious processes. However, an approach of this kind encounters severe problems, such as the generation of contradictory predictions, which result from the employment of several incongruent and irreconcilable models of explanation. The criteria for task susceptibility offer a way out of these difficulties. (shrink)

Skow ([2007]), and much more recently Callender ([2017]), argue that time can be distinguished from space due to the special role it plays in our laws of nature: our laws determine the behaviour of physical systems across time, but not across space. In this work we assess the claim that the laws of nature might provide the basis for distinguishing time from space. We find that there is an obvious reason to be sceptical of the argument Skow submits for distinguishing (...) time from space: Skow fails to pay sufficient attention to the relationship between the dynamical laws and the antecedent conditions required to establish a complete solution from the laws. Callender’s more sophisticated arguments in favour of distinguishing time from space by virtue of the laws of nature presents a much stronger basis to draw the distinction. By developing a radical reading of Callender’s view we propose a novel approach to differentiating time and space that we call temporal perspectivalism. This is the view according to which the difference between time and space is a function of the agentive perspective. (shrink)

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.

ABSTRACTPresentism and endurantism are natural bedfellows: arguments have been mounted from endurantism to presentism and vice versa. I generalise an argument against the compatibility between presentism and endurantism offered recently by Tallant. I then show how to reformulate endurantism so that it is compatible with presentism. I demonstrate that this reformulated version of endurantism can do the same work with respect to the problem of temporary intrinsics as can standard definitions.

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

The present paper advances an analogy between cases of extra-mathematical explanation and cases of what might be termed ‘extra-logical explanation’: the explanation of a physical fact by a logical fact. A particular case of extra-logical explanation is identified that arises in the philosophical literature on time travel. This instance of extra-logical explanation is subsequently shown to be of a piece with cases of extra-mathematical explanation. Using this analogy, we argue extra-mathematical explanation is part of a broader class of non-causal explanation. (...) This has important implications for extra-mathematical explanation, for time travel and for theories of explanation more generally. (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.

Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with two RM-phenomena, namely, splittings and disjunctions. As to splittings, there are some examples in RM of theorems A, B, C such that A↔, that is, A can be split into two (...) independent parts B and C. As to disjunctions, there are examples in RM of theorems D, E, F such that D↔, that is, D can be written as the disjunction of two independent parts E and F. By contrast, we show in this paper that there is a plethora of splittings and disjunctions in Kohlenbach’s higher-order RM. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

This paper motivates and develops a new theory of time: priority presentism. Priority presentism is the view according to which (i) only present entities exist fundamentally and (ii) past and future entities exist, but they are grounded in the present. The articulation of priority presentism is an exercise in applied grounding: it draws on concepts from the recent literature on ontological dependence and applies those concepts in a new way, to the philosophy of time. The result, as I will argue, (...) is an attractive position that can do much of the same work in satisfying our intuitions about time as presentism, but without the ontological cost. (shrink)

Panpsychism, an increasingly popular competitor to physicalism as a theory of mind, faces a famous difficulty, the ‘combination problem’. This is the difficulty of understanding the composition of a conscious mind by parts which are themselves taken to be phenomenally qualitied. I examine the combination problem, and I attempt to solve it. There are a few distinct difficulties under the banner of ‘the combination problem’, and not all of them need worry panpsychists. After homing in on the genuine worries, I (...) identify some disputable assumptions that underlie them. Doing away with these assumptions allows us to make a start on a working conception of phenomenal combination. (shrink)

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

This paper analyses how the discursive construction, valuation and subjective experience of human capital is evolving in parallel with crises of capital as a world-system. Ideology critique provides tools for analysing policy ‘fictions’ that aim to sustain investment in human capital through education. Foucauldian analytical tools enable analysis of how human capital has become a project of self-appreciation and cultivation of positive psychological traits. We argue that the work of Lauren Berlant provides an important complement to these approaches and enables (...) us to analyse how crises of capital are being lived as the cruelling of optimism about social mobility through investment in oneself as human capital. The paper points to an educational politics and pedagogy for living through infrastructural breakdown in darkly uncertain historical times. (shrink)

Truthmaker theory is commonly thought to pose a challenge for presentism. Presentism seems to lack the ontological and ideological resources required to adequately underwrite the truth of propositions concerning the past. That is because if presentism is true, then the past does not exist. According to the standard response to this challenge, the truth of propositions concerning the past supervenes on surrogate entities that ‘stand proxy’ for past things. I argue that in order for the standard response to the truthmaker (...) challenge to succeed these surrogate entities must stand in necessary connections to the past. I go on to argue that because the standard response is already committed to denying the existence of cross-temporal modal connections of this kind, by its own lights that response is in error.1. (shrink)

Due to their reliance on constitutive higher-order representing to generate the qualities of which the subject is consciously aware, I argue that the major existing higher-order representational theories of consciousness insulate us from our first-order sensory states. In fact on these views we are never properly conscious of our sensory states at all. In their place I offer a new higher-order theory of consciousness, with a view to making us suitably intimate with our sensory states in experience. This theory relies (...) on the idea of ‘quoting’ sensory qualities, so is dubbed the ‘quotational higher-order thought theory’. I argue that it can capture something of the idea that we are ‘acquainted’ with our conscious states without slipping beyond the pale for naturalists, whilst also providing satisfying treatments of traditional problems for higher-order theories concerning representational mismatch. The theory achieves this by abandoning a representational mechanism for mental intentionality, in favour of one based on ‘embedding’. (shrink)