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.

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (shrink)

ABSTRACT We have previously argued that there are forms of greenhouse gas offsetting for which, when one emits and offsets, one imposes no risk. Orri Stefansson objects that our argument fails to distinguish properly between the people who stand to be harmed by one’s emissions and the people who stand to be benefited by one’s offsetting. We reply by emphasizing the difference between acting with a probability of making a difference to the distribution of harm and acting in a way (...) that worsen’s someone’s prospect. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between (...) types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity. (shrink)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (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.

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.

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (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)

We argue that a modified version of Mill’s method of agreement can strongly confirm causal generalizations. This mode of causal inference implicates the explanatory virtues of mechanism, analogy, consilience, and simplicity, and we identify it as a species of Inference to the Best Explanation (IBE). Since rational causal inference provides normative guidance, IBE is not a heuristic for Bayesian rationality. We give it an objective Bayesian formalization, one that has no need of principles of indifference and yields responses to the (...) Voltaire objection, van Fraassen’s Bad Lot objection, and John Norton’s recent objection to IBE. (shrink)

For as long as there have been markets, there have been complaints about market motives. For much of this history, the two sides have talked past one another. Optimists about markets have mostly addressed other optimists, and failed to take seriously the kinds of relational values that might be at stake and the range of possible alternatives to market-based production. Pessimists about markets have mostly addressed other pessimists, and failed to take seriously the full range of market-involving economic structures and (...) the different kinds of psychologies compatible with market interactions. Recently, there has been a break-through, on behalf of the optimists. According to the model of exchange as mutual assistance, an exchange can be perceived as a joint activity for mutual benefit - and needn't involve self-directed motives at all. This essay pushes back, on behalf of the market pessimists. The essay develops a contrast between exchange as mutual assistance and an ideal of production as caring solidarity, in which production is a joint activity of caring about one another. This alternative ideal draws on Marxist, socialist, feminist, and Christian traditions, and, in particular, on recent work on care, solidarity, and alienation. These two models – exchange as mutual assistance and production as caring solidarity – share key features, including an emphasis on reasoning from a ‘we-perspective’, on trusting one another, and on resisting a familiar self/other motivational dichotomy. Key differences are developed in detail. The essay concludes by discussing the implications for an economics of caring solidarity, with discussion of the limitations of various market socialist strategies. (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)

Our aim in this brief essay is not to defend a particular policy or attitude toward lockdown measures in the United States or elsewhere, but to consider the scope and limits of different types of arguments that can be offered for them. Understanding the complexity of these issues will, we hope, go some way to helping us understand each other and our attitudes toward state responses to the pandemic.

The concept of alienation has been used to capture a specific kind of social ill or malady, and one that philosophers have argued is distinctive of life in modern society. I argue that there is a properly epistemic form of alienation present in modern society that arises due to a conflict between the dynamics of group knowledge and traditional requirements on the intellectual virtue of individuals. As group-based knowledge becomes increasingly widespread in modern society, the conflict with virtue becomes more (...) pervasive, and the virtuous become alienated from fundamental epistemic goods. The aim of this paper is to examine this conflict and to highlight that the ‘social turn’ in epistemology is not free from costs. (shrink)

Abstract The values of the healthcare sector are fairly ubiquitous across the globe, focusing on caring and respect, patient health, excellence in care delivery, and multi-stakeholder collaboration. Many individual pharmacists embrace these core values. But their ability to honor these values is significantly determined by the nature of the system they work in. -/- The paper starts with a model of the prevailing pharmacist workforce model in Scotland, in which core roles are predominantly separated into hierarchically disaggregated jobs focused on (...) one professional ‘pillar’: Clinician /Practice Provider; Educator; Leader/Manager; and Researcher. This is the ‘Atomistic’ Model. This skills-segregation yields a workforce of individuals working in isolation rather than collaborating together, and lacking a shared information flow, purpose and identity. Key strategic flaws include suboptimal responsiveness to population and subpopulation needs, inconsistency and inequity of care, an erosion of professional agency, and lower job satisfaction. It is conjectured that this results from a lack of congruence between values, professional ethos, and organizational structure. ‘Atomism’ culminates in a syndrome of widespread professional-level cognitive dissonance. -/- The paper contrasts this with a new emerging workforce vision, The Collaborative Care Model. This new model defines a systems-first-approach, built on the principle that all jobs must include all four professional ‘pillars’. Vertical skills integration, involving education and task sharing, will support sustainability and succession planning. Horizontal skills integration (across practice, leadership and research) is included to improve responsiveness to population need and individual professional agency. The working conditions, supportive ethos, and career structure needed to make the model work are described. Moral theory and workforce theory are used to justify why the model may be more effective for population health, delivering greater job satisfaction for individuals and ultimately helping systematically realize and honor healthcare values. Finally, the paper sketches the first steps needed to implement the model at the national level, starting with the operationalization of new multi-pillar professional curricula across the career spectrum. Potential pitfalls and challenges are also discussed. -/- Co-Authors: 1. Paul Forsyth (PF) Lead Pharmacist Clinical Cardiology, Pharmacy, NHS Greater Glasgow & Clyde. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Writing - original draft (lead author), Writing - review & editing (lead author) 2. Andrew Radley (AR), Consultant in Public Health Pharmacy, NHS Tayside. Contribution: Conceptualization; Model curation; Model Theory; Writing - review & editing 3. Gordon Rushworth (GR), MPharm MSc FFRPS FRPharmS (Consultant). Programme Director, Highland Pharmacy Education & Research Centre, NHS Highland, Inverness. Contribution: Model curation; Writing - review & editing 4. Fiona Marra (FM) National Lead Clinician Scottish Infection and Immunology Network (SPAIIN) / Advanced Pharmacist HCV / HIV, NHS Greater Glasgow & Clyde. Contribution: Model curation; Writing - review & editing 5. Susan Roberts (SR) Associate Postgraduate Pharmacy Dean, NHS Education for Scotland. Contribution: Model curation; Writing - review & editing 6. Roisin O’Hare (RO) Lead Teacher Practitioner Pharmacist, Northern Ireland University Network, Southern Health and Social Care Trust. Contribution: Model curation; Writing - review & editing 7. Catherine Duggan (CD) Chief Executive Officer, International Pharmaceutical Federation (FIP). Contribution: Model curation; Writing - review & editing 8. Barry Maguire (BM) Senior Lecturer, School of Philosophy, Psychology and Life Sciences, The University of Edinburgh. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Supervision; Writing - original draft (senior academic supervisor), Writing - review & editing (senior academic supervisor) -/- . (shrink)

Some moral theorists argue that innocent beneficiaries of wrongdoing may have special remedial duties to address the hardships suffered by the victims of the wrongdoing. These arguments generally aim to simply motivate the idea that being a beneficiary can provide an independent ground for charging agents with remedial duties to the victims of wrongdoing. Consequently, they have neglected contexts in which it is implausible to charge beneficiaries with remedial duties to the victims of wrongdoing, thereby failing to explore the limits (...) of the benefiting relation in detail. Our aim in this article is to identify a criterion to distinguish contexts in which innocent beneficiaries plausibly bear remedial duties to the victims of wrongdoing from those in which they do not. We argue that innocent beneficiaries incur special duties to the victims of wrongdoing if and only if receiving and retaining the benefits sustains wrongful harm. We develop this criterion by identifying and explicating two general modes of sustaining wrongful harm. We also show that our criterion offers a general explanation for why some innocent beneficiaries incur a special duty to the victims of wrongdoing while others do not. By sustaining wrongful harm, beneficiaries-with-duties contribute to wrongful harm, and we ordinarily have relatively stringent moral requirements against contributing to wrongful harm. On our account, innocently benefiting from wrongdoing _per se_ does not generate duties to the victims of wrongdoing. Rather, beneficiaries acquire such duties because their receipt and retention of the benefits of wrongdoing contribute to the persistence of the wrongful harm suffered by the victim. We conclude by showing that our proposed criterion also illuminates why there can be reasonable disagreement about whether beneficiaries have a duty to victims in some social contexts. (shrink)

Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to the (...) project of developing an alternative to Darwinism, which he did in three additional volumes, and these are the works canvassed in this “delayed book review.”. (shrink)

Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...) project, to better understand what are the challenges and priorities to focus on in this context. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday cognition, (...) in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (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)

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (shrink)

In our book, Why Machines Will Never Rule the World, Jobst Landgrebe and I argue that we can engineer machines that can emulate the behaviours only of simple systems, which means: only of those systems whose behaviour we can predict mathematically. The human brain is an example of a complex system, and thus its behaviour cannot be emulated by a machine. We use this argument to debunk the claims of those who believe that large language models are poised to achieve (...) a level of intelligence that will equal or even surpass that of the human brain. The essay was published under the title "Why Machines Will Never Rule the World". (shrink)

This paper is in two parts. Part 1 examines the phenomenon of making space as a process involving one or other kind of legal decision-making, for example when a state authority authorizes the creation of a new highway along a certain route or the creation of a new park in a certain location. In cases such as this a new abstract spatial entity comes into existence – the route, the area set aside for the park – followed only later by (...) concordant changes in physical reality. In Part 2 we show that features identified in studying this phenomenon of legal spacemaking can be detected in other spheres of human activity, for example in planning (where spacemaking is projected into the future), and in reasoning about history (where spacemaking is projected back through time). We shall see that these features display themselves in especially complex ways in our everyday use of language, and we conclude by examining the implications of this complexity for attempts to create an artificial intelligence that would enjoy a mastery of language that would be equivalent to that of human beings. (shrink)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. The (...) nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

In this essay, we explore an issue of moral uncertainty: what we are permitted to do when we are unsure about which moral principles are correct. We develop a novel approach to this issue that incorporates important insights from previous work on moral uncertainty, while avoiding some of the difficulties that beset existing alternative approaches. Our approach is based on evaluating and choosing between option sets rather than particular conduct options. We show how our approach is particularly well-suited to address (...) this issue of moral uncertainty with respect to agents that have credence in moral theories that are not fully consequentialist. (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)

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.

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)

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)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

Ontology: Tool for Broad Spectrum Knowledge Integration (Foreword to Chinese translation of Building Ontologies with Basic Formal Ontology).

Credentials play an important role in all modern societies, but the analysis of their nature and function has thus far been neglected by social philosophers. We present a view according to which the function of credentials is certify the identity and the institutional status (including the rights) of individuals. More importantly, credentials enable rights-holders to exercise their rights, so that for a particular right to be exercisable the right-holder should possess, carry and sometimes show to an authority (or QR code (...) scanner) a document of a specific kind. Driving licenses, identity cards, passports, boarding passes, library passes, credit cards, ATM cards, health insurance cards are all examples of credentials in this sense. Credentials have in every case a bearer, and the bearer should be able to carry them easily on his or her person. Credentials should also be inspectable – not least because credentials can be forged. The authors analyse several historical and contemporary examples of credentials, focusing on the credentials carried by the pilgrims of the Way of Saint James. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

The list which follows is intended as a comprehensive bibliographical survey of the wider Gestalt tradition from Graz and Berlin to Padua, Frankfurt and New York. It presents diagrammatically the main influence and teacher-pupil relationships also groupings into schools. It includes the classical texts of the Gestalt psychological tradition, together with the more important translations and reprints thereof. Special attention is paid to works on the following topics: - the concept of Prägnanz or `good form' and related treatments of aesthetic (...) phenomena and of pattern recognition - cognitive processes and problem-solving - criticisms of Gestalt theoru - phenomenal causation - figure-ground relations , phenomenaI boundaries, subjective contours - phenomenal motion - perceptual constancies - philosophical inquiries into the nature of `configuration'. `relation', `structure', etc . , and writing on psychological holism (but only insofar as they relate directly to the literature of Gestalt psychology proper). (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

Climate change and other harmful large-scale processes challenge our understandings of individual responsibility. People throughout the world suffer harms—severe shortfalls in health, civic status, or standard of living relative to the vital needs of human beings—as a result of physical processes to which many people appear to contribute. Climate change, polluted air and water, and the erosion of grasslands, for example, occur because a great many people emit carbon and pollutants, build excessively, enable their flocks to overgraze, or otherwise stress (...) the environment. If a much smaller number of people engaged in these types of conduct, the harms in question would not occur, or would be substantially lessened. However, the conduct of any particular person (and, in the case of climate change, of even quite large numbers of people) could make no apparent difference to their occurrence. My carbon emissions (and quite possibly the carbon emissions of much larger groups of people dispersed throughout the world) may not make a difference to what happens to anyone. When the conduct of some agent does not make any apparent difference to the occurrence of harm, but this conduct is of a type that brings about harm because many people engage in it, we can call this agent an overdeterminer of that harm, and their conduct overdetermining conduct. In this essay we explore the moral status of overdetermining harm. (shrink)

Many students struggle to enter moral debates in a productive way because they automatically think of moral claims as ‘just opinions’ and not something one could productively argue about. Underlying this response are various versions of a muddled distinction between ‘facts’ and ‘opinions.’ This paper outlines a way to help students overcome their use of this distinction, thereby clearing an obstacle to true moral debate. It explains why the fact-opinion distinction should simply be scrapped, rather than merely sharpened. It then (...) proposes a different distinction well suited to replace it. Finally, it outlines an activity which can be used to teach the new distinction, as well as a number of benefits to attempting the whole replacement process. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

We can illustrate the phenomenon of model-induced escape by examining the phenomenon of spam filters. Spam filter A is, we can assume, very effective at blocking spam. Indeed it is so effective that it motivates the authors of spam to invent new types of spam that will beat the filters of spam filter A. -/- An example of this phenomenon in the realm of philosophy is illustrated in the work of Nyíri on Wittgenstein's political beliefs. Nyíri writes a paper demonstrating (...) convincingly that there are strong signals of a conservative strain of thought in the writings of Wittgenstein. This has initially a tiny effect; but then a more significant effect sets in as the authors of Wittgenstein secondary literature, consciously or unconsciously, draw attention to features of Wittgenstein which cast the conservatism thesis in a negative light. This is an example of what I call model-induced escape: the Nyíri model of Wittgenstein initiates a process which undermines the Nyíri model of Wittgenstein. -/- Wittgenstein, as obiectum philosophiae, is reduced to a constantly mutating set of interpretations of a certain body of work. -/- Perhaps this is what makes philosophy so problematic when viewed from the perspective of results, or in other words of signs of progress commonly accepted across the discipline. There are just too many ways of inducing escape from any given putative discovery; too many dimensions along which an interpretative or definitional arms race can be triggered. (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)

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)

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)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal (...) evidence from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (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)

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its (...) primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not. (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)