We propose capability as a universal or type intermediate between function and disposition. A capability is, broadly speaking, a disposition that is of a type whose instances can be evaluated on the basis of how well they are realized. A function, on the view we are proposing, is a capability the possession of which is the rationale for the existence of its bearer. To say for example that a water pump has the function to pump water is to say that (...) the pump exists because something was needed that would pump water. A water pump may have many capabilities, including: to be weatherproof, to run without lubricant, to be transportable, and so forth. But its function is to pump water. We focus here on capabilities possessed by humans – such as piano playing or language using – and we explore the relation between capabilities of these sorts and structures in the brain. (shrink)

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual (...) obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods. (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)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (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)

In “Toward an Ontology of Commercial Exchange” [11], we proposed human readable definitions for terms that are central to an ontology of commercial exchange. This paper furthers that project in two ways. First, the definitions have been modified to be compatible with the Common Core Ontologies (CCO). CCO is used in a wide variety of domains including the industrial and military domains. Having a commerce ontology compatible with CCO allows data about the exchange of goods relevant to those domains to (...) be tagged with compatible ontologies. Second, we propose preliminary formalizations of these definitions, with the aim of informing the creation of an ontology which can be used to assist in reasoning over businessrelated data. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Ontologies – structured, controlled, vocabularies – are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the virus research domain, following the principles of the Open Biological and Biomedical Ontology (OBO) Foundry and drawing on the resources of the Infectious Disease Ontology (IDO) Core. We report the development of the Virus Infectious (...) Disease Ontology (VIDO), a reference ontology extending IDO Core covering viral infectious diseases. We examine newly minted terms, showcase ontology term reuse, and illustrate the use of VIDO by annotating selections from recent life science research on SAR-CoV-2, in the interest of supporting machine learning projects. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

Plato argues that four political arts—politics, kingship, slaveholding, and household-management—are the same. His argument, which prompted Aristotle’s reply in Politics I, has been universally panned. The problem is that the argument clearly identifies household-management with slaveholding, and household-management with politics, but does not fully identify kingship with any of the others. I consider and reject three ways of saving the argument, and argue for a fourth. On my view, Plato assumes that politics is identical with kingship, just as he does (...) elsewhere, but he begs no questions because the point of his argument is to identify the public arts of politics and kingship with the private arts of household-management and slaveholding. He does this successfully by answering three reasons why one might distinguish the private from the public arts. His argument leaves room for Aristotle to propose other reasons. One of them—involving differences among men and women and slaves—is unfortunate, but another is more promising. The Aristotelian can assume that political expertise is a matter of know-how gathered by experience of the particular actions which differ in the public and private arts. But Plato might well be right to reject this, and to insist that the essential difference between the expert and non-expert—the dividing line between good and bad rule—is not in experience but in their grasp of their goals. (shrink)

Arguments from disagreement against moral realism begin by calling attention to widespread, fundamental moral disagreement among a certain group of people. Then, some skeptical or anti-realist-friendly conclusion is drawn. Chapter 2 proposes that arguments from disagreement share a structure that makes them vulnerable to a single, powerful objection: they self-undermine. For each formulation of the argument from disagreement, at least one of its premises casts doubt either on itself or on one of the other premises. On reflection, this shouldn’t be (...) surprising. These arguments are intended to support very strong metaphysical or epistemological conclusions about morality. They must therefore employ very strong metaphysical or epistemological premises. But, given the pervasiveness of disagreement in philosophy, especially about metaphysics and epistemology, very strong premises are virtually certain to be the subject of widespread, intractable disagreement—precisely the sort of disagreement that proponents of these arguments think undermine moral claims. Thus, these arguments undermine their own premises. If Chapter 2’s argument is sound, it provides realists with a single, unified strategy for responding to any existing or forthcoming arguments from disagreement. (shrink)

In this article I examine several related views expressed by Robin Hendry concerning molecular structure, emergence and chemical bonding. There is a long-standing problem in the philosophy of chemistry arising from the fact that molecular structure cannot be strictly derived from quantum mechanics. Two or more compounds which share a molecular formula, but which differ with respect to their structures, have identical Hamiltonian operators within the quantum mechanical formalism. As a consequence, the properties of all such isomers yield precisely the (...) same calculated quantities such as their energies, dipole moments etc. The only means through which the difference between the isomers can be recovered is to build their structures into the quantum mechanical calculations, something that is carried out by the application of the Born-Oppenheimer approximation. Consequently, it has been argued by many authors that molecular structure is written in ‘by hand’ rather than derived. Robin Hendry is one such author, but he goes a great deal further by proposing that this situation implies the existence of emergence and downward causation. In the current article I argue that there are alternative explanations which render emergence and downward causation redundant. Such an alternative lies in the notion of quantum decoherence and the appeal to work in the foundations of physics, which posits that the various isomers exist as a superposition until their wavefunctions are collapsed either by observation or by interacting with their environment. Hendry also alludes to a debate among chemists as to whether chemical bonds are real or not, in the sense of directional connections between two or more nuclei in any given molecule. I reject this view and propose that the structural and energetic views of chemical bonding, that have been discussed by some philosophers of chemistry including Hendry, do not refer to any essential ontological differences. I agree that chemists view bonding in a more realistic fashion and may consider bonds to be in some senses real, while physicists may consider bonding in more abstract energetic terms. However, I do not believe that such differences in scientific practice and attitudes should be considered to offer a window as to the ontological status of bonding or whether bonding is real. Finally, I discuss the kinetic energy school of chemical bonding which would seem to challenge any notion of bonds as directional entities, since bonding is no longer regarded as being primarily due to the build-up of electron density between nuclei. (shrink)

Daoism and Environmental Philosophy explores ethics and the philosophy of nature in the Daodejing, the Zhuangzi, and related texts to elucidate their potential significance in our contemporary environmental crisis. This book traces early Daoist depictions of practices of embodied emptying and forgetting and communicative strategies of undoing the fixations of words, things, and the embodied self. These are aspects of an ethics of embracing plainness and simplicity, nourishing the asymmetrically differentiated yet shared elemental body of life of the myriad things, (...) and being responsively attuned in encountering and responding to things. These critical and transformative dimensions of early Daoism provide exemplary models and insights for cultivating a more expansive ecological ethos, environmental culture of nature, and progressive political ecology. This work will be of interest to students and scholars interested in philosophy, environmental ethics and philosophy, religious studies, and intellectual history. (shrink)

One of the deepest and longest-lasting debates in ethics concerns a version of the Euthyphro question: are choiceworthy things choiceworthy because agents have certain attitudes toward them or are they choiceworthy independent of any agents’ attitudes? Reasons internalists, such as Bernard Williams, Michael Smith, Mark Schroeder, Sharon Street, Kate Manne, Julia Markovits, and David Sobel answer in the first way. They think that all of an agent’s normative reasons for action are grounded in facts about that agent’s pro-attitudes (e.g., her (...) desires, valuing states, normative judgments). According to the most popular brand of internalism, idealizing internalism, an agent’s reasons are grounded, not in her actual pro-attitudes, but rather in what her pro-attitudes would be in suitably idealized conditions. Idealizing internalists presuppose that, for any agent with an irrational set of attitudes, there is one uniquely rational set that that agent would have if she were to undergo the relevant idealizing process. I argue that this assumption is false and that it raises two puzzles for idealizing internalism: one about the existence of practical reasons and another about their normative weight. I argue that idealizing internalists have an adequate solution to the first puzzle but not the second. Indeed, when they try to solve the second puzzle, they confront a dilemma. This second puzzle and the associated dilemma thus constitutes a powerful, but so far unnoticed, difficulty for idealizing internalism. (shrink)

In this wide-ranging and authoritative volume, leading scholars engage with the philosophy and writings of Wilhelm Dilthey, a key figure in nineteenth-century thought. Their chapters cover his innovative philosophical strategies and explore how they can be understood in relation to their historical situation, as well as presenting incisive interpretations of Dilthey's arguments, including their development, their content, and their influence on later thought. A key focus is on how Dilthey's work remains relevant to current debates around art and literature, the (...) biographical and autobiographical self, knowledge, language, science, culture, history, society, and psychology and the embodied mind. The volume will be important for researchers in hermeneutics, aesthetics, practical philosophy, and the history of German philosophy, providing a valuable introduction to Dilthey's work as well as detailed critical analysis of its ongoing significance. (shrink)

Philosophy and Phenomenological Research, EarlyView.

It is widely held that every person is a person essentially, where being a person is having special mental properties such as intelligence and self-consciousness. It follows that nothing can acquire or lose these properties. The paper argues that this rules out all familiar psychological-continuity views of personal identity over time. It also faces grave difficulties in accounting for the mental powers of human beings who are not intelligent and self-conscious, such as foetuses and those with dementia.

This chapter explores Nagel’s polemics. It shows these have a two-fold character: (i) to defend liberal civilization against all kinds of enemies. And (ii) to defend what he calls ‘contextual naturalism.’ And the chapter shows that (i-ii) reinforce each other and undermine alternative political and philosophical programs. The chapter’s argument responds to an influential argument by George Reisch that Nagel’s professional stance represents a kind of disciplinary retreat from politics. In order to respond to Reisch the relationship between Nagel’s philosophy (...) of science and his politics is explored and this chapter shows how both are anchored in what Nagel once called his ‘contextual naturalism’—a metaphysics that resists imposing the unity of the world and treats all entities as embedded in a wider network of entities. Part of the argument traces out how Nagel’s views on responsible speech and professionalism reflect a distinct understanding of the political role of philosophers of science. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

The Standard View of personal identity says that someone who exists now can exist at another time only if there is continuity of her mental contents or capacities. But no person is psychologically continuous with a fetus, for a fetus, at least early in its career. has no mental features at all. So the Standard View entails that no person was ever a fetus---contrary to the popular assumption that an unthinking fetus is a potential person. It is also mysterious what (...) does ordinarily happen to a human fetus, if it does not come to be a person. Although an extremely complex variant of the Standard View may allow one to persist without psychological continuity before one becomes a person but not afterwards, a far simpler solution is to accept a radically non-psychological account of our identity. (shrink)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of in (...) each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (shrink)

Plato's dialogues use several terms for the concept of well-being, which concept plays a central ethical role as the ultimate goal for action and a central political role as the proper aim for states. But the dialogues also reveal sharp debate about what human well-being is. I argue that they endorse a Socratic conception of well-being as virtuous activity, by considering and rejecting several alternatives, including an ordinary conception that lists a variety of goods, a Protagorean conception that identifies one's (...) well-being with what appears one to be one's well-being, and hedonistic conceptions. (shrink)

There are many alleged problems with trusting another person’s moral testimony, perhaps the most prominent of which is that it fails to deliver moral understanding. Without moral understanding, one cannot do the right thing for the right reason, and so acting on trusted moral testimony lacks moral worth. This chapter, however, argues that moral advice differs from moral testimony, differs from it in a way that enables a defender of moral advice to parry this worry about moral worth. The basic (...) idea is that an advisor and an advisee can together constitute a joint agent, and that this joint agent’s action can indeed have moral worth. So while the advisee himself might not do the right thing for the right reason (this because all alone he lacks the right reason), and while the advisor herself might not do the right thing for the right reason (this because all alone she does not do the right thing), they together do the right for the right reason. (shrink)

Les noms sous-spécifiés, qui peuvent apparaitre dans une construction spécificationnelle, de la forme Leur ambition a été d’innover, sont par ailleurs souvent des prédicats régissant des arguments, dans une phrase élémentaire de la forme Ils ont eu l’ambition d’innover, où Nss est le prédicat accompagné d’un verbe support et de ses arguments N0 et N1. Nous avons étudié des noms entrant à la fois dans les deux constructions et avec le même sens, et trouvé trois cas de figure. Avec des (...) noms tels que ambition, et ont presque le même sens. Dans d’autres entrées, telles que souvenir et preuve, les deux constructions ne sont pas équivalentes : l’attribut phrastique de est absent de, tandis que l’argument N1 de peut apparaitre comme complément de nom du Nss sujet dans, et spécifie souvent le thème du propos contenu dans l’attribut phrastique de. Enfin, d’autres noms tels que embarras ne sont pas des Nss typiques car l’attribut phrastique de y joue un rôle causal ; il n’a pas le même contenu que N1. Ainsi, dans les types souvenir/preuve et embarras, est à analyser comme une combinaison de plusieurs phrases élémentaires. (shrink)

What did Heidegger learn and fail to learn from Laozi and Zhuangzi? This book reconstructs Heidegger's philosophy through its engagement with Daoist and Asian philosophy and offers a Daoist transformation of Heidegger on things, nothingness, and freedom.

Aristotle's treatment of the choice between the political and contemplative lives (in EN I 5 and X 7-8) can seem awkward. To offer one explanation of this, I argue that when he invokes self-sufficience (autarkeia) as a criterion for this choice, he appeals to two different and incompatible specifications of "lacking nothing." On one specification, suitable to a human being living as a political animal and thus seeking to realize his end as an engaged citizen of a polis, a person (...) lacks nothing by possessing a wide range of goods that directly require other people. On the other, more suitable to a god or a beast, a person lacks nothing by having no need of goods that directly require other people. The ambiguity of this criterion renders the choice between the political and contemplative lives difficult. (shrink)

Philosophy of science and history of science both have a significant relation to science itself; but what is their relation to each other? That question has been a focal point of philosophical and historical work throughout the second half of this century. An analysis and review of the progress made in dealing with this question, and especially that made in philosophy, is the focus of this thesis. Chapter one concerns logical positivist and empiricist approaches to philosophy of science, and the (...) significance of the criticisms levelled at them by analytic epistemologists such as Willard Quine and 'historicist' philosophers, especially Thomas Kuhn. Chapter two details the attempts by Kuhn and Lakatos to integrate these historicist criticisms with historically oriented philosophy of science, in their separate attempts at providing rational explanations of historical developments. Kuhn's latest work seeks to mend fences with philosophy, but his efforts remain too closely tied to the epistemological approaches strongly criticized in his earlier work. Lakatos' treatment of history is much more subtle than most have understood it to be, but the conception of scientific rationality that arises out of it is transformed into an abstract cultural product, more reminiscent of Hegel's geist than of individual human rationality. Chapters three and four discuss the recommendations of Lakatos and Laudan to historians with regard to historiography, and the actual historiographies and philosophy of history of practicing historians and historians of science. The philosophers' contributions indicate little concern for the historians' own methods, materials, and purposes; and the historians' writings present methodologies for history of science that are independent of the normative demarcations of philosophy of science, pace Lakatos and Laudan. Chapter five develops a philosophical position that fosters a more productive engagement between philosophy and history of science, a 'methodological historicism' that embraces the possibility of an important role for social and political factors in a philosophical study of scientific development. The epistemological relativism that might accompany such a historicist position need not be the radical epistemological anarchism of Feyerabend, though it will allow for a significant underdetermination of scientific development by reason nonetheless. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

According to standard late medieval Christian thought, humans in heaven are unable to sin, having been “confirmed” in their goodness; and, nevertheless, are more free than humans are in the present life. The rise of voluntarist conceptions of the will in the late thirteenth century made it increasingly difficult to hold onto both claims. Peter Olivi suggested that the impeccability of the blessed was dependent upon a special activity of God upon their wills and argued that this external constraint upon (...) their wills did not eliminate their freedom. Later voluntarists largely agreed with Olivi in attributing the confirmation of the blessed to be dependent upon God’s activity in some way, but disputed the means by which and the extent to which the wills of those in heaven could be said to retain their freedom. This paper will examine various attempts made to either harmonize these two claims or else to soften the blow of rejecting one of them; among the authors surveyed will be Peter John Olivi, John Duns Scotus, Henry of Harclay, William of Ockham, Walter Chatton, and Margurite Porete. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

Diagrams by Connor Camburn -/- The relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation presents a fascinating interplay of concepts that have significantly influenced various fields, including mathematics, physics, philosophy, and art. This essay explores these relationships by drawing insights from André Weil's "From Metaphysics to Mathematics," Gilles Châtelet's works, and Schmid's discussion on Gnostic Futurism. -/- Axiomatization: Weil and Grothendieck -/- Axiomatization, as discussed in André Weil's "From Metaphysics to Mathematics," represents the transformation of metaphysical concepts into formal (...) mathematical structures. Weil's document highlights the progression from vague metaphysical ideas to concrete mathematical theories. This process is evident in the works of mathematicians like Lagrange and Galois, where initial metaphysical notions eventually crystallized into the formal structures of modern algebra. Similarly, Alexander Grothendieck's work in algebraic geometry involved the creation of an abstract framework that could unify various mathematical concepts, demonstrating the power of axiomatization in providing a foundational structure for complex ideas. -/- Mechanization: Oppenheimer, Watson-Crick, and Von Neumann -/- Mechanization, in the context of scientific development, refers to the application of mechanical principles to solve problems and the automation of processes. Figures like Oppenheimer in physics, Watson and Crick in biology, and Von Neumann in computing and mathematics, represent the pinnacle of mechanization in their respective fields. Their work exemplifies how mechanization has enabled the simplification and automation of complex processes, leading to alienating discoveries such as the atomic bomb, the structure of DNA, and the development of modern computers. -/- Creative Individuation: Gnostic Futurism -/- Eric Schmid's discussion on Gnostic Futurism, as found in his document, offers a perspective on creative individuation. Gnostic Futurism, rooted in Kantian-Hegelian transcendental universalism, represents a departure from conventional realism, emphasizing a transcendental nature and integration of mythopoeia. This movement in art and philosophy underscores the role of creativity and individual expression in transcending traditional forms and norms. It embodies the idea of creative individuation, where individual creativity leads to the formation of new, often revolutionary, artistic and philosophical expressions. -/- Virtual/Physical Individuation: Châtelet's Perspective -/- Gilles Châtelet's works, particularly "Figuring Space: Philosophy, Mathematics, and Physics," delve into the concept of virtual/physical individuation. Châtelet discusses the configuration of space in mathematics and physics, emphasizing the role of diagrams in scientific discovery. This exploration of space, both virtual (as in mathematical abstractions) and physical (as in tangible representations), reflects the process of individuation in both realms. Châtelet's perspective highlights how mathematical and physical representations are not just tools for understanding the world but are also expressions of individual and collective intellectual endeavors. -/- Interconnections and Synthesis -/- The synthesis of these concepts reveals a complex tapestry of intellectual development across disciplines. Axiomatization provides a foundational structure that enables the mechanization of processes, as seen in the works of Oppenheimer, Watson-Crick, and Von Neumann. This mechanization, in turn, paves the way for creative individuation, where individuals can transcend established norms and frameworks, as exemplified in Gnostic Futurism. Finally, the concept of virtual/physical individuation, as explored by Châtelet, represents the culmination of these ideas, where the abstract and the tangible intersect, leading to new forms of understanding and expression. -/- In conclusion, the relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation is a testament to the dynamic and interconnected nature of intellectual progress. From the formal structures of mathematics to the revolutionary changes in art and philosophy, these concepts demonstrate how human thought and creativity continue to evolve, challenging existing paradigms and forging new paths of understanding and expression. (shrink)

This paper offers an explanation for why some parts of philosophy have made no progress. Philosophy has made no progress because it cannot make progress. And it cannot because of the nature of the phenomena philosophy is tasked with explaining—all of it involves consciousness. Here, it will not be argued directly that consciousness is intractable. Rather, it will be shown that a specific version of the problem of consciousness is unsolvable. This version is the Problem of the Subjective and Objective. (...) Then it is argued that the unsolvability of this latter problem is why there are other unsolvable philosophy problems. (shrink)

Two prominent metaphors in Greek and Roman political philosophy are surveyed here, with a view to determining their possible meanings and the plausibility of the claims advanced by those possible meanings.

Aristotle's account of external goods in Nicomachean Ethics I 8-12 is often thought to amend his narrow claim that happiness is virtuous activity. I argue, to the contrary, that on Aristotle's account, external goods are necessary for happiness only because they are necessary for virtuous activity. My case innovates in three main respects: I offer a new map of EN I 8-12; I identify two mechanisms to explain why virtuous activity requires external goods, including a psychological need for external goods; (...) and I show the relevance of Aristotle's distinction between wishing and choosing. On the view I attribute to Aristotle, our capacity to choose virtuously requires, first, that we wish for external goods (because virtue requires the right attitudes of evaluation) and, second, that these wishes are generally fulfilled (because the social consequences and psychological pain of unfulfilled wishes undermine our opportunity to act virtuously and to take pleasure in acting virtuously). I close with discussion of how Aristotelians should defend this approach. (shrink)

Inquiry, Volume 57, Issue 1, Page 55-96, February 2014.

Some key political challenges today, e.g. climate change, are future oriented. The intergenerational setting differs in some notable ways from the intragenerational one, creating obstacles to theorizing about intergenerational justice. One concern is that as the circumstances of justice do not pertain intergenerationally, intergenerational justice is not meaningful. In this paper, I scrutinize this worry by analysing the presentations of the doctrine of the circumstances of justice by David Hume and John Rawls. I argue that we should accept the upshot (...) of their idea, that justice is context sensitive, even if this at first sight seems to invalidate intergenerational justice. On the basis of moral constructivism, I subsequently provide a fresh reading of the doctrine according to which it conveys the idea that justice is the solution to a practical problem. However, as the problem background is evolving, we need to properly characterize the relevant practical problem in order to make ethical theorizing relevant. Contrary to what has been claimed, the circumstances of justice do not then clash with intergenerational justice, but are the necessary presuppositions for its advancement. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.