The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. (...) Cotnoir (2015) has argued that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus ponens as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Furthermore, I shall argue that the Collapse Argument has been misguided from the outset. The last chapter suggests a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to (...) languages containing the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a (...) classical recapture result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents (...) of K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

I tackle the definition of the relation between first and second nature while examining some problems with McDowell's conception. This, in the first place, will bring out the need to extend the notion of second nature to the social dimension, understanding it not just as `inner' second nature — individual mind — but also as `outer' second nature — objective spirit. In the second place the dialectical connection between these two notions of second nature will point the way to a (...) critical use of the concept itself, which will link up with a theory of reification. Furthermore, I shall endeavor to fit my reflection into the problematic constellation of critical theory: my analysis in fact rests on the question whether, within a critical theory, the philosophy of nature can be recaptured today, in such a way as to give meaning to the very notion of socio-philosophical criticism of reality. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the (...) cardinality problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

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)

Spacetime functionalism is the view that spacetime is a functional structure implemented by a more fundamental ontology. Lam and Wüthrich have recently argued that spacetime functionalism helps to solve the epistemological problem of empirical coherence in quantum gravity and suggested that it also (dis)solves the hard problem of spacetime, namely the problem of offering a picture consistent with the emergence of spacetime from a non-spatio-temporal structure. First, I will deny that spacetime functionalism solves the hard problem (...) by showing that it comes in various species, each entailing a different attitude towards, or answer to, the hard problem. Second, I will argue that the existence of an explanatory gap, which grounds the hard problem, has not been correctly taken into account in the literature. (shrink)

There is a large gap between the specialized knowledge of scientists and laypeople’s understanding of the sciences. The novice-expert problem arises when non-experts are confronted with (real or apparent) scientific disagreement, and when they don’t know whom to trust. Because they are not able to gauge the content of expert testimony, they rely on imperfect heuristics to evaluate the trustworthiness of scientists. This paper investigates why some bodies of scientific knowledge become polarized along political fault lines. Laypeople navigate conflicting (...) epistemic and social demands in their acceptance of scientific testimony; this might explain their deference to scientific fringe theories, which often goes together with denying established scientific theories. I evaluate three approaches to mitigate denialism: improving the message, improving the messenger, and improving the environment in which the message is conveyed. (shrink)

The public rejection of scientific claims is widely recognized by scientific and governmental institutions to be threatening to modern democratic societies. Intense conflict between science and the public over diverse health and environmental issues have invited speculation by concerned officials regarding both the source of and the solution to the problem of public resistance towards scientific and policy positions on such hot-button issues as global warming, genetically modified crops, environmental toxins, and nuclear waste disposal. The London Royal Society’s influential (...) report “Public Understanding of Science”, which spearheaded the now-thriving area of science... (shrink)

Fetal reduction is the practice of reducing the number of fetuses in a multiple pregnancy, such as quadruplets, to a twin or singleton pregnancy. Use of assisted reproductive technologies increases the likelihood of multiple pregnancies, and many fetal reductions are done after in vitro fertilisation and embryo transfer, either because of social or health-related reasons. In this paper, I apply Joe Horton’s all or nothing problem to the ethics of fetal reduction in the case of a twin pregnancy. I (...) argue that in the case of a twin pregnancy, there are two intuitively plausible claims: abortion is morally permissible, and it is morally wrong to abort just one of the fetuses. But since we should choose morally permissible acts rather than impermissible ones, the two claims lead to another highly implausible claim: the woman ought to abort both fetuses rather than only one. Yet, this does not seem right. A plausible moral theory cannot advocate such a pro-death view. Or can it? I suggest ways to solve this problem and draw implications for each solution. There are no data in this work. (shrink)

The 'Why ain'cha rich?' argument for one-boxing in Newcomb's problem allegedly vindicates evidential decision theory and undermines causal decision theory. But there is a good response to the argument on behalf of causal decision theory. I develop this response. Then I pose a new problem and use it to give a new 'Why ain'cha rich?' argument. Unlike the old argument, the new argument targets evidential decision theory. And unlike the old argument, the new argument is sound.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)

Nihilism, Nietzsche and the Doppelganger Problem Was Nietzsche a nihilist? Yes, because, like J. L. Mackie, he was an error-theorist about morality, including the elitist morality to which he himself subscribed. But he was variously a diagnostician, an opponent and a survivor of certain other kinds of nihilism. Schacht argues that Nietzsche cannot have been an error theorist, since meta-ethical nihilism is inconsistent with the moral commitment that Nietzsche displayed. Schacht’s exegetical argument parallels the substantive argument (advocated in recent (...) years by Wright and Blackburn) that Mackie’s error theory can’t be true because if it were, we would have to give up morality or give up moralizing. I answer this argument with a little bit of help from Nietzsche. I then pose a problem, the Doppelganger Problem, for the meta-ethical nihilism that I attribute to Mackie and Nietzsche. (If A is a moral proposition then not-A is a moral proposition: hence not all moral propositions can be false.) I solve the problem by reformulating the error theory and also deal with a variant of the problem, the Reinforced Doppelganger, glancing at a famous paper of Ronald Dworkin’s. Thus, whatever its demerits, the error theory, is not self-refuting, nor does it require us to give up morality. (shrink)

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

I extend my direct virtue epistemology to explain how a knowledge-first framework can account for two kinds of positive epistemic standing, one tracked by externalists, who claim that the virtuous duplicate lacks justification, the other tracked by internalists, who claim that the virtuous duplicate has justification, and moreover that such justification is not enjoyed by the vicious duplicate. It also explains what these kinds of epistemic standing have to do with each other. I argue that all justified beliefs are good (...) candidates for knowledge, and are such because they are exercises of competences to know. However, there are two importantly different senses in which a belief may be a good candidate for knowledge, one corresponding to an externalist kind of justification and the other corresponding to an internalist one. I show how the account solves the new evil demon problem in a more satisfactory way than existing accounts. We end up with a view of knowledge, justification, and rationality that is plausible, motivated, and theoretically unified. (shrink)

Is the relation ‘is a morally permissible alternative to’ transitive? The answer seems to be a straightforward yes. If Act B is a morally permissible alternative to Act A and Act C is a morally permissible alternative to B then how could C fail to be a morally permissible alternative to A? However, as both Dale Dorsey and Frances Kamm point out, there are cases where this transitivity appears problematic. My aim in this paper is to provide a solution to (...) this problem. I will then investigate Kamm’s justification for rejecting the transitivity of the ‘is a permissible alternative to’ relation. Next, I will look at Dorsey’s solution, which involves a reinterpretation of the intuitions used to generate the problem. I will argue that neither of these solutions are fully satisfying before going on to provide my own solution to the problem and arguing that it avoids these problems. (shrink)

Despite its many advantages as a metaethical theory, moral expressivism faces difficulties as a semantic theory of the meaning of moral claims, an issue underscored by the notorious Frege-Geach problem. I consider a distinct metaethical view, inferentialism, which like expressivism rejects a representational account of meaning, but unlike expressivism explains meaning in terms of inferential role instead of expressive function. Drawing on Michael Williams’ recent work on inferential theories of meaning, I argue that an appropriate understanding of the pragmatic (...) role of moral discourse—the facilitation of coordinated social behavior—suggests the kind of inferences we should expect terms with this function to license. I offer a sketch of the inferential roles the moral ‘ought’ plays, and argue that if we accept that the relevant inferential roles are meaning-constitutive, we will be in a position to solve the Frege-Geach problem. Such an inferentialist solution has advantages over those forwarded by expressivists such as Blackburn and Gibbard. First, it offers a more straightforward explanation of the meaning of moral terms. It also gives simple answers to at least two semantic worries that have vexed contemporary expressivists—the “problem of permissions” and the commitment to “mentalism”, both of which I argue are problems that don’t get traction with an inferentialist approach. I conclude by considering ways in which this approach can be expanded into a more robust semantic account. (shrink)

According to fitting-attitude (FA) accounts of value, X is of final value if and only if there are reasons for us to have a certain pro-attitude towards it. FA accounts supposedly face the wrong kind of reason (WKR) problem. The WKR problem is the problem of revising FA accounts to exclude so called wrong kind of reasons. And wrong kind of reasons are reasons for us to have certain pro-attitudes towards things that are not of value. I (...) argue that the WKR problem can be dissolved. I argue that (A) the view that there are wrong kind of reasons for the pro-attitudes that figure in FA accounts conflicts with the conjunction of (B) an extremely plausible and extremely weak connection between normative and motivating rea- sons and (C) an extremely plausible generality constraint on the reasons for pro- attitudes that figure in FA accounts. I argue that when confronted with this trilemma we should give up (A) rather than (B) or (C) because there is a good explanation of why (A) seems so plausible but is in fact false, but there is no good explanation of why (B) and (C) seem so plausible but are in fact false. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. (...) Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Moritz Schlick, Rudolf Carnap and Herbert Feig are the most prominent of the positivists to formulate views on the mind-body problem (aside from Hempel’s one-off treatment in 1935). While their views differed from each other and changed over time they were all committed to some form of scientific physicalism, though a linguistic or conceptual rather than ontological form of it. In focus here are their views during the heyday of logical positivism and its immediate aftermath, though some initial scene-setting (...) of Schlick’s and Carnap’s pre-positivist views will help to understand the final opposing positions of Carnap and Feigl. (shrink)

The prospective introduction of autonomous cars into public traffic raises the question of how such systems should behave when an accident is inevitable. Due to concerns with self-interest and liberal legitimacy that have become paramount in the emerging debate, a contractarian framework seems to provide a particularly attractive means of approaching this problem. We examine one such attempt, which derives a harm minimisation rule from the assumptions of rational self-interest and ignorance of one’s position in a future accident. We (...) contend, however, that both contractarian approaches and harm minimisation standards are flawed, due to a failure to account for the fundamental difference between those ‘involved’ and ‘uninvolved’ in an impending crash. Drawing from classical works on the trolley problem, we show how this notion can be substantiated by reference to either the distinction between negative and positive rights, or to differences in people’s claims. By supplementing harm minimisation with corresponding constraints, we can develop crash algorithms for autonomous cars which are both ethically adequate and promise to overcome certain significant practical barriers to implementation. (shrink)

There is a difference between the conditions in which one can felicitously assert a ‘must’-claim versus those in which one can use the corresponding non-modal claim. But it is difficult to pin down just what this difference amounts to. And it is even harder to account for this difference, since assertions of 'Must ϕ' and assertions of ϕ alone seem to have the same basic goal: namely, coming to agreement that [[ϕ]] is true. In this paper I take on this (...) puzzle, known as Karttunen’s Problem. I begin by arguing that a ‘must’-claim is felicitous only if there is a shared argument for its prejacent. I then argue that this generalization, which I call Support, can explain the more familiar generalization that ‘must’-claims are felicitous only if the speaker’s evidence for them is in some sense indirect. Finally, I sketch a pragmatic derivation of Support. (shrink)

As a candidate theory of quantum gravity, the popularity of string theory has waxed and waned over the past four decades. One current source of scepticism is that the theory can be used to derive, depending upon the input geometrical assumptions that one makes, a vast range of different quantum field theories, giving rise to the so-called landscape problem. One apparent way to address the landscape problem is to posit the existence of a multiverse; this, however, has in (...) turn drawn heightened attention to questions regarding the empirical testability and predictivity of string theory. We argue first that the landscape problem relies on dubious assumptions and does not motivate a multiverse hypothesis. Nevertheless, we then show that the multiverse hypothesis is scientifically legitimate and could be coupled to string theory for other empirical reasons. Looking at various cosmological approaches, we offer an empirical criterion to assess the scientific status of multiverse hypotheses. (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)

It is standardly assumed that there are three — and only three — ways to solve problem of temporary intrinsics: (a) embrace presentism, (b) relativize property possession to times, or (c) accept the doctrine of temporal parts. The first two solutions are favoured by endurantists, whereas the third is the perdurantist solution of choice. In this paper, I argue that there is a further type of solution available to endurantists, one that not only avoids the usual costs, but is (...) structurally identical to the temporal-parts solution preferred by perdurantists. In addition to providing a general characterization of this new type of solution, I discuss certain of its anticipations in the literature on bundle theory, as well as provide a detailed development of it in terms of my own preferred metaphysics of ordinary objects — namely, a distinctive form of substratum theory tracing to Aristotle. (shrink)

As ever more advanced digital systems are created, it becomes increasingly likely that some of these systems will be digital minds, i.e. digital subjects of experience. With digital minds comes the risk of digital suffering. The problem of digital suffering is that of mitigating this risk. We argue that the problem of digital suffering is a high stakes moral problem and that formidable epistemic obstacles stand in the way of solving it. We then propose a strategy for (...) solving it: Access Monitor Prevent (AMP). AMP uses a ‘dancing qualia’ argument to link the functional states of certain digital systems to their experiences—this yields epistemic access to digital minds. With that access, we can prevent digital suffering by only creating advanced digital systems that we have such access to, monitoring their functional profiles, and preventing them from entering states with functional markers of suffering. After introducing and motivating AMP, we confront limitations it faces and identify some options for overcoming them. We argue that AMP fits especially well with—and so provides a moral reason to prioritize—one approach to creating such systems: whole brain emulation. We also contend that taking other paths to digital minds would be morally risky. (shrink)

We propose a fundamental challenge to the feasibility of moral progress: most extant theories of progress, we will argue, assume an unrealistic level of cognitive control people must have over their moral judgments for moral progress to occur. Moral progress depends at least in part on the possibility of individual people improving their moral cognition to eliminate the pernicious influence of various epistemically defective biases and other distorting factors. Since the degree of control people can exert over their moral cognition (...) tends to be significantly overestimated, the prospects of moral progress face a formidable problem, the force of which has thus far been underappreciated. In the paper, we will provide both conceptual and empirical arguments for this thesis, and explain its most important implications. (shrink)

I argue for an idealist ontology consistent with empirical observations, which seeks to explain the facts of nature more parsimoniously than physicalism and bottom-up panpsychism. This ontology also attempts to offer more explanatory power than both physicalism and bottom-up panpsychism, in that it does not fall prey to either the ‘hard problem of consciousness’ or the ‘subject combination problem’, respectively. It can be summarized as follows: spatially unbound consciousness is posited to be nature’s sole ontological primitive. We, as (...) well as all other living organisms, are dissociated alters of this unbound consciousness. The universe we see around us is the extrinsic appearance of phenomenality surrounding—but dissociated from—our alter. The living organisms we share the world with are the extrinsic appearances of other dissociated alters. As such, the challenge to artificially create individualized consciousness becomes synonymous with the challenge to artificially induce abiogenesis. (shrink)

Moral error theorists face the so-called “now-what problem”: what should we do with our moral judgments from a prudential point of view if these judgments are uniformly false? On top of abolitionism and conservationism, which respectively advise us to get rid of our moral judgments and to keep them, three revisionary solutions have been proposed in the literature: expressivism, naturalism, and fictionalism. In this paper, I argue that expressivism and naturalism do not constitute genuine alternatives to abolitionism, of which (...) they are in the end mere variants—and, even less conveniently, variants that are conform to the very spirit of abolitionism as formulated by its proponents. The main version of fictionalism, by contrast, provides us with a recommendation to which abolitionists cannot consistently subscribe. This leaves us with only one revisionary solution to the now-what problem. (shrink)

According to orthodox quantum mechanics, state vectors change in two incompatible ways: "deterministically" in accordance with Schroedinger's time-dependent equation, and probabilistically if and only if a measurement is made. It is argued here that the problem of measurement arises because the precise mutually exclusive conditions for these two types of transitions to occur are not specified within orthodox quantum mechanics. Fundamentally, this is due to an inevitable ambiguity in the notion of "meawurement" itself. Hence, if the problem of (...) measurement is to be resolved, a new, fully objective version of quantjm mechanics needs to be developed which does not incorporate the notion of measurement in its basic postuolates at all. (shrink)

Jaegwon Kim argued that nonreductive physicalism faces the “exclusion problem” for higher-level causation, mental causation in particular. Roughly, the charge is that given the presumptive ubiquity of physical causation, there cannot be irreducible mental causes for physical effects. Since there are mental causes, Kim concluded that nonreductive physicalism should be rejected in favor of a more reductionist alternative according to which mental causes are just physical causes differently described. But why should mental causes be “excluded” in this way? Unfortunately, (...) Kim had less to say about this than one might expect. After reviewing some of Kim’s proposals, I suggest that the exclusion problem should be premised on nothing more or less than Occamist, simplicity-based considerations. I apply this conception of the exclusion problem to some prominent responses to Kim’s critique of nonreductive physicalism and argue that this conception mandates reconsidering the success of these responses. (shrink)

In this paper, I explore anomalous dualism about consciousness, a view that has not previously been explored in any detail. We can classify theories of consciousness along two dimensions: first, a theory might be physicalist or dualist; second, a theory might endorse any of the three following views regarding causal relations between phenomenal properties (properties that characterize states of our consciousness) and physical properties: nomism (the two kinds of property interact through deterministic laws), acausalism (they do not causally interact), and (...) anomalism (they interact but not through deterministic laws). I suggest that a kind of anomalous dualism, nonreductive anomalous panpsychism, promises to offer the best overall answer to two pressing issues for dualist views, the problem of mental causation and the mapping problem (the problem of predicting mind-body associations). (shrink)

A core tenet of metanormative non-naturalism is that genuine or robust normativity—i.e., the kind of normativity that is characteristic of moral requirements, and perhaps also of prudential, epistemic and even aesthetic requirements—is metaphysically special in a way that rules out naturalist analyses or reductions; on the non-naturalist view, the normative is sui generis and metaphysically discontinuous with the natural. Non-naturalists agree, however, that the normative is modally as well as explanatorily dependent on the natural. These two commitments—discontinuity and dependence—at least (...) initially pull in opposite directions, and one of the central challenges to non-naturalism is how to reconcile them. In this paper I spell out the most pressing version of this discontinuity problem, as I propose to call it, and I go on to offer a novel solution. Drawing on the ideology of reasons-firstism, I formulate an account of normative explanation which reconciles the two commitments, and I argue that competing accounts either do not solve the problem or are implausible on independent grounds. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in (...) cognitive processes that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

Dion is a full-bodied man. Theon is that part of him which consists of all of him except his left foot. What becomes of Dion and Theon when Dion’s left foot is amputated? In Burke 1994, employing the doctrine of sortal essentialism, I defended a surprising position last defended by Chrysippus: that Dion survives while the seemingly unscathed Theon perishes. This paper defends that position against objections by Stone, Carter, Olson, and others. Most notably, it offers a novel, conservative solution (...) to the many-thinkers problem, a solution that enables us to accept the existence of brain-containing person-parts while denying that those person-parts are thinking, conscious beings. (shrink)

In the present research, the authors hypothesized that additive counterfactual thinking mind-sets, activated by adding new antecedent elements to reconstruct reality, promote an expansive processing style that broadens conceptual attention and facilitates performance on creative generation tasks, whereas subtractive counterfactual thinking mind-sets, activated by removing antecedent elements to reconstruct reality, promote a relational processing style that enhances tendencies to consider relationships and associations and facilitates performance on analytical problem-solving tasks. A reanalysis of a published data set suggested that the (...) counterfactual mind-set primes previously used in the literature tend to evoke subtractive counterfactuals. Studies 1 and 2 then demonstrated that subtractive counterfactual mind-sets enhanced performance on analytical problem-solving tasks relative to additive counterfactual mind-sets, whereas Studies 3 and 4 found that additive counterfactual mind-sets enhanced performance on creative generation tasks relative to subtractive counterfactual mind-sets. (shrink)

In the small but growing literature on the philosophy of country music, the question of how we ought to understand the genre’s notion of authenticity has emerged as one of the central questions. Many country music scholars argue that authenticity claims track attributions of cultural standing or artistic self-expression. However, careful attention to the history of the genre reveals that these claims are simply factually wrong. On the basis of this, we have grounds for dismissing these attributions. Here, I argue (...) for an alternative model of authenticity in which we take claims about the relative authenticity of country music to be evidence of ‘country’ being a dual character concept in the same way that it has been suggested of punk rock and hip-hop. Authentic country music is country music that embodies the core value commitments of the genre. These values form the basis of country artists’ and audiences’ practical identities. Part of country music’s aesthetic practice is that audiences reconnect with, reify, and revise this common practical identity through identification with artists and works that manifest these values. We should then think of authenticity discourse within country music as a kind of game within the genre’s practice of shaping and maintaining this practical identity. (shrink)

The problem of moral luck is that a general fact about luck and an intuitive moral principle jointly imply the following skeptical conclusion: human beings are morally responsible for at most a tiny fraction of each action. This skeptical conclusion threatens to undermine the claim that human beings deserve their respective eternal reward and punishment. But even if this restriction on moral responsibility is compatible with the doctrine of the final judgment, the quality of one’s afterlife within heaven or (...) hell still appears to be lucky. Utilizing recent responses to the problem of moral luck, I explore several Molinist accounts of the final judgment that resolve both theological problems of moral luck. Some of these accounts entirely eliminate moral luck while others ensure that the moral luck involved in the judgment is overall good luck. (DOWNLOAD the published version at the external link below.). (shrink)

This paper accomplishes three goals. First, it reveals that God’s ethics has a radical satisficing structure: God can choose a good enough suboptimal option even if there is a best option and no countervailing considerations. Second, it resolves the long-standing worry that there is no account of the good enough that is both principled and demanding enough to be good enough. Third, it vindicates the key ethical assumption in the problem of evil without relying on the contested assumption that (...) God’s ethics is our ethics. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new proposal. Here, (...) we develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

The New Evil Demon Problem is meant to show that reliabilism about epistemic justification is incompatible with the intuitive idea that the external-world beliefs of a subject who is the victim of a Cartesian demon could be epistemically justified. Here, I present a new argument that such beliefs can be justified on reliabilism. Whereas others have argued for this conclusion by making some alterations in the formulation of reliabilism, I argue that, as far as the said problem is (...) concerned, such alterations are redundant. No reliabilist should fear the demon. (shrink)

Experimental work on free will typically relies on deterministic stimuli to elicit judgments of free will. We call this the Vignette-Judgment model. We outline a problem with research based on this model. It seems that people either fail to respond to the deterministic aspects of vignettes when making judgments or that their understanding of determinism differs from researcher expectations. We provide some empirical evidence for this claim. In the end, we argue that people seem to lack facility with the (...) concept of determinism, which calls into question the validity of experimental work operating under the Vignette-Judgment model. We also argue that alternative experimental paradigms are unlikely to elicit judgments that are philosophically relevant to questions about the metaphysics of free will. (shrink)

Andrew Cling presents a new version of the epistemic regress problem, and argues that intuitionist foundationalism, social contextualism, holistic coherentism, and infinitism fail to solve it. Cling’s discussion is quite instructive, and deserving of careful consideration. But, I argue, Cling’s discussion is not in all respects decisive. I argue that Cling’s dilemma argument against holistic coherentism fails.

The assumption that positive affect leads to a better performance in simple cognitive tasks has become well established. We address the question whether positive and negative emotions differentially influence performance in complex problem-solving in the same way. Emotions were induced by positive or negative feedback in 74 participants who had to manage a computer-simulated complex problem-solving scenario. Results show that overall scenario performance is not affected, but positive and negative emotions elicit distinguishable problem-solving strategies: Participants with negative (...) emotions are more focused on the seeking and use of information. We discuss methodological requirements for investigating emotion influences in complex and dynamic cognitive tasks. (shrink)

A precursor to the hard problem of consciousness confronts nihilism. Like physicalism, nihilism collides with the first-personal fact of what perception and action are like. Unless this problem is solved, nature’s inclusion of conscious experience will remain, as Chalmers warns the physicalist, an “unanswered question” and, as Jacobi chides the nihilist, “completely inexplicable". One advantage of Kant’s Copernican turn is to dismiss the question that imposes this hard problem. We need not ask how nature is accompanied by (...) the first-person standpoint because “I think” is an apperceptive form of thinking that must be able to accompany any cognition of nature. Kant’s formal conception of apperception worries Fichte in his Nova Methodo lectures. This conception arguably cannot exhaust the ground of experience, for it does not show why we posit objects “at all". For Fichte, it is our agency that first opens a world of objects, viz., as subjects, means, ends, and obstacles. In what follows, I argue that, for Fichte, the I poses no hard problem because it collides exclusively with nihilistic views like Spinozism, which are refuted by a properly transcendental idealist conception of apperception, according to which the first-person standpoint is the absolute ground of our experience of nature. If transcendental idealism refutes nihilism, nature is no more explicable than that there is something it is like for me to perceive and act. In Section 1, I show why Kantian apperception is necessary for possible experience. In Section 2, I reconstruct Fichte’s argument that a modified conception of apperception refutes guises of nihilism, thereby solving the hard problem of consciousness. In Section 3, I suggest that transcendental idealism undermines Chalmers’ proposed solution to and Dennett’s dismissal of this problem. (shrink)

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve (...) it. Expressivists should accept this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)

Philosophy and Phenomenological Research, EarlyView.