Terence Horgan, George Graham and John Tienson argue that some intentional content is constitutively determined by phenomenology alone. We argue that this would require a certain kind of covariation of phenomenal states and intentional states that is not established by Horgan, Tienson and Graham’s arguments. We make the case that there is inadequate reason to think phenomenology determines perceptual belief, and that there is reason to doubt that phenomenology determines any species of non-perceptual intentionality. We also raise worries about the (...) capacity of phenomenology to map onto intentionality in a way that would be appropriate for any determiner of content/fixer of truth conditions. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Twenty years ago, Richard Boyd suggested that physicalism could be formulated by appeal to a notion of realization, with no appeal to the identity of the non-physical with the physical. In (Melnyk 2003), I developed this suggestion at length, on the basis of one particular account of realization. I now ask what happens if you try to formulate physicalism on the basis of other accounts of realization, accounts due to LePore and Loewer and to Shoemaker. Having explored two new (...) formulations of physicalism, I conclude that my 2003 formulation remains the most promising. (shrink)

It is often claimed that liberalism is falsely and perniciously universalist. I take this charge seriously, exploring three positions: the communitarians’, Rorty’s, and that of “comprehensive” liberalism. After explaining why universalism is thought impossible, I examine the communitarian view that value is determined within communities and argue that it results in a form of relativism that is unacceptable. I next discuss Richard Rorty’s liberal acceptance of “conventionalism” and explain how, despite his rejection of universalism, Rorty remains a liberal. I (...) then present a defense of universalism, based in part on arguments that parallel Thomas Nagel’s arguments in defense of a “view from nowhere” and Jean Hampton’s objectivist arguments against Rawls’s moves to a “merely political” theory. That defense requires that we can distance ourselves from our ends to make moral judgments shorn of all partialities. (shrink)

Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in his career he invented intensional logic, simultaneously with Richard Montague, but published his version in 1971, slightly after Montague's 1970 papers, and has never been recognised for this achievement. But this was only the beginning of his work. He developed a highly original theory of semantics (...) called Transparent Intensional Logic, which is the basis of an important research program based in the Czech Republic and Slovenia. He published a wide range of original work in semantics, philosophy of logic and language, philosophy of science, and metaphysics; but despite the indisputable quality of this work, he has gained little contemporary recognition. This article provides a brief introduction to his work, focussing mainly on basic ideas of his intensional semantics and his theory of 'constructions'. (shrink)

This collection of original essays--by philosophers of biology, biologists, and cognitive scientists--provides a wide range of perspectives on species. Including contributions from David Hull, John Dupre, David Nanney, Kevin de Queiroz, and Kim Sterelny, amongst others, this book has become especially well-known for the three essays it contains on the homeostatic property cluster view of natural kinds, papers by Richard Boyd, Paul Griffiths, and Robert A. Wilson.

Rorty, Pragmatism, and Confucianism, a collection of twelve essays on the work of Richard Rorty and its relation to Confucian thought, arose out of a conference in Shanghai in 2004, where participants were granted access to several of Rorty’s unpublished manuscripts. In his introduction, the editor Yong Huang states his desire to outline areas of shared interest in Rortian and Confucian thought. He notes, for example, the similarities between Rorty’s view that sentiment is “central to the moral consciousness” (p. (...) 2) and the early Confucian tradition’s stress on the enhancement and appropriate directing of feeling; in Rorty’s words, a more moral world is best created by telling a “long, sad, sentimental .. (shrink)

Der berühmte Ameisenmann E.O. Wilson war schon immer einer meiner Helden - nicht nur ein hervorragender Biologe, sondern eine der winzigen und verschwindenden Minderheit von Intellektuellen, die es zumindest wagt, die Wahrheit über unsere Natur anzudeuten, die andere nicht verstehen oder, soweit sie es verstehen, aus politischen Gründen unermüdlich vermeiden. Leider beendet er seine lange Karriere auf äußerst schäbige Weise als Partei eines ignoranten und arroganten Angriffs auf die Wissenschaft, der zumindest teilweise durch die religiöse Inbrunst seiner Harvard-Kollegenmotiviertist. Es zeigt (...) die abscheulichen Folgen, wenn Universitäten Geld von religiösen Gruppen annehmen, Wissenschaftszeitschriften von großen Namen so bewundert sind, dass sie eine ordnungsgemäße Peer Review vermeiden und wenn Egos außer Kontrolle geraten dürfen. Es führt uns in die Natur der Evolution, die Grundlagen der wissenschaftlichen Methodik, wie Mathematik mit Wissenschaft zusammenhängt, was eine Theorie ausmacht, und sogar, welche Einstellungen zu Religion und Großzügigkeit angemessen sind, wenn wir uns unaufhaltsam dem Zusammenbruch der industriellen Zivilisation nähern. Ich fand Abschnitte in 'Conquest' mit dem üblichen prägnanten Kommentar (obwohl nichts wirklich Neues oder Interessantes, wenn man seine anderen Werke gelesen hat und auf biologie im Allgemeinen ist) in der oftgestylten Prosa, die sein Markenzeichen ist, aber war ziemlich überrascht, dass der Kern des Buches seine Ablehnung inklusiver Fitness (die seit über 50 Jahren ein Standbein der Evolutionsbiologie ist) zugunsten der Gruppenauswahl ist. Man nimmt an, dass von ihm kommen und mit den articles er bezieht sich auf veröffentlicht von sich selbst und Harvard Mathematik Kollege Nowak in großen Peer-Review-Zeitschriften wie Nature, muss es ein wesentlicher Fortschritt sein,, trotz der Tatsache, dass ich wusste, Gruppenauswahl wurde fast überall abgelehnt, da mit jeder großen Rolle in der Evolution. Ich habe zahlreiche Rezensionen im Netz gelesen und viele haben gute Kommentare, aber die, die ich am meisten sehen wollte, war, dass von renommierten Wissenschaftsautor und Evolutionsbiologe Richard Dawkins. Im Gegensatz zu den meisten von Fachleuten, die in Zeitschriften nur für diejenigen mit Zugang zu einer Universität zur Verfügung stehen, ist es leicht im Netz verfügbar, obwohlanscheinend, entschied er sich, es nicht in einer Zeitschrift zu veröffentlichen, da es angemessen abscheulich ist. Leider findet man eine vernichtende Ablehnung des Buches und den acerbic Kommentar über einen wissenschaftlichen Kollegen, den ich je von Dawkins gesehen habe -- über alles in seinem vielen Austausch mit dem verstorbenen und unbeklagten Demagogen und Pseudowissenschaftler Stephan Jay Gould. Obwohl Gould für seine persönlichen Angriffe auf seinen Harvard-Kollegen Wilson berüchtigt war, stellt Dawkins fest, dass ein Großteil von "Conquest" einen unbequem an Goulds häufige Verfehlungen in "bland, unfocussed ecumenicalis" erinnert. Dasselbe gilt mehr oder weniger für Wilsons populäres Schreiben, einschließlich seines jüngsten Buches "The Meaning of Human Existence" – eine weitere schamlose Eigenwerbung seiner diskreditierten Ideen zu Inklusiver Fitness (IF). Dawkins weist darauf hin, dass das berüchtigte 2010-Papier von Nowak, Tarnita und Wilson in Nature von über 140 Biologen, die einen Brief unterzeichnet haben, fast überall abgelehnt wurde und dass es in Wilsons Buch kein Wort darüber gibt. Auch in den folgenden 4 Jahren mit Artikeln, Vorträgen und mehreren Büchern haben sie dies nicht korrigiert. Es gibt keine andere Wahl, als Dawkins trenchant Kommentar zuzustimmen: "Für Wilson nicht zu zugeben, dass er für sich selbst gegen die große Mehrheit seiner professionellen Kollegen spricht - es schmerzt mich, dies von einem lebenslangen Helden zu sagen -- ein Akt mutwilligen Arroganz." Angesichts von Nowaks späterem Verhalten muss man ihn auch einbeziehen. Ich habe das Gefühl, dass einer der fassungslosen Menschen, die man im Fernsehen sieht, interviewt wird, nachdem der nette Mann von nebenan, der seit 30 Jahren alle Kinder babysitten, als Serienmörder entlarvt wird. Dawkins weist auch darauf hin (wie er und andere seit vielen Jahren), dass inklusive Fitness mit dem Neo-Darwinismus (d.h. logischerweise folgt) entsteht und nicht abgelehnt werden kann, ohne die Evolution selbst abzulehnen. Wilson erinnert uns erneut an Gould, der Kreationisten von der einen Seite seines Mundes anprangerte, während er ihnen Trost spendete, indem er endlosen ultraliberalen marxistisch gefärbten Kauderwelsch über Spandrels, unterbrochenes Gleichgewicht und Evolutionspsychologie von der anderen ausspeist. Die Unbestimmtheit und mathematische Opazität (für die meisten von uns) der Mathematik der Gruppen- oder Mehrebenenauswahl ist genau das, was die Sanftmütigen ihnen ermöglichen wollen, dem rationalen Denken in ihren endlosen antiwissenschaftlichen Gerüchten und (in der Wissenschaft) postmodernen Wortsalate zu entkommen. Schlimmer noch, Wilsons "Eroberung" ist ein schlecht durchdachtes und schlampig geschriebenes Durcheinander voller Nonsequiturs, vager Streifzüge, Verwirrungen und Inkohärenz. Eine gute Bewertung, die einige davon im Detail ist, dass von Absolvent Gerry Carter, die Sie im Netz finden können. Wilson hat auch nichts mit unserem gegenwärtigen Verständnis der Evolutionspsychologie (EP) zu tun (siehe z.B. die letzten 300 Seiten von Pinkers 'The Better Angels of our Nature'). Wenn Sie eine seriöse Buchlänge Bericht über die soziale Evolution und einige relevante EP von einem Experten wollen, siehe 'Principles of Social Evolution' von Andrew F.G. Bourke, oder ein nicht ganz so ernster und zugegebenermaßen fehlerhafter und irrender Bericht, aber ein Muss,das Robert Trivers dennoch lesen muss—'The Folly of Fools: The Logic of Deceit and Self-Deception in Human Life' und ältere, aber immer noch aktuelle und durchdringende Werke wie 'The Evolutionof Cooperation':Revised Edition by Robert Axelrod and 'The Biology ofMoral Systems' von Richard Alexander. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

In this paper I argue that the enkratic principle in its classic formulation may not be a requirement of rationality. The investigation of whether it is leads to some important methodological insights into the study of rationality. I also consider the possibility that we should consider rational requirements as a subset of a broader category of agential requirements.

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of real possibility can (...) be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)

This is a discussion of the state of discussion on pragmatic reasons for belief.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

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.

This paper argues that underlying social biases are able to affect the processes underlying linguistic interpretation. The result is a series of harms systematically inflicted on marginalised speakers. It is also argued that the role of biases and stereotypes in interpretation complicates Miranda Fricker's proposed solution to epistemic injustice.

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number of (...) these stages, which is not reasonable when counting in the ordinary world. (shrink)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...) that action. Likewise with ought, when there is sufficient evidence for something, one ought to believe it (at least under normal circumstances). Not all guidance need be directed towards a specific state or a specific action. Subject to the requirements of normativity, too, are relations. It is commonly believed, for example, that we ought not to hold contradictory beliefs.1 At least some of the requirements that concern relations amongst an agent’s mental states are, or seem, distinctive. Agents who fail to satisfy these requirements are considered, at least to some degree, irrational. On many current views, being irrational is distinct in some way from not being how one ought to be; rationality is a concept distinct from normativity. Much of the literature on this topic over the last decade stems from attempts to capture the characteristic features of the requirements of rationality. Two influential views in particular did much to set the agenda. The first of these two was put forward John Broome.2 His view, the particulars of which I shall discuss in more detail below, is that the requirements of rationality could be expressed using a normative relation, which he calls a ‘normative requirement’. Normative requirements are conditionals governed by an all-thingsconsidered ought. In the case of rationality, the conditional is made up entirely of mental states.. (shrink)

David Lewis—famously—never tasted vegemite. Did he have any knowledge of what it's like to taste vegemite? Most say 'no'; I say 'yes'. I argue that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. (...) I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

In this chapter, I present and explore various arguments for skepticism that are related to memory. My focus will be on the aspects of the arguments that are unique to memory, which are not shared, for example, by the more often explored skeptical arguments related to perception. -/- Here are some interesting upshots. First, a particular problem for justifiably concluding that one's memory is reliable is that any reasoning in favor of this conclusion will either result in epistemically circularity or (...) not be sufficient to justify the conclusion. Second, since many beliefs stored in memory do not appear to be based on evidence, it might also appear to follow that they are not justified. Third, although many stored memory beliefs are not based on stored memory experiences in the same way that perceptual beliefs are based on perceptual experiences, skeptical scenarios loom just as problematically for memory beliefs as they do for perceptual beliefs. (shrink)

I argue that assertoric content functions as a means for us to track the responsibilities undertaken by communicators, and that distinctively assertoric commitments are distinguished by being generated directly in virtue of the words the speaker uses. This raises two questions: (a) Why are speakers responsible for the content thus generated? (b) Why is it important for us to distinguish between commitments in terms of their manner of generation? I answer the first question by developing a novel responsibility based metasemantics. (...) I answer the second by reference to the conflicting pressures governing the resources we have available for appraising speech. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

In this chapter I hope to persuade you that defective contexts are more ubiquitous than we typically assume. In doing, so I will draw attention to a number of pressing social and theoretical issues which arise once we start to consider defective contexts. I will proceed by pointing to a number of ways in which defective contexts can emerge without self-correcting in the manner envisioned by Stalnaker. First I will consider situations in which some, but not all interlocutors recognise that (...) the context is defective. I will then consider cases of opaquely defective contexts, and the question of what it is for a context to be “close enough” to being non-defective. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

Once upon a time, not too long ago, the question about apes and ethics had to do with moral standing—do apes have interests or rights that humans ought to respect? Given the fifty years of research on great ape cognition, life history, social organization, and behavior, the answer to that question seems obvious. Apes have emotions and projects, they can be harmed, and they have important social relationships.

This paper defines and defends a notion of teleological function which is fit to figure in explanations concerning how organic systems, and the items which compose them, are able to perform certain activities, such as surviving and reproducing or pumping blood. According to this notion, a teleological function of an item (such as the heart) is a typical way in which items of that type contribute to some containing system's ability to do some activity. An account of what it is (...) for an item to contribute to a containing system's ability to perform an activity is provided. I argue that the view acquires its normative status in virtue of the fact that it obeys a function-accident distinction and obeys a function-dysfunction distinction; that the view is ahistorical; and, that its ahistoricity provides it with an advantage over one of its main competitors. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by arguing that the (...) relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings (...) of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)