We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming MA + ≠ CH, every new real constructs the collapsing map.

We consider a well-known partial order of Prikry for producing a collapsing function of minimal degree. Assuming $MA + \neq CH$, every new real constructs the collapsing map.

What determines whether an action is right or wrong? Morality, Rules, and Consequences: A Critical Reader explores for students and researchers the relationship between consequentialist theory and moral rules. Most of the chapters focus on rule consequentialism or on the distinction between act and rule versions of consequentialism. Contributors, among them the leading philosophers in the discipline, suggest ways of assessing whether rule consequentialism could be a satisfactory moral theory. These essays, all of which are previously unpublished, provide students in (...) moral philosophy with essential material and ask key questions on just what the criteria for an adequate moral theory might be. (shrink)

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is (...) set to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

Online exam supervision technologies have recently generated significant controversy and concern. Their use is now booming due to growing demand for online courses and for off-campus assessment options amid COVID-19 lockdowns. Online proctoring technologies purport to effectively oversee students sitting online exams by using artificial intelligence systems supplemented by human invigilators. Such technologies have alarmed some students who see them as a “Big Brother-like” threat to liberty and privacy, and as potentially unfair and discriminatory. However, some universities and educators defend (...) their judicious use. Critical ethical appraisal of online proctoring technologies is overdue. This essay provides one of the first sustained moral philosophical analyses of these technologies, focusing on ethical notions of academic integrity, fairness, non-maleficence, transparency, privacy, autonomy, liberty, and trust. Most of these concepts are prominent in the new field of AI ethics, and all are relevant to education. The essay discusses these ethical issues. It also offers suggestions for educational institutions and educators interested in the technologies about the kinds of inquiries they need to make and the governance and review processes they might need to adopt to justify and remain accountable for using online proctoring technologies. The rapid and contentious rise of proctoring software provides a fruitful ethical case study of how AI is infiltrating all areas of life. The social impacts and moral consequences of this digital technology warrant ongoing scrutiny and study. (shrink)

A review of The Limits of Realism, by Tim Button. Oxford University Press, 2013.

Amie Thomasson challenges advocates of layered conceptions of reality to explain “how layers are distinguished” and “what holds them together” by “examining the world” (2014). One strategy for answering such questions is mereological, treating inter-layer relations as parthood relations, where layers exist whenever composition does, and the number of layers will be equivalent to the number of answers to Peter Van Inwagen’s Special Composition Question, while answers to his General Composition Question explain what holds the layers together (1987). Various answers (...) have been proffered for these questions, from the physicalist atomism of Richard Feynman (2015), Hilary Putnam (1958), and Kit Fine (1992) to the holism of Jonathan Schaffer (2010), the two-layer emergentism of Van Inwagen himself (1995), Tim Maudlin’s three-layered “flash ontology” (2011), and Rob Koons two-layered “thermal substances” (2019). In this PhD project, I seek to meet Thomasson’s challenge by identifying which of these proposals are compatible with plausible interpretations of quantum physics. Atomist answers may have difficulty with relativity, while holistic and emergentist models have trouble giving an account of experimental conditions. Maudlin and Koons’ views, meanwhile, may make testable predictions about the scope of entanglement. Examining the world can lead us to sharply winnow our theories about how layers are distinguished and what holds them together. (shrink)

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions -/- Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; (...) they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. -/- The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. -/- The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right. (shrink)

The Ethics of Need: Agency, Dignity, and Obligation argues for the philosophical importance of the notion of need and for an ethical framework through which we can determine which needs have moral significance. In the volume, Sarah Clark Miller synthesizes insights from Kantian and feminist care ethics to establish that our mutual and inevitable interdependence gives rise to a duty to care for the needs of others. Further, she argues that we are obligated not merely to meet others’ needs (...) but to do so in a manner that expresses "dignifying care," a concept that captures how human interactions can grant or deny equal moral standing and inclusion in a moral community. She illuminates these theoretical developments by examining two cases where urgent needs require a caring and dignifying response: the needs of the elderly and the needs of global strangers. Those working in the areas of feminist theory, women’s studies, aging studies, bioethics, and global studies should find this volume of interest. (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)

To desire is to be in a particular state of mind. It is a state of mind familiar to everyone who has ever wanted to drink water or desired to know what has happened to an old friend, but its familiarity does not make it easy to give a theory of desire. Controversy immediately breaks out when asking whether wanting water and desiring knowledge are, at bottom, the same state of mind as others that seem somewhat similar: wishing never to (...) have been born, preferring mangoes to peaches, craving gin, having world conquest as one's goal, having a purpose in sneaking out to the shed, or being inclined to provoke just for the sake of provocation. These varied states of mind have all been grouped together under the heading of ‘pro attitudes’, but whether the pro attitudes are fundamentally one mental state or many is disputed. (shrink)

Desires move us to action, give us urges, incline us to joy at their satisfaction, and incline us to sorrow at their frustration. Naturalistic work on desire has focused on distinguishing which of these phenomena are part of the nature of desire, and which are merely normal consequences of desiring. Three main answers have been proposed. The first holds that the central necessary fact about desires is that they lead to action. The second makes pleasure the essence of desire. And (...) the third holds that the central necessary fact about desires is that they open us to reward-based learning. (shrink)

A startling look at one of this century's most influential philosophers, the book chronicles every stage of Foucault's personal and professional odyssey, from his early interest in dreams to his final preoccupation with sexuality and the nature of personal identity.

This chapter outlines the main ideas of my book National responsibility and global justice. It begins with two widely held but conflicting intuitions about what global justice might mean on the one hand, and what it means to be a member of a national community on the other. The first intuition tells us that global inequalities of the magnitude that currently exist are radically unjust, while the second intuition tells us that inequalities are both unavoidable and fair once national responsibility (...) is allowed to operate. This conflict might be resolved either by adopting a cosmopolitan theory of justice (which leaves no room for national responsibility) or by adopting a ?political? theory of justice (which denies that questions of distributive justice can arise beyond the walls of the sovereign state). Since neither resolution is satisfactory, the chapter defends the idea of national responsibility and proposes a new theory of global justice, whose main elements are the protection of basic human rights worldwide, and fair terms of interaction between independent political communities. (shrink)

In this work Tim Ingold provides a persuasive new approach to the theory behind our perception of the world around us. The core of the argument is that where we refer to cultural variation we should be instead be talking about variation in skill. Neither genetically innate or culturally acquired, skills are incorporated into the human organism through practice and training in an environment.They are as much biological as cultural.

can highlight how everyday rhythms complicate chronological orderings of past and present and how what appears 'utterly changed' repeats in fascinating ways ...

This article serves as either an addendum or as an expansion of ideas and work developed in my 2024 book, The Rationality Project: Across the Millennia, issued by Palgrave Macmillan. The book explores 21 potential theories for explaining rationality in terms of why and how one among these can serve in the position of explanatory power. The book does not fully explain all of these candidate theories, assigning that complete role to this addendum or work-in-progress. The main reason for this (...) abbreviation in assessing all the theories in the book is that the complete coverage—which this addendum allows—of all 21 theories would become too detailed for some philosophical readers. This addendum; one may consider, is then for the more technically minded reader—although certainly not-too-technically minded readers are welcome to explore it. If it becomes too bogged in detail for those latter kinds of readers, they may end up skimming the material in this addendum, trying at least to get the general idea of how these addendum sections fit into the book's goals. (shrink)

To understand the mind, we need to draw equally on the fields of cognitive science and neuroscience. But these two fields have very separate intellectual roots, and very different styles. So how can these two be reconciled in order to develop a full understanding of the mind and brain.This is the focus of this landmark new book.

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)

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)

Neuropsychological results are increasingly cited in cognitive theories although their methodology has been severely criticised. The book argues for an eclectic approach but particularly stresses the use of single-case studies. A range of potential artifacts exists when inferences are made from such studies to the organisation of normal function – for example, resource differences among tasks, premorbid individual differences, and reorganisation of function. The use of “strong” and “classical” dissociations minimises potential artifacts. The theoretical convergence between findings from fields where (...) cognitive neuropsychology is well developed and those from the normal literature strongly suggests that the potential artifacts are not critical. The fields examined in detail in this respect are short-term memory, reading, writing, the organisation of input and output speech systems, and visual perception. Functional dissociation data suggest that not only are input systems organised modularly, but so are central systems. This conclusion is supported by findings on impairment of knowledge, visual attention, supervisory functions, memory, and consciousness. (shrink)

We build on Morgan’s deep conventionalist base by offering a pragmatic approach for achieving normative progress on sports most intractable problems (e.g. performance enhancemen...

Exploring materialism and social relationships in modern culture Material Culture and Mass Consumption offers an in-depth exploration of objects, objectification, ideology, and materialism in modern society. Drawing from Hegel, Marx, Munn, and Simmel, the discussion delves into the physicality of the material world and attempts to understand materialism as a form of cultural expression. Targeting mass production as the root of mass consumption, rather than the result, this book positions material goods at odds with genuine social interaction and questions these (...) relationships from the abstract to the intensely specific. (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)

Despite a prevalence of articles exploring links between sport and art in the 1970s and 1980s, philosophers in the new millennium pay relatively little explicit attention to issues related to aesthetics generally. After providing a synopsis of earlier debates over the questions ‘is sport art?’ and ‘are aesthetics implicit to sport?’, a pragmatically informed conception of aesthetic experience will be developed. Aesthetic experience, it will be argued, vitally informs sport ethics, game logic, and participant meaning. Finally, I will argue that (...) embodying pragmatic conceptions of art as its ideal metaphor re-opens space to best realize the deep potential of sport as a meaningful human practice. (shrink)

I call into question a pair of closely related assumptions that are almost universally shared in the literature on predicates of taste. The assumptions are, first, that predicates of taste – words like ‘tasty’ – are semantically evaluative. In other words, that it is part of the meaning of a word like ‘tasty’ to describe an object as in some sense good, or to say that it is pleasing. And second, that the meaning of predicates of taste is in some (...) way relativized to an experiencer or standard – the person that the object is pleasing to or the standard according to which the object is good. Parties to the literature on these terms tend to disagree about the role of context in determining the truth of claims involving predicates of taste, or in determining which proposition is expressed. But they agree that to call some dish ‘tasty’ is to say something positive about that dish, to suggest that someone or other finds, or is disposed to find, the dish pleasing. I suggest instead that ‘tasty’, and indeed... (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)

Tim Mulgan presents a penetrating examination of consequentialism: the theory that human behavior must be judged in terms of the goodness or badness of its consequences. The problem with consequentialism is that it seems unreasonably demanding, leaving us no room for our own aims and interests. In response, Mulgan offers his own, more practical version of consequentialism--one that will surely appeal to philosophers and laypersons alike.

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)

Journal of Social Philosophy, Volume 53, Issue 2, Page 148-167, Summer 2022.

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

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)