Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

This chapter lays out a case that with the proper perspective on the place of epistemology within normative inquiry more generally, it is possible to appreciate what was on the right track about some of the early approaches to the analysis of knowledge, and to improve on the obvious failures which led them to be rejected. Drawing on more general principles about reasons, their weight, and their relationship to justification, it offers answers to problems about defeat and the conditional fallacy (...) that plagued early defeasibility analyses of knowledge and offers a sketch of a contemporary alternative that is motivated by the idea that knowledge requires the right kind of “match” between objective and subjective factors. (shrink)

Leibniz, and many following him, saw the Principle of Sufficient Reason (PSR) as pivotal to a scientific (demonstrated) metaphysics. Against this backdrop, Kant is expected to pay close attention to PSR in his reflections on the possibility of metaphysics, which is his chief concern in the Critique of Pure Reason. It is far from clear, however, what has become of PSR in the Critique. On one reading, Kant has simply turned it into the causal principle of the Second Analogy. (...) On a different reading, PSR is but the supreme principle of reason, which roughly states that, if the conditioned is given, so is the unconditioned. On my reading, PSR appears in the guises of both the causal principle and the supreme principle. This twofold specification, I argue, is key to understanding (i) Kant’s allegations that past metaphysicians failed to prove PSR, (ii) his own Critical account of the possibility of metaphysics in both of its parts (ontology and metaphysics proper), and (iii) his nuanced answer to the contentious question about the relation between physical inquiry and metaphysical reasoning about nature (both being quests for reasons). (shrink)

I argue that we can reason not only to new beliefs but to basically any change in attitude we can think of, including the abandonment of belief (contra John Broome), the acquisition of non-belief attitudes like relief and admiration, and the elimination of the same. To argue for this position, which I call generalism, I defend a sufficient condition on reasoning, roughly that we can reason to any change in attitude that is expressed by the conclusion of (...) an argument we can be convinced by. I then produce examples of such arguments, and argue that they are indeed arguments. To produce such examples of the elimination of non-doxastic attitudes, I develop the idea of a state of attitudinal constraint acceptance, and show how it is useful for solving this problem, and useful in other parts of philosophy as well. (shrink)

In this paper, I consider a novel challenge to John Martin Fischer and Mark Ravizza’s reasons-responsiveness theory of moral responsibility. According to their view, agents possess the control necessary for moral responsibility if their actions proceed from a mechanism that is moderately reasons-responsive. I argue that their account of moderate reasons-responsiveness fails to provide necessary and sufficient conditions for moral responsibility since it cannot give an adequate account of the responsibility of individuals with autism spectrum disorder. Empirical evidence suggests (...) that autistic individuals demonstrate impairments in counterfactual thinking, and these impairments, I argue, are such that they cast doubt on Fischer and Ravizza’s construal of moderate reasons-responsiveness. I then argue that modifying the view in order to accommodate individuals with ASD forces them to defend a strong reasons-responsive account despite the fact that they explicitly deny that such an account can adequately characterize what it is to be morally responsible for one’s actions. (shrink)

Since Aristotle it has been common among philosophers to distinguish between two fundamental types of reasoning, theoretical and practical. We do not only want to work out what is the case but also what we ought to do. This article offers a logical analysis of instrumental reasoning, which is the paradigm of practical reasoning. In the first section I discuss the major types of instrumental reasoning and show why the accounts of most authors are defective. On (...) the basis of this discussion, I demonstrate in the second section that different types of normative conclusions are derivable from instrumental arguments and I show that it is an argument’s logical structure that determines what type of conclusion this is. (shrink)

Bayesianism is the position that scientific reasoning is probabilistic and that probabilities are adequately interpreted as an agent's actual subjective degrees of belief, measured by her betting behaviour. Confirmation is one important aspect of scientific reasoning. The thesis of this paper is the following: if scientific reasoning is at all probabilistic, the subjective interpretation has to be given up in order to get right confirmation—and thus scientific reasoning in general. The Bayesian approach to scientific reasoning (...) Bayesian confirmation theory The example The less reliable the source of information, the higher the degree of Bayesian confirmation Measure sensitivity A more general version of the problem of old evidence Conditioning on the entailment relation The counterfactual strategy Generalizing the counterfactual strategy The desired result, and a necessary and sufficient condition for it Actual degrees of belief The common knock-down feature, or ‘anything goes’ The problem of prior probabilities. (shrink)

According to a widely held view, epistemic reasons are normative reasons for belief – much like prudential or moral reasons are normative reasons for action. In recent years, however, an increasing number of authors have questioned the assumption that epistemic reasons are normative. In this article, I discuss an important challenge for anti-normativism about epistemic reasons and present a number of arguments in support of normativism. The challenge for anti-normativism is to say what kind of reasons epistemic reasons are if (...) they are not normative reasons. I discuss various answers to this challenge and find them all wanting. The arguments for normativism each stress a certain analogy between epistemic reasons and normative reasons for action. Just like normative reasons for action, epistemic reasons provide partial justification; they provide premises for correct reasoning; they constitute good bases for the responses they are reasons for; and they are reasons for which agents can show these responses without committing a mistake. In each case, I argue that the relevant condition is plausibly sufficient for the normativity of a reason, and that normativism is in any case in a much better position to explain the analogy than anti-normativism. (shrink)

Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in ontology (...) or metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)

In section 1, I develop epistemic communism, my view of the function of epistemically evaluative terms such as ‘rational’. The function is to support the coordination of our belief-forming rules, which in turn supports the reliable acquisition of beliefs through testimony. This view is motivated by the existence of valid inferences that we hesitate to call rational. I defend the view against the worry that it fails to account for a function of evaluations within first-personal deliberation. In the rest of (...) the paper, I then argue, on the basis of epistemic communism, for a view about rationality itself. I set up the argument in section 2 by saying what a theory of rational deduction is supposed to do. I claim that such a theory would provide a necessary, sufficient, and explanatorily unifying condition for being a rational rule for inferring deductive consequences. I argue in section 3 that, given epistemic communism and the conventionality that it entails, there is no such theory. Nothing explains why certain rules for deductive reasoning are rational. (shrink)

One way to approach the question of whether there are non-derivative partial reasons of any kind is to give an account of what partial reasons are, and then to consider whether there are such reasons. If there are, then it is at least possible that there are partial reasons of friendship. It is this approach that will be taken here, and it produces several interesting results. The first is a point about the structure of partial reasons. It is at least (...) a necessary condition of a reason’s being partial that it has an explicit relational component. This component, technically, is a rela- tum in the reason relation that itself is a relation between the person to whom the reason applies and the person whom the action for which there is a reason concerns. The second conclusion of the paper is that this relational component is also required for a number of types of putatively impartial reasons. In order to avoid trivialising the distinction between partial and impartial rea- sons, some further sufficient condition must be applied. Finally, there is some prospect for a way of distinguishing between impartial reasons that contain a relational component and partial rea- sons, but that this approach suggests that the question of whether ethics is partial or impartial will be settled at the level of normative ethical discourse, or at least not at the level of discourse about the nature of reasons for action. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning (...) carry over to practical reasoning. I end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

Once upon a time, some thought that indicative conditionals could be effectively analyzed as material conditionals. Later on, an alternative theoretical construct has prevailed and received wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following critical remarks recently ap- peared in the literature, we suggest that evidential support—rather than conditional probability alone—is key to understand indicative conditionals. There have been motivated concerns that a theory of evidential conditionals (unlike their more tra- ditional counterparts) cannot generate (...) a sufficiently interesting logical system. Here, we will describe results dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams’s classical approach allow for the construction of a logic of evidential conditionals with distinctive fea- tures, which is also well-behaved and reasonably strong. (shrink)

Many find it intuitive that having been manipulated undermines a person's free will. Some have objected to accounts of free will like Harry Frankfurt's (according to which free will depends only on an agent's psychological structure at the time of action) by arguing that it is possible for manipulated agents, who are intuitively unfree, to satisfy Frankfurt's allegedly sufficient conditions for freedom. Drawing resources from Greg Egan's "Reasons to Be Cheerful" as well as from stories of psychologically sophisticated artificial (...) intelligence (such as Isaac Asimov's "The Bicentennial Man"), I rebut this objection to "structuralist" accounts of free will, arguing that the very possibility of free will for persons like us requires that we admit that a person can be free even when lacking control over the character from which she acts. I conclude with some implications for the freedom and personhood of artificial intelligences. (shrink)

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)

Empirical evidence challenges many of the assumptions that underlie traditional philosophical and commonsense conceptions of human agency. It has been suggested that this evidence threatens also to undermine free will and moral responsibility. In this paper, I will focus on the purported threat to moral responsibility. The evidence challenges assumptions concerning the ability to exercise conscious control and to act for reasons. This raises an apparent challenge to moral responsibility as these abilities appear to be necessary for morally responsible agency. (...) I will argue that this challenge collapses once the underlying conditions on moral responsibility are specified in sufficient detail. I will argue, in other words, that the empirical evidence does not support a challenge to the assumption that we are, in general, morally responsible agents. In the final section, I will suggest that empirical research on human agency is nevertheless relevant to various questions about moral responsibility. (shrink)

In this essay we criticise Rainer Forst's attempt to draw a connection between power and justification, and thus ground his normative theory of a right to justification. Forst draws this connection primarily conceptually, though we will also consider whether a normative connection may be drawn within his framework. Forst's key insight is that if we understand power as operating by furnishing those subjected to it with reasons, then we create a space for the normative contestation of any exercise of power. (...) He calls this the noumenal understanding of power. Against the conceptual connection between power and justification, we argue that (i) on most plausible accounts of political freedom, some freedom-restrictions commonly attributed to the successful exercise of power would perplexingly count as failures of power on Forst's view, and that (ii) on the most plausible account of reason-recognition, namely an appropriateness of response account, a justification relation is only a sufficient but not necessary condition for recognition. Against the normative connection, we argue that (iii) Forst can establish the existence of a right to justification only if he reconsiders the transcendental aspirations of his theory. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...) we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

According to ambitious responsibilism (AR), the virtues that are constitutive of epistemic responsibility should play a central and fundamental role in traditional projects like the analysis of justification and knowledge. While AR enjoyed a shining moment in the mid-1990s, it has fallen on hard times. Part of the reason is that many epistemologists—including fellow responsibilists—think it paints an unreasonably demanding picture of knowledge and justification. I agree that such worries undermine AR's existing versions. But I think the curtains have been (...) prematurely drawn on the view. My goal is to show that the objections only threaten the periphery of certain versions of AR, and to develop a version that blocks them. With this goal in mind, here is the plan. I begin in §2 by clarifying the core commitments of AR and explain how influential responsibilists have added to these commitments in optional ways. In §3, I rehearse the standard objections to AR, explaining why they only impugn the add-ons. I turn in §4 to develop a version I call Kantian Responsibilism (KR). KR is a two-level view consisting of (i) a high-level analysis of epistemic normativity in responsibilist terms, and (ii) a first-order account of the conditions under which these terms apply. According to KR's first tier, epistemically virtuous thought is thought that manifests respect for truth; because I hold that manifesting certain reasons-sensitive dispositions is necessary and sufficient for respecting truth, KR's second tier takes epistemic virtues to coincide substantively with reasons-sensitive dispositions. After unpacking KR in §4, I show in §5 how it answers the objections to AR. I close in §6 by making some broader points about KR's virtues, especially when compared with reliabilist views. (shrink)

Kant holds that the whole “higher faculty of knowledge” (‘reason’ or ‘understanding’ in a broad sense), is a spontaneous faculty. But what could this mean? It seems that it could either be a perfectly innocent claim or a very dangerous one. The innocent thought is that reason is spontaneous because it is not wholly passive, not just a slave to what bombards the senses. If so, then the rejection of Hume’s radical empiricism would suffice for Kant’s claim. But the dangerous (...) thought is that reason, and the ‘I think’ which expresses it, is free, having the power to produce something entirely from itself. While this freedom is characteristic of practical reason, could it be characteristic of reason in general, even in its theoretical employment? Some contemporary interpreters have admirably defended the ‘dangerous’ conception by stripping it of the implication that it makes reason in general entirely self-sufficient. I attempt to add to this effort. However, what I contend is that this weightier conception of spontaneity (‘absolute’ or ‘non-relative’ spontaneity) requires abandoning a certain approach to the question that has been assumed by virtually everyone in the debate—namely, that the question can be answered by siding with either the so-called ‘metaphysical’ or the ‘epistemic’ interpreters of Kant. My goal is to suggest that the proper perspective on reason’s spontaneity resists such characterizations all together, and thereby resists any of the conditions under which it could be understood as ‘relative’ to anything. (shrink)

Retributive theories of punishment argue that punishing a criminal for a crime she committed is sufficient reason for a justified and morally permissible punishment. But what about when the state gets lucky in its decision to punish? I argue that retributive theories of punishment are subject to “Gettier” style cases from epistemology. Such cases demonstrate that the state needs more than to just get lucky, and as these retributive theories of punishment stand, there is no anti-luck condition. I’ll (...) argue that Gettier-style cases demonstrate an impermissible instance of punishment, even though they meet the conditions of retributive theories of punishment. Retributive theories are, therefore, too weak. The safety condition from epistemology provides the anti-luck condition needed for permissible punishment. I argue that two forms of retributivism, rights-forfeiture and what I call standard retributivism, are both subject to Gettier-style cases. Unlike the literature on standards of proof, this paper argues that safety is a condition on punishment itself, i.e., in all nearby possible worlds, the accuser must correctly accuse the convicted for the crime they actually committed. (shrink)

According to a traditional picture, perception and belief have starkly different epistemic roles. Beliefs have epistemic statuses as justified or unjustified, depending on how they are formed and maintained. In contrast, perceptions are “unjustified justifiers.” Core cognition is a set of mental systems that stand at the border of perception and belief, and has been extensively studied in developmental psychology. Core cognition's borderline states do not fit neatly into the traditional epistemic picture. What is the epistemic role of these states? (...) Focusing on the core object system, the author argues that core object representations have epistemic statuses like beliefs do, despite their many prototypically perceptual features. First, the author argues that it is a sufficient condition on a mental state's having an epistemic status as justified or unjustified that the state is based on reasons. Then the author argues that core object representations are based on reasons, through an examination of both experimental results and key markers of the basing relation. The scope of mental states that are subject to epistemic evaluation as justified or unjustified is not restricted to beliefs. (shrink)

Some philosophers search for the mark of the cognitive: a set of individually necessary and jointly sufficient conditions identifying all instances of cognition. They claim that the mark of the cognitive is needed to steer the development of cognitive science on the right path. Here, I argue that, at least at present, it cannot be provided. First (§2), I identify some of the factors motivating the search for a mark of the cognitive, each yielding a desideratum the mark is (...) supposed to satisfy (§2.1). I then (§2.2) highlight a number of tensions in the literature on the mark of the cognitive, suggesting they’re best resolved by distinguishing two distinct programs. The first program (§3) is that of identifying a mark of the cognitive capturing our everyday notion of cognition. I argue that such a program is bound to fail for a number of reasons: it is not clear whether such an everyday notion exists; and even if it existed, it would not be able to spell out individually necessary and jointly sufficient conditions for cognition; and even if it were able to spell them out, these conditions won’t satisfy the desiderata a mark of the cognitive should satisfy. The second program is that of identifying a mark of the cognitive spelling out a genuine scientific kind. But the current state of fragmentation of cognitive science, and the fact that it is splintered in a myriad of different research traditions, prevent us from identifying such a kind. And we have no reason to think that these various research traditions will converge, allowing us to identify a single mark. Or so, at least, I will argue in (§4). I then conclude the paper (§5) deflecting an intuitive objection, and exploring some of the consequences of the thesis I have defended. (shrink)

While ordinary decision theory focuses on empirical uncertainty, real decision-makers also face normative uncertainty: uncertainty about value itself. From a purely formal perspective, normative uncertainty is comparable to (Harsanyian or Rawlsian) identity uncertainty in the 'original position', where one's future values are unknown. A comprehensive decision theory must address twofold uncertainty -- normative and empirical. We present a simple model of twofold uncertainty, and show that the most popular decision principle -- maximising expected value (`Expectationalism') -- has different formulations, namely (...) Ex-Ante Expectationalism, Ex-Post Expectationalism, and hybrid theories. These alternative theories recommend different decisions, reasoning modes, and attitudes to risk. But they converge under an interesting (necessary and sufficient) condition. (shrink)

The prohibition against using others ‘merely as means’ is one of Kant’s most famous ideas, but it has proven difficult to spell out with precision what it requires of us in practice. In ‘How to Use Someone “Merely as a Means”’ (2020), I proposed a new interpretation of the necessary and sufficient conditions for using someone ‘merely as a means’. I argued that my agent-focused actual consent inter- pretation has strong textual support and significant advantages over other readings of (...) the prohibition. In the present essay, I respond to comments by Claudia Blöser, Irina Schumski, and Oliver Sensen. I first address the role of maxims in relation to the Formula of Humanity, and I spell out in more detail the relation between the agent’s belief and the actual facts pertaining to the consent of the person who is used as means to the agent’s end. I then discuss the importance of the requirement that agents make their use of others conditional on the others’ consent as a matter of moral principle. I next show that the proposed reading of the prohibition, despite its focus on the agent’s maxims and practical reasoning, yields important conclusions about the moral status of external actions, and I address several cases that are pur- ported to spell trouble for my reading of Kant’s prohibition. I end by outlining two challenges for possible (rational) consent readings of the prohibition against using others merely as means. (shrink)

In his article “The Ontology of Musical Versions: Introducing the Hypothesis of Nested Types,” Nemesio Puy raises a hypothesis that continuity of the purpose is both a necessary and a sufficient condition for musical work’s identity. Puy’s hypothesis is relevant to two topics in cognitive psychology and experimental philosophy. The first topic is the prevalence of teleological reasoning about various objects and its influence on persistence and categorization judgments. The second one is the importance of an artist’s (...) intention in the categorization of artworks. We tested the teleological hypothesis across three studies. Vignettes in these three studies describe a musical work being changed in some of these aspects: purpose either changed or retained; score either changed or retained; change is made either by the same or a different composer. The results suggest that teleological considerations impact judgments on the persistence of musical works, but this impact appears to be relatively weak. The results also suggest that persistence judgments strongly depend on whether acoustical properties were changed, while whether the change was made by the original composer seems to be relatively unimportant. (shrink)

The present paper looks at one of the most thorough articles on the intelligence of GPT, research conducted by engineers at Microsoft. Although there is a great deal of value in their work, I will argue that, for familiar philosophical reasons, their methodology, ‘Black-box Interpretability’ is wrongheaded. But there is a better way. There is an exciting and emerging discipline of ‘Inner Interpretability’ (also sometimes called ‘White-box Interpretability’) that aims to uncover the internal activations and weights of models in order (...) to understand what they represent and the algorithms they implement. In my view, a crucial mistake in Black-box Interpretability is the failure to appreciate that how processes are carried out matters when it comes to intelligence and understanding. I can’t pretend to have a full story that provides both necessary and sufficient conditions for being intelligent, but I do think that Inner Interpretability dovetails nicely with plausible philosophical views of what intelligence requires. So the conclusion is modest, but the important point in my view is seeing how to get the research on the right track. Towards the end of the paper, I will show how some of the philosophical concepts can be used to further refine how Inner Interpretability is approached, so the paper helps draw out a profitable, future two-way exchange between Philosophers and Computer Scientists. (shrink)

Epistemic luck is a generic notion used to describe any of a number of ways in which it can be accidental, coincidental, or fortuitous that a person has a true belief. For example, one can form a true belief as a result of a lucky guess, as when one believes through guesswork that “C” is the right answer to a multiple-choice question and one’s belief just happens to be correct. One can form a true belief via wishful thinking; for example, (...) an optimist’s belief that it will not rain may luckily turn out to be correct, despite forecasts for heavy rain all day. One can reason from false premises to a belief that coincidentally happens to be true. One can accidentally arrive at a true belief through invalid or fallacious reasoning. And one can fortuitously arrive at a true belief from testimony that was intended to mislead but unwittingly reported the truth. In all of these cases, it is just a matter of luck that the person has a true belief. -/- Until the twenty-first century, there was nearly universal agreement among epistemologists that epistemic luck is incompatible with knowledge. Call this view “the incompatibility thesis.” In light of the incompatibility thesis, epistemic luck presents epistemologists with three distinct but related challenges. The first is that of providing an accurate analysis of knowledge (in terms of individually necessary and jointly sufficient conditions for “S knows that p,” where ‘S’ represents the knower and ‘p’ represents the proposition known). An adequate analysis of knowledge must succeed in specifying conditions that rule out all instances of knowledge-destroying epistemic luck. The second challenge is to resolve the skeptical paradox that the ubiquity of epistemic luck generates: As will become clear in section 2c, epistemic luck is an all-pervasive phenomenon. Coupling this fact with the incompatibility thesis entails that we have no propositional knowledge. The non-skeptical epistemologist must somehow reconcile the strong intuition that epistemic luck is not compatible with knowledge with the equally evident observation that it must be. The third challenge concerns the special skeptical threat that epistemic luck seems to pose for more reflective forms of knowledge, such as knowing that one knows. Each of these challenges will be explored in the present article. (shrink)

In the literature on assertion, there is a common assumption that having the knowledge that p is a sufficient condition for having the epistemic right to assert that p—call this the Knowledge is Sufficient for Assertion Principle, or KSA. Jennifer Lackey has challenged KSA based on several counterexamples that all, roughly, involve isolated secondhand knowledge. In this article, I argue that Lackey’s counterexamples fail to be convincing because her intuition that the agent in her counterexamples both has (...) knowledge and do not have the epistemic right to assert is wrong. The article will progress as follows: In section 2, I present Lackey’s argument. In section 3, I suggest some more general reasons for doubting that the agent in her counterexamples actually has knowledge. I then show that from a virtue theoretic and Edward Craig’s practical explication of knowledge perspectives the agent in Lackey’ s counterexamples does not know. Since the agent in Lackey’s counterexamples does not have knowledge, she has failed to convincingly prove that KSA is false. In section 4, I conclude by suggesting that, at most, what Lackey’s counterexamples demonstrate is a problem with a simplistic evidentialist and/or process reliabilist epistemology. (shrink)

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth (...) criteria are open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and (...) transparency are not reasonable conditions for ideal understanding. (shrink)

The essentially comparative conception of value entails that the value of a state of affairs does not depend solely upon features intrinsic to the state of affairs, but also upon extrinsic features, such as the set of feasible alternatives. It has been argued that this conception of value gives us reason to abandon the transitivity of the better than relation. This paper shows that the support for intransitivity derived from this conception of value is very limited. On its most plausible (...) interpretations, it merely provides a necessary, but not sufficient, condition for intransitivity. It is further argued that the essentially comparative conception of value appears to support a disjunctive conclusion: there is incommensurability of value or betterness is not transitive. Of these two alternatives, incommensurability is preferable, because it is far less threatening to our other axiological commitments. (shrink)

In virtue of what do things persist through time? Are there criteria of their identities through time? Anti-criterialists say no. One prominent challenge to anti-criterialism comes in two steps. The first step is to show that anti-criterialists are committed specifically to the claim that there are no informative metaphysically sufficient conditions for identity through time. The second step is to show that this commitment yields absurd results. Each step of this challenge is open to objection. However, in what follows, (...) I will refortify this challenge to anti-criterialism by offering new reasons to take each step. (shrink)

Governments are increasingly using randomized controlled trials (RCTs) to evaluate policy interventions. RCTs are often understood to provide the highest quality evidence regarding the causal efficacy of an intervention. While randomization plays an essential epistemic role in the context of policy RCTs however, it also plays an important distributive role. By randomly assigning participants to either the intervention or control arm of an RCT, people are subject to different policies and so, often, to different types and levels of benefits. In (...) this paper, I identify one necessary condition as well as a set of sufficient conditions for the permissible use of random assignment by government agencies. I argue first that random assignment is permissible only if it is consistent with governments’ duty to realize morally important outcomes. I argue second that random assignment is permissible in cases where investigators are in a state of genuine equipoise regarding all arms of the experiment and the policy to which people have a claim of justice. Finally, I defend a set of conditions under which random assignment is permissible in cases where one or more arms of a policy RCT are reasonably expected to be either superior or inferior to this policy. (shrink)

at seek to identify the necessary and sufficient conditions for a work to count as fiction. She argues that this goal cannot really be achieved; instead, she appeals to the notion of genre to distinguish between fiction and nonfiction. This notion is significantly more flex- ible, since it invites us to identify standard—but not necessary—and counter-standard features of works of fiction in light of our classificatory practices. More specifically, Friend argues that the genre of fiction has the genre of (...) nonfiction—and only that genre—as its con- trast class. I will refer to the particular way in which Friend elaborates this claim as the contrast view. I have, nevertheless, the impression that this view unnecessarily narrows down the array of perspectives and attitudes from which we can approach works of fiction. I will thus develop a line of reasoning to the effect that the contrast view should rather be construed as picking out a particular way of relating to works of fiction that lies at the end of a continuum defined by different degrees of reflectivity and estrangement. This implies that the contrast view is false as a general claim about how we experience works of fiction, even though this view may appropriately de- pict a specific way of approaching such works. (shrink)

In a recent paper, Eric Schwitzgebel argues that if materialism about consciousness is true, then the United States is likely to have its own stream of phenomenal consciousness, distinct from the streams of conscious experience of the people who compose it. Indeed, most plausible forms of materialism have to grant that a certain degree of functional and behavioral complexity constitutes a sufficient condition for the ascription of phenomenal consciousness – and Schwitzgebel makes a case to show that the (...) United States as a whole fulfills this condition. One way to avoid this counter-intuitive consequence of materialism about consciousness is to adopt what Schwitzgebel calls an “anti-nesting principle”: a principle that states that there can be no nested forms of phenomenal consciousness and that therefore a conscious whole cannot have parts that are themselves conscious. However, Schwitzgebel then proceeds in his paper to draw up various objections, notably based on thought experiments, in order to dismiss these kinds of “anti-nesting” principles. My aim in this paper is to present a version of a sophisticated anti-nesting principle that avoids Schwitzgebel’s objections. This principle is reasonable, intuitive, and as non-arbitrary as possible. Moreover, it can resist the objections mounted by Schwitzgebel against simple anti-nesting principles. This principle helps materialists avoid the implication that the United States has its own stream of consciousness, while granting consciousness to some entities which, in many cases, are intuitive instantiators of phenomenal consciousness. This principle therefore constitutes a way out for a materialist who wants to deny that the United States is conscious. (shrink)

According to an influential conception of reasons for action, the presence of a desire or some other conative state in the agent is a necessary condition for the agent’s havinga reason for action. This is sometimes known as internalism . In this paper I present a case for the considerably stronger thesis, which I call hyper-internalism , that the presence of a desire is a sufficient condition for the agent’s having a ( prima facie )reason for action.

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of (...) a flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

Children approach counterfactual questions about stories with a reasoning strategy that falls short of adults’ Counterfactual Reasoning (CFR). It was dubbed “Basic Conditional Reasoning” (BCR) in Rafetseder et al. (Child Dev 81(1):376–389, 2010). In this paper we provide a characterisation of the differences between BCR and CFR using a distinction between permanent and nonpermanent features of stories and Lewis/Stalnaker counterfactual logic. The critical difference pertains to how consistency between a story and a conditional antecedent incompatible with a (...) nonpermanent feature of the story is achieved. Basic conditional reasoners simply drop all nonpermanent features of the story. Counterfactual reasoners preserve as much of the story as possible while accommodating the antecedent. (shrink)

The thesis of this paper is that Platonic Forms are angels. I make this identification by claiming that Platonic Forms have the characteristics of angels, in particular, that Platonic Forms are alive. I offer four arguments for this claim. First, it seems that engaging in self-directed action is a sufficient condition for being alive. The Forms are, as teleological activities, self-directed actions. Second, bodies receive their being from their Forms, and some bodies are essentially alive. Third, in the (...) Good, all the types of goodness, including life, are identical. The Forms are appearances of the Good. Fourth, since the Good imparts as much goodness as it can, the Forms are alive unless there is some bar to their being alive. There are good reasons to think that there is no such bar. I then show that ethical vices do not give body to human form, but give body to other forms—those that are evil angels. Lastly, I provide a survey of the relationships that various religious traditions posit between ethical vice and the demonic. (shrink)

In this paper I tie together the reasoning used in the Consequence Argument with the intuitions that drive Frankfurt cases in a way that illuminates some of the underlying differences between compatibilists and incompatibilists. I begin by explaining the ‘basic mechanism’ at work in Frankfurt cases: the existence of sufficient conditions for an outcome that do not actually bring about that outcome. I suggest that other potential threats to free will, such as God’s foreknowledge, can be understood in (...) terms of this basic mechanism. I then turn to the Consequence argument, which concludes that determinism precludes free will, and I adopt the structure of this argument to create parallel ‘progeny’ arguments using the basic mechanism of Frankfurt cases. By thus forcing the Consequence argument and Frankfurt cases into such close proximity, we can see more clearly some of the crucial issues that separate incompatibilists and compatibilists. Doing so will illustrate that for determinism to be a threat to free will requires a particular conception of the laws of nature, one that is more specific and robust than suggested by the Consequence argument alone. I conclude by showing how these questions about laws of nature lead the free will debate towards the mind-body debate and questions about reductionism and supervenience. (shrink)

Ethics of Richard M. Hare is widely considered as a classical example of the strong internalistic theory of motivation: he is thought to believe that having a moral motive is a sufficient condition to act accordingly. However, strong internalism has difficulties with explaining the phenomenon of acrasia and amoralism. For this reason some critics charge him with developing a false theory of moral motivation. In the article I present Hare's answer to these questions by dividing the discussion about (...) motivation into three levels: semantical, epistemological, and ontological. I also explain his concept of internal motivation and argue that his theory, contrary to what his critics assume, may be called a weak motivational internalism. (shrink)

In psychiatry some disorders of cognition are distinguished from instances of normal cognitive functioning and from other disorders in virtue of their surface features rather than in virtue of the underlying mechanisms responsible for their occurrence. Aetiological considerations often cannot play a significant classificatory and diagnostic role, because there is no sufficient knowledge or consensus about the causal history of many psychiatric disorders. Moreover, it is not always possible to uniquely identify a pathological behaviour as the symptom of a (...) certain disorder, as disorders that are likely to differ both in their causal histories and in their overall manifestations may give rise to very similar patterns of behaviour. -/- Consider delusions as an example. It wouldn’t be correct to define delusions as those beliefs people form as a result of a neurobiological deficit and a hypothesis-evaluation deficit (as some versions of the two-factor theory of delusions suggest), because for some delusions no neurobiological deficit may be found, and reasoning biases and motivational factors may be contributors to the formation of the delusion (e.g. McKay et al., 2005). Moreover, it would be a mistake to define delusions as symptoms of schizophrenia alone, because they occur also in other disorders, including dementia, amnesia, and delusional disorders. Thus, aetiological considerations may appear in the description and analysis of delusions, but do not feature prominently in their definition. -/- In this paper I argue that the surface features used as criteria for the classification and diagnosis of disorders of cognition are often epistemic in character. I shall offer two examples: confabulations and delusions are defined as beliefs or narratives that fail to meet standards of accuracy and justification. Although classifications and diagnoses based on features of people’s observable behaviour are necessary at these early stages of neuropsychiatric research, given the variety of conditions in which certain phenomena appear, I shall attempt to show that current epistemic accounts of confabulations and delusions have limitations. Epistemic criteria can guide both research and clinical practice, but fail to provide sufficient conditions for the identification of delusions and confabulations, and fail to demarcate pathological from non-pathological narratives or beliefs. -/- Another limitation of current epistemic accounts – which I shall not address here – is the excessive focus on epistemic faults of confabulations and delusions at the expense of their epistemically neutral or advantageous features (see Bortolotti and Cox, 2009). This may lead to a misconception of delusions and confabulations, and to an oversimplification in the assessment of the needs of people who require clinical treatment for their psychotic symptoms. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The (...) condition is: logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

I argue that a reasonable understanding of Leopold’s ‘Land Ethic’ is one that identifies possession of health as being a sufficient condition for moral consideration. With this, Leopold extends morality not only to biotic wholes, but to individual organisms, as both can have their health undermined. My argument centers on explaining why Leopold thinks it reasonable to analogize ecosystems both to an organism and to a community: both have a health. My conclusions undermine J. Baird Callicott’s rhetorical dismissal (...) of the organism analogy’s importance, a dismissal crucially serving his thesis that Leopoldians should hold community membership necessary for moral standing. (shrink)

Dmitri Nikulin is one of the few contemporary philosophers to have devoted books to the topic of dialogue and the dialogical self, especially in the last fifteen years. Yet his work on dialogue and the dialogical has received scant attention by philosophers, and this neglect has hurt the ongoing development of contemporary philosophical work on dialogicality. I want to address this lacuna in contemporary philosophical scholarship on dialogicality and suggest that, although Nikulin’s account is no doubt insightful and thought-provoking, it (...) is problematic for two main reasons: first, his account fails to recognize the proper relationship between dialogue and agency; and second, his enumeration of the necessary and sufficient conditions for dialogue contains conceptual inconsistencies. (shrink)

The species concept is one of the central concepts in biological science. Although modern systematics speculates about the existence of a complex hierarchy of nested taxa, biological species are considered particularly important for the active role they play in evolution. However, neither theoretical biologists nor philosophers of biology have come to an agreement about what a species is. In this chapter, we address two questions pertaining to biological species: (1) are they individuals or universals? and (2) are they bona fide (...) or fiat entities? In section The Species-as-Individuals View, we illustrate the reasons that have led many scholars to support the view that species are individuals. In the next two sections, we show that the relational concepts of species – on which the species-as-individuals view is based – provide neither necessary nor sufficient conditions for species membership. This seriously undermines the species-as-individuals view. In the section A Conceptualist Model for the Metaphysics of Species, we advance the proposal that species are fiat concepts (and thus, universal entities partially dependent on the human mind) carved in a multi-dimensional space representing the properties that the biological organisms possess. The final section concludes. (shrink)

This article analyzes whether Brandom’s ISA (inferential-substitutional-anaphoric) semantics as presented in Making It Explicit (MIE) and Articulating Reasons (AR) can cope with problems resulting from inferentialism’s near-implied meaning holism. Inferentialism and meaning holism entail a radically perspectival conception of content as significance for an individual speaker. Since thereby its basis is fixed as idiolects, holistic inferentialism engenders a communication-problem. Brandom considers the systematic difference in information among individuals as the „point“ of communication and thus doesn’t want to diminish these effects (...) of inferentialism. Instead, explains communication with a model of “navigating among perspectives without sharing contents”. The crucial element in this navigation-model is the functioning of anaphoric connections between tokens uttered in discourse that can be used by every individual speaker in their own perspectival semantic substitution-economies. The heart of Brandom’s semantics is the thesis of the purely inferential, hence non-referential nature of anaphora, coupled with the claim that anaphoric-inferential semantic mechanisms yield sufficient conditions for mutually successful “information-extraction” or interpretation. This article disputes the thesis and denies the claim. Regarding the former it is observed that all of Brandom’s plausible reconstructions of anaphoric discourse-structures rely on covert “reference-infiltrations” that can’t be eliminated. Regarding the latter, a new argument based on context-sensitive semantic phenomena in anaphoric settings shows that the crucial distinction between initiator or anaphoric antecedent and anaphoric dependent cannot be drawn according to Brandom’s own premises without overt and irreducible referential premises. The article concludes that either Brandom’s semantics can offer determinate contents, but then must accept genuinely referential semantic primitives, or else it leaves utterance-contents undeterminable and hence cannot explain communication. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability (...) of being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)