We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

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.

In this chapter, we compare Kant and James’ accounts of freedom. Despite both thinkers’ rejecting compatibilism for the sake of practical reason, there are two striking differences in their stances. The first concerns whether or not freedom requires the possibility of an open future. James holds that morality hinges on the real possibility that the future can be affected by our actions. Kant, on the other hand, seems to maintain that we can still be free in the crucial sense, even (...) if none of our actions can have any effect on the future. The second difference between them is related, and concerns the location of freedom. Kant views experience as determined by natural necessity, and locates freedom outside of it, in things-in-themselves. James, on the other hand, has a richer conception of experience than Kant, and holds that we can locate our freedom within experience alone. In the end, we contend that James has a better account of how freedom relates to our experience, but this comes at a cost. For while Kant's account struggles with the relationship between freedom and experience, it has the advantage of insulating our freedom from potential empirical challenges. (shrink)

Within much contemporary social ontology there is a particular methodology at work. This methodology takes as a starting point two or more asocial or atomic individuals. These individuals are taken to be perfectly functional agents, though outside of all social relations. Following this, combinations of these individuals are considered, to deduce what constitutes a social group. Here I will argue that theories which rely on this methodology are always circular, so long as they purport to describe the formation of all (...) social groups, as they must always presuppose a pre-existing collectivity. Such methodology also produces various distortions in our theories, such as voluntarism. I focus on the workings of Plural Subject Theory as laid out by Margaret Gilbert in On Social Facts. I show that the formation of a plural subject always requires communication, and that communication always requires a pre-existing collectivity. i examine the elements within Plural Subject Theory which protect gilbert from these accusations of circularity, and argue against them. I finalise by suggesting that what Plural Subject Theory, and social ontology in general, requires as a theoretical starting point is not atomic individuals and their combinations, but rather combinations of already socialised or embedded individuals. (shrink)

This paper outlines a new metasemantic theory of moral reason statements, focused on explaining how the reasons thus stated can be inescapable. The motivation for the theory is in part that it can explain this and other phenomena concerning moral reasons. The account also suggests a general recipe for explanations of conceptual features of moral reason statements. (Published with Open Access.).

According to Bernard Williams, if it is true that A has a normative reason to Φ then it must be possible that A should Φ for that reason. This claim is important both because it restricts the range of reasons which agents can have and because it has been used as a premise in an argument for so-called ‘internalist’ theories of reasons. In this paper I rebut an apparent counterexamples to Williams’ claim: Schroeder’s example of Nate. I argue (...) that this counterexample fails since it underestimates the range of cases where agents can act for their normative reasons. Moreover, I argue that a key motivation behind Williams’ claim is compatible with this ‘expansive’ account of what it is to act for a normative reason. (Published with Open Access.). (shrink)

Nietzsche holds that one should believe what best promotes life, and he also accepts the correspondence theory of truth. I’ll call this conjunction of views Nietzschean pragmatism. This article provides textual evidence for attributing this pragmatist position to Nietzsche and explains how his broader metaethical views led him to it.The following section introduces Nietzschean pragmatism, discussing how Nietzsche expresses it in BGE, and distinguishing it from William James’s pragmatism about truth. The second section explains how Nietzsche’s skepticism about values that (...) can’t be grounded in individual passion attracted him to this kind of pragmatism. The third section explores an early application of Nietzschean... (shrink)

Neil Sinhababu and I presented Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge. Fred Adams, John Barker and Murray Clarke argue that Backward Clock is no such counterexample. Their argument fails to nullify Backward Clock which also shows that other tracking analyses, such as Dretske’s and one that Adams et al. may well have in mind, are inadequate.

What is posthumanism and why does it matter? This book offers an introduction to the ways in which humanism's belief in the natural supremacy of the Family of Man has been called into question at different moments and from different theoretical positions. What is the relationship between posthumanism and technology? Can posthumanism have a politics—postcolonial or feminist? Are postmodernism and poststructuralism posthumanist? What happens when critical theory meets Hollywood cinema? What links posthumanism to science fiction. Posthumanism addresses these and other (...) questions in an attempt to come to terms with one of the most pressing issues facing contemporary society. (shrink)

مداخلة مترجمة عن الفرنسية للفيلسوف الفرنسي جيل دولوز.

This paper examines the need for static dispositions within the basic ontology of the powers view of properties. To lend some focus, Neil Williams’s well developed case for static dispositions is considered. While his arguments are not necessarily intended to address fundamental ontology, they still provide a useful starting point, a springboard for diving into the deeper metaphysical waters of the dispositionalist approach. Within that ontological context, this paper contends that Williams’s arguments fail to establish the need (...) to posit static dispositions, or at least any sort not already well appreciated by advocates of the powers view. The paper then proceeds to suggest an alternative motivation for positing static dispositions, the success of which depends greatly on which ontological approach to objects is paired with the powers view. (shrink)

Nietzsche takes moral judgments to be false beliefs, and encourages us to pursue subjective nonmoral value arising from our passions. His view that strong and unified passions make one virtuous is mathematically derivable from this subjectivism and a conceptual analysis of virtue, explaining his evaluations of character and the nature of the Overman.

Parents play a critical role in their child’s personal development and day-to-day experiences. However, as digital technologies are increasingly embedded in most New Zealand children’s everyday life activities parents face the task of ensuring their child’s online safety. To do so, they need to understand the way their child engages with and through these tools and make sense of the rapidly changing, and more technically complex, nature of digital devices. This presents a digital parenting dilemma: maximising children’s online opportunities while (...) minimising online risks and potential harm. This factsheet presents evidence about digital parenting in New Zealand based on nationally representative data collected from parents, caregivers and whānau and their children aged 9-17. It uses measures from the Global Kids Online project to explore the prevalence of different practices used by New Zealand parents to influence or mediate children’s internet use. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

This factsheet presents findings from a quantitative study looking at adults’ experiences of sending and sharing potentially harmful digital communications in New Zealand. Typically research into harmful digital communications focuses on the experiences of those on the receiving end – the victims. However, to better address the distress and harm caused, information is needed about the people sending and sharing potentially harmful messages and posts. In this study we asked adult New Zealanders whether they had sent potentially harmful digital communications (...) in the previous year and if so, how often they had done this, who they were sent to, the channel(s) they used, and the reason for doing this. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

This essay presents an ideal for modern Western romantic love.The basic ideas are the following: people want to form a distinctive sort of plural subject with another, what Nozick has called a "We", they want to be loved for properties of certain kinds, and they want this love to establish and sustain a special sort of commitment to them over time.

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

A representationalist-friendly introduction to representationalism which covers a number of central problems and objections.

Philosophers from Hart to Lewis, Johnston and Bennett have expressed various degrees of reservation concerning the doctrine of double effect. A common concern is that, with regard to many activities that double effect is traditionally thought to prohibit, what might at first look to be a directly intended bad effect is really, on closer examination, a directly intended neutral effect that is closely connected to a foreseen bad effect. This essay examines the extent to which the commonsense concept of intention (...) supports a reasonably consistent and coherent application of double effect. Two important conclusions are these: (1) a number of traditionally proscribed activities involve a kind of “targeting” of innocents that can be taken to exhibit a direct intention to harm them; (2) a direct intention to harm need not involve a desire to harm in any ordinary sense of the latter expression. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

In Thus Spoke Zarathustra, Nietzsche presents passion as constituting human agency. He encountered this Humean view in Schopenhauer, and recognized its explanatory advantages over Platonic and Kantian rationalism. Zarathustra's poetic speeches anticipate and address contemporary objections to the view that passion constitutes agency. "On the Despisers of the Body" explains why understanding the self as constituted by passion provides better explanations of reasoning, value judgment, and the unity of the self than Christine Korsgaard's neo-Kantian view. "On Enjoying and Suffering the (...) Passions" explains why understanding virtues as constituted by passions provides a better explanation of moral phenomenology than John McDowell's rationalism. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Nietzsche and Hume agree that desire drives all human action and practical reasoning. This shared view helps them appreciate continuities between human and animal motivation and sets them against a long tradition of rationalist rivals including Kant and Plato. In responding to Kant, Nietzsche further developed the Humean views that Kant himself was responding to. Kantians like Christine Korsgaard argue that reflective endorsement and rejection of options presented by desire demonstrates reason’s ability to independently drive reasoning and action. In Daybreak (...) 109, Nietzsche provides a simpler Humean explanation: reflective endorsement and rejection involve reflecting on one desire from the viewpoint of another, with desire as the only motivational force. This explains the attentional and hedonic phenomenology of reflective endorsement without ascribing any motivational force to rational processes independent of desire. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

The rightness and wrongness of actions fits on a continuous scale. This fits the way we evaluate actions chosen among a diverse range of options, even though English speakers don’t use the words “righter” and “wronger”. I outline and defend a version of scalar consequentialism, according to which rightness is a matter of degree, determined by how good the consequences are. Linguistic resources are available to let us truly describe actions simply as right. Some deontological theories face problems in accounting (...) for degrees of rightness, as they don't invoke continuous parameters among the right-making features of action. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy with (...) set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

This essay defends a strong version of the Humean theory of motivation on which desire is necessary both for motivation and for reasoning that changes our desires. Those who hold that moral judgments are beliefs with intrinsic motivational force need to oppose this view, and many of them have proposed counterexamples to it. Using a novel account of desire, this essay handles the proposed counterexamples in a way that shows the superiority of the Humean theory. The essay addresses the classic (...) objection that the Humean theory cannot explain the feeling of obligation, Stephen Darwall's example of motivationally potent reasoning that is not based on preexisting desires, Thomas Scanlon's criticism that the Humean theory fails to account for the structure and phenomenology of deliberation, and the phenomenon of akrasia as discussed by John Searle. In each case a Humean account explains the data at least as thoroughly as opposing views can, while fitting within a simpler total account of how we deliberate and act. (shrink)

While children’s experiences of online risks and harm is a growing area of research in New Zealand, public discussion on the matter has largely been informed by mainstream media’s fixation on the dangers of technology. At best, debate on risks online has relied on overseas evidence. However, insights reflecting the New Zealand context and based on representative data are still needed to guide policy discussion, create awareness, and inform the implementation of prevention and support programmes for children. This research report (...) presents findings from a quantitative study regarding different aspects related to risks and online safety. It looks at the online experiences that children find bothersome and upsetting and explores the hurtful behaviours they encounter or engage in, both online and in person. Evidence regarding exposure to different types of potentially harmful online content is also presented. Another relevant contribution is the insights related to excessive internet use.The findings presented in this report are based on data from 2,061 New Zealand children aged 9-17. We hope the findings will contribute to the development of policies, practices and services designed to support New Zealand children to safely take advantage of the opportunities available to them online. (shrink)

Is there some general reason to expect organisms that have beliefs to have false beliefs? And after you observe that an organism occasionally occupies a given neural state that you think encodes a perceptual belief, how do you evaluate hypotheses about the semantic content that that state has, where some of those hypotheses attribute beliefs that are sometimes false while others attribute beliefs that are always true? To address the first of these questions, we discuss evolution by natural selection and (...) show how organisms that are risk-prone in the beliefs they form can be fitter than organisms that are risk-free. To address the second question, we discuss a problem that is widely recognized in statistics – the problem of over-fitting – and one influential device for addressing that problem, the Akaike Information Criterion (AIC). We then use AIC to solve epistemological versions of the disjunction and distality problems, which are two key problems concerning what it is for a belief state to have one semantic content rather than another. (shrink)

Abstract: This essay consists of some clarifying remarks on the doctrine of double effect (DDE). After providing a contemporary formulation of the doctrine we put special emphasis on the distinction between those aspects of an action plan that are intended and those that are merely foreseen (the I/F distinction). Making use of this distinction is often made difficult in practice because salient aspects of the action plan exhibit a felt “closeness” to one another that is difficult if not impossible to (...) articulate with the precision we might like. The essay goes on to examine an especially adroit criticism of DDE best articulated by J.J. Thomson. We conclude with a brand new double effect case (new to the philosophical literature anyway) taken from medicine and Roman Catholic pastoral ministry. (shrink)

I argue that one intends that ϕ if one has a desire that ϕ and an appropriately related means-end belief. Opponents, including Setiya and Bratman, charge that this view can't explain three things. First, intentional action is accompanied by knowledge of what we are doing. Second, we can choose our reasons for action. Third, forming an intention settles a deliberative question about what to do, disposing us to cease deliberating about it. I show how the desire- belief view can explain (...) why these phenomena occur when they occur, and why they don't when they don't. (shrink)

Causal exclusion arguments are taken to threaten the autonomy of the special sciences, and the causal efficacy of mental properties. A recent line of response to these arguments has appealed to “independently plausible” and “well grounded” theories of causation to rebut key premises. In this paper I consider two papers which proceed in this vein and show that they share a common feature: they both require causes to be proportional to their effects. I argue that this feature is a bug, (...) and one that generalises: any attempt to rescue the autonomy of the special sciences, or the efficacy of the mental, from exclusion worries had better not look to proportionality for help. (shrink)

This paper argues that qualia share their physical correlates' locations. The first premise comes from the theory of relativity: If something shares a time with a physical event in all reference frames, it shares that physical event’s location. The second premise is that qualia share times with their correlates in all reference frames. Having qualia and correlates share locations makes relations between them easier to explain, improving both physicalist and dualist theories.

Propositionalism is the view that the contents of intentional attitudes have a propositional structure. Objectualism opposes propositionalism in allowing the contents of these attitudes to be ordinary objects or properties. Philosophers including Talbot Brewer, Paul Thagard, Michelle Montague, and Alex Grzankowski attack propositionalism about such attitudes as desire, liking, and fearing. This article defends propositionalism, mainly on grounds that it better supports psychological explanations.

The norms of simplicity, convenience, unfussiness, and self-control guide Diogenes the Cynic, Zeno of Citium, Chrysippus, Seneca, Musonius Rufus, Epictetus, and Marcus Aurelius in approaching food. These norms generate the precept that meat and dainties are luxuries, so Stoics should eschew them. Considerations of justice, environmental harm, anthropogenic global climate change, sustainability, food security, feminism, harm to animals, personal health, and public health lead contemporary Stoics to condemn the meat industrial complex, debunk carnism, and select low input, plant-based foods.

This paper explains a fallacy that often arises in theorizing about human minds. I call it the Factual Belief Fallacy. The Fallacy, roughly, involves drawing conclusions about human psychology that improperly ignore the large backgrounds of mostly accurate factual beliefs people have. The Factual Belief Fallacy has led to significant mistakes in both philosophy of mind and cognitive science of religion. Avoiding it helps us better see the difference between factual belief and religious credence; seeing that difference in turn enables (...) us to pose interesting normative questions about various mental states labeled “belief.”. (shrink)