In a letter to William Molyneux John Locke states that in reviewing his chapter 'Of Power' for the second edition of An Essay Concerning Human Understanding he noticed that he had made one mistake which, now corrected, has put him "into a new view of things" which will clarify his account of human freedom. Locke says the mistake was putting “things for actions” on p.123 of the first edition, a page on which the word 'things' does not appear (The (...) Correspondence of John Locke. E.S. de Beer, ed. (Oxford: Clarendon, 1976), Vol.4, no.1643, 15 July, 1693.) It is the aim of this paper to (1) elucidate where the correction occurs, (2) give an analysis of why the correction is needed, and (3) give an explanation of why Locke believed replacing 'things' with 'actions' was an important change. (shrink)

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts whereby (...) the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (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.

This précis summarizes the main topics, arguments and conclusions of the book. Many interesting arguments and critiques have, of course, been omitted in order to make this summary appropriately brief.

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

We take ourselves to have an inner life of thought, and we take ourselves to be capable of linguistically expressing our thoughts to others. But what is the nature of this “inner life” of thought? Is conscious thought necessarily carried out in language? This paper takes up these questions by examining Merleau-Ponty’s theory of expression. For Merleau-Ponty, language expresses thought. Thus it would seem that thought must be independent of, and in some sense prior to, the speech that expresses it. (...) He also claims, however, that thinking just is linguistic expression, and thus that language constitutes thought. The primary aim of this paper is to make sense of this constitutive claim while maintaining that, for Merleau-Ponty, there is an inner life of thought that exists independently of linguistic expression, and that this inner life rightly deserves the label “thought”. The upshot of this account is twofold. First, it explains why the mainstream view of Merleau-Ponty’s theory of expression seems plausible, but is ultimately inadequate. Second, it functions as a corrective to contemporary debates about the nature and scope of phenomenal consciousness and the sense in which conscious experience has content. (shrink)

This paper brings together several strands of thought from both the analytic and phenomenological traditions in order to critically examine accounts of cognitive enhancement that rely on the idea of cognitive extension. First, I explain the idea of cognitive extension, the metaphysics of mind on which it depends, and how it has figured in recent discussions of cognitive enhancement. Then, I develop ideas from Husserl that emphasize the agential character of thought and the distinctive way that conscious thoughts are related (...) to one another. I argue that these considerations are necessary for understanding why forms of cognitive extension may diminish our cognitive lives in different ways. This does not lead to a categorical rejection of cognitive enhancement as unethical or bad for human flourishing, but does warrant a conservative approach to the design and implementation of cognitive artifacts. (shrink)

This paper presents an account of empathy as the form of experience directed at embodied unities of expressive movement. After outlining the key differences between simulation theory and the phenomenological approach to empathy, the paper argues that while the phenomenological approach is closer to respecting a necessary constitutional asymmetry between first-personal and second-personal senses of embodiment, it still presupposes a general concept of embodiment that ends up being problematic. A different account is proposed that is neutral on the explanatory role (...) of the first-person sense of embodiment, which leads to an emphasis on the transformative nature of empathy and a broadening of the scope of possible targets of empathic awareness. (shrink)

My aim in this paper is to determine how Locke understands suspension and the role it plays in his view of human liberty. To this end I, 1) discuss the deficiencies of the first edition version of ‘Of Power’ and why Locke needed to include the ability to suspend in the second edition, then 2) analyze Locke’s definitions of the power to suspend with a focus on his use of the terms ‘source’, ‘hinge’, and ‘inlet’ to describe the power. I (...) determine from these descriptions that the ability to suspend is a passive power and is a necessary condition for the rational deliberation that Locke takes to be necessary for acting as a free agent. In 3) I connect Locke’s view of the power to suspend to his discussion in the sections that precede ‘Of Power.’ I argue that the kind of judgment that Locke endorses in his discussion of the Molyneux problem is also at work in acts of suspension. In 4) I apply my interpretation to Locke’s description of the connection between the power to suspend and liberty. In 5) I conclude with a discussion of a passage from the fifth edition of the Essay. Locke adds this passage to address worries raised by Limborch over the course of their correspondence. According to Chappell, it lends evidence to the view that Locke takes suspensions to be caused by undetermined volitions. (shrink)

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of literary (...) text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism. (shrink)

Voted one of Christianity Today's 1996 Books of the Year! The carnivalesque, pluralistic culture in which we live can be seen as a consequence of the breakdown of modernity (which touted itself as the "greatest show on earth"), combined with a recognition of the socially constructed character of reality. Since the old construction has been discredited and is in a process of decomposition, the season is open on the construction of new realities which are produced with the speed and ease (...) of temporary circus tents being raised. Far from witnessing the erosion or even eclipse of religious belief that the Enlightenment so confidently predicted, the eclipse of the Enlightenment has resulted in a veritable smorgasbord of religions and worldviews for our consumption. So Richard Middleton and Brian Walsh colorfully describe our postmodern setting. In this book they survey postmodern culture and philosophy, offering lucid explanations of such difficult theories as deconstruction. They are sympathetic to the postmodern critique, yet believe that a gospel stripped of its modernist trappings speaks a radical word of hope and transformation to our chaotic culture. The book for those who wonder what postmodernism is and how biblical Christians might best respond. Endorsement (from the back cover): “In Truth Is Stranger Than It Used to Be, Middleton and Walsh lead us into the postmodern crisis with skill and sensitivity, and with the mobilization of a comprehensive reading program. But this is not simply one more review. The book makes a suggestive theological response to the crisis, exploring the claims of biblical faith in a shrewd way. It will be a most helpful resource for those who care about our common future and who are willing to think honestly, informed by faith. I anticipate the book will be widely used, to our common benefit.” Walter Brueggemann, author of Texts Under Negotiation: The Bible and Postmodern Imagination. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

A theory of the first-person plural occupies a unique place in philosophical investigations into intersubjectivity and social cognition. In order for the referent of the first-person plural—“the We”—to come into existence, it seems there must be a shared ground of communicative possibility, but this requires a non-circular explanation of how this ground could be shared in the absence of a pre-existing context of communicative conventions. Margaret Gilbert’s and John Searle’s theories of collective intentionality capture important aspects of the We, but (...) fail to fully account for this shared ground of communicative possibility. This paper argues that Merleau-Ponty’s concept of intercorporeity helps reconcile the positive aspects of these accounts while also explaining how the genesis of the social world is continuous with perceptual life in general. This enables an account of the first-person plural as dependent on reciprocal communicative interaction without the need to posit a primitive or primordial “we-mode” of consciousness. “Intercorporeity” designates a bodily openness to others that is not fundamentally different in kind from the general style of bodily comportment found in Merleau-Ponty’s rich analyses of perceptual life. (shrink)

The first and greatest commandment according to Jesus, and so the one most central to Christian practice, is the command to love God. We argue that this commandment is best interpreted in aretaic rather than deontic terms. In brief, we argue that there is no obligation to love God. While bad, failure to seek and enjoy a union of love with God is not in violation of any general moral requirement. The core argument is straightforward: relations of intimacy should not (...) be morally imposed upon autonomous beings. We contend that such reasoning applies to human beings’ relationship to God. So, even if our ultimate end is to enjoy communion with God, God has no right that human beings seek a relationship with him. If this is correct, then the command to ‘love God’ is not the sort of moral principle that can be supported by threats of hellfire or other forms of coercion. (shrink)

This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...) measure sensitivity and fails to justify the use of MI in giving definitive answers to questions of information. We propose a fourth interpretation of MI by reduction in expected inaccuracy, where inaccuracy is measured by a strictly proper monotonic scoring rule. It is shown that the answers to questions of information given by MI are definitive whenever this interpretation is appropriate, and that it is appropriate in a wide range of applications with epistemic implications. _1_ Introduction _2_ Formal Analyses of the Three Interpretations _2.1_ Reduction in doubt _2.2_ Reduction in uncertainty _2.3_ Divergence _3_ Inconsistency with Epistemic Value of Information _4_ Problem of Measure Sensitivity _5_ Reduction in Expected Inaccuracy _6_ Resolution of the Problem of Measure Sensitivity _6.1_ Alternative measures of inaccuracy _6.2_ Resolution by strict propriety _6.3_ Range of applications _7_ Global Scoring Rules _8_ Conclusion. (shrink)

The United States carceral system, as currently designed and implemented, is widely considered to be an immoral and inhumane system of criminal punishment. There are a number of pressing issues related to this topic, but in this essay, I will focus upon the problem of prison violence. Inadequate supervision has resulted in unsafe prison conditions where inmates are regularly threatened with rape, assault, and other forms of physical violence. Such callous disregard and exposure to unreasonable risk constitutes a severe violation (...) of the rights of prisoners by the state. While there have been numerous legal, political, and activist efforts to draw attention to this issue—with the goal of reforming and making prisons safer—my goal is different. I argue that inmates who are victims of prison violence should have their sentences automatically reduced. Two distinct arguments are advanced in support of this claim. First, I argue that acts of prison violence are a sort of state-mediated harm which can thus be appropriately described as punishment-constituting. Second, and more straightforwardly, I argue that the compensation owed to prisoners who are victims of prison violence may naturally take the form of a reduced sentence. (shrink)

Deferential Monadic Panpsychism is a view that accepts that physical science is capable of discovering the basic structure of reality. However, it denies that reality is fully and exhaustively de- scribed purely in terms of physical science. Consciousness is missing from the physical description and cannot be reduced to it. DMP explores the idea that the physically fundamental features of the world possess some intrinsic mental aspect. It thereby faces a se- vere problem of understanding how more complex mental states (...) emerge from the mental features of the fundamental features. Here I explore the idea that a new form of aggregative emergence, which I call 'combinatorial infusion', could shed light on this problem and bolster the prospects for this form of panpsychism. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

Leibniz said that the universe, if God-created, would exist at a unique, conjoint, physical maximum: Of all possible worlds, it would be richest in phenomena, but its richness would arise from the simplest physical laws and initial conditions. Using concepts of ‘‘variety’’ and algorithmic informational complexity, Leibniz’ claim can be reframed as a testable theory. This theory predicts that the laws and conditions of the actual universe should be simpler, and the universe richer in phenomena, than the presence of observers (...) would require. Tegmark has shown that inhabitants of an infinite multiverse would likely observe simple laws and conditions, but also phenomenal richness just great enough to explain their existence. Empirical observations fit the claim of divine choice better than the claim of an infinite multiverse. The future of the universe, including its future information-processing capacity, is predicted to be endless. -/- . (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...) to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

This essay explores the creation and evolution of life and consciousness through the lens of a biological framework for understanding the universe. The theory posits that the patterns inherent in biological systems mirror the underlying mathematical principles of the cosmos. Thus, every pattern that manifests from the universe’s “parent-pattern” contains a fundamental biological-pattern inherent to its function, revealing the objective nature and purpose of that thing. Examples include the way ocean currents resemble a circulatory system and how socioeconomic phenomena mimic (...) cellular order. These correspondences suggest that life and consciousness are products of the universe’s biologically-patterned processes, and understanding these patterns is crucial for humanity's survival, especially as human society and environment becomes more complex—requiring a truer understanding of reality reality and how to organize themselves within it. The paper further argues that historical and philosophical concepts, such as Atman and Brahman in the Upanishads, Pnimiyut and Chitzoniyut in Kabbalah (Judaism), Batin and Zahir in Sufism (Islam), and many more align with this framework. The essay emphasizes that aligning human society with these biological patterns, as seen in biomimicry, is necessary for continued survival and harmony with the universe. The essay provides scientific studies and analogies supporting these ideas, illustrating how biological patterns are reflected across different domains of knowledge. (shrink)

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

Husserlian phenomenology, as the study of conscious experience, has often been accused of solipsism. Husserl’s method, it is argued, does not have the resources to provide an account of consciousness of other minds. This chapter will address this issue by providing a brief overview of the multiple angles from which Husserl approached the theme of intersubjectivity, with specific focus on the details of his account of the concrete interpersonal encounter – “empathy.” Husserl understood empathy as a direct, quasi-perceptual form of (...) intentionality through which the sense of the Other is constituted. Furthermore, his account of empathy is holistically integrated with his overall theory of intersubjectivity, including his discussions of the objectivity of nature, and the social, historical, and communal aspects of subjectivity. Husserl’s theory of empathy continues to cast a long shadow, influencing both the analytic and continental approaches to the problem of other minds, as well as contemporary account of social cognition in the cognitive sciences. (shrink)

For children, the collateral damage of the COVID-19 pandemic response has been considerable. In this paper, we use the framework of evidence-based medicine to argue that child abuse is another negative side effect of COVID-19 lockdowns. While it was certain that school closures would have profound social and economic costs, it remains uncertain whether they have any effect on COVID-19 transmission. There is emerging evidence that lockdowns significantly worsened child abuse on a global scale. Low-income and middle-income countries are particularly (...) vulnerable to increases in child abuse. The best available external evidence from systematic research during the pandemic demonstrates an increase in the risk of child maltreatment, an increase in child maltreatment hospitalisations and a concerning decrease in official child maltreatment referrals. The paradoxical phenomenon of increased hospitalisations and decreased reports is unlikely to be explained by a genuine decrease in child abuse. We conclude that lockdowns have an unacceptably high risk of negative side effects for children, as evidenced by child abuse, the true extent of which appears to be masked by lockdown-related disruptions to schools and other surveillance systems. The desire for a sense of security may be a tempting bias towards emphasising the resilience of children, but it is ethically problematic to push children towards abuse in the name of public health. It is our view that the collateral damage of prolonged school closures for society’s most vulnerable members is a powerful ethical consideration against any pandemic response which involves their use. (shrink)

Mereonominalism, holonominalism, and part-whole realism represent competing views on the metaphysics of parts and wholes. Mereonominalism claims that what parts exist is a function of the concepts we use in describing composite wholes. Holonominalism claims that what composite wholes exist is a function of the concepts we use in describing things that can qualify as parts. Part-whole realism claims that parts and wholes exist independent of our concepts. I argue that all three views face problems, but that the problem facing (...) part-whole realism can be solved by adopting a version of hylomorphism that takes its cue from Aristotle’s account of form. (shrink)

This article focuses on the positive reasons for adopting epiphenomenalism. Some objections that have been answered in more detail in my other work receive some response here, but the main point is to see why epiphenomenalism is an attractive view for those with a generally naturalistic outlook. It distinguishes qualitative events from propositional states and explains why their treatment must be different. The view that our words must 'express our thoughts' is critically examined.

No existing conditional semantics captures the dual role of 'if' in embedded interrogatives — 'X wonders if p' — and conditionals. This paper presses the importance and extent of this challenge, linking it to cross-linguistic patterns and other phenomena involving conditionals. Among these other phenomena are conditionals with multiple 'if'-clauses in the antecedent — 'if p and if q, then r' — and relevance conditionals — 'if you are hungry, there is food in the cupboard'. Both phenomena are shown to (...) be problematic for existing analyses. Surprisingly, the decomposition of conditionals needed to capture the link with interrogatives provides a new analysis that captures all three phenomena. The model-theoretic semantics offered here relies on a dynamic conception of meaning and compositionality, a feature discussed throughout. (shrink)

This paper outlines Lewis’s favoured foundational account of linguistic representation, and outlines and briefly evaluates variations and modifications. Section 1 gives an opinionated exegesis of Lewis’ work on the foundations of reference—his interpretationism. I look at the way that the metaphysical distinction between natural and non-natural properties came to play a central role in his thinking about language. Lewis’s own deployment of this notion has implausible commitments, so in section 2 I consider variations and alternatives. Section 3 briefly considers a (...) buck-passing strategy involving fine-grained linguistic conventions. (shrink)

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

We must, therefore, make a study of mechanism; but some introduction is advisable, for cybernetics treats the subject from a new, and therefore unusual, ...

We show that as a chain of confirmation becomes longer, confirmation dwindles under screening-off. For example, if E confirms H1, H1 confirms H2, and H1 screens off E from H2, then the degree to which E confirms H2 is less than the degree to which E confirms H1. Although there are many measures of confirmation, our result holds on any measure that satisfies the Weak Law of Likelihood. We apply our result to testimony cases, relate it to the Data-Processing Inequality (...) in information theory, and extend it in two respects so that it covers a broader range of cases. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

This Paper addresses the problem of statelessness, a problem which remains despite treaties and judicial decisions elaborating distinct rules to protect stateless persons. I explain why this has been so. Drawing from the work of Bernhard Waldenfels, I argue that international and domestic courts have presupposed a territorial sense of space, a territorial knowledge and the founding date for the territorial structure of a state-centric international legal community. I then focus upon the idea that an impartial third party can resolve (...) a dispute involving stateless persons by deferring to a universal rule. I call the third party the ‘rule of law third’. Such a rule, I argue, presupposes a presupposed knowledge over stateless persons. The Third takes for granted the territorial boundary of a legal structure, a boundary which excludes the recognition of outsiders to the boundary. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Mind, Brain, and Free Will, Richard Swinburne’s stimulating new book, covers a great deal of territory. I’ll focus on some of the positions Swinburne defends in the philosophy of mind. Many philosophers are likely to have reservations about the arguments he uses to defend them, and others will think his basic position is unmotivated. My goal in this brief discussion is to articulate some of the reasons why.

[This download contains the Table of Contents and Chapter 1.] This first book-length study of confabulation breaks ground in both philosophy and cognitive science.

The main purpose of this paper is to demonstrate how Gianni Vattimo offers a new interpretation of history that challenges standard accounts of the modern period and promotes a new approach to literature. The paper begins with a discussion of how the Cartesian cogito provides an inadequate basis for historical research, and then proposes that modern history can be 'read' when it is reassessed through recent hermeneutics. In 'The End of Modernity' (1985), Vattimo indicates that Heidegger's understanding of the "overcoming (...) of metaphysics" shifted in time, thus suggesting new insights into modernity. The conclusion to the paper applies these insights to show how the notion of a unified literary period is difficult to sustain in a postmodern framework. -/- . (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

We argue elsewhere that explanatoriness is evidentially irrelevant . Let H be some hypothesis, O some observation, and E the proposition that H would explain O if H and O were true. Then O screens-off E from H: Pr = Pr. This thesis, hereafter “SOT” , is defended by appeal to a representative case. The case concerns smoking and lung cancer. McCain and Poston grant that SOT holds in cases, like our case concerning smoking and lung cancer, that involve frequency (...) data. However, McCain and Poston contend that there is a wider sense of evidential relevance—wider than the sense at play in SOT—on which explanatoriness is evidentially relevant even in cases involving frequency data. This is their main point, but they also contend that SOT does not hold in certain cases not involving frequency data. We reply to each of these points and conclude with some general remarks on screening-off as a test of evidential relevance. (shrink)