Many assume that we can be responsible only what is voluntary. This leads to puzzlement about our responsibility for our beliefs, since beliefs seem not to be voluntary. I argue against the initial assumption, presenting an account of responsibility and of voluntariness according to which, not only is voluntariness not required for responsibility, but the feature which renders an attitude a fundamental object of responsibility (that the attitude embodies one’s take on the world and one’s place in it) also guarantees (...) that it could not be voluntary. It turns out, then, that, for failing to be voluntary, beliefs are a central example of the sort of thing for which we are most fundamentally responsible. (shrink)

I hope to show that, although belief is subject to two quite robust forms of agency, "believing at will" is impossible; one cannot believe in the way one ordinarily acts. Further, the same is true of intention: although intention is subject to two quite robust forms of agency, the features of belief that render believing less than voluntary are present for intention, as well. It turns out, perhaps surprisingly, that you can no more intend at will than believe at will.

In this paper I consider fairness of blaming a wrongdoer. In particular, I consider the claim that blaming a wrongdoer can be unfair because blame has a certain characteristic force, a force which is not fairly imposed upon the wrongdoer unless certain conditions are met--unless, e.g., the wrongdoer could have done otherwise, or unless she is someone capable of having done right, or unless she is able to control her behavior by the light of moral reasons. While agreeing that blame (...) has a characteristic force, I am skeptical of this charge of unfairness. My skepticism concerns itself less with the particular conditions of fairness proposed than with the idea that blame can be rendered unfair by its characteristic force. If to blame a person were simply to perform certain intentional actions, then, as we will see, blame could be rendered unfair by its force. But to blame a person is not just to act in certain ways. It is, at least in large part, to make certain judgments or adopt certain attitudes. However, it is unclear how these attitudes or judgments carry "force"? and also unclear whether they can be rendered unfair by their force. Examining these issues, I will suggest that much of the force of blame is found in a set of judgments--most centrally, the judgment that one person failed to show proper regard for others. But, I will argue, once it is granted that such judgments are true, their characteristic force cannot render them unfair. (shrink)

I argue to a conclusion I find at once surprising and intuitive: although many considerations show trust useful, valuable, important, or required, these are not the reasons for which one trusts a particular person to do a particular thing. The reasons for which one trusts a particular person on a particular occasion concern, not the value, importance, or necessity of trust itself, but rather the trustworthiness of the person in question in the matter at hand. In fact, I will suggest (...) that the degree to which you trust a particular person to do a particular thing will vary inversely with the degree to which you must rely, for the motivation or justification of your trusting response, on reasons that concern the importance, or value, or necessity of having such a response. (shrink)

A good number of people currently thinking and writing about reasons identify a reason as a consideration that counts in favor of an action or attitude.1 I will argue that using this as our fundamental account of what a reason is generates a fairly deep and recalcitrant ambiguity; this account fails to distinguish between two quite different sets of considerations that count in favor of certain attitudes, only one of which are the “proper” or “appropriate” kind of reason for them. (...) This ambiguity has been the topic of recent discussion, under the head “the wrong kind of reasons problem.”2 I will suggest that confusion about “the wrong kind of reason” will be dispelled by changing our account of what a reason is. While I agree both that reasons are considerations and that certain.. (shrink)

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

A common line of thought claims that we are responsible for ourselves and our actions, while less sophisticated creatures are not, because we are, and they are not, self-aware. Our self-awareness is thought to provide us with a kind of control over ourselves that they lack: we can reflect upon ourselves, upon our thoughts and actions, and so ensure that they are as we would have them to be. Thus, our capacity for reflection provides us with the control over ourselves (...) that grounds our responsibility. I argue that this thought is subtly, but badly, confused. It uses, as its model for the control that grounds our responsibility, the kind of control we exercise over ordinary objects and over our own voluntary actions: we represent to ourselves what to do or how to change things, and then we bring about that which we represent. But we cannot use this model to explain our responsibility for ourselves and our actions: if there is a question about why or how we are responsible for ourselves and our actions, it cannot be answered by appeal to a sophisticated, self-directed action. There must be some more fundamental account of how or why we are responsible. I replace the usual account with a novel but natural view: responsible mental activity can be modeled, not as an ordinary action, but as the settling of a question. This shift will require abandoning the tempting but troublesome thought that responsible activity involves discretion and awareness—which, I argue, we must abandon in any case. (shrink)

In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...) well-known historical cases, whose significance has, I contend, been overlooked. I conclude that this sophisticated form of realism remains threatened by the historical argument that prompted it. A criterion for scientific realism Assessing the criterion A return to the crucial insight: responsibility A few case studies Assessing deployment realism. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

I consider Paulina Sliwa’s fruitful account of “taking responsibility” as “owning the normative footprint” of a wrong. Unlike most, Sliwa approaches the topic without concern for what I call “responsible agency.” I raise the possibility that this is virtue. I then question whether the “footprint” is simply given with the wrong or whether it must instead be made determinate through subsequent interaction, perhaps through conversation. I next distinguish two different kinds of conversation: a cooperative negotiation and a low-level power struggle. (...) The later is often part of what I call “the blame game.” I suggest that the “blame” of the blame game is the blame of ordinary life, to be distinguished from the technical term in the current philosophical literature, and I give an account of it. I note that one may sometimes opt out of the blame game simply by owning a generous interpretation of the footprint, something Sliwa discusses. I note that doing so is sometimes, but not always, virtuous. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

Four Challenges to Epistemic Scientific Realism—and the Socratic Alternative.

In "Rational Capacities" Michael Smith outlines the sense of capacity he believes to be required before blame is appropriate. I question whether this sense of capacity is required. In so doing, I consider different ways in which blame might be conditioned.

Here I defend my solution to the wrong-kind-of-reason problem against Mark Schroeder’s criticisms. In doing so, I highlight an important difference between other accounts of reasons and my own. While others understand reasons as considerations that count in favor of attitudes, I understand reasons as considerations that bear (or are taken to bear) on questions. Thus, to relate reasons to attitudes, on my account, we must consider the relation between attitudes and questions. By considering that relation, we not only solve (...) the wrong-kind-of-reason problem, but we also bring into view rational agency—the use of reasons in thought. (shrink)

Donald Davidson opens ‘Actions, Reasons, and Causes’ by asking, ‘What is the relation between a reason and an action when the reason explains the action by giving the agent's reason for doing what he did?’ His answer has generated some confusion about reasons for action and made for some difficulty in understanding the place for the agent's own reasons for acting, in the explanation of an action. I offer here a different account of the explanation of action, one that, though (...) minimal and formal, preserves the proper role for the agent's own reasons for acting. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

I first present what Peter Strawson calls his “Social Naturalism,” as applied to ethics. I then briefly present the way in which his Naturalism allows Strawson to resist skepticism about moral responsibility and free will, as argued in “Freedom and Resentment.” His way of resisting this kind of skepticism opens his Naturalism to another challenge: it can seem objectionably relativistic. I have provided a response to this challenge, on Strawson’s behalf, in the final chapter of my _Freedom, Resentment, and the (...) Metaphysics of Morals_ (2020). In this paper I expand upon that response—in particular, on the way in which the introduction of admittedly contested ideals might provide sufficient critical purchase to avoid objectionable relativism while remaining broadly naturalistic. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

I here defend an account of the will as practical reason —or, using Kant's phrase, as " reason in its practical employment"—as against a view of the will as a capacity for choice, in addition to reason, by which we execute practical judgments in action. Certain commonplaces show distance between judgment and action and thus seem to reveal the need for a capacity, in addition to reason, by which we execute judgment in action. However, another ordinary fact pushes in the (...) other direction: the activities of the will are activities for which the person is answerable in a very particular sort of way. This answerability is most easily understood if willing involves settling a question. Settling a question seems to be a capacity of reason. Thus it can seem that activities of will are activities of our capacity for reasoning. I will suggest that we can accommodate the commonplaces while still understanding the will as reason in its practical employment, by abandoning the assumption that practical reasoning concludes in a judgment. Rather, reasoning which concludes in a judgment—reasoning directed at the question of whether p—is theoretical reasoning. In its practical employment, reason is directed at the question of whether to x; it concludes, not in a judgment about x-ing, but rather in an intention to x. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

There seems to be widespread agreement that to be responsible for something is to be deserving of certain consequences on account of that thing. Call this the “merited-consequences” conception of responsibility. I think there is something off, or askew, in this conception, though I find it hard to articulate just what it is. The phenomena the merited-consequences conception is trying to capture could be better captured, I think, by noting the characteristic way in which certain minds can rightly matter to (...) other such minds—the way in which certain minds can carry a certain kind of importance, made manifest in certain sorts of responses. Mattering, not meriting, seems to me central. However, since I cannot yet better articulate an alternative, I continue in the merit-consequences framework. I focus on a particular class of consequences: those that are non-voluntary, in a sense explained. The non-voluntariness of these reactions has two important upshots. First, questions about their justification will be complex. Second, they are not well thought of as consequences voluntarily imposed upon the wrongdoer by the responder. By focusing on merited consequences and overlooking non-voluntariness, we risk misunderstanding the significance of moral criticism and of certain reactions to moral failure. (shrink)

This chapter presents two contrasting pictures of the will. On the first, “the will” is a psychological structure or module within a person that originates spontaneous or endogenous activity, independently of external influence. On the second, “the will” is that collection of ordinary states of mind (cares, concerns, beliefs, desires, commitments, fears, etc.) that generates intentional, or voluntary, or responsible activity—it is the functioning together of those aspects of mind that account for human activity. A challenge is posed for each. (...) The challenge for the first is to say how the outputs of this module are the activity of the person. The challenge for the second is to say how psychological activity that might be entirely explained by a person’s history and environment can nonetheless be free and responsible activity. The replies take up an important question about the role of consciousness, in each picture. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...) the claim that science seeks truth). I also flag an additional axiological “challenge,” that of how one might justify the pursuit of a primary aim, such as truth. Bracketing epistemic realism, I argue that the axiological threats can be addressed by embracing a refined realist axiological hypothesis, one that specifies a specific subclass of true claims sought in science. And after identifying three potential responses to the axiological “challenge,” I contend that, while standard axiological realism appears to lack the resources required to utilize any of the responses, the refined realist axiology I embrace is well suited to each. (shrink)

Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

In the classical Turing test, participants are challenged to tell whether they are interacting with another human being or with a machine. The way the interaction takes place is not direct, but a distant conversation through computer screen messages. Basic forms of interaction are face-to-face and embodied, context-dependent and based on the detection of reciprocal sensorimotor contingencies. Our idea is that interaction detection requires the integration of proprioceptive and interoceptive patterns with sensorimotor patterns, within quite short time lapses, so that (...) they appear as mutually contingent, as reciprocal. In other words, the experience of interaction takes place when sensorimotor patterns are contingent upon one’s own movements, and vice versa. I react to your movement, you react to mine. When I notice both components, I come to experience an interaction. Therefore, we designed a “minimal” Turing test to investigate how much information is required to detect these reciprocal sensorimotor contingencies. Using a new version of the perceptual crossing paradigm, we tested whether participants resorted to interaction detection to tell apart human from machine agents in repeated encounters with these agents. In two studies, we presented participants with movements of a human agent, either online or offline, and movements of a computerized oscillatory agent in three different blocks. In each block, either auditory or audiovisual feedback was provided along each trial. Analysis of participants’ explicit responses and of the implicit information subsumed in the dynamics of their series will reveal evidence that participants use the reciprocal sensorimotor contingencies within short time windows. For a machine to pass this minimal Turing test, it should be able to generate this sort of reciprocal contingencies. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

According to ‘Excluders’, descriptive uncertainty – but not normative uncertainty – matters to what we ought to do. Recently, several authors have argued that those wishing to treat normative uncertainty differently from descriptive uncertainty face a dependence problem because one's descriptive uncertainty can depend on one's normative uncertainty. The aim of this paper is to determine whether the phenomenon of dependence poses a decisive problem for Excluders. I argue that existing arguments fail to show this, and that, while stronger ones (...) can be found, Excluders can escape them. (shrink)

Nearly everyone agrees that perception gives us justification and knowledge, and a great number of epistemologists endorse a particular two-part view about how this happens. The view is that perceptual beliefs get their justification from perceptual experiences, and that they do so by being based on them. Despite the ubiquity of these two views, I think that neither has very much going for it; on the contrary, there’s good reason not to believe either one of them.

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...) I contend that, as it stands, Stanford's argument poses no threat to contemporary scientific realism. Nonetheless, upon identifying two useful insights present in Stanford's general strategy, I offer an alternative variant of the modus ponens underdetermination argument, one that, although historically informed by science, requires no inductive premises. I contend that this non-inductive but historically informed variant of the modus ponens clarifies and considerably strengthens the case against scientific realism. (shrink)

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...) structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...) of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

In 1982, when T. M. Scanlon published “Contractualism and Utilitarianism,” he noted that, despite the widespread attention to Rawls’ A Theory of Justice, the appeal of contractualism as a moral theory had been under appreciated. In particular, the appeal of contractualism’s account of what he then called “moral motivation” had been under appreciated.1 It seems to me that, in the intervening quarter century, despite the widespread discussion of Scanlon’s work, the appeal of contractualism, in precisely this regard, has still been (...) under appreciated—even though Scanlon makes what he once called “moral motivation” central, throughout his work. My first aim, then, is to do my best to draw out and make vivid this appeal. I will do this by first considering the two questions that Scanlon thinks must be addressed by any moral theory, what he once called “the question of subject matter” and “the question of motivation.” I will spend some time first locating and explicating the second question, of motivation, and then displaying Scanlon’s answer to it—it is this answer which provides contractualism with its under-appreciated appeal. I will then return to the question of subject matter—which will, by that point, have been revealed as not wholly distinct from the question of motivation, as Scanlon understands it. But it is as an answer to this question that Scanlon’s theory is most often.. (shrink)

A general insight of 20th-century philosophy of science is that the acceptance of a scientific theory is grounded, not merely on a theory's relation to data, but on its status as having no, or being superior to its, competitors. I explore the ways in which scientific realists might be thought to utilise this insight, have in fact utilised it, and can legitimately utilise it. In more detail, I point out that, barring a natural but mistaken characterisation of scientific realism, traditional (...) realism has not utilised that insight regarding scientific theories, i.e., has not explicitly factored that insight into, and invoked it as justification for, what realists believe. Nonetheless, a new form of realism has. In response to a key historical threat, two of the most thoroughly developed contemporary versions of realism—one put forward by Jarrett Leplin, another by Stathis Psillos—are anchored on the sensible tactic of requiring that the theories to which realists commit themselves have no competitors. I argue, however, that the particular kind of non-competitor condition they invoke is illegitimate in the context of the realism debate. I contend further that invoking a non-competitor condition that is legitimate, sensible, and even, as it turns out, required in the context of the debate threatens to eliminate the possibility of scientific realism altogether. (shrink)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

Many think of reasons as facts, propositions, or considerations that stand in some relation (or relations) to attitudes, actions, states of affairs. The relation may be an explanatory one or a “normative” one—though some are uncomfortable with irreducibly “normative” relations. I will suggest that we should, instead, see reasons as items in pieces of reasoning. They relate, in the first instance, not to psychological states or events or states of affairs, but to questions. That relation is neither explanatory nor “normative.” (...) If we must give it a label, we could call it “rational”—but that will mean, I think, only that the consideration bears on the question. By thus putting reasoning first, we not only avoid a handful of difficulties that have plagued thinking about reasons, but we also bring back to center-stage the importance of rational agency. (shrink)

I here press an often overlooked question: Why does the fairness of a sanction require an adequate opportunity to avoid it? By pressing this question, I believe I have come to better understand something that has long puzzled me, namely, what philosophers (and others) might have in mind when they talk about “true moral responsibility,” or the “condemnatory force” of moral blame, or perhaps even “basic desert.” In presenting this understanding of “condemnation” or of “basic desert,” I am presenting an (...) idea that I do not, myself, endorse—one to which I am, myself, opposed. I present and defend it, hoping that, if what I say accurately captures what people have in mind, it will also show how condemnation or desert, in this sense, can be left behind. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

A computer simulation is used to study collective judgements that an expert panel reaches on the basis of qualitative probability judgements contributed by individual members. The simulated panel displays a strong and robust crowd wisdom effect. The panel's performance is better when members contribute precise probability estimates instead of qualitative judgements, but not by much. Surprisingly, it doesn't always hurt for panel members to interpret the probability expressions differently. Indeed, coordinating their understandings can be much worse.

Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...) it’s a term of art, justification talk is a better vehicle for philosophical theorizing. ‘Rational’ is too unclear for our philosophical purposes, and the fact that ‘epistemic justification’ gets fleshed out by appeal to substantive, controversial theses is no obstacle to its playing the needed role in epistemological theorizing. (shrink)

Systematicity theory—developed and articulated by Paul Hoyningen-Huene—and scientific realism constitute separate encompassing and empirical accounts of the nature of science. Standard scientific realism asserts the axiological thesis that science seeks truth and the epistemological thesis that we can justifiably believe our successful theories at least approximate that aim. By contrast, questions pertaining to truth are left “outside” systematicity theory’s “intended scope” ; the scientific realism debate is “simply not” its “focus”. However, given the continued centrality of that debate in the (...) general philosophy of science literature, and given that scientific realists also endeavor to provide an encompassing empirical account of science, I suggest that these two contemporary accounts have much to offer one another. Overlap for launching a discussion of their relations can be found in Nicholas Rescher’s work. Following through on a hint from Rescher, I embrace a non-epistemic, purely axiological scientific realism—what I have called, Socratic scientific realism. And, bracketing the realist’s epistemological thesis, I put forward the axiological tenet of scientific realism as a needed supplement to systematicity theory. There are two broad components to doing this. First, I seek to make clear that axiological realism and systematicity theory accord with one another. Toward that end, after addressing Hoyningen-Huene’s concerns about axiological analysis, I articulate a refined axiological realist meta-hypothesis: it is, in short, that the end toward which scientific inquiry is directed is an increase in a specific subclass of true claims. I then identify a key feature of scientific inquiry, not generally flagged explicitly, that I take to stand as shared terrain for the two empirical meta-hypotheses. And I argue that this feature can be informatively accounted for by my axiological meta-hypothesis. The second broad component goes beyond mere compatibility between the two positions: I argue that, in want of a systematic account of science, we are prompted to find an end toward which scientific inquiry is directed that is deeper than what systematicity theory offers. Specifically, I argue that my refined axiological realist meta-hypothesis is required to both explain and justify key dimensions of systematicity in science. To the quick question, what is it that the scientific enterprise is systematically doing? My quick answer is that it is systematically seeking to increase a particular subclass of true claims. (shrink)

Part of a book symposium with Terry Horgan, Alvin Goldman, and Peter Graham.

Raftopoulos’s most recent book argues, among other things, for the cognitive impenetrability of early vision. Before we can assess any such claims, we need to know what’s meant by “early vision” and by “cognitive penetration”. In this contribution to this book symposium, I explore several different things that one might mean – indeed, that Raftopoulos might mean – by these terms. I argue that whatever criterion we choose for delineating early vision, we need a single criterion, not a mishmash of (...) distinct criteria. And I argue against defining cognitive penetration in partly epistemological terms, although it is fine to offer epistemological considerations in defending some definitions as capturing something of independent interest. Finally, I raise some questions about how we are to understand the “directness” of certain putative cognitive influences on perception and about whether there’s a decent rationale for restricting directness in the way that Raftopoulos apparently does. (shrink)