In information societies, operations, decisions and choices previously left to humans are increasingly delegated to algorithms, which may advise, if not decide, about how data should be interpreted and what actions should be taken as a result. More and more often, algorithms mediate social processes, business transactions, governmental decisions, and how we perceive, understand, and interact among ourselves and with the environment. Gaps between the design and operation of algorithms and our understanding of their ethical implications can have severe consequences (...) affecting individuals as well as groups and whole societies. This paper makes three contributions to clarify the ethical importance of algorithmic mediation. It provides a prescriptive map to organise the debate. It reviews the current discussion of ethical aspects of algorithms. And it assesses the available literature in order to identify areas requiring further work to develop the ethics of algorithms. (shrink)

What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue that (...) these considerations do not establish the desired conclusions that open-mindedness is truth-conducive. To establish these much stronger conclusions we would need an adequate reply to what I shall call Montmarquet’s objection. I argue that Linda Zagzebski’s reply to Montmarquet’s objection, to which Kwong defers, is inadequate. I conclude that it is contingent if open-mindedness is truth-conducive, and if a necessary tie to truth is what makes an intellectual virtue a virtue, then the status of open-mindedness as an intellectual virtue is jeopardised. We either need an adequate reliabilist response to Montmarquet’s objection, or else seek alternative accounts of what it is that makes a virtue a virtue. I conclude by briefly outlining some alternatives. (shrink)

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained professionals how to predict what decisions will be made by the complex system, and most importantly how the system might break. However, when considering any such model it’s important to remember Box’s maxim that "All models are wrong but some are useful." We focus on (...) the distinction between these models and explanations in philosophy and sociology. These models can be understood as a "do it yourself kit" for explanations, allowing a practitioner to directly answer "what if questions" or generate contrastive explanations without external assistance. Although a valuable ability, giving these models as explanations appears more difficult than necessary, and other forms of explanation may not have the same trade-offs. We contrast the different schools of thought on what makes an explanation, and suggest that machine learning might benefit from viewing the problem more broadly. (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)

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 special issue on what some regard as a crisis of replicability in cognitive science (i.e. the observation that a worryingly large proportion of experimental results across a number of areas cannot be reliably replicated) is informed by three recent developments. -/- First, philosophers of mind and cognitive science rely increasingly on empirical research, mainly in the psychological sciences, to back up their claims. This trend has been noticeable since the 1960s (see Knobe, 2015). This development has allowed philosophers to (...) draw on a wider range of relevant resources, but it also makes them vulnerable to relying on claims that may not survive further scrutiny. If we have reasons to believe that a large proportion of findings in the psychological sciences cannot be reliably replicated, this would be a problem for philosophers who use such findings in their work. Second, philosophers are increasingly designing and carrying out their own experiments to back up claims, or to test claims earlier made from the armchair, for example, on the perceived permissibility of diverting trolleys or on the nature of free will. This growing field of experimental philosophy has diversified the intellectual field in philosophy, but may also be vulnerable to issues of replicability that philosophers did not face before. -/- Third, the recent evidence of apparently widespread non-replicability in the social sciences (and other fields) has forced philosophers of science to grapple with long standing questions from their field from a new perspective. To what extent does replicability matter for theory construction? How do the notions of replicability and scientific progress interact? How can normative insights from philosophy of science be used in order to improve scientific practice? -/- It is with these three developments in mind—the increasing importance of empirically-informed philosophy, of experimental philosophy, and of philosophy of science around replicability—that this special issue has been conceived. (shrink)

I argue that the Standard View of ignorance is at odds with the claim that knowledge entails truth. In particular, if knowledge entails truth then we cannot explain away some apparent absurdities that arise from the Standard View of ignorance. I then discuss a modified version of the Standard View, which simply adds a truth requirement to the original Standard View. I show that the two main arguments for the original Standard View fail to support this modified view.

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

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)

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)

Ethicists are typically willing to grant that thick terms (e.g. ‘courageous’ and ‘murder’) are somehow associated with evaluations. But they tend to disagree about what exactly this relationship is. Does a thick term’s evaluation come by way of its semantic content? Or is the evaluation pragmatically associated with the thick term (e.g. via conversational implicature)? In this paper, I argue that thick terms are semantically associated with evaluations. In particular, I argue that many thick concepts (if not all) conceptually entail (...) evaluative contents. The Semantic View has a number of outspoken critics, but I shall limit discussion to the most recent--Pekka Väyrynen--who believes that objectionable thick concepts present a problem for the Semantic View. After advancing my positive argument in favor of the Semantic View (section II), I argue that Väyrynen’s attack is unsuccessful (section III). One reason ethicists cite for not focusing on thick concepts is that such concepts are supposedly not semantically evaluative whereas traditional thin concepts (e.g. good and wrong) are. But if my view is correct, then this reason must be rejected. (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.

The internet of things is increasingly spreading into the domain of medical and social care. Internet-enabled devices for monitoring and managing the health and well-being of users outside of traditional medical institutions have rapidly become common tools to support healthcare. Health-related internet of things (H-IoT) technologies increasingly play a key role in health management, for purposes including disease prevention, real-time tele-monitoring of patient’s functions, testing of treatments, fitness and well-being monitoring, medication dispensation, and health research data collection. H-IoT promises many (...) benefits for health and healthcare. However, it also raises a host of ethical problems stemming from the inherent risks of Internet enabled devices, the sensitivity of health-related data, and their impact on the delivery of healthcare. This paper maps the main ethical problems that have been identified by the relevant literature and identifies key themes in the on-going debate on ethical problems concerning H-IoT. (shrink)

Personal Health Monitoring (PHM) uses electronic devices which monitor and record health-related data outside a hospital, usually within the home. This paper examines the ethical issues raised by PHM. Eight themes describing the ethical implications of PHM are identified through a review of 68 academic articles concerning PHM. The identified themes include privacy, autonomy, obtrusiveness and visibility, stigma and identity, medicalisation, social isolation, delivery of care, and safety and technological need. The issues around each of these are discussed. The system (...) / lifeworld perspective of Habermas is applied to develop an understanding of the role of PHMs as mediators of communication between the institutional and the domestic environment. Furthermore, links are established between the ethical issues to demonstrate that the ethics of PHM involves a complex network of ethical interactions. The paper extends the discussion of the critical effect PHMs have on the patient’s identity and concludes that a holistic understanding of the ethical issues surrounding PHMs will help both researchers and practitioners in developing effective PHM implementations. (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)

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)

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.

Skeptical puzzles and arguments often employ knowledge-closure principles . Epistemologists widely believe that an adequate reply to the skeptic should explain why her reasoning is appealing albeit misleading; but it’s unclear what would explain the appeal of the skeptic’s closure principle, if not for its truth. In this paper, I aim to challenge the widespread commitment to knowledge-closure. But I proceed by first examining a new puzzle about failing to know—what I call the New Ignorance Puzzle . This puzzle resembles (...) to the Old Ignorance Puzzle , although it does not involve a closure principle. It instead centers on the standard view of ignorance, a highly intuitive principle stating that ignorance is merely a failure to know. In Sects. 2 and 3, I argue that the best way to solve the New Ignorance Puzzle is to reject the standard view of ignorance and to explain away its appeal via conversational implicature. I then use this solution to the New Ignorance Puzzle as a way of explaining why knowledge-closure principles would seem true, and why abominable conjunctions would seem abominable, even if such principles were false . The upshot is a new way of explaining why the skeptic’s reasoning is appealing albeit misleading. (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)

Despite recent controversies surrounding the principle that knowledge entails truth (KT), this paper aims to prove that the principle is true. It offers a proof of (KT) in the following sense. It advances a deductively valid argument for (KT), whose premises are, by most lights, obviously true. Moreover, each premise is buttressed by at least two supporting arguments. And finally, all premises and supporting arguments can be rationally accepted by people who don’t already accept (KT).

You can demonstrate a subjective quality like redness is different from red light. If you add a device that converts a red signal into a green one, between the retina and the optic nerve, the strawberry will seem green. It’s not about light hitting the retina, it’s about how the signal is processed. In this case, the greenness must be a quality of our conscious knowledge of the strawberry, not of the red light landing on the retina. If you use (...) sufficient, well defined terminology, you can objectively communicate the nature of subjective qualities. For example, even though you know what it is like to see something that is red you cannot know that what happens inside my brain is the same as yours. It may be that “My redness is like your greenness, both of which we call red.” The properties of the red light are the same, but the experience the light produces could be different. What we lack is a universal dictionary to define what “redness” is, and how it differs from “red”. This is because physicists can’t yet answer: “Which of all our descriptions of stuff in the brain, including possible descriptions of yet unknown processes, is a description of redness?” Consciousness isn’t a ‘hard problem’ it is a color problem. Because if you understand color, that model of computation can extend to the rest of consciousness. (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)

My primary aim is to defend a nonreductive solution to the problem of action. I argue that when you are performing an overt bodily action, you are playing an irreducible causal role in bringing about, sustaining, and controlling the movements of your body, a causal role best understood as an instance of agent causation. Thus, the solution that I defend employs a notion of agent causation, though emphatically not in defence of an account of free will, as most theories of (...) agent causation are. Rather, I argue that the notion of agent causation introduced here best explains how it is that you are making your body move during an action, thereby providing a satisfactory solution to the problem of action. (shrink)

Richard Holton has presented an important criticism of two prominent accounts of action, a criticism that employs a notion of strength of will. Holton claims that these well-known accounts of action cannot explain cases in which an agent adheres to the dictates of a previous resolution in spite of a persistent desire to the contrary. In this chapter, I present an explanation and defense of Holton’s criticism of these accounts of action, and then I argue that while Holton highlights a (...) crucial deficiency in both, his own explanation of strength of will is problematic. (shrink)

The conjunction of wireless computing, ubiquitous Internet access, and the miniaturisation of sensors have opened the door for technological applications that can monitor health and well-being outside of formal healthcare systems. The health-related Internet of Things (H-IoT) increasingly plays a key role in health management by providing real-time tele-monitoring of patients, testing of treatments, actuation of medical devices, and fitness and well-being monitoring. Given its numerous applications and proposed benefits, adoption by medical and social care institutions and consumers may be (...) rapid. However, a host of ethical concerns are also raised that must be addressed. The inherent sensitivity of health-related data being generated and latent risks of Internet-enabled devices pose serious challenges. Users, already in a vulnerable position as patients, face a seemingly impossible task to retain control over their data due to the scale, scope and complexity of systems that create, aggregate, and analyse personal health data. In response, the H-IoT must be designed to be technologically robust and scientifically reliable, while also remaining ethically responsible, trustworthy, and respectful of user rights and interests. To assist developers of the H-IoT, this paper describes nine principles and nine guidelines for ethical design of H-IoT devices and data protocols. (shrink)

The Gettier problem has stymied epistemologists. But, whether or not this problem is resolvable, we still must face an important question: Why does the Gettier problem arise in the first place? So far, philosophers have seen it as either a problem peculiar to the concept of knowledge, or else an instance of a general problem about conceptual analysis. But I would like to steer a middle course. I argue that the Gettier problem arises because knowledge is a thick concept, and (...) a Gettier-like problem is just what we should expect from attempts at analyzing a thick concept. Section 2 is devoted to establishing the controversial claim that knowledge is thick, and, in Sect. 3, I show that there is a general problem for analyzing thick concepts of which the Gettier problem is a special instance. I do not take a stand on whether the Gettier problem, or its general counterpart, is resolvable. My primary aim is to bring these problems into better focus. (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)

In this paper, I present an alternative account of action that improves upon what has come to be known as the standard story. The standard story depicts actions as events that are caused by and made intelligible through the appropriate combinations of the agent’s beliefs, desires, decisions, intentions and other motivational factors. I argue that the standard story is problematic because it depicts the relation between the agent and their bodily actions as causally mediated by their motivational factors. On the (...) alternative account that I present, whenever an agent performs a bodily action, they do so by exerting a distinctive kind of effort so as to initiate, sustain, and control their own bodily capacities, an essential feature of bodily action that is absent from the standard story. (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)

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)

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)

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)

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)

Response to Horgan, Goldman, and Graham. Part of a book symposium on my _Perception and Basic Beliefs_.

This paper proposes a new Separabilist account of thick concepts, called the Expansion View (or EV). According to EV, thick concepts are expanded contents of thin terms. An expanded content is, roughly, the semantic content of a predicate along with modifiers. Although EV is a form of Separabilism, it is distinct from the only kind of Separabilism discussed in the literature, and it has many features that Inseparabilists want from an account of thick concepts. EV can also give non-cognitivists a (...) novel escape from the Anti-Disentangling Argument. §I explains the approach of all previous Separabilists, and argues that there’s no reason for Separabilists to take this approach. §II explains EV. §III fends off objections. And §IV explains how non-cognitivist proponents of EV can escape the Anti-Disentangling Argument. (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)

While philosophers of mind have devoted abundant time and attention to questions of content and consciousness, philosophical questions about the nature and scope of mental action have been relatively neglected. Galen Strawson’s account of mental action, arguably the most well-known extant account, holds that cognitive mental action consists in triggering the delivery of content to one’s field of consciousness. However, Strawson fails to recognize several distinct types of mental action that might not reduce to triggering content delivery. In this paper, (...) we argue that meditation provides a useful model for understanding a wider range of types of mental action than heretofore recognized. Conclusions yielded by two distinct bodies of current psychological research on meditation and cognition, and meditation and introspection, buttress meditation’s suitability for this role. (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)

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)

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)

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)

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)

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)

Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...) justified beliefs. <br> Following Sutton, I will begin by outlining kinds of beliefs that do not constitute knowledge but that seem to be justified. I will then be in a position to critically evaluate Sutton’s arguments for his position that justification is knowledge, concluding that he fails to establish his bold thesis. In the course of so doing, I will defend the following rule of assertion: (The JBK-rule) One must: assert p only if one has justification to believe that one knows that p.<br>. (shrink)

Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.

This entry addresses the question of whether justice is thick, thin, or neither. It discusses three main ways of understanding the difference between thick and thin – Williams’ 1985 distinction, the Continuum Approach, and Hare’s distinction. The question of how to classify justice turns out to be a problem for Williams’ 1985 distinction. If the Continuum Approach is correct, it’s far from clear why it would matter whether a given concept is classified as thick, thin, or neither. Hare’s distinction, on (...) the other hand, allows for a strong case to be made for the claim that “justice” is thick. And if “justice” is thick, in Hare’s sense, then there are at least two potential implications. The first is that justice might be a genuine value property, assuming it’s impossible for “just” to have a value-neutral counterpart. The second is that there might be intractable intercultural disagreements about what things are just. (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)

John Schellenberg has advanced the hiddenness argument against God’s existence, based on the idea that an all-loving God would seek personal relationships. This paper develops a reply to Schellenberg’s argument by examining the notion of moral impurity, as understood by Paul the Apostle. Paul conceptualized moral impurity as a causal state that transfers from person to person, like a contagious disease. He also believed that moral impurity precludes divine-human relationship. The goal of this paper is to develop these ideas into (...) a problem for one Schellenberg’s key premises. (shrink)

Since approval of the EU General Data Protection Regulation (GDPR) in 2016, it has been widely and repeatedly claimed that the GDPR will legally mandate a ‘right to explanation’ of all decisions made by automated or artificially intelligent algorithmic systems. This right to explanation is viewed as an ideal mechanism to enhance the accountability and transparency of automated decision-making. However, there are several reasons to doubt both the legal existence and the feasibility of such a right. In contrast to the (...) right to explanation of specific automated decisions claimed elsewhere, the GDPR only mandates that data subjects receive meaningful, but properly limited, information (Articles 13-15) about the logic involved, as well as the significance and the envisaged consequences of automated decision-making systems, what we term a ‘right to be informed’. Further, the ambiguity and limited scope of the ‘right not to be subject to automated decision-making’ contained in Article 22 (from which the alleged ‘right to explanation’ stems) raises questions over the protection actually afforded to data subjects. These problems show that the GDPR lacks precise language as well as explicit and well-defined rights and safeguards against automated decision-making, and therefore runs the risk of being toothless. We propose a number of legislative and policy steps that, if taken, may improve the transparency and accountability of automated decision-making when the GDPR comes into force in 2018. (shrink)

In this paper I compare two different approaches to the supposed distinction between the mental and the physical: 1. Brentano's theory of `Intentionality', which, in its early formulation, proposes a true distinction between physical objects and the objects of thought; and 2. Dennett's `Intentional Systems Theory', which is an attempt to naturalise the mind and to reduce mental phenomena such as beliefs and desires to simple physical systems.