One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive (...) subjects and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (shrink)

Much recent work on the intellectual background of Austrian economics reveals an unfortunate lack of awareness of the distinct nature of the Austrian contribution to philosophy, from which the Austrian economists drew many of their ideas. The present essay offers a sketch of this contribution, contrasting Austrian philosophy especially with the modes of philosophy dominant in Germany. This makes it possible to throw new light on the relations on Mises, Kant and the Vienna circle, and it allows us also (...) to establish the extent to which Austrian economics might properly be seen as being allied to the German hermeneutic tradition of Dilthey, Gadamer, et al. The essay concludes with a criticism of the hermeneutic relativism recently canvassed by some Austrian economists, concentrating especially on the work of Don Lavoie, whose writing are treated as symptomatic of a wider and somewhat regrettable trend. (shrink)

Adam Smith sought to explain the persistence of slavery as an institution in Wealth of Nations and Lectures on Jurispridence. In order to accomplish this he also drew on arguments he had developed in the Theory of Moral Sentiments. The result was a sophisticated explanation which bridged economic, psychological, and moral considerations. After presenting Smith’s explanation I will consider a discussion of the moral wrong of slavery in Ottobah Cugoano, the author of the incisive criticism of the (...) slave trade Thoughts and Sentiments on the Evil of Slavery (1787). I will suggest that Cugoano’s account of what is morally wrong in slavery shows an important lacuna in Smith‘s views. (shrink)

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

Why is it that some instances of disagreement appear to be so intractable? And what is the appropriate way to handle such disagreements, especially concerning matters about which there are important practical and political needs for us to come to a consensus? In this paper, I consider an explanation of the apparent intractability of deep disagreement offered by hinge epistemology. According to this explanation, at least some deep disagreements are rationally unresolvable because they concern ‘hinge’ commitments that are unresponsive to (...) rational considerations. This explanation, if correct, seems to have troubling implications for how we should respond to deep disagreement. If my position on a topic is not responsive to rational considerations, then what choice have I but to dogmatically hold to that position, and simply dismiss the views of those with whom I disagree? I address this problem by identifying an attitude of intellectual humility that is appropriate to have towards one's hinge commitments, and suggest that this attitude provides the basis for a non-rational, constructive way to resolve deep disagreement. (shrink)

Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (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)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to plant science, (...) with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

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

The option of being ‘spiritual but not religious’ deserves much more philosophical attention. That is the aim here, taking the work of Robert Solomon as a starting point, with focus on the particular issues around viewing life as gift. This requires analysis of ‘existential gratitude’ to show that there can be gratitude for things without gratitude to someone for providing things, and also closer attention to the role that metaphor plays in cognition. I consider two main concerns with gift and (...) gratitude thinking, that the nonreligious justification is too instrumentalist in its approach and that viewing life as gift, whether in a religious or nonreligious way, is simply too optimistic. (shrink)

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

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

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

Introduction and translation of “The Four Phases of Philosophy” by Franz Brentano.

Background: Ontologies and taxonomies are among the most important computational resources for molecular biology and bioinformatics. A series of recent papers has shown that the Gene Ontology (GO), the most prominent taxonomic resource in these fields, is marked by flaws of certain characteristic types, which flow from a failure to address basic ontological principles. As yet, no methods have been proposed which would allow ontology curators to pinpoint flawed terms or definitions in ontologies in a systematic way. Results: We present (...) computational methods that automatically identify terms and definitions which are defined in a circular or unintelligible way. We further demonstrate the potential of these methods by applying them to isolate a subset of 6001 problematic GO terms. By automatically aligning GO with other ontologies and taxonomies we were able to propose alternative synonyms and definitions for some of these problematic terms. This allows us to demonstrate that these other resources do not contain definitions superior to those supplied by GO. Conclusion: Our methods provide reliable indications of the quality of terms and definitions in ontologies and taxonomies. Further, they are well suited to assist ontology curators in drawing their attention to those terms that are ill-defined. We have further shown the limitations of ontology mapping and alignment in assisting ontology curators in rectifying problems, thus pointing to the need for manual curation. (shrink)

The claim has often been made that passing the Turing Test would not be sufficient to prove that a computer program was intelligent because a trivial program could do it, namely, the “Humongous-Table (HT) Program”, which simply looks up in a table what to say next. This claim is examined in detail. Three ground rules are argued for: (1) That the HT program must be exhaustive, and not be based on some vaguely imagined set of tricks. (2) That the HT (...) program must not be created by some set of sentient beings enacting responses to all possible inputs. (3) That in the current state of cognitive science it must be an open possibility that a computational model of the human mind will be developed that accounts for at least its nonphenomenological properties. Given ground rule 3, the HT program could simply be an “optimized” version of some computational model of a mind, created via the automatic application of program-transformation rules [thus satisfying ground rule 2]. Therefore, whatever mental states one would be willing to impute to an ordinary computational model of the human psyche one should be willing to grant to the optimized version as well. Hence no one could dismiss out of hand the possibility that the HT program was intelligent. This conclusion is important because the Humongous-Table Program Argument is the only argument ever marshalled against the sufficiency of the Turing Test, if we exclude arguments that cognitive science is simply not possible. (shrink)

The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabidopsis, the scope of the PO has been expanded (...) to include all green plants. The PO was the first multi-species anatomy ontology developed for the annotation of genes and phenotypes. Also, to our knowledge, it was one of the first biological ontologies that provides translations (via synonyms) in non-English languages such as Japanese and Spanish. There are about 2.2 million annotations linking PO terms to over 110,000 unique data objects representing genes or gene models, proteins, RNAs, germplasm and Quantitative Traits Loci (QTLs) from 22 plant species. In this paper, we focus on the plant anatomical entity branch of the PO, describing the organizing principles, resources available to users, and examples of how the PO is integrated into other plant genomics databases and web portals. We also provide two examples of comparative analyses, demonstrating how the ontology structure and PO-annotated data can be used to discover the patterns of expression of the LEAFY (LFY) and terpene synthase (TPS) gene homologs. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

Epistemic permissivism is the view that it is possible for two people to rationally hold incompatible attitudes toward some proposition on the basis of one body of evidence. In this paper, I defend a particular version of permissivism – unacknowledged permissivism (UP) – which says that permissivism is true, but that no one can ever rationally believe that she is in a permissive case. I show that counter to what virtually all authors who have discussed UP claim, UP is an (...) attractive view: it is compatible with the intuitive motivations for permissivism and avoids a significant challenge to permissivism: the arbitrariness objection. (shrink)

Research on research ethics—regarding both the governance and practice of the ethical review of human subjects research—has a tumultuous history in North America and Europe. Much of the academic literature focuses on issues to do with regulating the conduct and quality of ethics review of research protocols by ethics committees (research ethics boards (REBs) in Canada and institutional review boards (IRBs) in the United States). In addition, some of the literature attends to issues particular to the review of qualitative research, (...) and still other literature addresses the challenges posed by and the need for research on REBs/IRBs. It is this third group of literature within which our article is situated. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force Research Laboratory (...) (Rome) with the goal of addressing problems of these sorts through cyclical collaborative plan review and maintenance. The interactions of world state, blue force status and associated plans are too complex for manual adaptive processes, and computer-aided plan review and maintenance is thus indispensable. We argue that appropriate semantic technology can 1) provide richer representation of plan-related data and semantics, 2) allow for flexible, non-disruptive, agile, scalable, and coordinated changes in plans, and 3) support more intelligent analytical querying of plan-related data. (shrink)

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

This paper explores how hinge epistemology might fruitfully be applied not only to the problem of radical skepticism, but also to certain domain specific skepticisms, and in particular, moral skepticism. The paper explains the idea of a domain specific skepticism, and how domain specific skepticisms contrast with radical skepticism. I argue that a domain specific skeptical problem can be resolved in just the same way as radical skepticism, if there are hinge commitments within that domain. I then suggest that there (...) are hinge commitments in the moral domain, and use this to address a moral skeptical problem due to our apparent inability to know moral nihilism to be false. (shrink)

Tumors, abscesses, cysts, scars, fractures are familiar types of what we shall call pathological continuant entities. The instances of such types exist always in or on anatomical structures, which thereby become transformed into pathological anatomical structures of corresponding types: a fractured tibia, a blistered thumb, a carcinomatous colon. In previous work on biomedical ontologies we showed how the provision of formal definitions for relations such as is_a, part_of and transformation_of can facilitate the integration of such ontologies in ways which have (...) the potential to support new kinds of automated reasoning. We here extend this approach to the treatment of pathologies, focusing especially on those pathological continuant entities which arise when organs become affected by carcinomas. (shrink)

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of individual ontologies, (...) performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney (...) and skin. (shrink)

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

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

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. My (...) argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

The paper introduces the concepts at the heart of point-set-topology and of mereotopology (topology founded in the non-atomistic theory of parts and wholes) in an informal and intuitive fashion. It will then seek to demonstrate how mereotopological ideas can be of particular utility in cognitive science applications. The prehistory of such applications (in the work of Husserl, the Gestaltists, of Kurt Lewin and of J. J. Gibson) will be sketched, together with an indication of the field of possibilities in linguistics, (...) perceptual psychology, cate¬gorization and geographic information systems. Topological structures will be shown to play a central role in studies of naive physics not least in virtue of the fact that even well-attested departures from true physics on the part of common sense leave the topology and vectorial orientation of the underlying physical phenomena invariant: our common sense would thus seem to have a veridical grasp of the topology and broad general orientation of physical phenomena, both static and dynamic, even where it illegitimately modifies the relevant shape and metric properties. The implications of this and related insights for the methodology of psychology will be explored. (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)

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 this paper I investigate whether there are any cases in which it is rational for a person to hold inconsistent beliefs and, if there are, just what implications this might have for the theory of epistemic justification. A number of issues will crop up along the way – including the relation between justification and rationality, the nature of defeat, the possibility of epistemic dilemmas, the importance of positive epistemic duties, and the distinction between transitional and terminal attitudes.

Goffman’s (1959) dramaturgical identity theory requires modification when theorising about presentations of self on social media. This chapter contributes to these efforts, refining a conception of digital identities by differentiating them from ‘corporatised identities’. Armed with this new distinction, I ultimately argue that social media platforms’ production of corporatised identities undermines their users’ autonomy and digital well-being. This follows from the disentanglement of several commonly conflated concepts. Firstly, I distinguish two kinds of presentation of self that I collectively refer to (...) as ‘expressions of digital identity’. These digital performances (boyd 2007) and digital artefacts (Hogan 2010) are distinct, but often confused. Secondly, I contend this confusion results in the subsequent conflation of corporatised identities – poor approximations of actual digital identities, inferred and extrapolated by algorithms from individuals’ expressions of digital identity – with digital identities proper. Finally, and to demonstrate the normative implications of these clarifications, I utilise MacKenzie’s (2014, 2019) interpretation of relational autonomy to propose that designing social media sites around the production of corporatised identities, at the expense of encouraging genuine performances of digital identities, has undermined multiple dimensions of this vital liberal value. In particular, the pluralistic range of authentic preferences that should structure flourishing human lives are being flattened and replaced by commercial, consumerist preferences. For these reasons, amongst others, I contend that digital identities should once again come to drive individuals’ actions on social media sites. Only upon doing so can individuals’ autonomy, and control over their digital identities, be rendered compatible with social media. (shrink)

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (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.

In this paper I defend an eudaimonistic reading of Spinoza’s ethical philosophy. Eudaimonism refers to the mainstream ethical tradition of the ancient Greeks, which considers happiness a naturalistic, stable, and exclusively intrinsic good. Within this tradition, we can also draw a distinction between weak eudaimonists and strong eudaimonists. Weak eudaimonists do not ground their ethical conceptions of happiness in complete theories of metaphysics, epistemology, or psychology. Strong eudaimonists, conversely, build their conceptions of happiness around an overall philosophical system that extends (...) far beyond ethics, while nevertheless being directed at the promotion of a happy life. I will show that Spinozistic happiness is not only naturalistic, stable, and exclusively intrinsically good, but that Spinoza is also a strong eudaimonist because his ethical account of happiness is incomprehensible without appeal to metaphysical, epistemological, and psychological doctrines. As well, I will explain how the apparent subjective and relativistic features of Spinoza’s ethics do not undermine the eudaimonistic reading, because both Spinoza and the ancient eudaimonists grant that the beliefs/feelings of the subject play a necessary (but insufficient) role in happiness as the highest good. (shrink)

Williamson's influential anti-luminosity argument aims to show that our own mental states are not “luminous,” and that we are thus “cognitively homeless.” Among other things, this argument represents a significant challenge to the idea that we enjoy basic self-knowledge of our own occurrent mental states. In this paper, I summarize Williamson's anti-luminosity argument, and discuss the role that the notion of “epistemic basis” plays in it. I argue that the anti-luminosity argument relies upon a particular version of the basis-relative safety (...) condition on knowledge. This commitment is significant because basic self-knowledge seemingly lacks any kind of distinct epistemic basis, such as inference, observation, testimony, etc., despite representing a genuine kind of knowledge of contingent matters of fact. I consider a disjunctivist account, according to which true basic self-beliefs indeed lack an epistemic basis in any kind of epistemic method, yet are still epistemically grounded in the mental states they concern. I argue that this account of self-knowledge is compatible with standard understandings of the basis relative safety condition on knowledge, but rejects the particular version required by the anti-luminosity argument. (shrink)