This paper has two aims: (1) to point the way towards a novel alternative to cognitive theories of emotion, and (2) to delineate a number of different functions that the emotions play in cognition, functions that become visible from outside the framework of cognitive theories. First, I hold that the Higher Order Representational (HOR) theories of consciousness — as generally formulated — are inadequate insofar as they fail to account for selective attention. After posing this dilemma, I resolve it in (...) such a manner that the following thesis arises: the emotions play a key role in shaping selective attention. This thesis is in accord with A. Damasio’s (1994) noteworthy neuroscientific work on emotion. I then begin to formulate an alternative to cognitive theories of emotion, and I show how this new account has implications for the following issues: face recognition, two brain disorders (Capgras’ and Fregoli syndrome), the frame problem in A. I., and the research program of affective computing. (shrink)

I formulate and defend a version of the many universes (or multiverse) reply to the atheistic argument from evil. Specifically, I argue that (i) if we know that any argument from evil (be it a logical or evidential argument) is sound, then we know that God would be (or at least probably would be) unjustified in actualizing our universe. I then argue that (ii) there might be a multiverse and (iii) if so, then we do not know that God would (...) be (or at least probably would be) unjustified in actualizing our universe. It follows that we cannot know that the atheistic argument from evil is sound, in which case we cannot be certain that the argument succeeds, and so it is rational to refuse to reject theism because of such arguments. (shrink)

We raise various puzzles about the relationship between God and the meaning of life. These difficulties suggest that, even if we assume that God exists, and even if God’s existence would entail that our lives have meaning, God is not and could not be the source of the meaning of life. We conclude by discussing implications of our arguments: these claims can be used in a novel argument for atheism; these claims undermine an extant argument for God’s existence; and they (...) suggest that atheism is consistent with our lives having meaning. (shrink)

We argue that A. Damasio’s (1994) Somatic Marker hypothesis can explain why humans don’t generally suffer from the frame problem, arguably the greatest obstacle facing the Computational Theory of Mind. This involves showing how humans with damaged emotional centers are best understood as actually suffering from the frame problem. We are then able to show that, paradoxically, these results provide evidence for the Computational Theory of Mind, and in addition call into question the very distinction between easy and hard problems (...) in the contemporary philosophy of mind. (shrink)

We first argue that there are cases of “blameless non-belief.” That is, some people—through no fault of their own—fail to enter into a conscious relationship with God. But if so, then it would be unjust of God to make certain particular goods depend upon one having a conscious relationship with God. So, given that God is just, then despite what some theists believe, a relationship with God cannot be a necessary condition for the attainment of these goods; there might, e.g., (...) be atheists in heaven, even assuming that theism is true. This implies that religion is a far less important component of people’s lives than many might think. (shrink)

We first argue that there are cases of “blameless non-belief.” That is, some people—through no fault of their own—fail to enter into a conscious relationship with God. But if so, then it would be unjust of God to make certain particular goods depend upon one having a conscious relationship with God. So, given that God is just, then despite what some theists believe, a relationship with God cannot be a necessary condition for the attainment of these goods; there might, e.g., (...) be atheists in heaven, even assuming that theism is true. This implies that religion is a far less important component of people’s lives than many might think. (shrink)

We formulate a new modal ontological argument; specifically, we show that there is a possible world in which an entity that has at least the property of omnipotence exists. Then we argue that if such an entity is possible, it is necessary as well.

Some recent work in philosophy of religion addresses what can be called the “axiological question,” i.e., regardless of whether God exists, would it be good or bad if God exists? Would the existence of God make the world a better or a worse place? Call the view that the existence of God would make the world a better place “Pro-Theism.” We argue that Pro-Theism is not implausible, and moreover, many Theists, at least, (often implicitly) think that it is true. That (...) is, many Theists think that various good outcomes would arise if Theism is true. We then discuss work in cognitive science concerning human cognitive bias, before discussing two noteworthy attempts to show that at least some religious beliefs arise because of cognitive bias: Hume’s, and Draper’s and Nichols’s. We then argue that, as a result of certain cognitive biases that result when good outcomes might be at stake, Pro-Theism causes many Theists to inflate the epistemic probability that God exists, and as a result, Theists should lower the probability they assign to God’s existence. Finally, based our arguments, we develop a novel objection to Pascal’s wager. (shrink)

I formulate an argument against epiphenomenalism; the argument shows that epiphenomenalism is extremely improbable. Moreover the argument suggests that qualia not only have causal powers, but have their causal powers necessarily. I address possible objections and then conclude by considering some implications the argument has for dualism.

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

In Dialogues Concerning Natural Religion, Hume (1779/1993) appeals to his account of causation (among other things) to undermine certain arguments for the existence of God. If 'anything can cause anything', as Hume claims, then the Principle of Causal Adequacy is false; and if the Principle of Causal Adequacy is false, then any argument for God's existence that relies on that principle fails. Of course, Hume's critique has been influential. But Hume's account of causation undermines the argument from evil at least (...) as much as it undermines arguments for theism, or so I argue. I then suggest that Hume's account of causation can be used to formulate an alternative argument against classical theism. (shrink)

I argue that physicalistic naturalism entails the falsity of epiphenomenalism. I conclude by briefly discussing implications of my argument for cognitive science, non-reductive physicalism, and the possibility of formulating a naturalistic form of dualism.

Some have claimed that since machines lack emotional “qualia”, or conscious experiences of emotion, machine intelligence will fall short of human intelligence. I examine this objection, ultimately finding it unpersuasive. I first discuss recent work on emotion that suggests that emotion plays various roles in cognition. I then raise the following question: are phenomenal experiences of emotion an essential or necessary component of the performance of these cognitive abilities? I then sharpen the question by distinguishing between four possible positions one (...) might take. I reject one of these four positions largely on empirical grounds. But the remaining three positions all suggest that even if emotional qualia play an important role in human cognition, emotional qualia are not essential to the performance of these cognitive abilities in principle, so, e.g., a machine that lacks emotional qualia might still be able to perform them. (shrink)

Resumo Os Qualia, ou são “entidades espaciais” – ou seja, estão localizados no espaço como os objectos físicos –, ou não são “entidades espaciais”. Então, o dualismo deve alegar que ou os qualia não-físicos são entidades espaciais, ou que eles não o são. Contudo, qualquer resposta é problemática. Se os qualia não-físicos não são entidades espaciais, então, é difícil de conceber como podem ser atribuídos a cérebros particulares, individualizados uns dos outros, e assim por diante. Mas se os qualia não-físicos (...) são entidades espaciais, então, surgem outros problemas, por exemplo, torna-se difícil perceber como poderíamos ter então um acesso privilegiado a eles. Dada uma ou outra opção, o dualismo é problemático. Portanto, o dualismo é problemático. Palavras-chave : argumento do conhecimento, consciência, dualismo, fisicalismo, problema mente-corpo, qualiaQualia are either “spatial entities” – i.e., they are located in space like physical objects – or they are not. So, dualism must claim that either non-physical qualia are spatial entities or they are not. But either answer is problematic. If non-physical qualia are not spatial entities, then it is difficult to see how they can be attributed to particular brains, individuated from one another, and so on. But if non-physical qualia are spatial entities, then other problems arise, e.g., it is difficult to see how we could have privileged access to them. Given either option, dualism is problematic. Therefore, dualism is problematic. Keywords : consciousness, dualism, knowledge argument, mind-body problem, Physicalism, Qualia. (shrink)

We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must (...) be either inconsistent or incomplete. Moreover, since humanly known mathematics is axiomatizable, it can be the output of a Turing machine. We then argue that any given mathematical claim that we could possibly know could be the output of a Turing machine, at least in principle. So the Lucas-Penrose (Lucas in Philosophy 36:112–127, 1961; Penrose, in The Emperor’s new mind. Oxford University Press, Oxford (1994)) argument cannot be sound. (shrink)

I defend a physicalistic version of ontological emergence; qualia emerge from the brain, but are physical properties nevertheless. First, I address the following questions: what are the central tenets of physicalistic ontological emergentism; what are the relationships between these tenets; what is the relationship between physicalistic ontological emergentism and non-reductive physicalism; and can there even be a physicalistic version of ontological emergentism? This discussion is merely an attempt to clarify exactly what a physicalistic version of ontological emergentism must claim, and (...) to show that the view is at least coherent. I then defend the view from objections, for example, Kim’s (Philos Stud 95:3–36, 1999) attempt to apply a version of his exclusion argument to ontological emergentism. I conclude by offering a positive argument for the view: given certain empirical evidence concerning the organization of the brain, physicalism might have to endorse ontological emergentism to avoid epiphenomenalism. (shrink)

I formulate an argument for a weak version of modal realism; to be precise, I argue that there are multiple (i.e., at least two) worlds that contain concrete entities. I conclude by discussing some implications the argument has for theism.

We formulate a sort of "generic" cosmological argument, i.e., a cosmological argument that shares premises (e.g., "contingent, concretely existing entities have a cause") with numerous versions of the argument. We then defend each of the premises by offering pragmatic arguments for them. We show that an endorsement of each premise will lead to an increase in expected utility; so in the absence of strong evidence that the premises are false, it is rational to endorse them. Therefore, it is rational to (...) endorse the cosmological argument, and so rational to endorse theism. We then consider possible objections. (shrink)

Humans constantly produce strings of characters in symbolic languages, e.g., sentences in natural languages. We show that for any given moment in human history, the set of character strings that have been produced up to that moment, i.e., the sum total of human symbolic output up to that moment, is finite and so Turing computable. We then prove a much stronger result: a Turing machine can produce any particular set of symbolic output that we could possibly have produced. We then (...) discuss metaphysical and/or theological systems, e.g., Spinoza’s, Leibniz’s, or Aquinas’s. We argue that any particular metaphysical system could be the output of a Turing machine. We then briefly discuss (i) automated theorem proving, the attempt to generate and/or prove theorems using computers, and (ii) computational metaphysics, the attempt to apply methods from computer science such as automated theorem proving to metaphysics. We conclude by arguing that: (i) computational metaphysics can succeed, at least in theory; indeed, all human metaphysical reasoning could be automated; (ii) computational metaphysics – and indeed metaphysical systems in general – will have the same limitations as Turing machines; and (iii) a number of different methods – not currently used in computational metaphysics – could be used to advance metaphysical research. (shrink)

We first discuss Michael Dummett’s philosophy of mathematics and Robert Brandom’s philosophy of language to demonstrate that inferentialism entails the falsity of Church’s Thesis and, as a consequence, the Computational Theory of Mind. This amounts to an entirely novel critique of mechanism in the philosophy of mind, one we show to have tremendous advantages over the traditional Lucas-Penrose argument.

In a recent paper in this journal, Jason Megill (2011) offers an innovative meta-argument which deploys considerations about multiple universes in an effort to block all arguments from evil. In what follows, I contend that Megill has failed to establish a key premise in his meta-argument. I also offer a rival account of the effect of multiverse models on the debate about evil.

In this paper, I argue that what counts as the proper function of a trait is a matter of the de facto perspective that the biological system, itself, possesses on what counts as proper functioning for that trait. Unlike non-perspectival accounts, internal perspectivalism does not succumb to generality problems. But unlike external perspectivalism, internal perspectivalism can provide a fully naturalistic, mind-independent grounding of proper function and natural norms. The attribution of perspectives to biological systems is intended to be neither metaphorical (...) nor anthropomorphic: I do not mean to imply that such systems thereby must possess agency, cognition, intentions, concepts, or mental or psychological states. Instead, such systems provide the grounding for norms of performance when they internally enforce their own standard of (i.e., their own perspective on) what constitutes proper functioning or malfunctioning. By operating with a fixed, determinate level of generality, such systems provide the basis for an account of proper function that is immune to generality problems. (shrink)

Our purpose in this article is to identify and suggest resolution for two core problematics of grounded theory. First, while grounded theory provides transparency to one part of the conceptualization process, where codes emerge directly from the data, it provides no such systematic or transparent way for gaining insight into the conceptual relationships between discovered codes. Producing a grounded theory depends not only on the definition of conceptual pieces, but the delineation of a relationship between at least two of those (...) pieces. Second, the conceptualization process of grounded theory is done in hierarchical fashion, where individual codes emerge from the data but then are used to generate insight into more general concepts and thematic statements. But various works on grounded theory have failed to provide any systematic way of using data specific levels of scale (the codes) to gain insight into more macro levels of scale (concepts and themes). We offer fractal concept analysis as a means of resolving both of these issues. By using a logic structure generator, fractal concept analysis delineates self-similar conceptual frameworks at various levels of abstraction, yielding a method for linking concepts together within and between levels of scale encountered in the grounded theory coding and categorization process. We conclude that this fractal analytic technique can bolster the aims of grounded theory as a formalized and systematic process for generating theory from empirical data. (shrink)

As is well known, the renowned Hegel scholar, Franz Rosenzweig, had a dramatic break with Hegel in particular and German Idealism more broadly, as strikingly evidenced in his magnum opus, The Star of Redemption. In the third or 1815 draft of Die Weltalter, Schelling writes that while “all thinking must begin the dialectic, it cannot end in the dialectic.” Schelling continued his turn toward what he called “positive philosophy,” which emerges “toto caelo” differently than from the “universality” and “indeterminacy” of (...) negative thought. What is this new mode of thought, born—both for Schelling and for his unexpected admirer Rosenzweig—from the limitations of negative thought? How does one characterize this rupture within Idealism itself? (shrink)

This is an appreciative examination of Matthias Fritsch’s significant new book, Taking Turns with the Earth: Phenomenology, Deconstruction, and Intergenerational Justice (Stanford, 2018). After analyzing the temporal axis of Fritsch’s intervention into the question of intergenerational justice in the context of the ecological crisis, I extend it to a complementary spatial analysis by following some of the book’s important cues. I develop this in terms of some recent North American Indigenous philosophy, including Winona LaDuke, Glen Sean Coulthard, and Leanne Simpson.

The history of ideas is an interdisciplinary field that began as an offshoot of the history of philosophy and was transformed by notions of perspective and cultural context drawn from the tradition of historical studies. The result is the practice of intellectual history, which has been carried out between the poles of inquiry commonly known as internalist and externalist, corresponding to mental phenomena and collective behavior in cultural surroundings. These are not opposed but rather complementary methods, and intellectual history may (...) be seen as the inside of cultural history and cultural history as the outside of intellectual history, the intellectual historian's task being to bring the two into alliance. (shrink)

This paper is a companion piece to my earlier paper “Fallibilism and Concessive Knowledge Attributions”. There are two intuitive charges against fallibilism. One is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. The second is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, even though (...) I’m not certain that he is”, or “I know that Bush it a Republican, even though it isn’t certain that he is.” In “Fallibilism and Concessive Knowledge Attributions”, I argue that fallibilism in epistemology does not countenance the truth of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. In this paper, I argue that there are independent reasons for thinking that utterances of sentences such as “I know that Bush is a Republican, though I’m not certain that he is” and “I know that Bush is a Republican, though it’s not certain that he is” are unassertible. More specifically, I argue that these are simply instances of Moore’s Paradox, such as “Dogs bark, but I don’t know that they do.” The right account of Moore’s Paradox does not involve the falsehood of the semantic content of the relevant utterances, but rather their pragmatic unacceptability. So the anti-fallibilist intuitions turn out to have pragmatic, rather than semantic import, and therefore do not tell against the truth of fallibilism. Fallibilism in epistemology is often thought to be theoretically desirable, but intuitively problematic. My purpose with these two papers is to show that fallibilism is not intuitively problematic. (shrink)

We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The example of (...) Zermelo-Fraenkel set theory is shown to be finitely axiomatized under the formalization. The relationship with resolution-based theorem provers is briefly discussed. A closely related axiomatization of traditional predicate calculus is shown to be complete in a strong metamathematical sense. (shrink)

If the physical constants, initial conditions, or laws of nature in our universe had been even slightly different, then the evolution of life would have been impossible. This observation has led many philosophers and scientists to ask the natural next question: why is our universe so "fine-tuned" for life? The debates around this question are wide-ranging, multi-disciplinary, complicated, technical, and heated. This study is a comprehensive investigation of these debates and the many metaphysical and epistemological questions raised by cosmological fine-tuning. (...) Waller's study reaches two significant and controversial conclusions. First, he concludes that the criticisms directed at the "multiverse hypothesis" by theists and at the "theistic hypothesis" by naturalists are largely unsuccessful. Neither of these options can plausibly be excluded. Choosing between them seems to turn on primitive metaphysical intuitions. Second, in order to break the philosophical deadlock, Waller moves the debate from the level of universes to the level of possible worlds. Arguing that possible worlds are also "fine-tuned" in an important and interesting sense, Waller concludes that the only plausible explanation for the fine-tuning of the actual world is to posit the existence of some kind of "God-like-thing.". (shrink)

When a patient lacks decision-making capacity, then according to standard clinical ethics practice in the United States, the health care team should seek guidance from a surrogate decision-maker, either previously selected by the patient or appointed by the courts. If there are no surrogates willing or able to exercise substituted judgment, then the team is to choose interventions that promote a patient’s best interests. We argue that, even when there is input from a surrogate, patient preferences should be an additional (...) source of guidance for decisions about patients who lack decision-making capacity. (shrink)

BB′IW logic (or T→ is known to be D-complete. This paper shows that there are infinitely many weaker D-complete logics and it also examines how certain D-incomplete logics can be made complete by altering their axioms using simple substitutions.

Unspecific evidence calls for imprecise credence. My aim is to vindicate this thought. First, I will pin down what it is that makes one's imprecise credences more or less epistemically valuable. Then I will use this account of epistemic value to delineate a class of reasonable epistemic scoring rules for imprecise credences. Finally, I will show that if we plump for one of these scoring rules as our measure of epistemic value or utility, then a popular family of decision rules (...) recommends imprecise credences. In particular, a range of Hurwicz criteria, which generalise the Maximin decision rule, recommend imprecise credences. If correct, the moral is this: an agent who adopts precise credences, rather than imprecise ones, in the face of unspecific and incomplete evidence, goes wrong by gambling with the epistemic utility of her doxastic state in too risky a fashion. Precise credences represent an overly risky epistemic bet, according to the Hurwicz criteria. (shrink)

This essay assesses the rationale for regulating research administrators as carefully as they regulate researchers. The reasons for such regulation are identical: protecting scientific integrity, ensuring responsible use of public funds, addressing the lack of effective recourse for victims, creating negative consequences for misbehaving actors, and addressing high incentives for misconduct. Whereas the reasons compelling us to regulate research administrators are obvious, counterarguments to administrative oversight are based on suggestions that the incidence and prevalence of cases of administrative misconduct are (...) too low to warrant formal regulation. I briefly describe examples of the phenomenon drawn from publicly available records. My analysis suggests that the misconduct of research administrators is both serious and worthy of better oversight. Improved oversight of research administration will help steward tax dollars appropriately and enhance the overall integrity of the scientific record and of the free pursuit of knowledge more generally. (shrink)

This article examines two questions about scientists’ search for knowledge. First, which search strategies generate discoveries effectively? Second, is it advantageous to diversify search strategies? We argue pace Weisberg and Muldoon, “Epistemic Landscapes and the Division of Cognitive Labor”, that, on the first question, a search strategy that deliberately seeks novel research approaches need not be optimal. On the second question, we argue they have not shown epistemic reasons exist for the division of cognitive labor, identifying the errors that led (...) to their conclusions. Furthermore, we generalize the epistemic landscape model, showing that one should be skeptical about the benefits of social learning in epistemically complex environments. (shrink)

Sarah Moss argues that degrees of belief, or credences, can amount to knowledge in much the way that full beliefs can. This essay explores a new kind of objective Bayesianism designed to take us some way toward securing such knowledge-constituting credences, or "probabilistic knowledge." Whatever else it takes for an agent's credences to amount to knowledge, their success, or accuracy, must be the product of _cognitive ability_ or _skill_. The brand of Bayesianism developed here helps ensure this ability condition is (...) satisfied. Cognitive ability, in turn, helps make credences valuable in other ways: it helps mitigate their dependence on epistemic luck, for example. What we end up with, at the end of the day, are credences that are particularly good candidates for constituting probabilistic knowledge. What's more, examining the character of these credences teaches us something important about what the pursuit of probabilistic knowledge demands from us. It does _not_ demand that we give hypotheses equal _treatment_, by affording them equal credence. Rather, it demands that we give them equal _consideration_, by affording them an equal chance of being discovered. (shrink)

Retroduction -- Contextualized self-interpretations -- Causal mechanisms -- Ontology -- Logics -- Articulation.

According to accuracy-first epistemology, accuracy is the fundamental epistemic good. Epistemic norms — Probabilism, Conditionalization, the Principal Principle, etc. — have their binding force in virtue of helping to secure this good. To make this idea precise, accuracy-firsters invoke Epistemic Decision Theory (EpDT) to determine which epistemic policies are the best means toward the end of accuracy. Hilary Greaves and others have recently challenged the tenability of this programme. Their arguments purport to show that EpDT encourages obviously epistemically irrational behavior. (...) We develop firmer conceptual foundations for EpDT. First, we detail a theory of praxic and epistemic good. Then we show that, in light of their very different good-making features, EpDT will evaluate epistemic states and epistemic acts according to different criteria. So, in general, rational preference over states and acts won’t agree. Finally, we argue that based on direction-of-fit considerations, it’s preferences over the former that matter for normative epistemology, and that EpDT, properly spelt out, arrives at the correct verdicts in a range of putative problem cases. (shrink)

Strohminger (2014) criticizes McGinn for his lack of attention to recent scientific findings, and for ignoring common sense. This commentary deepens both of these criticisms via an exploration of McGinn’s account of the evolution of disgust.

Conciliationism is a view—well, a family of views—in the epistemology of disagreement. The idea, simply put, is that, in a wide range of cases where you find yourself in disagreement with another reasoner about the truth of some proposition, you are rationally obliged to adjust your credence in the direction of hers. Conciliationism enjoys a fair bit of prima facie plausibility. Most versions of it, however, suffer from a common (and rather obvious) problem: self-incrimination. Although there is some recognition in (...) the recent literature on disagreement that there is a problem in this vicinity, it, more often than not, is completely ignored. When it is not completely ignored, both the conciliationists and their critics tend to frame the problem incorrectly. As a result, they end up focusing most of their attention on pseudo-problems rather than the genuine worry. Furthermore, even when they have hit on the genuine worry, conciliationists have tended to give surprising and implausible responses to it. Even by their own lights, conciliationists aren’t justified in believing their conciliationist theses. In this paper, I argue that it’s time to come clean. Time to look for a view on the epistemic significance of disagreement that we can actually be justified in believing. (shrink)