A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...) and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that (...) is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

I argue that recent rationalists' accounts of a priori knowledge suffer from two substantial weaknesses: an inadequate phenomenology of a priori insight , and the error of psychologism. I show that Husserl's theory of a priori knowledge presents a defensible and viable alternative for the contemporary rationalist, an alternative that addresses both the ontology and phenomenology of rational intuition, as well as such contemporary concerns as the possibility and character of a priori error, the empirical defeasibility of a priori claims, (...) the relation of mind to necessity, and the role of conception and imagination in a priori knowledge. Consequently, I conclude that Husserl's theory provides the needed response to the 20 th century critique of rationalism, and its attendant a priorism, as mysterious and obscure. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces framework work, (...) the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (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)

We often get evidence concerning the reliability of our own thinking about some particular matter. This “higher-order evidence” can come from the disagreement of others, or from information about our being subject to the effects of drugs, fatigue, emotional ties, implicit biases, etc. This paper examines some pros and cons of two fairly general models for accommodating higher-order evidence. The one that currently seems most promising also turns out to have the consequence that epistemic akrasia should occur more frequently than (...) is sometimes supposed. But it also helps us see why this might not be a bad thing. (shrink)

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)

The objective of this essay is to provide the beginning of a principled classification of some of the ways space is intelligently used. Studies of planning have typically focused on the temporal ordering of action, leaving as unaddressed questions of where to lay down instruments, ingredients, work-in-progress, and the like. But, in having a body, we are spatially located creatures: we must always be facing some direction, have only certain objects in view, be within reach of certain others. How we (...) manage the spatial arrangement of items around us is not an afterthought: it is an integral part of the way we think, plan, and behave. The proposed classification has three main categories: spatial arrangements that simplify choice; spatial arrangements that simplify perception; and spatial dynamics that simplify internal computation. The data for such a classification is drawn from videos of cooking, assembly and packing, everyday observations in supermarkets, workshops and playrooms, and experimental studies of subjects playing Tetris, the computer game. This study, therefore, focuses on interactive processes in the medium and short term: on how agents set up their workplace for particular tasks, and how they continuously manage that workplace. (shrink)

This paper explores an initially attractive principle connecting beliefs in general with beliefs about what beliefs are rational. The principle turns out to be violated by intuitively rational beliefs in some situations. The paper lays out some options for reacting to this fact.

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Some moral theorists argue that innocent beneficiaries of wrongdoing may have special remedial duties to address the hardships suffered by the victims of the wrongdoing. These arguments generally aim to simply motivate the idea that being a beneficiary can provide an independent ground for charging agents with remedial duties to the victims of wrongdoing. Consequently, they have neglected contexts in which it is implausible to charge beneficiaries with remedial duties to the victims of wrongdoing, thereby failing to explore the limits (...) of the benefiting relation in detail. Our aim in this article is to identify a criterion to distinguish contexts in which innocent beneficiaries plausibly bear remedial duties to the victims of wrongdoing from those in which they do not. We argue that innocent beneficiaries incur special duties to the victims of wrongdoing if and only if receiving and retaining the benefits sustains wrongful harm. We develop this criterion by identifying and explicating two general modes of sustaining wrongful harm. We also show that our criterion offers a general explanation for why some innocent beneficiaries incur a special duty to the victims of wrongdoing while others do not. By sustaining wrongful harm, beneficiaries-with-duties contribute to wrongful harm, and we ordinarily have relatively stringent moral requirements against contributing to wrongful harm. On our account, innocently benefiting from wrongdoing _per se_ does not generate duties to the victims of wrongdoing. Rather, beneficiaries acquire such duties because their receipt and retention of the benefits of wrongdoing contribute to the persistence of the wrongful harm suffered by the victim. We conclude by showing that our proposed criterion also illuminates why there can be reasonable disagreement about whether beneficiaries have a duty to victims in some social contexts. (shrink)

The fifth century BC is one of the most brilliant of Greek history. Pericles, as the leader of a splendid Athens, promoted the entry into his polis of the new scientific movement that until then had developed primarily in Ionia and in the Italian peninsula. However, their research raised suspicions among the Athenians, who regarded it as a risk for traditional religion. In spite of the somewhat flexible and plural character of the Greek religion, in this period three famous trials (...) took place in which different philosophers were tried for impiety: Anaxagoras, Protagoras and Socrates. The controversy between religion and philosophy can lead us to an oversimplification of the facts. Thus, several modern scholars have understood philosophy as an exorcism of myth and therefore as something necessarily guiding to a progressive elimination of the divine from the worldview. We intend to interpret this conflict only as a change in understanding of the divinity, rather than a suppression of it. This has, of course, effects on religion, but it does not drag inevitably to irreligion. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

The authors argue against direction of fit accounts of the distinction between belief and desire.

Do motivational limitations due to human nature constrain the demands of justice? Among those who say no, David Estlund offers perhaps the most compelling argument. Taking Estlund’s analysis of “ability” as a starting point, I show that motivational deficiencies can constrain the demands of justice under at least one common circumstance — that the motivationally-deficient agent makes a good faith effort to overcome her deficiency. In fact, my argument implies something stronger; namely, that the demands of justice are constrained (...) by what people are sufficiently likely to be motivated to do. Thus, contrary to the prevailing wisdom, it is the business of ideal theory — not just nonideal theory — to work with the motivational capacities people are likely enough to have. (See also Estlund's reply in the same issue of EJPT and my rejoinder on Philpapers.). (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

The aim of this article is to discuss the relation between indigenous and scientific kinds on the basis of contemporary ethnobiological research. I argue that ethnobiological accounts of taxonomic convergence-divergence patters challenge common philosophical models of the relation between folk concepts and natural kinds. Furthermore, I outline a positive model of taxonomic convergence-divergence patterns that is based on Slater's [2014] notion of “stable property clusters” and Franklin-Hall's [2014] discussion of natural kinds as “categorical bottlenecks.” Finally, I argue that this model (...) is not only helpful for understanding the relation between indigenous and scientific kinds but also makes substantial contributions to contemporary debates about natural kinds.to contemporary debates about natural kinds. (shrink)

This paper articulates and defends a novel hybrid account of well-being. We will call our view a Robust Hybrid. We call it robust because it grants a broad and not subservient role to both objective and subjective values. In this paper we assume, we think plausibly but without argument, that there is a significant objective component to well-being. Here we clarify what it takes for an account of well-being to have a subjective component. Roughly, we argue, it must allow that (...) favoring attitudes that are not warranted by the lights of objective values can ground benefits. Given this understanding, we show that there is an important and unrecognized expansion in the resources available to fully objectivist views: namely that such views can help themselves to the value of warranted love of objective goods. Such a move by the objectivist can help them respond to concerns that, on their view, a person’s well-being can be too alien to them. We next argue that, nonetheless, such objectivist views are still unconvincing due to their lack of a subjective component. This motivates a move from fully objective accounts to hybrid accounts. We show that many prominent hybrid theories in the literature are inadequate because they implausibly minimize the subjective component. This motivates a move to a robust hybrid view that has an expanded subjectivist component. We conclude with some remarks about the interrelation between the subjective and objective components in the hybrid account that we favor and a role for resonance in a theory of well-being other than serving as a hard constraint on any benefit. (shrink)

Plausibly, no agent ever performs an action without some desire to perform that action. If so, a regress argument shows that, given incompatibilism, we are only rarely free. The argument sidesteps recent objections to this thesis.

Pain, crucially, is unpleasant and motivational. It can be awful; and it drives us to action, e.g. to take our weight off a sprained ankle. But what is the relationship between pain and those two features? And in virtue of what does pain have them? Addressing these questions, Colin Klein and Richard J. Hall have recently developed the idea that pains are, at least partly, experiential commands—to stop placing your weight on your ankle, for example. In this paper, I reject (...) their accounts. Against Klein, I use dissociation cases to argue that possession of ‘imperative content’ cannot wholly constitute pain. Against them both, I further claim that possession of such content cannot even constitute pain’s unpleasant, motivational aspect. For, even if it were possible to specify the relevant imperative content—which is far from clear—the idea of a command cannot bear the explanatory weight Klein and Hall place on it. (shrink)

This paper discusses ethical issues surrounding Integrated Assessment Models (IAMs) of the economic effects of climate change, and how climate economists acting as policy advisors ought to represent the uncertain possibility of catastrophe. Some climate economists, especially Martin Weitzman, have argued for a precautionary approach where avoiding catastrophe should structure climate economists’ welfare analysis. This paper details ethical arguments that justify this approach, showing how Weitzman’s “fat tail” probabilities of climate catastrophe pose ethical problems for widely used IAMs. The main (...) claim is that economists who ignore or downplay catastrophic risks in their representations of uncertainty likely fall afoul of ethical constraints on scientists acting as policy advisors. Such scientists have duties to honestly articulate uncertainties and manage (some) inductive risks, or the risks of being wrong in different ways. (shrink)

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (shrink)

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

This article seeks to get clear on an important feature of a theistic way of life: namely, the appeal to ‘deep desires’ as part of an ethical and spiritual life-orientation. My main thesis is that such appeals should primarily be seen as pertaining to our acquired second nature and the space of meaning it makes possible, rather than first nature or innateness. To appeal to the ‘depth’ of a desire, on this account, is to say something about its normative importance: (...) it is something of profound significance for our human fulfilment about which we ought to be concerned, and it correlates with the normative ‘height’ of the object of desire. Thus, our deepest desire correlates with what is seen as the highest or most worthy object of our desire (or love), which the theist claims is God. This view is contrasted with subjectivist accounts where desires are seen as ‘deep’ in that they structure our identity. My account affirms that deep desires structure our identity, but they do so because of their perceived objective normative importance. I also seek to show how we should affirm Alasdair MacIntyre's claim that ‘the deepest desire of every [human] being, whether they acknowledge it or not, is to be at one with God’. (shrink)

Gilbert Harman’s famous principle of Clutter Avoidance commands that “one should not clutter one’s mind with trivialities". Many epistemologists have been inclined to accept Harman’s principle, or something like it. This is significant because the principle appears to have robust implications for our overall picture of epistemic normativity. Jane Friedman (2018) has recently argued that one potential implication is that there are no genuine purely evidential norms on belief revision. In this paper, we present some new objections to a suitably (...) formulated version of the clutter principle qua norm on belief revision. Moreover, we argue that the clutter principle is best understood as a norm on non-doxastic stages of inquiry. In our view, it is a norm of asking and considering questions rather than a norm of settling on an answer to a question by forming a belief. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

El propósito central del presente artículo, es formular un enfoque sistémico-jurídico para el análisis de los sistemas sociales. Para esto, se proponen tres tipologías de consensos denominados límites del sistema social: consenso normal, consenso normativo y consenso legítimo. La función de estas tipologías es, primero elaborar una explicación sobre la constitucionalización y democratización del poder político, con base en la regla de reconocimiento y la norma fundamental de un Estado; segundo postular dos metodologías normativas, un registro positivo y una demarcación (...) positiva, que desplieguen, tanto sobre las conductas sociales como sobre la estructura del sistema social, un proceso de legalidad emergente, cuya función sea, tercero regular, realimentar y optimizar el funcionamiento de la constitución política. Finalmente, se analizan los conceptos de completitud y de legitimidad del sistema normativo, con el fin de definir el alcance institucional que debe poseer un sistema jurídico sobre los subsistemas culturales del sistema social. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

Did Donald Davidson agree with G.E.M. Anscombe that action requires a distinctive form of agential awareness? The answer is No, at least according to the standard interpretation of Davidson’s account of action. A careful study of Davidson’s early writings, however, reveals a much more subtle conception of the role of agential belief in action. While the role of the general belief in Davidson’s theory is familiar and has been much discussed, virtually no attention has been paid to the singular belief. (...) This essay makes a start on remedying this neglect. I begin, in section 1, by examining Davidson’s claim that for a desire or belief to rationalize and cause an action it must have a suitable generality. It must, he says, be ‘logically independent’ of the action itself. While he was clear about this requirement in the case of the desire that forms part of a person’s primary reason, I show in section 2 that his early treatment of belief confuses general and singular beliefs. This confusion reflects his failure clearly to distinguish the two roles belief can play in his account of action: as rationalizing cause and as agential awareness. Somewhat surprisingly, though, after he carefully drew the distinction and announced that intentional action requires practical knowledge, he pretty much ignored it. This may explain why some have assumed that Davidson parted ways with Anscombe on this. But a careful study of their writings shows that in fact they held remarkably similar views on the nature and need for practical knowledge. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 \textbf{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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{8} examines the interaction between Elohim's 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 $\Omega$-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 \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{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)

This paper develops a novel competition criterion for evaluating institutional schemes. Roughly, this criterion says that one institutional scheme is normatively superior to another to the extent that the former would engender more widespread political competition than the latter. I show that this criterion should be endorsed by both global egalitarians and their statist rivals, as it follows from their common commitment to the moral equality of all persons. I illustrate the normative import of the competition criterion by exploring its (...) potential implications for the scope of egalitarian principles of distributive justice. In particular, I highlight the challenges it raises for global egalitarians' efforts to justify extending the scope of egalitarian justice beyond the state. (shrink)

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (shrink)

In a study that goes beyond the ego affirmed by Freudian psychology, David Levin offers an account of personal growth and self-fulfillment based on the development of our capacity for listening. Drawing on the work of Dewey, Piaget, Erikson, and Kohlberg, he uses the vocabulary of phenomenological psychology to distinguish four stages in this developmental process and brings us the significance of these stages for music, psychotherapy, ethics, politics, and ecology. This analysis substantiates his claim that the development of (...) our listening capacity is a process that fits Foucault's conception of a practice of the self, forming our character as social beings and moral agents. David Levin contends that our self- development as auditory beings is necessary for the achievement of a just and democratic society. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter result (...) is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Locke’s property rights are now usually understood to be both fundamental and strictly negative. Fundamental because they are thought to be basic constraints on what we may do, unconstrained by anything deeper. Negative because they are thought to only protect a property holder against the claims of others. Here, I argue that this widespread interpretation is mistaken. For Locke, property rights are constrained by the deeper ‘fundamental law of nature,’ which involves positive obligations to those in need and confines the (...) right to excess property within circumstances where it is not needed to preserve human life. (shrink)

Argument that Marx has a realist ontology and a correspondence theory of truth. His views are compared to both Hegel's and Kant's. This interpretation departs from more Hegelian, 'idealist' interpretations that often rely on misunderstanding some of the work of the early Marx. There is also a discussion and partial defence of Lenin's Materialism and Empirio-Criticism.

A comparison of disjunctive theories of action and perception. The development of a theory of action that warrants the name, a disjunctive theory. On this theory, there is an exclusive disjunction: either an action or an event (in one sense). It follows that in that sense basic actions do not have events intrinsic to them.

Richard Kraut's neo-Aristotelian account of well-being, Developmentalism, aspires to explain not only which things are good for us but why those things are good for us. The key move in attempting to make good on this second aspiration involves his claim that our ordinary intuitions about what is good for a person can be successfully explained and systematized by the idea that what benefi ts a living thing develops properly that living thing's potentialities, capacities, and faculties. I argue that Kraut's (...) understanding of such proper development plays no serious constraining role in shaping the details of the account. If this is correct, Developmentalism lacks the potential to explain or vindicate the intuitions about what is good for us that it champions. In effect, Kraut offers us a list of things that he claims benefits a person, but he lacks a theory of what those things have in common such that they benefit him. (shrink)