There is a significant difference between the words `is' and `exists' that has either been overlooked or under-appreciated by many philosophers. This difference comes in sentences that express existential quantification using `is', `exists', or their cognates, such as, "There are cookies in the jar," or, "There exists a strange species of fish that nobody has studied yet." Phrases such as `there are' and `there exists' are existential quantifier expressions, since they're used to express existential quantification. The orthodox view of these (...) expressions is that they are, in the words of David K. Lewis, "entirely synonymous and interchangeable". This dissertation presents and argues for an anti-orthodox view of meaning of `there is' and `there exists'. The root of the difference in meaning between the two expressions is that `there is' turns out to be context-sensitive, on the model of demonstratives like `this' or `that', while `there exists' is invariant in its meaning. These views are motivated through the introduction of a notion called `ontological robustness', which helps us evaluate the level of ontological commitment in our assertions. The anti-orthodox view is defended over orthodoxy through holistic arguments that compare the virtues of each theory, including such metrics as how they fare in accounting for our stubborn desire to talk about and quantify over nonexistent objects. (shrink)

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce (...) the first known algebraic semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Abstract (for the combined three Parts) This paper presents the simplest known theory of processes involved in a person’s unconscious and conscious achievements such as intending, perceiving, reacting and thinking. The basic principle is that an individual has mental states which possess quantitative causal powers and are susceptible to influences from other mental states. Mental performance discriminates the present level of a situational feature from its level in an individually acquired, multiple featured norm (exemplar, template, standard). The effect on output (...) of a moderate disparity between input and norm is scaled in a universal unit of discrimination (Weber’s fraction), with the norm’s level being zero. When one process converts separate sources of input into an output, their discriminative distances from norm are summated. Distinct processes converging on an output combine their discriminations from norm orthogonally. An output may be influenced by the constructs of other outputs as well as by inputs. Descriptive performance is the influence of one category of input on a verbal output. Reasoning is minimally the effect of one verbal process on another. In deeper mental processing, the influence on a response comes from a response construct modulating a description: this process gives the meaning to an emotion or a motive. Descriptive modulation of stimulation corresponds to a bodily sensation or other conceptualized percept. When an output is explained solely by sources of input, that response to the stimulation may be mediated unconsciously. Development of a person within physical and communal environments embodies such mental causation within material causation and acculturates that mind to social causation. (shrink)

To maintain my neutral monist or multi-aspect view of human reality (or indeed to defend the Cartesian dualism assumed by Puccetti & Dykes, it is wrong to relate the mind to the brain alone. A person's mind should be related to the physical environment, including the body, in addition to the brain. Furthermore, we are unlikely to understand the detailed functioning of an individual brain without knowing the history of its interactions with the external and internal environments during that person's (...) life, or indeed any inherited neurogenomics (circuitry innately adapted to ecology. (shrink)

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. (...) He provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

This article explores Marx’s contention that the achievement of full personhood and, not just consequently, but simultaneously, of genuine intersubjectivity depends upon the attainment of recognition for one’s place in the social division of labour, recognition which is systematically denied to some individuals and groups of individuals through the capitalist organization of production and exchange. This reading is then employed in a critique of Axel Honneth’s theory of recognition which, it is argued, cannot account for the systematic obstacles faced by (...) some struggles for recognition. (shrink)

Suboptimality of decision making needs no explanation. High level accounts of suboptimality in diverse tasks cannot add up to a mechanistic theory of perceptual decision making. Mental processes operate on the contents of information brought by the experimenter and the participant to the task, not on the amount of information in the stimuli without regard to physical and social context.

In the literature on multiple realizability and the identity theory, cases of neural plasticity have enjoyed a very limited role. The present article attempts to remedy this small influence by arguing that clinical and experimental evidence of quite extensive neural reorganization offers compelling support for the claim that psychological kinds are multiply realized in neurological kinds, thus undermining the identity theory. In particular, cases are presented where subjects with no measurable psychological deficits also have vast, though gradually received, neurological damage. (...) Common objections and concerns are also discussed and rejected. 1 Introduction2 The GRP, Serial Lesion Effect, and Multiple Realizability2.1 A case study of the serial lesion effect2.2 Evaluating the case study’s evidence for multiple realizability3 The GRP More Generally4 Objections to the GRP as Evidence for Multiple Realizability4.1 Small plastic effects and neurological taxonomies4.2 But do neural regions and locations even matter at all?4.3 But are there not other options besides location?5 Conclusion. (shrink)

How Heidegger criticizes and "locates" science, and some problems with what he is trying to do.

A comparison of the ways in which Hegel and Heidegger critique modernity.

We articulate a holistic understanding of hope, going beyond the common conceptualization of hope in terms of positive affect and cognition by considering what hope means for the underprivileged. In the recognition that hope is always situated in a particular place, we explore the perspective of the privileged and the underprivileged, clarifying how spatial contexts shape their goals for the future and their agency toward attaining these goals. Where some people experience precarity due to their disability, race, gender, sexuality, and (...) social class, others enjoy enhanced agency due to their privilege. In our analysis, this loss of agency does not mean the underprivileged are hopeless; instead, it suggests that hope can incorporate negative affect and cognition. In our view, a spatial understanding acknowledges the power of hope in discouraging situations, and it points to practical measures through which hope can be cultivated by marginalized communities. (shrink)

Although most agree that St. Anselm’s ontological argument is problematic, there is no consensus as to what, exactly, is the flaw in the argument. In this essay, I propose what I take to be a novel criticism of the argument. Specifically, I claim that Anselm is guilty of an equivocation in his use of the word “God,” using it sometimes to refer to a being and sometimes to refer to a concept. Any attempt to remove this equivocation, I show, is (...) doomed to failure; it is impossible to render the argument (or some version thereof) sound. (shrink)

It is tough to relate visual perception or other achievements to physiological processing in the central nervous system. The diagrammatic, algebraic, and verbal pictures of how sights seem to Lehar do not advance understanding of how we manage to see what is in the world. There are well-known conceptual reasons why no such purely introspective approach can be productive.

Two studies demonstrate that a dispositional proneness to disgust (“disgust sensitivity”) is associated with intuitive disapproval of gay people. Study 1 was based on previous research showing that people are more likely to describe a behavior as intentional when they see it as morally wrong (see Knobe, 2006, for a review). As predicted, the more disgust sensitive participants were, the more likely they were to describe an agent whose behavior had the side effect of causing gay men to kiss in (...) public as having intentionally encouraged gay men to kiss publicly— even though most participants did not explicitly think it wrong to encourage gay men to kiss in public. No such effect occurred when subjects were asked about heterosexual kissing. Study 2 used the Implicit Association Test (IAT; Nosek, Banaji, & Greenwald, 2006) as a dependent measure. The more disgust sensitive participants were, the more they showed.. (shrink)

This article addresses the question of the coherence of enactivism as a research perspective by making a case study of enactivism in mathematics education research. Main theoretical directions in mathematics education are reviewed and the history of adoption of concepts from enactivism is described. It is concluded that enactivism offers a ‘grand theory’ that can be brought to bear on most of the phenomena of interest in mathematics education research, and so it provides a sufficient theoretical framework. It has particular (...) strength in describing interactions between cognitive systems, including human beings, human conversations and larger human social systems. Some apparent incoherencies of enactivism in mathematics education and in other fields come from the adoption of parts of enactivism that are then grafted onto incompatible theories. However, another significant source of incoherence is the inadequacy of Maturana’s definition of a social system and the lack of a generally agreed upon alternative. (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Driven by a sharp increase in claims for reparations, reparative justice has become a topic of academic debate. To some extent this debate has been marred by a failure to realize the complexity of reparative justice. In this essay we try to amend this shortcoming. We do this by developing a taxonomy of different kinds of wrongs that can underwrite claims to reparations. We identify four kinds of wrongs: entitlement violations, unjust exclusions from an otherwise acceptable system of entitlements, and (...) two kinds where a social practice systematically fails to embody an acceptable system of entitlements. In deliberation about what is required to repair a historical injustice the weight of backward- and forward-looking considerations is a function of the distinctive features of the injustice in question. Hence, the first step in adjudicating claims for reparation is to identify what kind of wrong the claim arises from. From the taxonomy of wrongs we are thus able to construct what we call the Field of Reparative Justice, which illustrates how the structure of deliberation for reparative justice tracks the distinctive features of different kinds of wrongs. (shrink)

In temporal binding, the temporal interval between one event and another, occurring some time later, is subjectively compressed. We discuss two ways in which temporal binding has been conceptualized. In studies showing temporal binding between a voluntary action and its causal consequences, such binding is typically interpreted as providing a measure of an implicit or pre-reflective “sense of agency”. However, temporal binding has also been observed in contexts not involving voluntary action, but only the passive observation of a cause-effect sequence. (...) In those contexts, it has been interpreted as a top-down effect on perception reflecting a belief in causality. These two views need not be in conflict with one another, if one thinks of them as concerning two separate mechanisms through which temporal binding can occur. In this paper, we explore an alternative possibility: that there is a unitary way of explaining temporal binding both within and outside the context of voluntary action as a top-down effect on perception reflecting a belief in causality. Any such explanation needs to account for ways in which agency, and factors connected with agency, have been shown to affect the strength of temporal binding. We show that principles of causal inference and causal selection already familiar from the literature on causal learning have the potential to explain why the strength of people’s causal beliefs can be affected by the extent to which they are themselves actively involved in bringing about events, thus in turn affecting binding. (shrink)

When do probability distribution functions (PDFs) about future climate misrepresent uncertainty? How can we recognise when such misrepresentation occurs and thus avoid it in reasoning about or communicating our uncertainty? And when we should not use a PDF, what should we do instead? In this paper we address these three questions. We start by providing a classification of types of uncertainty and using this classification to illustrate when PDFs misrepresent our uncertainty in a way that may adversely affect decisions. We (...) then discuss when it is reasonable and appropriate to use a PDF to reason about or communicate uncertainty about climate. We consider two perspectives on this issue. On one, which we argue is preferable, available theory and evidence in climate science basically excludes using PDFs to represent our uncertainty. On the other, PDFs can legitimately be provided when resting on appropriate expert judgement and recognition of associated risks. Once we have specified the border between appropriate and inappropriate uses of PDFs, we explore alternatives to their use. We briefly describe two formal alternatives, namely imprecise probabilities and possibilistic distribution functions, as well as informal possibilistic alternatives. We suggest that the possibilistic alternatives are preferable. -/- . (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

The old evidence problem affects any probabilistic confirmation measure based on comparing pr(H/E) and pr(H). The article argues for the following points: (1) measures based on likelihood ratios also suffer old evidence difficulties; (2) the less-discussed synchronic old evidence problem is, in an important sense, the most acute; (3) prominent attempts to solve or dissolve the synchronic problem fail; (4) a little-discussed variant of the standard measure avoids the problem, in an appealing way; and (5) this measure nevertheless reveals a (...) different problem for probabilistic confirmation measures, a problem that is unlikely to lend itself to formal solution. (shrink)

1. Hume e a Magna Carta: em torno do círculo da justiça, Maria Isabel Limongi; 2. Hume e o problema da justificação da resistência ao governo, Stephanie Hamdan Zahreddine; 3 O surgimento dos costumes da sociedade comercial e as paixões do trabalho, Pedro Vianna da Costa e Faria; 4. O sentido da crença: suas funções epistêmicas e implicações para a teoria política de Hume, Lilian Piraine Laranja; 5. O Status do Fideísmo na Crítica de Hume à Religião Natural, Marília Côrtes (...) de Ferraz; 6. Da imaterialidade da alma: a desconstrução mais incisiva de Hume de um pressuposto metafísico, Marcos César Seneda; 7. A “irresistibilidade” e a “inevitabilidade” das crenças naturais e o caráter normativo da epistemologia de Hume, Claudiney José de Sousa; 8. Filosofia e vida comum na epistemologia de Hume, Marcos Fonseca Ribeiro Balieiro; 9. Hume e o relativismo moral, Flávio Zimmermann; 10. Hume e a vivacidade das crenças morais, André Luiz Olivier da Silva; 11. Virtudes sociais e refinamento na filosofia moral de David Hume, Andreh Sabino Ribeiro; 12. O movimento razão-crença na interpretação da teoria da motivação de Hume, Franco Nero Antunes Soares; 13. Sentimentos e Normatividade em David Hume segundo Annette Baier, Giovani Lunardi; 14. Simpatia e aprovação moral da justiça na filosofia de David Hume, Denize Carolina da Cunha & Nivaldo Machado; 15. Do eu como feixe de percepções ao eu das paixões: Hume e a identidade pessoal no Tratado, Susie Kovalczyk dos Santos; 16. Imaginação em Hobbes e Hume: cadeias mentais reguladas e princípios de associação, Andrea Cachel; 17. Hume e o princípio fundamental da filosofia moderna, Rafael Bittencourt Santos; 18. A conexão necessária entre Hume e Malebranche, Bruna Frascolla; 19. Realismo ontológico e antirrealismo epistemológico na problemática sobre o mundo externo em Hume, Leandro Hollanda; 20. Uma possível inversão kantiana da tese humeana da inércia da razão, Carlos Eduardo Moreno Pires; Nota sobre João Paulo Monteiro, Rolf Nelson Kuntz. (shrink)

According to the Principle of Sufficient Reason, every fact has an explanation. An important challenge to this principle is that it risks being a counterexample to itself. What explains why everything needs to be explained? My first goal is to distinguish two broad kinds of answers to this question, which I call “Humean Rationalism” and “Non-Humean Rationalism”. My second goal will be to defend the prospects of Humean Rationalism.

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

This essay explores a conception of responsibility at work in moral and criminal responsibility. Our conception draws on work in the compatibilist tradition that focuses on the choices of agents who are reasons-responsive and work in criminal jurisprudence that understands responsibility in terms of the choices of agents who have capacities for practical reason and whose situation affords them the fair opportunity to avoid wrongdoing. Our conception brings together the dimensions of normative competence and situational control, and we factor normative (...) competence into cognitive and volitional capacities, which we treat as equally important to normative competence and responsibility. Normative competence and situational control can and should be understood as expressing a common concern that blame and punishment presuppose that the agent had a fair opportunity to avoid wrongdoing. This fair opportunity is the umbrella concept in our understanding of responsibility, one that explains it distinctive architecture. (shrink)

This paper considers questions about continuity and discontinuity between life and mind. It begins by examining such questions from the perspective of the free energy principle (FEP). The FEP is becoming increasingly influential in neuroscience and cognitive science. It says that organisms act to maintain themselves in their expected biological and cognitive states, and that they can do so only by minimizing their free energy given that the long-term average of free energy is entropy. The paper then argues that there (...) is no singular interpretation of the FEP for thinking about the relation between life and mind. Some FEP formulations express what we call an independence view of life and mind. One independence view is a cognitivist view of the FEP. It turns on information processing with semantic content, thus restricting the range of systems capable of exhibiting mentality. Other independence views exemplify what we call an overly generous non-cognitivist view of the FEP, and these appear to go in the opposite direction. That is, they imply that mentality is nearly everywhere. The paper proceeds to argue that non-cognitivist FEP, and its implications for thinking about the relation between life and mind, can be usefully constrained by key ideas in recent enactive approaches to cognitive science. We conclude that the most compelling account of the relationship between life and mind treats them as strongly continuous, and that this continuity is based on particular concepts of life (autopoiesis and adaptivity) and mind (basic and non-semantic). (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any adequate (...) holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

Both Representation Theorem Arguments and Dutch Book Arguments support taking probabilistic coherence as an epistemic norm. Both depend on connecting beliefs to preferences, which are not clearly within the epistemic domain. Moreover, these connections are standardly grounded in questionable definitional/metaphysical claims. The paper argues that these definitional/metaphysical claims are insupportable. It offers a way of reconceiving Representation Theorem arguments which avoids the untenable premises. It then develops a parallel approach to Dutch Book Arguments, and compares the results. In each case (...) preferencedefects serve as a diagnostic tool, indicating purely epistemic defects. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Glymour's "bootstrap" account of confirmation is designed to provide an analysis of evidential relevance, which has been a serious problem for hypothetico-deductivism. As set out in Theory and Evidence, however, the "bootstrap" condition allows confirmation in clear cases of evidential irrelevance. The difficulties with Glymour's account seem to be due to a basic feature which it shares with hypothetico-deductive accounts, and which may explain why neither can give a satisfactory analysis of evidential relevance.

This paper explores the human experience of game-playing and its implications for artificial intelligence. The author uses phenomenology to examine game-playing from a human-centered perspective and applies it to language games played by artificial intelligences and humans. The paper argues that AI cannot truly play games because it lacks the intentionality, embodied experience, and social interaction that are fundamental to human game-playing. Furthermore, current AI lacks the ability to converse, which is argued to be equivalent to Wittgenstein’s view of engaging (...) in “language games.” The author presents a formal ontology of game playing, agents, and their intentional states, and contrasts human agents playing games with artificial agents “playing games.” The paper concludes that while artificial intelligence can simulate some aspects of human language games, it lacks the essential capacities for game playing, such as cognition, creativity, will, intentionality, understanding, and personhood. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

The article discusses retributive justice and punitive restraint in response to the worst types of crime. I take the Breivik Case as a starting point. Anders Behring Breivik was sentenced to 21 years of preventive detention for killing 69 people, mainly youths, at Utøya and 8 people in Oslo on July 22nd, 2011. Retributivist theories as well as commonly held retributive intuitions suggest that much harsher punishment is required for such crimes. According to some retributivist theories, most notably on the (...) influential theories of Kant and Hegel, the death penalty is warranted for murderers like Breivik. This suggests that the rationale for punitive restraint in a case like the Breivik Case can only be found in forward- looking, consequentialist theories of punishment, or by adding to retributivist theories a side-constraint in the form of a principle of parsimony. However, I argue that if we look closer at the function of punishment in the retributivist theories of Kant and Hegel, they too imply a rationale for punitive restraint, even for such horrific crimes as here discussed. Against Kant and Hegel’s own views on the death penalty, I argue that their broader “freedom theories” of retributive justice do not imply the justice of the death penalty or life imprisonment. In the last part of the article, I explore differences in the concepts of freedom entailed by Kant and Hegel’s theories, and I relate these to some of the background factors relevant to the Breivik Case. (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, (...) Bayesian perceptual psychology, and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)

This paper defends the legitimacy of semantical responses to certain skeptical challenges, with a particular focus on Putnam’s treatment of a particular version of Brain-in-Vat skepticism. It argues that while Putnam’s argument does not provide a general reply to Brain-in-Vat skepticism, the general approach it exemplifies is actually crucial in replying to other skeptical challenges that are otherwise hard to rebut.