A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

This report by the WHO Consultative Group on Equity and Universal Health Coverage addresses how countries can make fair progress towards the goal of universal coverage. It explains the relevant tradeoffs between different desirable ends and offers guidance on how to make these tradeoffs.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

Universities and colleges all over the United States are currently revising and implementing policies concerning sexual harassment and sexual misconduct, under the generally expressed concern to comply with Title IX requirements. But there is a very basic problem of equivocation. Both “sexual harassment” and “sexual misconduct” are used in very different ways in different contexts, often by the same entity. The result is a mess in which members of campus communities cannot be sure of their obligations or protections, and which (...) presents a serious threat to academic freedom. (shrink)

Regina Fabry has proposed an intriguing marriage of enculturated cognition and predictive processing. I raise some questions for whether this marriage will work and warn against expecting too much from the predictive processing framework. Furthermore I argue that the predictive processes at a sub-personal level cannot be driving the innovations at a social level that lead to enculturated cognitive systems, like those explored in my target paper.

Religion, especially Western religion, calls upon us to 'believe' on the basis of 'faith.' But in what way can faith serve as a justification for belief? In this essay, I distinguish between 'belief in' and 'belief that' and argue that faith, properly understood, entails the former, not the latter.

It has been known for some time that context-dependence poses a problem for disquotationalism, but the problem has largely been regarded as one of detail: one that will be solved by the right sort of cleverness. I argue here that the problem is one of principle and that extant solutions, which are based upon the notion of translation, cannot succeed.

This chapter examines the pragmatist approach to cognition and experience and provides some of the conceptual background to the “pragmatic turn” currently underway in cognitive science. Classical pragmatists wrote extensively on cognition from a naturalistic perspective, and many of their views are compatible with contemporary pragmatist approaches such as enactivist, extended, and embodied-Bayesian approaches to cognition. Three principles of a pragmatic approach to cognition frame the discussion: First, thinking is structured by the interaction of an organism with its environment. Second, (...) cognition develops via exploratory inference, which remains a core cognitive ability throughout the life cycle. Finally, inquiry/problem solving begins with genuinely irritating doubts that arise in a situation and is carried out by exploratory inference. (shrink)

The Global Forum on Bioethics in Research (GFBR) served as a global platform for debate on ethical issues in international health research between 1999 and 2008, bringing together research ethics experts, researchers, policy makers and community members from developing and developed countries. In total, nine GFBR meetings were held on six continents. Work is currently underway to revive the GFBR. This paper describes the purpose and history of the GFBR and presents key elements for its reinstatement, future functioning and sustainability. (...) Potential participants and sponsors are encouraged to contribute actively to the future of this unique international research ethics event. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

This article examines the flaw in the libertarian conception of the right to property. It argues that libertarians fail to recognize that, in a settled society, the right to amass property must be qualified and limited by the right of all people - including those without property - to have access to sufficient property for a satisfactory life.

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

The physiological constraints of our neuro-sensory instrumentation limit the information we receive and from which we fashion our impressions. These limitations precede the psychological issues of data generation and analysis described by Ioannidis [1]. Scientific models widely accepted for at least 50 years [2,3] suggest that the peripheral and central nervous systems do not provide direct information about phenomena as they exist in nature. Instead, perceptible phenomena stimulate sense organs to produce nerve impulses. Sensory nerve impulses are not replicas of (...) the phenomena stimulating their production. The brain, by obscure mechanisms, then fabricates personal experience from the sensory nerve impulses. The relationship of phenomena to the brain's experiential construct is unknown. Since evidence is produced by sense organs and the brain (neither of which incorporates bona fide replicas of phenomena), all scientific conclusions are likely false in the sense that they are not based on direct knowledge of phenomena as they exist in nature. (shrink)

This paper considers a now familiar argument that the ubiquity of context -dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan and (...) others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics -pragmatics distinction. Please note that the paper posted here is an extended version of what was published. (shrink)

What are the possible varieties of cognition-artifact relations, and which dimensions are relevant for exploring these varieties? This question is answered in two steps. First, three levels of functional and informational integration between human agent and cognitive artifact are distinguished. These levels are based on the degree of interactivity and direction of information flow, and range from monocausal and bicausal relations to continuous reciprocal causation. In these levels there is a hierarchy of integrative processes in which there is an increasing (...) degree of hybridization. Therefore, from a functional and informational level of abstraction, it becomes increasingly difficult to distinguish between agent and artifact in this hierarchy. Second, a multidimensional matrix for exploring cognition-artifact relations is sketched. The dimensions in the matrix include reliability, durability, trust, procedural and representational transparency, individualization, bandwidth, speed of information flow, distribution of computation, and cognitive and artifactual transformation. Together, these dimensions constitute a multidimensional space in which particular cognition-artifact relations can be located. The higher a particular cognition-artifact relation scores on these dimensions, the more integration and hybridization occurs, and the more tightly coupled the overall system is. It is then better, for explanatory reasons, to see agent and artifact as one cognitive system with a distributed informational architecture. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Memory is everywhere in Blade Runner 2049. From the dead tree that serves as a memorial and a site of remembrance (“Who keeps a dead tree?”), to the ‘flashbulb’ memories individuals hold about the moment of the ‘blackout’, when all the electronic stores of data were irretrievably erased (“everyone remembers where they were at the blackout”). Indeed, the data wiped out in the blackout itself involves a loss of memory (“all our memory bearings from the time, they were all damaged (...) in the blackout”). Memory, and lack of it, permeates place, where from the post-blackout Las Vegas Deckard remembers it as somewhere you could “forget your troubles.” Memory is a commodity, called upon and consumed by the Wallace Corporation, purchased from the memory-maker, Dr Ana Stelline, who constructs and implants “the best memories” in replicants so as to instil in them real human responses. Memory is ubiquitous in Blade Runner 2049, involving humans, replicants, objects, and machines. Even “God,” we are told, “remembered Rachael.” Nowhere, though, is the depiction of memory more important than in the attempt to solve a question of identity. Officer K has a memory of his past. Even though he knows it is an implant, it is a memory he is emotionally attached to, frequently narrating it to Joi, his digital girlfriend. But it is a memory that starts to puzzle and trouble him. When K discovers the remains of a dead replicant, a female NEXUS-7, he uncovers a secret—this replicant was pregnant and died during childbirth, a discovery that could “break the world.” K is charged with hunting down the child and making the problem disappear. Yet as K starts seeking answers to the question of the child’s identity he gets inextricably caught up in the mystery. Is he merely Officer K, or is he Joe, the miracle child of Rachael and Deckard? The answer to this question hinges on K’s memory. But is the memory genuine? Is the memory his? Blade Runner 2049 encourages us to think deeply about the nature of memory, identity, and the relation between them. Indeed, the film does not just serve as a starting point for thinking about philosophical issues related to memory and identity. Rather, as we show in this chapter, the film seems to offer a view on these philosophical issues. Blade Runner 2049 offers us a view of memory as spread out over people, objects, and the environment, and it shows us that memory’s role in questions of identity goes beyond merely accurately recalling one’s past. Identity depends not on memory per se, but partly on what we use memory for. (shrink)

What Bar-On and Simmons call 'Conceptual Deflationism' is the thesis that truth is a 'thin' concept in the sense that it is not suited to play any explanatory role in our scientific theorizing. One obvious place it might play such a role is in semantics, so disquotationalists have been widely concerned to argued that 'compositional principles', such as -/- (C) A conjunction is true iff its conjuncts are true -/- are ultimately quite trivial and, more generally, that semantic theorists have (...) misconceived the relation between truth, meaning, and logic. This paper argues, to the contrary, that even such simple compositional principles as (C) have substantial content that cannot be captured by deflationist 'proofs' of them. The key thought is that (C) is supposed, among other things, to affirm the truth-functionality of conjunction and that disquotationalists cannot, ultimately, make sense of truth-functionality. -/- This paper is something of a companion to "The Logical Strength of Compositional Principles". (shrink)

Nell'introduzione ad Insight: Uno studio del comprendere umano, Bernard Lonergan scrive delle “sorprendenti stranezze” che arrivano a chi comprende veramente il significato dell'atto di insight. Il presente lavoro testimonia proprio questa esperienza che Richard Liddy ha fatto nella sua vita, negli anni Sessanta, mentre lottava con Insight di Lonergan. Liddy è stato suo studente, a Roma, durante il Secondo Concilio Vaticano (1962-1965) e, in queste pagine, racconta il suo incontro con Lonergan e con Insight. Menziona anche i ricordi di (...) altri studenti di Lonergan e di persone che hanno testimoniato le “sorprendenti stranezze”, suscitate dalla lettura di Insight. (shrink)

Orang-utans played a communication game in two studies testing their ability to produce and comprehend requestive pointing. While the ‘communicator’ could see but not obtain hidden food, the ‘donor’ could release the food to the communicator, but could not see its location for herself. They could coordinate successfully if the communicator pointed to the food, and if the donor comprehended his communicative goal and responded pro-socially. In Study 1, one orang-utan pointed regularly and accurately for peers. However, they responded only (...) rarely. In Study 2, a human experimenter played the communicator’s role in three conditions, testing the apes’ comprehension of points of different heights and different degrees of ostension. There was no effect of condition. However, across conditions one donor performed well individually, and as a group orang-utans’ comprehension performance tended towards significance. We explain this on the grounds that comprehension required inferences that they found difficult – but not impossible. The finding has valuable implications for our thinking about the development of pointing in phylogeny. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

How should your opinion change in light of an epistemic peer's? We show that the pooling rule known as "upco" is the unique answer satisfying some natural desiderata. If your revised opinion will impact your other views by Jeffrey conditionalization, then upco is the only standard pooling rule that ensures the order in which peers are consulted makes no difference. Popular alternatives like linear pooling, geometric pooling, and harmonic pooling cannot boast the same. In fact, no alternative can that possesses (...) four minimal properties these proposals all share. (shrink)

“Whoever does not love abides in death,” writes John in his first epistle (1Jn 3:10). This statement presents us with a paradox. Death, so we suppose, is precisely that in which one cannot 'abide.' Our first thought is to interpret this as metaphor. John is saying that a life devoid of love is a life somehow like death. But, having never died, how do we know what death is like? My paper explores these questions with the aid of two philosophical (...) interpretations of the meaning of death: Heidegger’s in Being and Time and Kierkegaard’s in The Sickness Unto Death. Having looked at these I then seek to grasp their relation to the Christian idea of agapic love as presented by John. (shrink)

In this introduction to the Oxford Handbook of Philosophy and Psychoanalysis, we provide an overview of the promise and problems of connecting philosophy and psychoanalysis through a focus on the age-old theme central to both disciplines, 'know thyself'.

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? It turns out that, in a wide range of cases, we can get some nice answers to this question, but only if we work in a framework that is somewhat different from those usually employed in discussions of (...) axiomatic theories of truth. These results are then used to address a range of philosophical questions connected with truth, such as what Tarski meant by "essential richness" and the so-called conservativeness argument against deflationism. -/- This draft dates from about 2009, with some significant updates having been made around 2011. Around then, however, I decided that the paper was becoming unmanageable and that I was trying to do too many things in it. I have therefore exploded the paper into several pieces, which will be published separately. These include "Disquotationalism and the Compositional Principles", "The Logical Strength of Compositional Principles", "Consistency and the Theory of Truth", and "What Is Essential Richness?" You should probably read those instead, since this draft remains a bit of a mess. Terminology and notation are inconsistent, and some of the proofs aren't quite right. So, caveat lector. I make it public only because it has been cited in a few places now. (shrink)

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

In this brief article I argue that liberalism is the political form most consistent with theism.

In the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (shrink)

If you focus your charitable giving on global causes where it will do the most good, how should you feel about passing by the local soup kitchen? Would the ideally virtuous agent have their (local) empathy still activated, but simply overridden by the recognition that distant others are in even greater need, leaving the agent feeling torn? Or would their empathetic impulses be wholeheartedly redirected towards the greatest needs? This chapter suggests a way to revise an outdated conception of moral (...) virtue to better meet the demands of a cosmopolitan moral outlook. (shrink)

Brain-computer interfaces (BCIs) are an emerging and converging technology that translates the brain activity of its user into command signals for external devices, ranging from motorized wheelchairs, robotic hands, environmental control systems, and computer applications. In this paper I functionally decompose BCI systems and categorize BCI applications with similar functional properties into three categories, those with (1) motor, (2) virtual, and (3) linguistic applications. I then analyse the relationship between these distinct BCI applications and their users from an epistemological and (...) phenomenological perspective. Specifically, I analyse functional properties of BCIs in relation to the abilities (particularly motor behaviour and communication) of their human users, asking how they may or may not extend these abilities. This includes a phenomenological analysis of whether BCIs are experienced as transparent extensions. Contrary to some recent philosophical claims, I conclude that, although BCIs have the potential to become bodily as well as cognitive extensions for skilled users, at this stage they are not. And while the electrodes and signal processor may to a variable degree be transparent and incorporated, the BCI system as a whole is not. Contemporary BCIs are difficult to use. Most systems only work in highly controlled laboratory settings, require a high amount of training and concentration, have very limited control options, have low and variable information transfer rates, and effector motions are often slow, clumsy and sometimes unsuccessful. These drawbacks considerably limit their possibilities for transparency and incorporation into either the body schema or cognitive system which is essential for bodily and cognitive extension. Current BCIs can therefore only be seen as a weak or metaphorical extension of the human central nervous system. To increase their potential for cognitive extension, I give suggestions for improving the interface design of what I refer to as linguistic applications. (shrink)

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

A teaching document I've used in my courses on truth and on incompleteness. Aimed at students who have a good grasp of basic logic, and decent math skills, it attempts to give them the background they need to understand a proper statement of the classic results due to Gödel and Tarski, and sketches their proofs. Topics covered include the notions of language and theory, the basics of formal syntax and arithmetization, formal arithmetic (Q and PA), representability, diagonalization, and the incompleteness (...) and undefinability theorems. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

This is the second part of my theological dialogue with ChatGPT on the meaning of God. We explore the nature of God's agency, will, goodness, the problem of evil and suffering, the meaning of sin, and the meaning and nature of the redemptive act of Christ.

My aim in this paper is to identify the wrong that is done in all cases of testimonial injustice, if there is one. Miranda Fricker (2007) proposes one account of this distinctive wrong, and Gaile Pohlhaus Jr. (2014) offers another. I think neither works. Nor does an account based on giving due respect to the testifier's epistemic competence. Nor does an account based on exposing the testifier to substantial risk of harm. Rachel Fraser (2023) describes a further account, and the (...) proposal I favour is a slight amendment of this. (shrink)