The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

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

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

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

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

Liberalism, historically, is closely associated with increased toleration, so it is unsurprising that a variety of contemporary authors (Hampton, Kukathas, Barry, Ten) consider toleration to be “the substantive heart of liberalism” (Hampton 1989, 802). The precise role of toleration in liberalism, though, is unclear; different liberals have different views. In this essay, I will discuss three sorts of liberal theories and indicate how they approach questions of toleration, arguing that one of them supports toleration of more sorts of activities (...) (including speech acts and lifestyles) than the others. While I think this is reason to favor that sort of theory, I will not defend that claim. Some reasonably think (and defend the view) that though toleration is of value, its limits should be drawn more narrowly. (shrink)

This critical study aims mainly to do two things: (i) throw some cold water on the claim that supervenience can be used to formulate a doctrine of non-reductive physicalism, and (ii) rebut an argument for physicalism offered (separately) by David Papineau and Barry Loewer. -/- The title alludes to the following lyric from "Mary Poppins", and was intended to hint that there is less to supervenience than meets the eye: -/- It's supercalifragilisticexpialidocious Even though the sound of it is (...) something quite atrocious If you say it loud enough, you'll always sound precocious Supercalifragilisticexpialidocious. (shrink)

This is the first volume of a new series of translations and commentaries on the individual treatises of Plotinus’ Enneads, edited by John Dillon and Andrew Smith. This series is the first of its kind in English, and thus constitutes a major contribution to English language scholarship on Plotinus and late ancient philosophy. Similar to the French series published by Les Éditions du Cerf, this series provides detailed discussions of individual treatises. The present volume consists of an introduction to (...) the series by the editors, and an introduction, translation, and commentary of Ennead IV. 8 by Barrie Fleet. (shrink)

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

Many of those working on moral responsibility assume that "once blameworthy, always blameworthy." They believe that blameworthiness is like diamonds: it is forever. We argue that blameworthiness is not forever; rather, it can diminish through time. We begin by showing that the view that blameworthiness is forever is best understood as the claim that personal identity is sufficient for diachronic blameworthiness. We argue that this view should be rejected because it entails that blameworthiness for past action is completely divorced from (...) the distinctive psychological features of the person at the later time. This is because on none of the leading accounts of personal identity does identity require the preservation of any distinctive psychological features, but merely requires some form of continuity. The claim that blameworthiness is forever should therefore be rejected. We then sketch an account of blameworthiness over time, and consider two objections. (shrink)

The view of nature we adopt in the natural attitude is determined by common sense, without which we could not survive. Classical physics is modelled on this common-sense view of nature, and uses mathematics to formalise our natural understanding of the causes and effects we observe in time and space when we select subsystems of nature for modelling. But in modern physics, we do not go beyond the realm of common sense by augmenting our knowledge of what is going on (...) in nature. Rather, we have measurements that we do not understand, so we know nothing about the ontology of what we measure. We help ourselves by using entities from mathematics, which we fully understand ontologically. But we have no ontology of the reality of modern physics; we have only what we can assert mathematically. In this paper, we describe the ontology of classical and modern physics against this background and show how it relates to the ontology of common sense and of mathematics. (shrink)

Some defenders of so-called `artificial intelligence' believe that machines can understand language. In particular, Søgaard has argued in his "Understanding models understanding language" (2022) for a thesis of this sort. His idea is that (1) where there is semantics there is also understanding and (2) machines are not only capable of what he calls `inferential semantics', but even that they can (with the help of inputs from sensors) `learn' referential semantics. We show that he goes wrong because he pays insufficient (...) attention to the difference between language as used by humans and the sequences of inert symbols which arise when language is stored on hard drives or in books in libraries. (shrink)

I present a puzzle about belief and credence, which takes the form of three independently supported views that are mutually inconsistent. The first is the view that S has a modal belief that p (e.g., S believes that probably-p) if and only if S has a corresponding credence that p. The second is the view that S believes that p only if S has some credence that p. The third is the view that, possibly, S believes that p without a (...) modal belief that p. [Word Count: 85]. (shrink)

In his recent book, Bernecker (Memory, 2010) has attacked the following prominent view: (RK) S remembers that p only if S knows that p. An attack on RK is also an attack on Timothy Williamson’s view that knowledge is the most general factive stative attitude. In this paper, I defend RK against Bernecker’s attacks and also advance new arguments in favor of it. In Sect. 2, I provide some background on memory. In Sect 3, I respond to Bernecker’s attacks on (...) RK and develop a new argument for RK. In Sects. 4 and 5, I develop two more new arguments for RK. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task of ensuring that the right sorts of information gets to the right sorts of people remains. We argue that the many efforts underway to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations. This in turn requires that the management of information and knowledge within healthcare (...) organizations be combined with models of resources and processes of patient care that are based on a general ontology of social interaction. The Health Level 7 (HL7) is one of several ANSI-accredited Standards Developing Organizations operating in the healthcare arena. HL7 has advanced a widely used messaging standard that enables healthcare applications to exchange clinical and administrative data in digital form. HL7 focuses on the interface requirements of the entire healthcare system and not exclusively on the requirements of one area of healthcare such as pharmacy, medical devices, imaging or insurance transactions. This has inspired the development of a powerful abstract model of patient care called the Reference Information Model (RIM). The present paper begins with an overview of the core classes of the HL7 (Version 3) RIM and a brief discussion of its “actcentered” view of healthcare. Central to this account is what is called the life cycle of events. A clinical action may progress from defined, through planned and ordered, to executed. These modalities of an action are represented as the mood of the act. We then outline the basis of an ontology of organizations, starting from the theory of speech Acts, and apply this ontology to the HL7 RIM. Special attention is given to the sorts of preconditions that must be satisfied for the successful performance of a speech act and to the sorts of entities to which speech acts give rise (e.g. obligations, claims, commitments, etc.). Finally we draw conclusions for the efficient communication and management of medical information and knowledge within and between healthcare organizations, paying special attention to the role that medical documents play in such organizations. (shrink)

Intelligent defence support systems are confronted with the need to manage ever-increasing floods of data in a way that raises significant challenges because the data are described and presented using different terminologies and formats. How, on this basis, is it possible to reach a common understanding of the information content of these data among people and software agents? How is it possible to ensure that domain knowledge is reused in consistent fashion in a way that makes this information available for (...) integration and analysis? How can we support the identification, selection, composition, and orchestration of services based on such diverse data providing homogeneous support by a service-oriented architecture? This collection is devoted to the use of ontologies to answer questions such as these. (shrink)

In this paper, I present counterexamples to the evidence thesis, the thesis that S knows that p at t only if S believes that p on the basis of evidence at t. The outline of my paper is as follows. In section 1, I explain the evidence thesis and make clear what a successful counterexample to the evidence thesis will look like. In section 2, I show that instances of non-occurrent knowledge are counterexamples to the evidence thesis. At the end (...) of section 2, I consider the primary thesis of my paper — that the evidence thesis is false — to be successfully defended. In section 3, I consider three variations of the evidence thesis. The first variation restricts the evidence thesis to occurrent knowledge; the second requires for knowledge that one’s belief could be based on evidence; and the third requires for knowledge that the belief was based on evidence at a suitable prior time. The secondary thesis of this paper is that these variations are also subject to serious objections. (shrink)

Pojęcie niszy (otoczenia, kontekstu, siedliska, środowiska) nie cieszy się specjalnym zainteresowaniem ontologów, mimo że ma szerokie zastosowanie w rozmaitych dyscyplinach, od biologii ewolucyjnej po ekonomię. Niniejszy artykuł zawiera pierwszą teorię formalną tego pojęcia — teorię relacji pomiędzy przedmiotami a ich niszami. Teoria ta opiera się na istniejącym dorobku mereologii, topologii i teorii lokalizacji przestrzennej, które są narzędziami ontologii formalnej. Jest ona tutaj ilustrowana głównie za pomocą prostych przykładów z biologii, ale pojęcie niszy należy rozumieć — podobnie jak pojęcia części, granicy (...) i położenia — jako pojęcie strukturalne, znajdujące zastosowanie w obszernym zakresie różnych dziedzin. (shrink)

This paper considers Kant's views on how it can be rational to hope for God's assistance in becoming morally good. If I am fully responsible for making myself good and can make myself good, then my moral condition depends entirely on me. However, if my moral condition depends entirely on me, then it cannot depend on God, and it is therefore impossible for God to provide me with any assistance. But if it is impossible for God to provide me with (...) any assistance, it is irrational for me to hope for such assistance. I address this conundrum by providing an analysis of one necessary condition of rational hope: hope is rational only if the subject is not in a position to be certain that p is really impossible. I then offer several different strategies on which it might be rational to hope that God provides moral assistance, with the most radical of these strategies suggesting that, given our ignorance of the laws of the intelligible world, for all human beings know it is metaphysically possible that God perform a noumenal miracle on their moral character. -/- . (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

In this paper I argue that the enkratic principle in its classic formulation may not be a requirement of rationality. The investigation of whether it is leads to some important methodological insights into the study of rationality. I also consider the possibility that we should consider rational requirements as a subset of a broader category of agential requirements.

This paper shows that strict evidentialism about normative reasons for belief is inconsistent with taking truth to be the source of normative reasons for belief. It does so by showing that there are circumstances in which one can know what truth requires one to believe, yet still lack evidence for the contents of that belief.

In a number of recent publications Thomasson has defended a deflationary approach to ontological disputes, according to which ontological disputes are relatively easy to settle, by either conceptual analysis, or conceptual analysis in conjunction with empirical investigation. Thomasson’s “easy” approach to ontology is intended to derail many prominent ontological disputes. In this paper I present an objection to Thomasson’s approach to ontology. Thomasson’s approach to existence assertions means that she is committed to the view that application conditions associated with any (...) term “K” with non-trivial application conditions must refer to the existence of things other than Ks. Given other components of her meta-ontological scheme, this leads to either an infinite regress or circularity of application conditions, both of which seem objectionable. Accordingly, some part of Thomasson’s meta-ontological scheme should be modified or abandoned. (shrink)

“Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...) sonuçla da bağlantılı değildir. Bununla birlikte o, özel doğal olmayan yetilere (ESP, telepati, mistik deneyim) veya doğaüstü bilgi kaynaklarına (kutsal metinler, vahiy teolojisi, inanç otoriteleri, doğrudan doğaüstü iletişim) hitap etmekten kaçınır. Genel olarak, doğal din veya teoloji (bundan böyle “doğal teoloji” olarak anılacaktır), diğer felsefi ve bilimsel girişimlerle aynı rasyonel inceleme standartlarına uymayı amaçlamaktadır ve aynı değerlendirme ve eleştiri yöntemlerine tabidir. (shrink)

Empirical evidence shows that people have multiple time-biases. One is near-bias, another is future-bias, and a third is present-bias. Philosophers are concerned with the normative status of these time-biases. They have argued that, at least in part, the normative status of these biases depends on the extent to which they tend to promote, or frustrate, wellbeing, where “wellbeing” is taken to be of fundamental value. Since near-bias is thought to be associated with impulsivity, lack of self-control, and poor long-term health (...) and financial outcomes, it has often been supposed that it is associated with lower wellbeing. On those grounds, philosophers have argued that near-bias is rationally impermissible. By contrast, philosophical views about the normative status of future-bias have been mixed, with some arguing that future-bias is impermissible because, they think, it frustrates wellbeing, and others arguing that it is at least permissible (and perhaps obligatory) because it is the product of mechanisms whose functioning can be expected to promote wellbeing. However, to date there are no studies that have directly probed how time-biases correlate with wellbeing. Since it's not a settled matter which psychological mechanisms underlie time-biases, it is not uncontroversial which things serve as proxies for these preferences. We directly empirically investigate the connection between time-biases and measures of wellbeing, to see which of these biases is associated with promoting, or frustrating wellbeing. Contrary to expectation, we found no evidence that near-bias or present-bias are associated with frustrating wellbeing on any of the constructs we measured. On the other hand, and contrary to what some philosophers have supposed, we found that future-bias was associated with higher measures of wellbeing on several measures. We consider the implications of these findings for the evaluation of the normative status of these time biases. (shrink)

The new evil demon problem is often considered to be a serious obstacle for externalist theories of epistemic justification. In this paper, I aim to show that the new evil demon problem also afflicts the two most prominent forms of internalism: moderate internalism and historical internalism. Since virtually all internalists accept at least one of these two forms, it follows that virtually all internalists face the NEDP. My secondary thesis is that many epistemologists – including both internalists and externalists – (...) face a dilemma. The only form of internalism that is immune to the NEDP, strong internalism, is a very radical and revisionary view – a large number of epistemologists would have to significantly revise their views about justification in order to accept it. Hence, either epistemologists must accept a theory that is susceptible to the NEDP or accept a very radical and revisionary view. (shrink)

Expert skill in music performance involves an apparent paradox. On stage, expert musicians are required accurately to retrieve information that has been encoded over hours of practice. Yet they must also remain open to the demands of the ever-changing situational contingencies with which they are faced during performance. To further explore this apparent paradox and the way in which it is negotiated by expert musicians, this article profiles theories presented by Roger Chaffin, Hubert Dreyfus and Tony and Helga Noice. For (...) Chaffin, expert skill in music performance relies solely upon overarching mental representations, while, for Dreyfus, such representations are needed only by novices, while experts rely on a more embodied form of coping. Between Chaffin and Dreyfus sit the Noices, who argue that both overarching cognitive structures and embodied processes underlie expert skill. We then present the Applying Intelligence to the Reflexes (AIR) approach?a differently nuanced model of expert skill aligned with the integrative spirit of the Noices? research. The AIR approach suggests that musicians negotiate the apparent paradox of expert skill via a mindedness that allows flexibility of attention during music performance. We offer data from recent doctoral research conducted by the first author of this article to demonstrate at a practical level the usefulness of the AIR approach when attempting to understand the complexities of expert skill in music performance. (shrink)

While philosophical questions about health and disease have attracted much attention in recent decades, and while opinions are divided on most issues, influential accounts seem to embrace negativism about health, according to which health is the absence of disease. Some subscribe to unrestricted negativism, which claims that negativism applies not only to the concepts of health and disease as used by healthcare professionals but also to the lay concept that underpins everyday thinking. Whether people conceptualize health in this manner has (...) implications for medical care and public health, and so we set out to examine this claim in two studies. Participants were asked to assess and compare the health states of two people presented in two vignettes. We found that both lay people and medical students conceptualize health as something more than the absence of disease. We argue that our findings highlight a need to rethink unrestricted negativism and indicate a need to rethink the way the debate has traditionally focused on disease. (shrink)

A belief one has is safe if either (i) it could not easily be false or (ii) in any nearby world in which it is false, it is not formed using the method one uses to form one’s actual belief. It seems our mathematical beliefs are safe if mathematical pluralism is true: if, loosely put, almost any consistent mathematical theory is true. It seems, after all, that in any nearby world where one’s mathematical beliefs differ from one’s actual beliefs, one (...) would believe some other true, consistent theory. Focusing on Justin Clarke-Doane’s recent discussion, I argue the thesis that mathematical beliefs are safe given pluralism faces some obstacles. I argue (i) is true of mathematical belief given pluralism only if we deny plausible claims about the interpretation of non-pluralists who many of us could easily be. Unless strong metasemantic theses are true, it is plausible many of us could easily deny or refuse to believe a consistent and true mathematical theory we actually believe. Since philosophical arguments and controversies permeate the methodology of foundational mathematics, I argue we cannot confidently distinguish the methods we use in mathematics between worlds, thus raising doubts about (ii). (shrink)

With the recent renewed interest in AI, the field has made substantial advancements, particularly in generative systems. Increased computational power and the availability of very large datasets has enabled systems such as ChatGPT to effectively replicate aspects of human social interactions, such as verbal communication, thus bringing about profound changes in society. In this paper, we explain that the arrival of generative AI systems marks a shift from ‘interacting through’ to ‘interacting with’ technologies and calls for a reconceptualization of socio-technical (...) systems as we currently understand them. We dub this new generation of socio-technical systems synthetic to signal the increased interactions between human and artificial agents, and, in the footsteps of philosophers of information, we cash out agency in terms of ‘poiêsis’. We close the paper with a discussion of the potential policy implications of synthetic socio-technical system. -/- . (shrink)

Let ‘warrant’ denote whatever precisely it is that makes the difference between knowledge and mere true belief. A current debate in epistemology asks whether warrant entails truth, i.e., whether (Infallibilism) S’s belief that p is warranted only if p is true. The arguments for infallibilism have come under considerable and, as of yet, unanswered objections. In this paper, I will defend infallibilism. In Part I, I advance a new argument for infallibilism; the basic outline is as follows. Suppose fallibilism is (...) true. An implication of fallibilism is that the property that makes the difference between knowledge and mere belief (which I dub ‘warrant*’) is the conjunctive property being warranted and true . I show that this implication of fallibilism conflicts with an uncontroversial thesis we have learned from reflection on Gettier cases: that nonaccidental truth is a constituent of warrant*. It follows that infallibilism is true. In the second part of the paper, I present and criticize a new argument against infallibilism. The argument states that there are plausible cases where, intuitively, the only thing that is keeping a belief from counting as knowledge is the falsity of that belief. Furthermore, it is plausible that such a belief is warranted and false. So, the argument goes, infallibilism is false. I show that this argument fails. (shrink)

This paper considers the relation between the sources of normativity, reasons, and normative conflicts. It argues that common views about how normative reasons relate to their sources have important consequences for how we can understand putative normative conflicts.

In this paper I offer an interpretation of Kant’s theory of perceptual error based on his remarks in the Anthropology. Both hallucination and illusion, I argue, are for Kant species of experience and therefore require the standard co-operation of sensibility and understanding. I develop my account in a conceptualist framework according to which the two canonical classes of non-veridical experience involve error in the basic sense that how they represent the world as being is not how the world is. In (...) hallucination this is due to the misapplication of categories and in illusion to the misapplication of empirical concepts. Yet there is also room in this framework for a distinction in terms of cognitive functionality between the level of experience, which is merely judgementally structured, and that of judgement proper, which involves the free action of a conscious agent. This distinction enables Kant to allow for the otherwise problematic phenomenon of self-aware non-veridicality. (shrink)

Since the noun phrase `artificial intelligence' (AI) was coined, it has been debated whether humans are able to create intelligence using technology. We shed new light on this question from the point of view of themodynamics and mathematics. First, we define what it is to be an agent (device) that could be the bearer of AI. Then we show that the mainstream definitions of `intelligence' proposed by Hutter and others and still accepted by the AI community are too weak even (...) to capture what is involved when we ascribe intelligence to an insect. We then summarise the highly useful definition of basic (arthropod) intelligence proposed by Rodney Brooks, and we identify the properties that an AI agent would need to possess in order to be the bearer of intelligence by this definition. Finally, we show that, from the perspective of the disciplines needed to create such an agent, namely mathematics and physics, these properties are realisable by neither implicit nor explicit mathematical design nor by setting up an environment in which an AI could evolve spontaneously. (shrink)

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., (...) they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies. (shrink)

I reply to recent criticisms by Uygar Abaci and Peter Yong, among others, of my reading of Kant's pre-Critical of God's existence, and of its fate in the Critical period. Along the way I discuss some implications of this debate for our understanding of Kant's modal metaphysics and modal epistemology generally.

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

Transcript of an Interview on the podcast: Irreverend: Faith and Current Affairs.

Sam Harris is a contemporary illustration of the difficulties standing in the way of coherent interdisciplinary thinking in an age where science and the humanities have drifted so far apart. We are here with Harris’s views on AI, and specifically with his view according to which, with the advance of AI, there will evolve a machine superintelligence with powers that far exceed those of the human mind. This he sees as something that is not merely possible, but rather a matter (...) of inevitability. If, however, we look carefully at what intelligence is, and at how computers really work on the basis of mathematical models, then we can see that it is forever impossible to emulate inside a computer even the intelligence of crows or rabbits, let alone that of human beings. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

Two normative principles of toleration are offered, one individual-regarding, the other group-regarding. The first is John Stuart Mill’s harm principle; the other is “Principle T,” meant to be the harm principle writ large. It is argued that the state should tolerate autonomous sacrifices of autonomy, including instances where an individual rationally chooses to be enslaved, lobotomized, or killed. Consistent with that, it is argued that the state should tolerate internal restrictions within minority groups even where these prevent autonomy promotion of (...) members of the group. Finally, it is argued that toleration excludes external protections of minority groups. (shrink)

In the first half of the paper, it is argued that while the prospects for a criterion for demarcating scientific theories from pseudoscientific ones are exceedingly dim, it is a mistake to fall back to the position that these differ only with regard to how well they are confirmed. One may admit that different pseudoscientific theories are flawed in different ways yet still insist that their flaws are structural rather than empirical in character. In the second half of the paper, (...) this view is extended to cover the cases of pseudoscientific correlations and therapies, and it is suggested that the pseudosciences are best thought of as radically flawed practices. (shrink)

In this paper I explore Kant’s critical discussions of the topic of miracles (including the important but neglected fragment from the 1780s called “On Miracles”) in an effort to answer the question in the title. Along the way I discuss some of the different kinds of “laws” in Kant’s system, and also the argument for his claim that, even if empirical miracles do occur, we will never be in a good position to identify instances of them. I conclude with some (...) tentative remarks about the notorious suggestion that intelligible finite agents, too, might have some sort of influence over the laws of nature. The goal throughout is to show that exploring Kant’s answer to a traditional question in philosophical theology can deepen our understanding of his metaphysics and epistemology of nature generally. (shrink)

In this paper, we provide an account of the ontological status of Christ’s dead body, which remained in the tomb during the three days after his crucifixion. Our account holds that Christ’s dead body – during the time between his death and resurrection – was prime matter without a substantial form. We defend this account by showing how it is metaphysically possible for prime matter to exist in actuality without substantial forms. Our argument turns on the truth of two theses: (...) God is able to produce all acts of secondary causes without those secondary causes, and Substantial forms are secondary causes of the actuality of prime matter. We argue that the metaphysical possibility of matter without form is perfectly consistent with holding both there is only one substantial form in a material substance and that prime matter is pure potentiality. Moreover, we argue that the metaphysical possibility of matter without form does little-to-no damage to our natural understanding of material substances. (shrink)

This article looks at “faith-in” and what Jonathan Kvanvig calls the “belittler objection” by comparing Hegel’s and Kierkegaard’s interpretations of Abram (later known as Abraham). I first argue that Hegel’s treatment of Abram in Spirit of Christianity and its Fate is an objection to faith-in. Building on this with additional Hegelian texts, I argue that Hegel’s objection employs his social command account of morality. I then turn to Johannes de Silentio’s treatments of Abraham in Fear and Trembling and Søren Kierkegaard’s (...) Works of Love to argue that Kierkegaard defends faith-in as part of a moderate divine command account of moral knowledge. Finally, this article suggests that the belittler objection is ultimately an objection to faith-in as a divine command source of moral knowledge or obligation rather than social command. (shrink)

Part of a group commentary on Kant's Religion book. This chapter focuses on Part 2, section 2 on "The Evil Principle's Rightful Claim to Dominion over the Human Being, and the Struggle of the Two Principles with One Another" -/- .