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)

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

Students with high motivation to learn English as a second language become efficient language learners and ultimately acquire second language proficiency. However, demotivation in learning English as a second language remains to be a serious challenge. Thus, research-based information is needed to shed light in unravelling the factors of demotivation among second language learners and to guide teachers in putting forward practical solutions to increase students’ motivation in second language learning. This study was conducted to find out the specific factors (...) that hinder students’ desire to learn English as a second language. The researcher used descriptive research design and involved 1,302 students of Palawan State University Cuyo Campus selected through random sampling. Demotivating factors were measured using a modified questionnaire with reliability index of 0.85. Students’ self-confidence, learning content and context, focus of teaching and school facilities are revealed as demotivation to second language learning. The findings of this study may guide English teachers in designing teaching-learning contexts that are interesting and can boost student’s confidence in using English as a second language. It is also beneficial to policymakers and curriculum developers so that necessary policies may be implemented to improve school facilities, teaching strategies, and learning content and context. (shrink)

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) (...) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway. (shrink)

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

Some random processes, like a series of coin flips, can produce outcomes that seem particularly remarkable or striking. This paper explores an epistemic puzzle that arises when thinking about these outcomes and asking what, if anything, we can justifiably believe about them. The puzzle has no obvious solution, and any theory of epistemic justification will need to contend with it sooner or later. The puzzle proves especially useful for bringing out the differences between three prominent theories; the probabilist theory, the (...) normic theory and a theory recently defended by Goodman and Salow. (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 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 concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

The Food and Drug Administration (FDA) recently issued its first approval of an oral contraceptive medication for access without a clinician’s prescription. One might expect this will lead to fewer people seeking to terminate unplanned pregnancies, including in states that imposed severe restrictions on abortion care following the Supreme Court’s reversal on abortion rights in Dobbs v. Jackson Women’s Health Organization. Despite the clear potential health benefits, increased accessibility of oral contraceptives offers no real solution to ongoing threats to patients’ (...) reproductive health and moral rights created by post-Dobbs abortion restrictions. To secure their patients’ reproductive health and well-being, clinicians must work to maximize the benefits of OTC oral contraceptives without relenting in their advocacy for safe and accessible abortion care. (shrink)

The Protein Ontology (PRO) is designed as a formal and principled Open Biomedical Ontologies (OBO) Foundry ontology for proteins. The components of PRO extend from a classification of proteins on the basis of evolutionary relationships at the homeomorphic level to the representation of the multiple protein forms of a gene, including those resulting from alternative splicing, cleavage and/or posttranslational modifications. Focusing specifically on the TGF-beta signaling proteins, we describe the building, curation, usage and dissemination of PRO. PRO provides a framework (...) for the formal representation of protein classes and protein forms in the OBO Foundry. It is designed to enable data retrieval and integration and machine reasoning at the molecular level of proteins, thereby facilitating cross-species comparisons, pathway analysis, disease modeling and the generation of new hypotheses. (shrink)

As health systems around the world turn towards highly distributed, specialized and cooperative structures to increase quality and safety of care as well as efficiency and efficacy of delivery processes, there is a growing need for supporting communication and collaboration of all parties involved with advanced ICT solutions. The Electronic Health Record (EHR) provides the information platform which is maturing towards the eHealth core application. To meet the requirements for sustainable, semantically interoperable, and trustworthy EHR solutions, different standards and different (...) national strategies have been established. The workshop summarizes the requirements for such advanced EHR systems and their underlying architecture, presents different strategies and solutions advocated by corresponding protagonists, discusses pros and cons as well as harmonization and migration strategies for those approaches. It particularly highlights a turn towards ontology-driven architectures. (shrink)

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

Lockheed Martin Corp. has funded research to generate a framework and methodology for developing semantic reasoning applications to support the discipline oflntelligence Analysis. This chapter outlines that framework, discusses how it may be used to advance the information sharing and integrated analytic needs of the Intelligence Community, and suggests a system I software architecture for such applications.

The current informal practice of pharmacometrics as a combination art and science makes it hard to appreciate the role that informatics can and should play in the future of the discipline and to comprehend the gaps that exist because of its absence. The development of pharmacometric informatics has important implications for expediting decision making and for improving the reliability of decisions made in model-based development. We argue that well-defined informatics for pharmacometrics can lead to much needed improvements in the efficiency, (...) effectiveness, and reliability of the pharmacometrics process. The purpose of this paper is to provide a description of the pervasive yet often poorly appreciated role of informatics in improving the process of data assembly, a critical task in the delivery of pharmacometric analysis results. First, we provide a brief description of the pharmacometric analysis process. Second, we describe the business processes required to create analysis-ready data sets for the pharmacometrician. Third, we describe selected informatic elements required to support the pharmacometrics and data assembly processes. Finally, we offer specific suggestions for performing a systematic analysis of existing challenges as an approach to defi ning the next generation of pharmacometric informatics. (shrink)

Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records in (...) such a way that real time conclusions can be drawn. In this paper we describe a large multi-granular datasource built by using ontological principles and focusing on the case of colon carcinoma. (shrink)

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

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...) way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population. (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.

For centuries it has been a mainstay of European and American moral thought that keeping promises—and the allied activity of upholding contracts—is one of the most important requirements of morality. On some historically powerful views the obligation to uphold promises or contracts not only regulates private relationships, but also provides the moral foundation for our duty to support and obey legitimate governments. Some theorists believe that the concept of keeping promises has gradually moved to center stage in European moral thought. (...) They see this movement as part of an historical shift from a moral conception in which an individual’s duties are mainly externally imposed and unalterable, to a conception in which duties are largely chosen by the individual. (shrink)

History has left a territory composed of two municipalitics, whose shape is unique, belonging partly to the Netherlands and partly to Belgium. Earlier both parts belonged to the former Duchy of Brabant, a tenitory that is now split up into the Dutch province of Noord-Brabant (including Baarle-Nassau) and thc Belgian provinces of Antwerp (which includes Baarle-Hertog), Vlaams Brabant, Brussels, and Brabant-Wallon. People are quite comfortable with this situation, even though it raises many complicated and difficult problems that even the most (...) brilliant jurists are puzzled. Baarle-Hertog is called on older Belgian maps Barle-Duc (Hertog = Duke, fr: duc) and must not be confused with the prefectoral town of Bar-le-Duc, Meuse, France. (shrink)

The thesis that an analysis of property rights is essential to an adequate analysis of the state is a mainstay of political philosophy. The contours of the type of government a society has are shaped by the system regulating the property rights prevailing in that society. Views of this sort are widespread. They range from Locke to Nozick and encompass pretty much everything else in between. Defenders of this sort of view accord to property rights supreme importance. A state that (...) does not sufficiently respect property rights is likely to be a totalitarian state, and will also be likely to fail to respect rights of other sorts. (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)

infinite, and offer several arguments in sup port of this thesis. I believe their arguments are unsuccessful and aim to refute six of them in the six sections of the paper. One of my main criticisms concerns their supposition that an infinite series of past events must contain some events separated from the present event by an infinite number of intermediate events, and consequently that from one of these infinitely distant past events the present could never have been reached. I (...) introduce.. (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)

In his book The Sensory Order, Hayek anticipates many of the central ideas behind what we now call the connectionist paradigm, and develops on this basis a theory of the workings of the human mind that extends the thinking of Hume and Mach. He shows that the idea of neural networks is can be applied not only in psychology and neurology but also in the sphere of economics. For the mind, from the perspective of The Sensory Order, is a dynamic, (...) relational affair that is in many respects analogous to a market process. The mind, as Hayek puts it, is a 'continuous stream of impulses, the significance of each and every contribution of which is determined by the place in the pattern of channels through which they flow' , so that the flow of representative neural impulses can be compared 'to a stock of capital being nourished by inputs and giving a continuous stream of outputs'. (shrink)

How, as Caldwell puts it, does one choose between rival systems all of which claim to rest on a priori foundations? On the nonfallibilistic conception it is difficult to make sense even of the possibility of rival systems of this sort. On the conception here defended, in contrast, the existence of such rival systems can be seen to be a perfectly natural and acceptable consequence of the just-mentioned difficulties we will often fact in coming to know even the intelligible traits (...) of reality: one adjudicates between such systems in the same way in which one adjudicates between all rival scientific hypotheses, namely via a complex mixture of empirical and a priori considerations. (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)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

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

The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does not (...) exist. He draws a distinction between genuine mental phenomena and what he calls `phantasy-material', asserting that `the job of the aesthetic object, whether it is a work of art or a product of nature, is to excite and support the actualisation of phantasy-material in the experiencing subject'. We might think of such phantasy-material as a matter of Ersatz-emotions or emotional `slop'. We could then see Witasek's aesthetics as an elaborate taxonomy of the various different sorts of Ersatz-emotions which the subject allows to be stimulated within himself in his intercourse with works of art, and see works of art themselves as machines for the production of ever more subtle varieties of such phantasy-material in the perceiving subject. (shrink)

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

This 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)

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.

This chapter offers a new criticism of the Mind argument that is both decisive and instructive. It introduces a plausible principle (γ) that places a requirement on one’s having a choice about an event whose causal history includes only other events. Depending on γ’s truth-value, the Mind argument fails in such a way that one or the other of the two main species of libertarianism is the best approach to the metaphysics of freedom. Libertarians argue the compatibility of freedom and (...) indeterminism, and their biggest obstacle is the Mind argument that argues an incompatibility between the two. The chapter aims to build a case for the truth of γ, and so for nonreductive libertarianism. This is achieved by defending it from the best objections that have been brought to light, thereby emphasizing γ’s prima facie plausibility. (shrink)

In this paper I will compare two competing accounts of assertion: the knowledge account and the justified belief account. When it comes to the evidence that is typically used to assess accounts of assertion – including the evidence from lottery propositions, the evidence from Moore’s paradoxical propositions and the evidence from conversational patterns – I will argue that the justified belief account has at least as much explanatory power as its rival. I will argue, finally, that a close look at (...) the ways in which assertions can be challenged and retracted reveals a certain advantage for the justified belief account. The paper will touch upon a number of further topics along the way, including the logical interaction between knowledge and justified belief, the nature of defeat, and the hypothesis that knowledge and justified belief are normatively coincident goals. (shrink)

Rindermann et al.’s article concludes that certain refugees may have a lower IQ and as a result may not provide as significant an economic contribution to host states compared to the average citizen, and so may be an economic cost. This commentary first casts doubt on this conclusion. It then, and most importantly, demonstrates that even if this conclusion were true, it would be irrelevant insofar as it would have no moral or legal significance in mitigating or defeating obligations towards (...) refugees. The commentary shows that any normative view that IQ and economic contributions can mitigate or defeat obligations to provide protection has unacceptable implications. The commentary then demonstrates that legal and moral obligations to refugees are in no part contingent on IQ and economic contributions and to suppose otherwise would simply represent a fundamental misunderstanding of the nature, grounds, and weight of obligations towards refugees. Hence, supposed IQ or economic contributions are entirely irrelevant to, and cannot undermine the strength of, refugees’ claims to protection nor states’ obligations to provide it. (shrink)

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

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

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.

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)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

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)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

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)