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)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

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)

The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...) sort which allows a resolution of certain Zeno-style paradoxes. The theory proves to be applicable not only in the cognitive science field but also in regard to problems relating to the ontology of geographical and geopolitical boundaries. (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.

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)

This is the third draft of a paper that aims to clarify the apparent contradictions in the views presented in certain standards and other specifications of health informatics systems, contradictions which come to light when the latter are evaluated from the perspective of realist philosophy. One of the origins of this document was Klein’s discussion paper of 2005-07-02 entitled “Conceptology vs Reality” and the responses from Smith, as well as the several hours of discussions during the 2005 MIE meeting (...) in Geneva. (shrink)

When governments collect data relating to economic activity they commonly employ a distinction between goods and services. Both goods and services have economic value. Goods (cars, houses, bottles of milk) are, very roughly, independent continuants which can be alienated (sold, gifted, rented, and so forth). Services (hairdressing, gardening, teaching) are, again very roughly, occurrents. They are occurrents which are further often said to be marked by the fact that production and consumption coincide. Social services under both headings typically involve combinations (...) of service provision. The patterns in question are primarily those of the family (where the patterns to be maintained or restored are, roughly, those characteristic of a healthy family life) and of the child (patterns characteristic of healthy development, provided by child protective services, who work to prevent child abuse). (shrink)

Climate change appears to be a classic aggregation problem, in which billions of individuals perform actions none of which seem to be morally wrong taken in isolation, and yet which combine to drive the global concentration of greenhouse gases (GHGs) ever higher toward environmental (and humanitarian) catastrophe. When an individual can choose between actions that will emit differing amounts of GHGs―such as to choose a vegan rather than carnivorous meal, to ride a bike to work rather than drive a car, (...) or to take a reusable bag to the supermarket rather than send another plastic bag to landfill―does she have any reason to choose the lower-emitting actions? In this chapter I'll reject the claim that individuals don't make a difference when it comes to climate change. I first discuss making a difference with every action, as a way of getting clearer about how individuals' actions impact causally on the harms resulting from climate change, making a distinction so far overlooked in the climate ethics discussion between 'macro' thresholds like ice-cap melt, and 'micro' thresholds like severe weather events. I set aside making a difference with every action as implausible, and then move on to discuss both low probability of major difference, and high probability of minor difference. I argue that both of these are plausible characterizations of individuals' causal contributions to climate change. I conclude by noting some policy implications of having (probabilistic) individual difference-making back in play. (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.

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)

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)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, (...) including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).

The fact that there is such a thing as a degree of formedness [Gestaltung], that every Gestalt has a certain Gestalt level, is of fundamental significance. A rose is a Gestalt of higher level than a heap of sand: this we recognize just as immediately as that red is a fuller, more lively colour than grey. The higher Gestalten are distinguished further from the lower by the fact that the product of unity and multiplicity [Einheit und Mannigfaltigkeit] is in their (...) case greater. (shrink)

What should we do when we won't do as we ought? Suppose it ought to be that the procrastinating professor accept the task of reviewing a book, and actually review the book. It seems clear that given he won't review it, he ought not to accept the task. That is a genuine moral obligation in light of less than perfect circumstances. I want to entertain the possibility that a set of such obligations form something like a 'practical morality'; that which (...) we ought to do given that we're unlikely or unwilling to do much of what ideal morality demands. If it is possible to give a coherent account of these kinds of obligations, then it is possible to entertain the idea that these obligations are in fact what morality demands. The conceptual truths about justice (good, right, fairness) that come from ideals are one thing; the actions that morality demands of people given their actual circumstances are quite another. In this paper I will ask about the kinds of facts that can be used to establish a more circumscribed set of obligations than we get from the orthodox view about moral obligation. (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)

From a radical feminist perspective, gender is a cage. Or to be more precise, it’s two cages. If genders are cages, then surely we want to let people out. Being less constrained in our choices is something we all have reason to want: theorists in recent years have emphasized the importance of the capability to do and be many different things. At the very least, we should want an end to sex-based oppression. But what does this entail, when it comes (...) to gender? In this paper, I’ll compare four ‘transitional pathways’, with a view to considering how each relates to the ultimate end of ending sex-based oppression. Should we open the doors to the cages, so that people can move freely between them, but leave the cages themselves in place?. Should we add more cages?. Should we make the cages bigger, so that people have a lot more room to move around inside them? Or should we dismantle the cages, so there are no more genders at all?. Some of these options are ‘gender revisionist’, others are gender abolitionist. I’ll argue in favour of a gender abolitionist pathway. (shrink)

L'articolo usa la teoria delle parti, del tutto e dei contomi per elaborare alcune relazioni cruciali tra la «psicologia ecologica» di J.J. Gibson e la fenomenologia di Husserl. Presenta, inoltre, una teoria ontologica dei contomi spaziali e delle entita spazialmente estese, applicandola al cam po visivo, qui concepito come un' entita spazialmente estesa dipendente dal soggetto che percepisce. Su questa base e possibile formulare un nuovo tipo di definizione teoretico-correspondentista della verita per gli enunciati del linguaggio naturale.

To enhance the treatment of relations in biomedical ontologies we advance a methodology for providing consistent and unambiguous formal definitions of the relational expressions used in such ontologies in a way designed to assist developers and users in avoiding errors in coding and annotation. The resulting Relation Ontology can promote interoperability of ontologies and support new types of automated reasoning about the spatial and temporal dimensions of biological and medical phenomena.

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

This short paper seeks to throw light on the sense in which the prior knowledge used by AlphaFold is to be understood in ontological terms. The paper is a comment on the 2022 ICBO presentation by Jobst Landgrebe entitled “What AlphaFold teaches us about deep learning with prior knowledge”.

Is the state a collective agent? Are citizens responsible for what their states do? If not citizens, then who, if anyone, is responsible for what the state does? Many different sub-disciplines of philosophy are relevant for answering these questions. We need to know what “the state” is, who or what it's composed of, and what relation the parts stand in to the whole. Once we know what it is, we need to know whether that thing is an agent, in particular (...) a moral agent capable of taking moral responsibility for its actions. We have to know what it takes for it to be capable of moral responsibility, e.g., what the functional equivalents in groups are of knowledge, intention, foreseeability, recklessness, and so on. And once we've established that it is an agent, and is responsible for what it does, we have to explain whether and in what way this implicates members, i.e., whether state responsibility distributes to the members of states, whoever they may be. Answers to these questions come from metaphysics, social ontology, action theory, epistemology, political theory, and ethics. In what follows, we'll give an outline of some different ways of answering these questions. (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)

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)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the salivaomics (...) domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

The International Classification of Functioning, Disability and Health provides a classification of human bodily functions, which, while exhibiting non-conformance to many formal ontological principles, provides an insight into which basic functions such a classification should include. Its evaluation is an important first step towards such an adequate ontology of this domain. Presented at the 13th Annual North American WHO Collaborating Center Conference on the ICF, 2007.

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (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)

In this text I would like to show two things. Firstly, that the so-called “timelessness” of the Freudian unconscious can be elucidated through an interpretation of the concept of Nachträglichkeit, and showing thereby that there is indeed a temporality specific to the workings of the unconscious. Freud’s analysis of early psychic trauma related to sexual phenomena pointed to a serious complication for all believers in the immediate transparency of consciousness. For the “wound” itself was constituted over time, and the possibility (...) of coming to understand the trauma (thereby achieving a certain freedom from its repercussions) was again only possible after the event had passed. The Nachträglichkeit involved in the psychoanalytical understanding of sexual trauma thus hinges on a threefold temporal process at work in subjective life. Secondly, I wish to show that Husserl, in his analyses of time and intersubjectivity, delivered the materials with which a phenomenological clarification of Nachträglichkeit can be given. Since Nachträglichkeit is essentially tied to the structure of repression (and thus the very constitution of the unconscious), what I am suggesting is a prolegomenon to a phenomenological clarification of Freudian repression. This clearly suggests the need for further investigations into the phenomenology of sexual life. (shrink)

There is an inherent phenomenological tendency in British moral theory, especially from John Locke onward. The purpose of his Essay was, he said, to consider the discerning faculties of a man, as they are employed about the objects which they have to do with. This is language that might serve well in a general description of the work of Husserl and other phenomenologists.

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

This is a revised version of the introductory essay in C. Eschenbach, C. Habel and B. Smith (eds.), Topological Foundations of Cognitive Science, Hamburg: Graduiertenkolleg Kognitionswissenschaft, 1994, the text of a talk delivered at the First International Summer Institute in Cognitive Science in Buffalo in July 1994.

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)

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)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (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 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)

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (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)

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)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...) paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

While there has been significant discussion in the health sciences and ethics literatures about problems associated with publication practices (e.g., ghost- and gift-authorship, conflicts of interest), there has been relatively little practical guidance developed to help researchers determine how they should fairly allocate credit for multi-authored publications. Fair allocation of credit requires that participating authors be acknowledged for their contribution and responsibilities, but it is not obvious what contributions should warrant authorship, nor who should be responsible for the quality and (...) content of the scientific research findings presented in a publication. In this paper, we review arguments presented in the ethics and health science literatures, and the policies or guidelines proposed by learned societies and journals, in order to explore the link between author contribution and responsibility in multi-author multidisciplinary health science publications. We then critically examine the various procedures used in the field to help researchers fairly allocate authorship. (shrink)

Imagine yourself standing on the edge of a canyon, marveling at the terrain below, wondering about all the sights currently obscured from your view, and lamenting that you just don’t have time to commit to the steep descent in and long trek across, which would give you a perspective from right up close. Being handed Juha Räikkä’s new book Social Justice in Practice is like being told there’s a flying fox you can take: the canyon is applied political theory, and (...) the flying fox allows the reader to see many different issues, at some speed, and always with the wider context in view. Tuck your loose items of clothing away in your bags, and hop on.The book is loosely organized into six sections, with twelve chapters overall. The first two sections (“Theory and Practice” and “Action and Uncertainty”) introduce readers to the issues around the methodology of contemporary political theory, from whether the arguments of political theory should be more sensitive to what is feasible, through the. (shrink)

Certain states in the Global North have responded to refugees seeking safety on their territories through harmful practices of border violence, detention, encampment and containment that serve to prevent and deter refugee arrivals. These practices are ostensibly justified through an appeal to a right to control borders. This paper therefore assesses whether these harmful practices can indeed be morally justified by a state’s right to control borders. It analyses whether Christopher Heath Wellman’s account of a state’s right to freedom of (...) association, which represents the most restrictive account of a state’s right to control borders available in the literature, can extend to justify current harmful practices against refugees. If not, then no available justification will be able to do so, and thus contemporary harmful practices used against refugees cannot be justified by a state’s right to control borders. (shrink)