Anton Wilhelm Amo (c. 1700 – c. 1750) – born in West Africa, enslaved, and then gifted to the Duke of Braunschweig-Wolfenbüttel – became the first African to earn a Ph.D. in philosophy at a European university. He went on to teach philosophy at the Universities of Halle and Jena. On the 16th of April, 1734, at the University of Wittenberg, he defended his dissertation, De Humanae Mentis Apatheia (On the Impassivity of the Human Mind), in which Amo investigates the (...) logical inconsistencies in René Descartes’ (1596 – 1650) res cogitans (mind) and res extensa (body) distinction and interaction by maintaining that (1) the mind does not sense material things nor does it (2) contain the faculty of sensing. (shrink)

The paper charts both the interpersonal connections between historical anarchist figures and the beat poets as well as the philosophical similarities between them. Almost all the beat poets were anarchists, though their politics was secondary to their attempts to transform consciousness. Among the anarchists, the romantic socialist Gustav Landauer, who was especially popular in post-war American anarchist circles, came closest to the political perspective of the beat poets. Like the beats, Landauer was a poet, a pacifist, an anarchist, a communitarian, (...) a romantic, and a mystic. In northern California, the circle of anarchists surrounding Kenneth Rexroth provided support and inspiration to the early beat movement. In New York, the beats had an affinity with anarchists such as David Thoreau Wieck and the publication "Why?" (later "Resistance"), as well as Dwight Macdonald's "politics" and Holley Cantine's "Retort". (shrink)

Is Present Time a Precondition for the Existence of the Material and Public World?. . ???aop.label???. doi: 10.1080/02691728.2013.782591.

The term “deep history” refers to historical accounts framed temporally not by the advent of a written record but by evolutionary events (Smail 2008; Shryock and Smail 2011). The presumption of deep history is that the events of today have a history that traces back beyond written history to events in the evolutionary past. For human kinship, though, even forming a history of kinship, let alone a deep history, remains problematic, given limited, relevant data (Trautman et al. 2011). With regard (...) to a deep history, one conjecture is that human kinship evolved from primate social systems in a gradual, more-or-less continuous manner (see Chapais 2008); another conjecture is that kinship, in accordance with the incest account of Claude Lévi-Strauss (1969) or the fanciful, tetradic account of Nicholas J. Allen (1986), “comes into existence with a leap” (Trautman et al. 2011: 176); and yet another, the account to be developed in this paper, is that kinship, as it is understood and lived by culture bearers today, is the consequence of a profound and qualitative evolutionary transformation going from an ancestral primate-like social system predicated on extensive face-to-face interaction to the relation-based social systems that characterize human societies (Read 2012). (shrink)

© Cambridge University Press 2016.Richerson et al. propose cultural group selection as the basis for understanding the evolution of cultural systems. Their proposal does not take into account the nature of cultural idea systems as being constituted at an organizational rather than an individual level. The sealing partners of the Netsilik Inuit exemplify the problem with their account.

The evolution from pre-human primates to modern Homo sapiens is a complex one involving many domains, ranging from the material to the social to the cognitive, both at the individual and the community levels. This article focuses on a critical qualitative transition that took place during this evolution involving both the social and the cognitive domains. For the social domain, the transition is from the face-to-face forms of social interaction and organization that characterize the non-human primates that reached, with Pan, (...) a hiatus due to the centripetal effects that highly individualized behavior has on a social system. The transition is to the relation-based forms of social organization that evolved in the hominins ancestral to Homo sapiens and are universal in human societies today. For the cognitive domain, this transition involves going from behavior responding mainly to phenomenal level sensory inputs to behavior formed in accordance with the concept of a relation, initially abstracted from behavior patterns, then extending the concept of a relation beyond abstraction from behavior patterns to the concept of a relation generated recursively through constructing the relation of a relation. This extension made possible the construction of systems of relations; initially genealogical systems of relations constructed culturally using the logic of recursion, and subsequently, the symbolic, computational systems of kin term relations referred to by anthropologists as kinship terminologies. The latter are “constructed realities” in the sense this term is used by cultural anthropologists. It follows that the evolution of relation-based systems of social interaction is not adequately accounted for through population model evolutionary accounts such as the Dual Inheritance Theory of human evolution since “constructed realities” constitute collectively and publicly shared cultural knowledge rather than the individually and privately possessed knowledge that is assumed in the population model framework for human evolution. (shrink)

The evolutionary trajectory from non-human to human forms of social organization involves change from experiential- to relational-based systems of social interaction. Social organization derived from biologically and experientially grounded social interaction reached a hiatus with the great apes due to an expansion of individualization of behaviour. The hiatus ended with the introduction of relational-based social interaction, culminating in social organization based on cultural kinship. This evolutionary trajectory links biological origins to cultural outcomes and makes evident the centrality of distributed forms (...) of information for both the boundary and internal structure of human societies as these evolved from prior forms of social organization. (shrink)

However robust the mind's cognitive strategies of objectifying and rendering in object terms conscious experience, there is nevertheless that which resists object/substantivity categorization: an exteriority that comes out of perception itself and that is here termed the 'background '. In seeking out, in this inquiry, the non- objectified and non-thingness part of the observed world, we must first of all distinguish this background from such misrepresenta- tions as mere 'seeming '. The background -- while not thing-like or detectable as data (...) will be defended as existing concretely and empirically to the observer, notwithstanding our objectifying and substantive way of framing our understanding of the world. It will be shown to have verifiability despite being knowable only from the first-person perspective. The aim is to demonstrate its presence by way of a number of its features, and to show that far from being a mere subjective quality, it stands as real as do spatial objects or whatever arises spatially as a discretizable information source in the empirical world. (shrink)

Causation is one of philosophy's most venerable and thoroughly-analyzed concepts. However, the study of how ordinary people make causal judgments is a much more recent addition to the philosophical arsenal. One of the most prominent views of causal explanation, especially in the realm of harmful or potentially harmful behavior, is that unusual or counternormative events are accorded privileged status in ordinary causal explanations. This is a fundamental assumption in psychological theories of counterfactual reasoning, and has been transported to philosophy by (...) Hitchcock and Knobe (2009). A different view--the basis of the culpable control model of blame (CCM)--is that primary causal status is accorded to behaviors that arouse negative evaluative reactions, including behaviors that stem from nefarious motives, negligence or recklessness, a faulty character, or behaviors that lead to harmful or potentially harmful consequences. This paper describes four empirical studies that show consistent support for the CCM. (shrink)

Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

The article begins by describing two longstanding problems associated with direct inference. One problem concerns the role of uninformative frequency statements in inferring probabilities by direct inference. A second problem concerns the role of frequency statements with gerrymandered reference classes. I show that past approaches to the problem associated with uninformative frequency statements yield the wrong conclusions in some cases. I propose a modification of Kyburg’s approach to the problem that yields the right conclusions. Past theories of direct inference have (...) postponed treatment of the problem associated with gerrymandered reference classes by appealing to an unexplicated notion of projectability . I address the lacuna in past theories by introducing criteria for being a relevant statistic . The prescription that only relevant statistics play a role in direct inference corresponds to the sort of projectability constraints envisioned by past theories. (shrink)

A theory of cognitive systems individuation is presented and defended. The approach has some affinity with Leonard Talmy's Overlapping Systems Model of Cognitive Organization, and the paper's first section explores aspects of Talmy's view that are shared by the view developed herein. According to the view on offer -- the conditional probability of co-contribution account (CPC) -- a cognitive system is a collection of mechanisms that contribute, in overlapping subsets, to a wide variety of forms of intelligent behavior. Central to (...) this approach is the idea of an integrated system. A formal characterization of integration is laid out in the form of a conditional-probabilitybased measure of the clustering of causal contributors to the production of intelligent behavior. I relate the view to the debate over extended and embodied cognition and respond to objections that have been raised in print by Andy Clark, Colin Klein, and Felipe de Brigard. (shrink)

Shaun Nichols has recently argued that while the folk notion of free will is associated with error, a question still remains whether the concept of free will should be eliminated or preserved. He maintains that like other eliminativist arguments in philosophy, arguments that free will is an illusion seem to depend on substantive assumptions about reference. According to free will eliminativists, people have deeply mistaken beliefs about free will and this entails that free will does not exist. However, an alternative (...) reaction is that free will does exist, we just have some deeply mistaken beliefs about it. According to Nichols, all such debates boil down to whether or not the erroneous folk term in question successfully refers or not. Since Nichols adopts the view that reference is systematically ambiguous, he maintains that in some contexts it’s appropriate to take a restrictivist view about whether a term embedded in a false theory refers, while in other contexts it’s appropriate to take a liberal view about whether a token of the very same term refers. This, according to Nichols, affords the possibility of saying that the sentence “free will exists” is false in some contexts and true in others. In this paper I argue that even if we grant Nichols his pluralistic approach to reference, there is still good reason to prefer eliminativism to preservationism with regard to free will. My argument focuses on one important difference between the concept of “free will” and other theoretical terms embedded in false theories—i.e., the role that the phenomenology of free agency plays in reference fixing. (shrink)

In a recent article, Joel Pust argued that direct inference based on reference properties of differing arity are incommensurable, and so direct inference cannot be used to resolve the Sleeping Beauty problem. After discussing the defects of Pust's argument, I offer reasons for thinking that direct inferences based on reference properties of differing arity are commensurable, and that we should prefer direct inferences based on logically stronger reference properties, regardless of arity.

The ethos of Justin Smith’s Nature, Human Nature, & Human Difference is expressed in the narrative of Anton Wilhelm Amo (~1703-53), an African-born​ slave who earned his doctoral degree in Philosophy at a European university and went on to teach at the Universities of Jena and Halle. Smith identifies Amo as a time-marker for diverging interpretations of race: race as inherently tethered to physical difference and race as inherited essential difference. Further, these interpretations of race are fastened to the discourse (...) of science and human diversity within modern Europe. Smith’s thesis maintains that the rise of the concept of race in philosophy begins with a divorcing of the soul from human nature and a movement to a naturalistic classification of human beings through taxonomies (e.g. botany, mineralogy and zoology), which dissolved into this dichotomy: an essential difference between people of reason and people of nature. (shrink)

According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...) the claim that science seeks truth). I also flag an additional axiological “challenge,” that of how one might justify the pursuit of a primary aim, such as truth. Bracketing epistemic realism, I argue that the axiological threats can be addressed by embracing a refined realist axiological hypothesis, one that specifies a specific subclass of true claims sought in science. And after identifying three potential responses to the axiological “challenge,” I contend that, while standard axiological realism appears to lack the resources required to utilize any of the responses, the refined realist axiology I embrace is well suited to each. (shrink)

During the last two decades the role of quantitative genetics in evolutionary theory has expanded considerably. Quantitative genetic-based models addressing long term phenotypic evolution, evolution in multiple environments (phenotypic plasticity) and evolution of ontogenies (developmental trajectories) have been proposed. Yet, the mathematical foundations of quantitative genetics were laid with a very different set of problems in mind (mostly the prediction of short term responses to artificial selection), and at a time in which any details of the genetic machinery were virtually (...) unknown. In this paper we discuss what a model is in population biology, and what kind of model we need in order to address the complexities of phenotypic evolution. We review the assumptions of quantitative genetics and its most recent accomplishments, together with the limitations that such assumptions impose on the modelling of some aspects of phenotypic evolution. We also discuss three alternative appr oaches to the theoretical description of evolutionary trajectories (nonlinear dynamics, complexity theory and optimization theory), and their respective advantages and limitations. We conclude by calling for a new theoretical synthesis, including quantitative genetics and not necessarily limited to the other approaches here discussed. (shrink)

We present an algebraic account of the Tongan kinship terminology (TKT) that provides an insightful journey into the fabric of Tongan culture. We begin with the ethnographic account of a social event. The account provides us with the activities of that day and the centrality of kin relations in the event, but it does not inform us of the conceptual system that the participants bring with them. Rather, it is a slice in time of an ongoing dynamic process that links (...) behavior with a conceptual system of kin relations and vice versa. To understand this interplay, we need an account of the underlying conceptual system that is being activated during the event. Thus, we introduce a formal, algebraically based account of TKT. This account brings to the fore the underlying logic of TKT and allows us to distinguish between features of the kinship system that arise from the logic of TKT as a generative structure and features that must have arisen through cultural intervention. (shrink)

Adorno’s dialectical approach to aesthetics is perhaps understood better in terms of his monumental work, 'Aesthetic Theory,' which attempts to relate the speculative tradition in philosophical aesthetics to the situation of art in twentieth-century society, than in terms of purely theoretical claims. This paper demonstrates that Adorno embraces the Kantian thesis concerning art’s autonomy and that he criticizes transcendental philosophy. It also discusses how Adorno provides the outlines for a dialectical conception of artistic truth in relation to his argument with (...) Hegel. Adorno’s assessment of the Enlightenment is linked to his interpretation of twentieth-century literature. The conclusion of this paper emphasizes the political implications of Adorno’s position when the philosopher approaches art as a sign of historical truth. (shrink)

The New Demon World Objection claims that reliabilist accounts of justification are mistaken because there are justified empirical beliefs at demon worlds—worlds at which the subjects are systematically deceived by a Cartesian demon. In this paper, I defend strongly verific (but not necessarily reliabilist) accounts of justification by claiming that there are two ways to construct a theory of justification: by analyzing our ordinary concept of justification or by taking justification to be a theoretic term defined by its role in (...) the theory of knowledge. The former route is not promising because of the splintered nature of our ordinary concept of justification—or perhaps because there is no single such concept. On the other hand, if justification is defined by the role it plays in the theory of knowledge, then there is good reason to think that justification must be strongly truth-conductive since the term was introduced by Edmund Gettier to play the primary role in converting true belief into knowledge. And if that is right, then there will be no justified empirical belief at demon worlds. The real lesson of the demon world is then turned on its head: justification does not supervene on what one shares with one’s deceived doppelganger. (shrink)

Encultured individuals see the behavioral rules of cultural systems of moral norms as objective. In addition to prescriptive regulation of behavior, moral norms provide templates, scripts, and scenarios regulating the expression of feelings and triggered emotions arising from perceptions of norm violation. These allow regulated defensive responses that may arise as moral idea systems co-opt emotionally associated biological survival instincts.

Every day, television news operations have available dozens of video news releases (VNRs), public relations handout videos designed to mimic news formats. Electronic tracking indicates some of these VNRs are used. Critics typically assail VNRs on ethical grounds, that VNRs deceive audience members into thinking they are watching news gathered by reporters, rather than a promotional pitch. Using a snowball technique, the researchers presented survey respondents with authentic-looking local television news stories; 157 respondents evaluated three stories (out of nine). Some (...) stories used station-generated footage, some network, and some VNRs. Respondents were asked their best estimation of the source. The data indicated a real likelihood VNR deception is occurring. Two of the three VNRs deceived at least half the respondents. Respondents were incorrect an average of 46% of the time when attempting to identifying VNRs, compared to 29% incorrectly identifying network video and 20% incorrectly identifying locally shot video. (shrink)

The nature of olfaction; its importance for understanding perennial issues of philosophy of mind, perception, and consciousness; and its implications for cognitive neuroscience. -/- What are smells? Despite the best efforts of philosophy and the chemosciences, the question remains vexing—but no more perplexing than the historical lapse of the past few centuries to seriously consider a sense that has a key place in philosophy of mind and perception. Stinking Philosophy! is Benjamin Young's answer to this critical lapse. Drawing together more (...) than a decade of research on olfactory philosophy, this book offers a clear, comprehensive look at the nature of odors—how we perceive smells, how we cognitively represent odors, how we communicate about them as categories, and what they can tell us about consciousness. -/- In Stinking Philosophy! Young presents a methodology for addressing the philosophical and conceptual issues raised by the sense of smell. Then, in an exacting and coherent fashion, he explores how the philosophy of smell contributes to—and advances—a wide range of debates within philosophy of mind, perception, and cognitive neuroscience. Ultimately, his work demonstrates how empirically informed philosophy can have a significant impact on interdisciplinary research on smell across philosophy, the chemosciences, and neuroscience. (shrink)

(v.3) In this paper it is argued that Barad's Agential Realism, an approach to quantum mechanics originating in the philosophy of Niels Bohr, can be the basis of a 'theory of everything' consistent with a proposal of Wheeler that 'observer-participancy is the foundation of everything'. On the one hand, agential realism can be grounded in models of self- organisation such as the hypercycles of Eigen, while on the other agential realism, by virtue of the 'discursive practices' that constitute one aspect (...) of the theory, implies the possibility of the generation of physical phenomena through acts of specification originating at a more fundamental level. This kind of order stems from the association of persisting structures with special mechanisms for sustaining such structures. Included in phenomena that may be generated by these mechanisms are the origin and evolution of life, and human capacities such as mathematical and musical intuition. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The verb 'imagine' admits of perspectival modification: we can imagine things from above, from a distant point of view, or from the point of view of a Russian. But in such cases, there need be no person, either real or imagined, who is above or distant from what is imagined, or who has the point of view of a Russian. We call this the puzzle of perspectival displacement. This paper sets out the puzzle, shows how it does not just concern (...) language, but also states of imagining themselves, and then presents a solution. The solution draws on the idea that many reports of imagining conceal a distinctive kind of question, and such concealed questions have an extra argument place for (what we will call) an experiencer from whose perspective things are imagined. This solution has a range of advantages over other proposals in the literature, and helps to advance two debates concerning perspectival engagement with fiction. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

A Zoom discussion about racism and ableism in philosophy.

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Susan Schneider (2019) has proposed two new tests for consciousness in AI (artificial intelligence) systems, the AI Consciousness Test and the Chip Test. On their face, the two tests seem to have the virtue of proving satisfactory to a wide range of consciousness theorists holding divergent theoretical positions, rather than narrowly relying on the truth of any particular theory of consciousness. Unfortunately, both tests are undermined in having an ‘audience problem’: Those theorists with the kind of architectural worries that motivate (...) the need for such tests should, on similar grounds, doubt that the tests establish the existence of genuine consciousness in the AI in question. Nonetheless, the proposed tests constitute progress, as they could find use by some theorists holding fitting views about consciousness and perhaps in conjunction with other tests for AI consciousness. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

This paper argues that the concept and role of ‘institutional racism’ in contemporary discussions of race should be reconsidered. It starts by distinguishing between ‘intrinsic institutional racism’, which holds that institutions are racist in virtue of their constitutive features, and ‘extrinsic institutional racism’, which holds that institutions are racist in virtue of their negative effects. It accepts intrinsic institutional racism, but argues that a ‘disparate impact’ conception of extrinsic conception faces a number of objections, the most serious being that it (...) has no plausible account of what it is that makes extrinsically racist institutions racist. It also argues that claims about the explanatory indispensability of institutional racism are overstated (individual racism is at least as important), critiques structural approaches to racial inequality, and suggests that there is reason to doubt whether institutional reform can provide us with all that morality may require in the racial domain. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

This paper rigorously examines the primitive foundations of economic reasoning through an original framework based on symbolic logic. Extending previous work, it formalizes economic conceptions (\(\mathbb{C}\)), symbols (\(s_i\)), and introduces a structured language (\(\mathcal{L_{\mathbb{C}}}\)) to define their formation and interpretation. Organized as a continuous chain of declarations and illustrations, the paper offers a concise, systematic approach to understanding the philosophy of economic reasoning through formal representations.

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

We defend a noetic account of intramathematical explanation. On this view, a piece of mathematics is explanatory just in case it produces understanding of an appropriate type. We motivate the view by presenting some appealing features of noeticism. We then discuss and criticize the most prominent extant version of noeticism, due to Inglis and Mejía Ramos, which identifies explanatory understanding with the possession of well-organized cognitive schemas. Finally, we present a novel noetic account. On our view, explanatory understanding arises from (...) meeting specific explanatory objectives. We defend a cluster-concept account of explanatory objectives and identify four important subfamilies within the relevant network of resemblance relations. The resulting view is objectivist (in the sense that it takes explanatory success to be a matter of observer-independent fact), broader in scope than why-question-based accounts, compatible with empirical findings on experts’ explanatory judgments, and capable of generalizing (with appropriate provisos) to scientific explanation as a whole. It thus fulfills Friedman’s half-century-old demand for a general and objectivist theory which accounts for the link between explanation and understanding. (shrink)