The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all those needing to annotate data using ontology classes. This paper summarises ENVO’s motivation, (...) content, structure, adoption, and governance approach. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Brought to you by: Crop X editors: Jonathan Alexander Perez, Harmony Smith, Corinne Tendorf, David Turturo, and Derek Rahn Williams. Faculty Advisor: David Turturo; Crop X team included: Chaimae Alehyane, Zachary S. Casey, Suzanna Brinez, Jacob Brown, Elizabeth George, Francisco Javier Muniz Ituarte, Brodey Myers. -/- Credits: Huckabee College of Architecture; Graphic Designers: Studio BLDG (Blossom Liu + Danny Gray); English Editor: Luke Studebaker; Spanish Translator: Jessie Forbes; Printer: Die Keure. Cover Photo: Derek Williams. -/- Generously supported by (...) the Graham Foundation for Advanced Studies in the Fine Arts and the Huckabee College of Architecture, Texas Tech University. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

When Adam Smith published his celebrated writings on economics and moral philosophy he famously referred to the operation of an invisible hand. Adam Smith's Political Philosophy makes visible the invisible hand by examining its significance in Smith's political philosophy and relating it to similar concepts used by other philosophers, revealing a distinctive approach to social theory that stresses the significance of the unintended consequences of human action. This book introduces greater conceptual clarity to the discussion of the (...) invisible hand and the related concept of unintended order in the work of Smith and in political theory more generally. By examining the application of spontaneous order ideas in the work of Smith, Hume, Hayek and Popper, Adam Smith's Political Philosophy traces similarities in approach and from these builds a conceptual, composite model of an invisible hand argument. While setting out a clear model of the idea of spontaneous order the book also builds the case for using the idea of spontaneous order as an explanatory social theory, with chapters on its application in the fields of science, moral philosophy, law and government. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

Gilles Deleuze was one of the most influential philosophers of the twentieth-century, and Smith is widely recognized to be one of his most penetrating interpreters, as well as an important philosophical voice in his own right. Combining his most important pieces over the last fifteen years along with two new essays, this book is Smith 's definitive treatise on Deleuze. The essays are divided into four sections, which cover Deleuze's use of the history of philosophy, an overview of (...) his philosophical system, an analysis of several Deleuzian concepts, as well as an assessment of his position within contemporary philosophy. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

Recently two distinct forms of rule-utilitarianism have been introduced that differ on how to measure the consequences of rules. Brad Hooker advocates fixed-rate rule-utilitarianism, while Michael Ridge advocates variable-rate rule-utilitarianism. I argue that both of these are inferior to a new proposal, optimum-rate rule-utilitarianism. According to optimum-rate rule-utilitarianism, an ideal code is the code whose optimum acceptance level is no lower than that of any alternative code. I then argue that all three forms of rule-utilitarianism fall prey to two fatal (...) problems that leave us without any viable form of rule-utilitarianism. (shrink)

This paper was presented as the keynote address at the 2005 Philosophy Graduate Student Conference at the University of Memphis on “Limitations of Subjectivity.”.

The “Treatise on Nomadology: The War Machine" is one of the most important and innovative chapters in Gilles Deleuze and Felix Guattari's book, A Thousand Plateaus. It is a highly original text in political philosophy whose implications have yet to be fully mined—or even partially mined, for that matter. This short text analyzes the "noumenal" status that Deleuze assigns to the nomadic war machine, and analyzes the fundamental role that the nomadology plays in Deleuze and Guattari's political philosophy.

This paper addresses the question of what organisms are and therefore what kinds of biological entities qualify as organisms. For some time now, the concept of organismality has been eclipsed by the notion of individuality. Biological individuals are those systems that are units of selection. I develop a conception of organismality that does not rely on evolutionary considerations, but instead draws on development and ecology. On this account, organismality and individuality can come apart. Organisms, in my view, are as Godfrey- (...) class='Hi'>Smith puts it “essentially persisters.” I argue that persistence is underpinned by differentiation, integration, development, and the constitutive embeddedness of organisms in their worlds. I examine two marginal cases, the Portuguese Man O’ War and the honey bee colony, and show that both count as organisms in light of my analysis. Next, I examine the case of holobionts, hosts plus their microsymbionts, and argue that they can be counted as organisms even though they may not be biological individuals. Finally, I consider the question of whether other, less tightly integrated biological systems might also be treated as organisms. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Many of the items that humans consume are produced in ways that involve serious harms to persons. Familiar examples include the harms involved in the extraction and trade of conflict minerals (e.g. coltan, diamonds), the acquisition and import of non- fair trade produce (e.g. coffee, chocolate, bananas, rice), and the manufacture of goods in sweatshops (e.g. clothing, sporting equipment). In addition, consumption of certain goods (significantly fossil fuels and the products of the agricultural industry) involves harm to the environment, to (...) future persons, and to current persons in low-lying and developing countries, by way of their impacts on climate change. When it comes to such large-scale harms, it's easy for the individual to feel helpless. Even if she sincerely wishes things were otherwise, she may wonder what she could possibly do to make them so. In this paper I briefly explore several promising avenues for generating duties in individuals to consume ethically, and develop one in particular: that an individual ought to signal her commitments to others, as a first step in collectivizing to act against unjust global labour practices. (shrink)

In a recent paper, Björn Lundgren and H. Orri Stefánsson (forthcoming) present three objections to normic de minimis expected utility theory (NDEUT) – a decision theoretic framework defended in Smith (2024). In this paper, I respond to these objections and outline some possible ways in which NDEUT might be modified or further developed. Like any de minimis framework, NDEUT employs a risk threshold to sort possibilities into those that must be considered when making a decision, and those that can (...) be legitimately ignored – the so-called ‘de minimis risks’. While this threshold would usually take the form of a probability value, in NDEUT the de minimis risks are identified instead on the basis of their abnormality. In the first section I will set up some of the formalism used in NDEUT and consider Lundgren and Stefánsson’s first objection – which is essentially formal in nature. In the second section I will delve further into the interpretation of NDEUT and consider the second and third objections, which turn on particular examples. (shrink)

Most theorists working on moral obligations to refugees conceive of western states as innocent bystanders with duties to aid refugees if they can do so at little cost to themselves. This paper challenges this dominant theoretical framing of global displacement by highlighting for the first time certain practices of western states in response to refugee flows such as border violence, detention, encampment and containment which may make us question whether states who engage in such practices are indeed innocent. This paper (...) provides the first normative analysis of these practices by seeking to classify them as either doing or allowing harm and invoking the fundamental moral imperative central to core common moral commitments - not to harm innocent people - to suggest that certain western states are not merely failing to aid refugees and allowing harm to come to them, but are instead responding to their calls for aid by harming them. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

In 1976, Jo Freeman wrote an article for Ms. Magazine, entitled ‘Trashing: The Dark Side of Sisterhood’. It provoked an outpouring of letters from women relating their own experiences of trashing during the course of the second wave feminist movement—more letters than Ms. had received about any previous article. Since then, the technology has improved but the climate among feminists has not; trashing is now conducted on social media platforms like Twitter and Facebook, in front of ever-larger audiences and with (...) the magnified opportunities for destruction that these new platforms bring with them. Women already experience disproportionate harassment on social media; many feel trashing by other feminists to be much harder to accept. It’s one thing for people to hate feminists; resistance from those for whom a social justice movement represents a threat is par for the course. But it’s something else for feminists to hate each other. These are people with shared goals and a common enemy. What are the psychological mechanisms underlying this fact of life for feminist activists? Various explanations might be offered, from internalised misogyny, through volatility caused by histories of oppression, through envy and competitiveness, through ideological purity policing. Which are correct? Is the hatred that motivates trashing within feminism the same in quality and quantity, or different, from the affective dynamics inside other social movements? How does tribalism between warring feminist factions contribute to these dynamics, and to what extent is trashing underwritten by laudable moral goals (such as anti-elitism and anti-hierarchy) even when it goes too far or misfires? Can a liberation movement be successful without ideological purity policing, or is there a tension between achieving social justice outcomes and facilitating a healthy amount of disagreement and constructive criticism within a group? In this paper I’ll focus on potential explanations of the phenomena of trashing, including tribalism, power grabs, and purity policing; and the moral commitments that might lead feminists to trash each other. (shrink)

Many jurisdictions prohibit or severely restrict the use of evidence about a defendant’s character to prove legal culpability. Situationists, who argue that conduct is largely determined by situational features rather than by character, can easily defend this prohibition. According to situationism, character evidence is misleading or paltry. -/- Proscriptions on character evidence seem harder to justify, however, on virtue ethical accounts. It appears that excluding character evidence either denies the centrality of character for explaining conduct—the situationist position—or omits probative evidence. (...) Situationism is, after all, presented as antithetical to virtue ethics. -/- This essay provides a virtue ethical defense of character evidence exclusion rules. We show that existing virtue ethical rebuttals to situationism themselves support prohibitions on character evidence; even if behavior arises from stable character traits, character evidence should be prohibited. In building our case, we provide a taxonomy of kinds of character judgment and reconcile the ubiquity and reasonableness of character judgments in ordinary life with the epistemic legitimacy of character evidence prohibitions in law. (shrink)

White progressives in the U.S. are currently experiencing two profound reckonings that typically are assumed to be unrelated. On the one hand, the Dobbs verdict overturned the assumption that the right to choose with respect to abortion is too socially entrenched, juridically settled, or politically sacred to be denied. On the other hand, climatological conditions of possibility for comfortable existence are increasingly under threat in locales in which residents have come to expect to enjoy secure lives and livelihoods. This essay (...) highlights what Indigenous communities across the U.S. already know well. Namely, threats to reproductive freedom and climate crisis are neither new nor separable. Both phenomena have common colonial roots that continue to proliferate. Each is a result of the disruption and destruction of Indigenous kinship assemblages. Indeed, in aiming to remediate their current reckonings, white progressives routinely (if unthinkingly) support forms of settler state violence that perpetuate reproductive and climate injustice in Indigenous communities. We appeal to white progressives, notably including white feminists, to embrace the proposition that their reckonings cannot be properly understood, nor successfully addressed without prioritizing Indigenous futurity. We call for centering forms of Indigenous feminist praxis that facilitate robust Indigenous coalitions of anti-colonial resistance. (shrink)

The politics of climate change is marked by the fact that countries are dragging their heels in doing what they ought to do; namely, creating a binding global treaty, and fulfilling the duties assigned to each of them under it. Many different agents are culpable in this failure. But we can imagine a stylised version of the climate change case, in which no agents are culpable: if the bad effects of climate change were triggered only by crossing a particular threshold, (...) and it was reasonably, but mistakenly, believed by each country that insufficiently many other countries were willing to cooperate in order for that threshold to remain uncrossed, no country would be required to make a unilateral contribution. Yet even without culpability, we can diagnose a moral ill: the world has gone other than it should have. If not for the mistaken beliefs, there would have been a global climate treaty, and all the avoidance of future suffering that would come with it. In this article I argue that this moral ill has implications for the non-culpable agents, in that it generates duties to disgorge actual holdings over and above the counterpart holdings in the relevant counterfactual: those holdings the agents would have had, were the world to have gone as it should. (shrink)

In her ‘On the apparent paradox of ideal theory’, Laura Valentini combines three supposedly plausible premises to derive the paradoxical result that ideal theory is both unable to, and indispensable for, guiding action. Her strategy is to undermine one of the three premises by arguing that there are good and bad kinds of ideal theory, and only the bad kinds are vulnerable to the strongest version of their opponents’ attack. By undermining one of the three premises she releases ideal theorists (...) from the paradox, which is as follows. (1) Any sound theory of justice is action-guiding. (2) Any sound theory of justice is ideal. (3) Any ideal theory fails to be action-guiding. Here I shall respond to Valentini in two ways. First, I shall show that both (1) and (2) are false. The falsity of either is sufficient to release ideal theorists from the paradox. Second, I shall show that Valentini’s response to (3) can be extended, because her bad kinds of ideal theory do not necessarily fail to guide action. The cumulative effect of my arguments further strengthens Valentini’s support of ideal theory. I will deal with premises (1) and (2) in Sections I and II, and (3) in Section III. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, (...) because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

This article argues that our attention is pervasively biased by embodied affects and that we are normatively assessable in light of this. From a contemporary perspective, normative theorizing about attention is a relatively new trend (Siegel 2017: Ch. 9, Irving 2019, Bommarito 2018: Ch. 5). However, Buddhist philosophy has provided us with a well-spring of normatively rich theorizing about attention from its inception. This article will address how norms of attention are dealt with in Buddhaghosa’s (5th-6th CE) claims about how (...) wholesome forms of empathy can go wrong. Through this analysis, I will show that Buddhist philosophers like Buddhaghosa think there is an existential norm of attention, one that commands us not just to pay attention to ourselves and the world properly, but one whereby we are exhorted to attend to ourselves in a way that gradually transforms our cognitive-emotional constitution so that we become liberated from suffering. (shrink)

‘Intersectionality’ is one of the rare pieces of academic jargon to make it out of the university and into the mainstream. The message is clear and well-known: your feminism had better be intersectional. But what exactly does this mean? This paper is partly an exercise in conceptual clarification, distinguishing at least six distinct types of claim found across the literature on intersectionality, and digging further into the most philosophically complex of these claims—namely the metaphysical and explanatory. It’s also partly a (...) reply to Sara Bernstein, who argued recently that the best interpretation of the metaphysical claim is explanatory priority. We’ll argue that duly clarified, it’s far from obvious that feminism had better be intersectional. At the very least, it had better not be only intersectional. (shrink)

Journal of Social Philosophy, EarlyView.

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in many influential (...) ontologies, illustrating our results by reference to examples drawn from the domain of the life sciences. (shrink)

Elon Musk famously predicted that an artificial intelligence superior to the smartest individual human would arrive by the year 2025. In response, Gary Marcus offered Musk a $1 million bet to the effect that he would be proved wrong. In specifying the conditions of this bet (which Musk did not take) Marcus lists the following ‘tasks that ordinary people can perform’ which, he claimed, AI will not be able to perform by the end of 2025. • Reliably drive a car (...) in a novel location that they haven’t previously encountered, even in the face of unusual circumstances like hand lettered signs, without the assistance of other humans. • Learn to ride a mountain bike off-road through forest trails. • Babysit children in an unfamiliar home and keep them safe. • Tend to the physical and psychological needs of an elderly or infirm person. Each of these tasks involves the application of practical or tacit knowledge, or what is also called ‘knowing how’, which is to say knowledge of a sort that is captured not by means of sentences or propositions or explicit rules, but rather through the expertise demonstrated in human actions. The talk addresses the puzzle that nowhere in the AI literature do we find a discussion of knowing how as a feature of human intelligence. (shrink)

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time is not the distinction between objective ‘clock (...) time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what (...) might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

Since ancient times, legal systems have held owners responsible for harm caused by their property. Across 4 experiments, we show that children aged 3–7 also hold owners responsible for such harm. Older children judge that owners should repair harm caused by property, and younger children may do this as well. Younger and older children judge that owners should apologize for harm, even when children do not believe the owners allowed the harm to occur. Children are also as likely to hold (...) owners responsible for harm caused by property as for harm caused by the owners themselves. The present findings contribute to psychological accounts of ownership by showing that ownership not only confers rights to control property, but also responsibility for harm caused by property. The findings also contribute to our understanding of the attribution of responsibility, and challenge accounts claiming that directly causing harm, or allowing it to happen, is a prerequisite for responsibility. The findings provide support for an account claiming that property is an extension of its owner, and likewise reveal that responsibility for harm caused by property is an early developing aspect of the psychology of ownership. 2018 APA, all rights reserved). (shrink)

Autobiography of Barry Smith; emphasizes the role of Dummett and Husserl, Austrian philosophy and economics, and the Munich-Göttingen-Kraków school of realist phenomenology.

Does ?ought? imply ?can? for collectives' obligations? In this paper I want to establish two things. The first, what a collective obligation means for members of the collective. The second, how collective ability can be ascertained. I argue that there are four general kinds of obligation, which devolve from collectives to members in different ways, and I give an account of the distribution of obligation from collectives to members for each of these kinds. One implication of understanding collective obligation and (...) ability in the proposed way is that a group can be blameworthy for failing to realize its obligation even when no member of the group is blameworthy for failing to realize her obligation. (shrink)