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)

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)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (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)

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)

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)

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)

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.

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)

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 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”.

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)

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)

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)

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)

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

Social metaphysics is a source of important philosophical and moral insight. Furthermore, much social metaphysics appears to be substantive. However, some have recently argued that standard views of metaphysics cannot accommodate substantive social metaphysics. In this paper I offer a new diagnosis of this problem and defend a new solution, showing that this problem is an illuminating lens through which to examine the nature and boundaries of metaphysics. This case instantiates a broad, common pattern generated by attempts to align distinctions (...) between realism and anti-realism, mind-independence and mind-dependence, and legitimate and non-legitimate inquiry. I show that the best response is to abandon the association between substantive metaphysics and mind-independence, and I sketch a new definition of substantivity, given in terms of explanatory power, that makes room for substantive social metaphysics while also offering an attractive basis for general metaphysics. (shrink)

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)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The (...) axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (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.

In “On Drawing Lines on a Map” (1995), I suggested that the different ways we have of drawing lines on maps open up a new perspective on ontology, resting on a distinction between two sorts of boundaries: fiat and bona fide. “Fiat” means, roughly: human-demarcation-induced. “Bona fide” means, again roughly: a boundary constituted by some real physical discontinuity. I presented a general typology of boundaries based on this opposition and showed how it generates a corresponding typology of the different sorts (...) of objects which boundaries determine or demarcate. In this paper, I describe how the theory of fiat boundaries has evolved since 1995, how it has been applied in areas such as property law and political geography, and how it is being used in contemporary work in formal and applied ontology, especially within the framework of Basic Formal Ontology. (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)

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)

The initial foundations to the notion that Cometan's grandparents, Irene Mary Taylor and Derrick Taylor, should be recognised for their life as laypeople in the Roman Catholic Church first emerged in January 2020 and October 2021 respectively. Irene Mary was well known for her devotion to Catholicism among her family and acquaintances, yet Cometan saw in her icon and life events an opportunity to reinvigorate Catholic fervour in England and abroad. In his own endeavour as a religious figure (...) and philosopher as the founder of Astronism, Cometan had made it clear that his paternal grandmother had played a large role in his religious life from infancy and so Irene Mary's Cause for Beatification was the culmination of this destined religious figureship. The Beatification Story of Irene Mary Taylor holds the responsibility of presenting Irene Mary for the recognition in the Roman Catholic Church in whichever capacity the Church deems suitable. The book explores the major remembered life events of Irene Mary Taylor, relates them to Catholic doctrine, and systematises them to form Irenianism, Irene Mary's eponymous Catholic system of thought. (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)

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)

Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the sorts (...) which are studied by the mathematical sciences. How, as hunter-gatherer ontologists, are we to bring order into this vast array? How are we to gauge the ontological merits of given candidate entities, and how are we to understand their relation to entities of more humdrum sorts? Meinong, it turns out, offers a very simple answer to all of these questions. (shrink)

It is unlikely that when my the grandfather of Cometan, Derrick Taylor, sat down to participate in an interview with his good friend Judith Shean now almost thirty years ago that all those years later his grandson would have written a book analysing that very interview. On 22nd February 1995, Derrick Taylor agreed to participate in an interview at his home 222 Longmeanygate to reveal his experience as a Protestant turned Catholic. During the interview, Derrick Taylor provided (...) a realistic view of what his life had been like detailing loss, tragedy and suffering. By contrast, he also detailed his predisposition for experiencing interior locutions – divine communications to the ear – which filled him with great elation in times of spiritual crisis. This interview was titled Light a Candle for Me as based on Derrick Taylor's very first interaction with the Sacred Heart of Jesus when he was just seven years old in which he asked his friend's mother to light a candle for him as a metaphor for his journey to Catholicism. What we ultimately learn of Derrick Taylor's character in this 1995 interview is that he held such a dedication to the Catholic faith that he found it difficult to reconcile the fact that the world and the Church were changing. In this interview, which is now often titled the Sceptre Bulletin Interview, Derrick Taylor tells us in his own words what he thought of the reforms of the Second Vatican Council. This book, the Catholic Conversion, is an exegetical work written by Derrick's grandson Cometan some 27 years later that develops his grandfather's words into a set of theological concepts that come to form Derrick Taylor's definitive approach to Catholicism. (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)

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)

Aesthetic non-inferentialism is the widely-held thesis that aesthetic judgements either are identical to, or are made on the basis of, sensory states like perceptual experience and emotion. It is sometimes objected to on the basis that testimony is a legitimate source of such judgements. Less often is the view challenged on the grounds that one’s inferences can be a source of aesthetic judgements. This paper aims to do precisely that. According to the theory defended here, aesthetic judgements may be unreasoned, (...) insofar as they are immediate judgements made on the basis of, and acquiring their justification from, causally prior sensory states. Yet they may also be reasoned, insofar as they may be the outputs of certain inferences. Crucially, a token aesthetic judgement may be unreasoned and reasoned, simultaneously. A key reason for allowing inference a serious role in aesthetic judgements emerges from reflection upon the nature of aesthetic expertise. (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)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

Material things have material (spatial) parts. Acts, events, occurrences, have phases, which we can view as their temporal parts. Spatial surfaces and volumes, stretches of time, they all have parts again; they can all be considered "extended". Entities, on the other hand, such as directions, numbers, temperatures, colors, tones, fictional characters, prices, numbers, values, ideologies, goals, are all unextended; they are partless. Let us call such non-extended objects “nodes”, in order to express the fact that we have a tendency to (...) grasp them as pure correlates of our thinking, often at the same time viewing them effectively as placeholders within systems of coordinates in various intellectual and social domains. My aim, here, is to clarify this rough idea of “node” for the purpose of providing a corresponding clarification of Ingarden's idea of a purely intentional object. I first consider purely intentional objects in general, and then focus in particular on fictional examples. (shrink)

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

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)

This paper applies the ontological framework developed by Roman Ingarden in his Controversy over the Existence of the World to the domain of mathematics, concluding with some remarks on parallels between the mode of existence of mathematical entities on the one hand and of values on the other.

The discipline of ontology has enjoyed a checkered history since 1606, with a significant expansion in recent years. We focus here on those developments in the recent history of philosophy which are most relevant to the understanding of the increased acceptance of ontology, and especially of realist ontology, as a valuable method also outside the discipline of philosophy.

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)

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)

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)

This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. The paper provides a detailed (...) overview of ontology services and concludes with a discussion of some implications of the product-service system approach for the understanding of the nature of applied ontology. Ontology developer communities are compared in this respect with developers of scientific theories and of standards (such as W3C). For each of these we can ask: what kinds of products do they develop and what kinds of services do they provide for the users of these products? (shrink)

Recent develops in AI technology have led to increasingly sophisticated forms of video manipulation. One such form has been the advent of deepfakes. Deepfakes are AI-generated videos that typically depict people doing and saying things they never did. In this paper, I demonstrate that there is a close structural relationship between deepfakes and more traditional fake barn cases in epistemology. Specifically, I argue that deepfakes generate an analogous degree of epistemic risk to that which is found in traditional cases. Given (...) that barn cases have posed a long-standing challenge for virtue-theoretic accounts of knowledge, I consider whether a similar challenge extends to deepfakes. In doing so, I consider how Duncan Pritchard’s recent anti-risk virtue epistemology meets the challenge. While Pritchard’s account avoids problems in traditional barn cases, I claim that it leads to local scepticism about knowledge from online videos in the case of deepfakes. I end by considering how two alternative virtue-theoretic approaches might vindicate our epistemic dependence on videos in an increasingly digital world. (shrink)