One sometimes believes a proposition without grasping it. For example, a complete achromat might believe that ripe tomatoes are red without grasping this proposition. My aim in this paper is to shed light on the difference between merely believing a proposition and grasping it. I focus on two possible theories of grasping: the inferential theory, which explains grasping in terms of inferential role, and the phenomenal theory, which explains grasping in terms of phenomenal consciousness. I argue that the phenomenal theory (...) is more plausible than the inferential theory. (shrink)

The aim of this article is to argue that ontological choices in scientific practice undermine common formulations of the value-free ideal in science. First, I argue that the truth values of scientific statements depend on ontological choices. For example, statements about entities such as species, race, memory, intelligence, depression, or obesity are true or false relative to the choice of a biological, psychological, or medical ontology. Second, I show that ontological choices often depend on non-epistemic values. On the basis of (...) these premises, I argue that it is often neither possible nor desirable to evaluate scientific statements independently of non-epistemic values. Finally, I suggest that considerations of ontological choices do not only challenge the value-free ideal but also help to specify positive roles of non-epistemic values in an often neglected area of scientific practice. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly sufficient conditions of (...) justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

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

The question of whether Everettian quantum mechanics (EQM) justifies the existence of metaphysical indeterminacy has recently come to the fore. Metaphysical indeterminacy has been argued to emerge from three sources: coherent superpositions, the indefinite number of branches in the quantum multiverse and the nature of these branches. This paper reviews the evidence and concludes that those arguments don’t rely on EQM alone and rest on metaphysical auxiliary assumptions that transcend the physics of EQM. We show how EQM can be ontologically (...) interpreted without positing metaphysical indeterminacy by adopting a deflationary attitude towards branches. Two ways of developing the deflationary view are then proposed: one where branches are eliminated, and another where they are reduced to the universal quantum state. (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.

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Although Foucault’s 1979 lectures on The Birth of Biopolitics promised to treat the theme of biopolitics, the course deals at length with neoliberalism while mentioning biopolitics hardly at all. Some scholars account for this elision by claiming that Foucault sympathized with neoliberalism; I argue on the contrary that Foucault develops a penetrating critique of the neoliberal claim to preserve individual liberty. Following Foucault, I show that the Chicago economist Gary Becker exemplifies what Foucault describes elsewhere as biopolitics: a form of (...) power applied to the behavior of a population through the normalizing use of statistics. Although Becker’s preference for indirect intervention might seem to preserve the independence of individuals, under biopolitics individual liberty is itself the means by which populations are governed indirectly. In my view, by describing the history and ambivalence of neoliberal biopolitics, Foucault fosters a critical vigilance that is the precondition for creative political resistance. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have interests — (...) before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (shrink)

Elimination controversies are ubiquitous in philosophy and the human sciences. For example, it has been suggested that human races, hysteria, intelligence, mental disorder, propositional attitudes such as beliefs and desires, the self, and the super-ego should be eliminated from the list of respectable entities in the human sciences. I argue that eliminativist proposals are often presented in the framework of an oversimplified “phlogiston model” and suggest an alternative account that describes ontological elimination on a gradual scale between criticism of empirical (...) assumptions and conceptual choices. (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)

Psychological and philosophical studies have extended J. J. Gibson’s notion of affordances. Affordances are possibilities for bodily action presented to us by the objects of our perception. Recent work has argued that we should extend the actions afforded by perception to mental action. I argue that we can extend the notion of affordance itself. What I call ‘Introspective Affordances’ are possibilities for mental action presented to us by introspectively accessible states. While there are some prima facie worries concerning the non-perceptual (...) nature of introspection, I will argue that our internal mental lives share enough commonalities with experiences in our environment to warrant this extension. I will demonstrate the value of introspective affordances by showing how they allow us to explain an underexplored aspect of thought insertion. (shrink)

Many virtue epistemologists conceive of epistemic competence on the model of skill —such as archery, playing baseball, or chess. In this paper, I argue that this is a mistake: epistemic competences and skills are crucially and relevantly different kinds of capacities. This, I suggest, undermines the popular attempt to understand epistemic normativity as a mere special case of the sort of normativity familiar from skilful action. In fact, as I argue further, epistemic competences resemble virtues rather than skills—a claim that (...) is based on an important, but often overlooked, difference between virtue and skill. The upshot is that virtue epistemology should indeed be based on virtue, not on skill. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

Epistemic constitutivism (EC) holds that the nature of believing is such that it gives rise to a standard of correctness and that other epistemic normative notions (e.g., reasons for belief) can be explained in terms of this standard. If defensible, this view promises an attractive and unifying account of epistemic normativity. However, EC faces a forceful objection: that constitutive standards of correctness are never enough for generating normative reasons. This paper aims to defend EC in the face of this objection. (...) I do so in two steps. First, I dispute a crucial assumption underlying the case against EC: that constitutive standards of correctness in general are ‘reason-giving’ only if and because there is also a prior reason to comply with them. Second, I outline a strategy of how EC can meet the challenge of explaining what’s special about the activity of believing such that, unlike other standard-governed activities, it is capable of generating normative reasons. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (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)

Someone acts in a morally worthy way when they deserve credit for doing the morally right thing. But when and why do agents deserve credit for the success involved in doing the right thing? It is tempting to seek an answer to that question by drawing an analogy with creditworthy success in other domains of human agency, especially in sports, arts, and crafts. Accordingly, some authors have recently argued that, just like creditworthy success in, say, chess, playing the piano, or (...) archery, creditworthy moral success is a matter of getting things right by way of manifesting a relevant skill. My main aim in this paper is to bring out an important structural difference between moral creditworthiness and creditworthiness in sports, arts, and craft, undermining attempts to use examples of the latter as a model for understanding the former. As an alternative, I propose an account of morally creditworthy action, according to which such action is a matter of manifesting virtue, not skill—a claim that's based on an important, but underappreciated, difference between the sorts of excellences constituting virtues and skills. The paper thus contributes to a more nuanced picture of normative achievements across different domains of human agency, highlighting largely overlooked structural dissimilarities among them. (shrink)

This paper offers a probabilistic treatment of the conditions for argument cogency as endorsed in informal logic: acceptability, relevance, and sufficiency. Treating a natural language argument as a reason-claim-complex, our analysis identifies content features of defeasible argument on which the RSA conditions depend, namely: change in the commitment to the reason, the reason’s sensitivity and selectivity to the claim, one’s prior commitment to the claim, and the contextually determined thresholds of acceptability for reasons and for claims. Results contrast with, and (...) may indeed serve to correct, the informal understanding and applications of the RSA criteria concerning their conceptual dependence, their function as update-thresholds, and their status as obligatory rather than permissive norms, but also show how these formal and informal normative approachs can in fact align. (shrink)

When it comes to caring about and helping those in need, our imaginations tend to be weak and our motivation tends to be parochial. This is a major moral problem in view of how much unmet need there is in the world and how much material capacity there is to address that need. With this problem in mind, the present paper will focus on genetic means to the enhancement of a moral capacity—a disposition to altruism—and of a cognitive capacity that (...) facilitates use of the moral capacity: the ability to grasp vividly the needs of individuals who are unknown and not present. I will address two questions, with more extensive attention to the first question. First, assuming we had excellent reason to believe that the enhancements were safe, effective, and available to all who desired them, would seeking these enhancements be inherently morally acceptable—that is, free of inherent wrongness? Second, would it be wise for a society to pursue these enhancements? I will defend an affirmative answer to the first question while leaving the second question open. (shrink)

I claim that, in the Topics, Aristotle advises dialectical questioners to intentionally argue fallaciously in order to escape from some dialectically awkward positions, and I work through the consequences of that claim. It will turn out that, although there are important exceptions, the techniques for finding arguments described in Topics I–VII are, by and large, locations that Aristotle thought of as appropriate for use in philosophical inquiry. The text that grounds this claim, however, raises a further problem: it highlights the (...) solitary nature of philosophical inquiry, which puts into question the philosophical relevance of Topics VIII. I find that the Topics provides inadequate grounds for thinking that Aristotle saw Topics VIII as describing standards or techniques of argument that were appropriate for philosophy, and so these texts cannot be used by contemporary commentators to shed light on Aristotle's philosophical practice. Finally, although Aristotle saw philosophy as a solitary activity, he th.. (shrink)

The aim of this paper is to create dialectical space for a hitherto under-discussed option in the philosophy of conspiracy theories. The extant literature on the topic almost exclusively assumes that conspiracy theories are a type of explanation. The typical mental attitude towards explanations is belief, a representational attitude that can be assessed as true, false, warranted or unwarranted. I call models based on this assumption alethic models. Alethic models can’t pick out conspiracy theories as a distinct class of mental (...) attitudes without latching onto their negative epistemic properties. The extant literature therefore finds itself in an unfortunate situation. It either has to presume that conspiracy theories are epistemically defective in general (generalism). Or it has to deny that conspiracy theories are a distinct class of mental attitudes. Conspiracy theories are then nothing more than theories, theories about conspiracies, and should be assessed on a case-by-case basis (particularism). Instead, this paper motivates the research program of narrative models. According to narrative models, conspiracy theories are first and foremost stories – structured fictions. And their relevant mental attitudes are the attitudes of fiction – make-believe and imagination. Fictions are not subjects to epistemic norms. They are neither rational nor irrational. Narrative models can therefore pick out conspiracy theories as a distinct class of mental attitudes without labeling them as defective in general. In addition, they are able to explain certain features of conspiracy discourse particularly well, and they offer new perspectives on the popularity of conspiracy theories and the means of intervention we have at our disposal. (shrink)

This chapter develops a ``nesting'' model of deontic normative principles (i.e., principles that specify moral constraints upon action) as a means to understanding the notion of a ``fundamental normative principle''. I show that an apparently promising attempt to make sense of this notion such that the ``real'' or ``fundamental'' demands of justice upon action are not constrained by social facts is either self-defeating or relatively unappealing. We should treat fundamental normative principles not as specifying fundamental constraints upon action, but as (...) specifying basic criteria for comparatively evaluating and ranking possibilities. (shrink)

I suggest that the social justice issues raised by Internet regulation can be exposed and examined by using a methodology adapted from that described by John Rawls in 'A Theory of Justice'. Rawls' theory uses the hypothetical scenario of people deliberating about the justice of social institutions from the 'original position' as a method of removing bias in decision-making about justice. The original position imposes a 'veil of ignorance' that hides the particular circumstances of individuals from them so that they (...) will not be influenced by self-interest. I adapt Rawls' methodology by introducing an abstract description of information technology to those deliberating about justice from within the original position. This abstract description focuses on computing devices that users can use to access information and information networks that information devices use to communicate. The abstractness of this description prevents the particular characteristics of the Internet and the computing devices in use from influencing the decisions about the just use and regulation of information technology and networks. From this abstract position, the principles of justice that the participants accept for the rest of society will also apply to the computing devices people use to communicate, and to Internet regulation. (shrink)

This paper raises three critical questions about Jarrett Leplin's version of reliabilism.

Did the impartiality of clinical trials play any role in their acceptance as regulatory standards for the safety and efficacy of drugs? According to the standard account of early British trials in the 1930s and 1940s, their impartiality was just rhetorical: the public demanded fair tests and statistical devices such as randomization created an appearance of neutrality. In fact, the design of the experiment was difficult to understand and the British authorities took advantage of it to promote their own particular (...) interests. I claim that this account is based on a poorly defined concept of experimental fairness . I present an alternative approach in which a test would be impartial if it incorporates warrants of non-manipulability. With this concept, I reconstruct the history of British trials showing that they were indeed fair and this fairness played a role in their acceptance as regulatory yardsticks. (shrink)

According to a popular idea, freedom is grounded in orthonomy – the ability to be responsive to normative demands. But how exactly must an agent’s action relate to their reasons in order for this orthonomous relationship to hold? In this paper, I propose a novel explanationist answer to this question. I argue that extant answers – causalism and modalism about orthonomy – fail because they fail to account for the fact that intuitions about freedom and orthonomy track facts about explanation. (...) And these facts cannot be reduced to either causal or modal facts. Instead, I propose that we should understand freedom as grounded in special accidentality-dispersing explanations in terms of normative reasons. The resultant view is to be understood as following a Frankfurtian intuition: only factors that explain action can be relevant to whether the action is free. (shrink)

In this paper I offer an account of the normative dimension implicit in D. Bernoulli’s expected utility functions by means of an analysis of the juridical metaphors upon which the concept of mathematical expectation was moulded. Following a suggestion by the late E. Coumet, I show how this concept incorporated a certain standard of justice which was put in question by the St. Petersburg paradox. I contend that Bernoulli would have solved it by introducing an alternative normative criterion rather than (...) a positive model of decision making processes. (shrink)

Philosophical accounts of the nature of belief, at least in the western tradition, are framed in large part by two ideas. One is that believing is a form of representing. The other is that a belief plays a causal role when a person acts on it. The standard picture of belief as a mental entity with representational properties and causal powers merges these two ideas. We are to think of beliefs as things that are true or false and that interact (...) with desires, intentions, and emotions to bring about rational action. Both ideas, I think, are ill-founded. One effect of abandoning them is a further blurring of the distinction between what is inside and what is outside our minds. Another is a shift towards a less mentalistic picture of the roots of rational action. (shrink)

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...) both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (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 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop 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 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 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 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 interpretational and objective modalities and the 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 in 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)

Ontic structural realism (OSR) claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as generalism (Dasgupta, 2009, 2016). According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, (...) generalism is unable to capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. (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)

The ongoing explosion of interest in artificial intelligence is fueled in part by recently developed techniques in machine learning. Those techniques allow automated systems to process huge amounts of data, utilizing mathematical methods that depart from traditional statistical approaches, and resulting in impressive advancements in our ability to make predictions and uncover correlations across a host of interesting domains. But as is now widely discussed, the way that those systems arrive at their outputs is often opaque, even to the experts (...) who design and deploy them. Is it morally problematic to make use of opaque automated methods when making high-stakes decisions, like whether to issue a loan to an applicant, or whether to approve a parole request? Many scholars answer in the affirmative. However, there is no widely accepted explanation for why transparent systems are morally preferable to opaque systems. We argue that the use of automated decision-making systems sometimes violates duties of consideration that are owed by decision-makers to decision-subjects, duties that are both epistemic and practical in character. Violations of that kind generate a weighty consideration against the use of opaque decision systems. In the course of defending our approach, we show that it is able to address three major challenges sometimes leveled against attempts to defend the moral import of transparency in automated decision-making. (shrink)

I am extremely grateful for the very thoughtful and stimulating comments by Daniel Drucker, Miriam Schleifer McCormick,1 and Mark Richard, and for the close attention they gave my book (Hunter 2022...

The central objective of Dewey’s Democracy and Education is to explain ‘what is needed to live a meaningful life and how can education contribute?’ While most acquainted with Dewey’s educational philosophy know that ‘experience’ plays a central role, the role of ‘situations’ may be less familiar or understood. This essay explains why ‘situation’ is inseparable from ‘experience’ and deeply important to Democracy and Education’s educational methods and rationales. First, a prefatory section explores how experience is invoked and involved in pedagogical (...) practice, especially experience insofar as it is (a) experimental, (b) direct, and (c) social-moral in character. The second and main section on situations follows. After a brief introduction to Dewey’s special philosophical use of ‘situation’, I examine how situations are implicated in (a) student interest and motivation; (b) ‘aims’ and ‘criteria’ in problem-solving; and (c) moral education (habits, values, and judgements). What should become abundantly clear from these examinations is that there could be no such thing as meaningful education, as Dewey understood it, without educators’ conscious, intentional, and imaginative deployment of experience and situations. (shrink)

This is a précis of my book for an author-meets-critics session forthcoming in Inquiry. The commenters are Daniel Drucker, Miriam Schleifer McCormick, and Mark Richard.

Galileo’s telescopic lunar observations, announced in Siderius Nuncius (1610), were a triumph of observational skill and ingenuity. Yet, unlike the Medicean stars, Galileo’s lunar “discoveries” were not especially novel. Indeed, Plutarch had noted the moon’s uneven surface in classical times, and many other renaissance observers had also turned their gaze moonward, even (in Harriot’s case) aided by telescopes of their own. Moreover, what Galileo and his contemporaries saw was colored by the assumptions they already had. Copernicans assumed the moon was (...) a terrestrial satellite, thus Galileo saw its mountains and Kepler “saw” the dwellings of its inhabitants. Aristotelians assumed the moon was a perfect sphere, so they saw differences in density and rarity in the lunar body. Theory corrected the results of observation, so Galileo’s lunar observations, like those that had come before, proved nothing. Yet this failure contained the germ of Galileo’s success, since the Siderius Nuncius gave observation a rhetorical force it did not have before. Observers on all sides set out to see for themselves what Galileo reported. Hence, all parties now had to answer to what they saw, whatever they believed. Thus, the Siderius Nuncius ultimately changed the grounds upon which natural philosophical argument and debate was carried out. In this new empirical arena, the Galilean science would eventually prevail. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

This paper seeks to rehabilitate St. Augustine’s widely dismissed response to the alleged incompatibility of divine foreknowledge and free will. This requires taking a fresh look at his analysis in On Free Choice of the Will, and arguing its relevance to the current debate. Along the way, mistaken interpretations of Augustine are rebutted, his real solution is developed and defended, a reason for his not anticipating Boethius’s a temporalist solution is suggested, a favorable comparison with Ockham is made, rival solutions (...) are rejected, and the aporetic nature of the problem is explained. (shrink)

Estlund has replied to my "Motivational Demands on the Limits of Justice". This short note is my rejoinder.

Science lies at the intersection of ideas and society, at the heart of the modern human experience. The study of past science should therefore be central to our humanistic attempt to know ourselves. Nevertheless, past science is not studied as an integral whole, but from two very different and divergent perspectives: the intellectual history of science, which focuses on the development of ideas and arguments, and the social history of science, which focuses on the development of science as a social (...) undertaking within its broader contexts. There is almost universal agreement that this bifurcation of the field is lamentable, and nearly universal disagreement about where, exactly, the problem lies. In order to identify the difficulty, this paper examines the institutional histories and disciplinary philosophies that have constituted the study of past science. I argue that science history, eventually allied itself with either History or Philosophy in order to find institutional support, thereby suffering the artificial imposition of the disciplinary prejudices of its allied fields, which lead science historians to adopt either the intellectual or the social perspective. Science history must reconcile its distinctions on its own terms, as an integrated unity with its own disciplinary bounds, and apart from History and Philosophy. As a catalyst for rapprochement, the historical and philosophical examination also yields a mapping of the field of science history that can be used to locate the problematic divisions in present scholarship and to draw new disciplinary bounds. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...) logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

This is a contribution to an Author Meets Critics special issue on John Martin Fischer's _Our Fate: Essays on God and Free Will_.