REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON (...) HODGSON, Henry Stapp. (shrink)

In [3], Quentin Smith claims that `the Hartle-Hawking cosmology' is inconsistent with classical theism in a way which redounds to the discredit of classical theism; and, moreover, that the truth of `the Hartle- Hawking cosmology' would undermine reasonsed belief in any other varieties of theism which hold that the universe is created.

A discussion of the recent prominence of 'new atheism' and 'Christian nationalism' in the United States.

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

This paper is a critical review of *Big Bang Cosmology* by Quentin Smith and William Lane Craig. (The book is a collection of previously published papers; most are concerned, in one way or another, with kalam cosmological arguments for the existence of God.).

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo (...) E. Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This paper, while neutral on questions about the minimality of truth, argues for the non-minimality of truth-aptness.

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.

The potential reducibility of chemical entities to their physical bases is a matter of dispute between ontological reductionists on one hand, and emergentists on the other. However, relevant debates typically revolve around the reducibility of so-called ‘higher-level’ chemical entities, such as molecules. Perhaps surprisingly, even committed proponents of emergence for these higher-level chemical entities appear to accept that the ‘lowest-level’ chemical entities – atomic species – are reducible to their physical bases. In particular, the microstructural view of chemical elements, actively (...) developed and defended by emergentists, appears to hold that the explanatory power of nuclear charge justifies being reductionist about atomic species. My first task in this paper is to establish that nuclear charge cannot ultimately provide explanations sufficient to justify a reductionist approach to atomic species, unless we abandon the persuasive intuition that the presence of an element in a substance ought to explain the properties of that substance. The ‘missing piece’ for explaining the properties of substances by way of their elemental constituents is the electronegativity values of participant atoms. But electronegativity is a strikingly disunified concept that appears distinctly unamenable to analysis by way of fundamental physical principles. Through evaluating the uncertain physical identity of electronegativity, as well as its widespread and indispensable epistemic utility in chemical practice, I argue that electronegativity provides compelling grounds to seriously consider emergence for atomic species. (shrink)

The paper presents the outlines of an ontology of plans and guidelines, which is then used as the basis for a framework for implementing guideline-based systems for the management of workflow in health care organizations. The framework has a number of special features, above all in that it enables us to represent in formal terms assignments of work-items both to individuals and to teams and to tailor guideline to specific contexts of application in health care organizations. It is designed also (...) to enable implementations to do justice to the fact that the processes carried out in health care organizations may deviate in different ways from the norms set forth in corresponding guideline definitions. This means that implementations built in conformity with the framework will be marked by a type of flexibility that might make them more likely to be accepted by healthcare professionals than are standard guideline-based management systems. (shrink)

This review essay assesses Michael Jackson’s ongoing project of staging an encounter between anthropology and philosophy in two books: Lifeworlds (2013) and As Wide as the World Is Wise (2016). Considering his philosophical enrichment of ethnographic theory and method, this essay addresses foundational questions about the prospects and practices of interdisciplinary engagement. It also suggests future avenues for continued dialogue between philosophy and anthropology.

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)

Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

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)

This article constructively retrieves St. Anselm of Canterbury’s theory of retributive justice and provides a defense of what can be called the retributive model of hell. In the first part of this article, we develop the place of retributive punishment in Anselm’s thinking and discuss how and when retributive punishment is a good thing. In the second part, we apply Anselm’s thinking on retributive justice to the problem of hell and provide a defense of how hell, defined as a state (...) of receiving retributive, damnatory, and irreversible punishment, is good. We then address a series of objections. Despite some criticism that both Anselm and the retributive model of hell receive in the contemporary literature, Anselm’s account of retributive justice can make unique and constructive contributions to the contemporary discussion of hell; by retrieving and applying Anselm’s thought to the problem of hell, we intend to kill two birds with one stone. (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)

There is an important distinction between two different kinds of expressions of gratitude: propositional expressions of gratitude and prepositional expressions of gratitude. I argue that there is a corresponding distinction between two different kinds of expression of resentment: propositional expressions of resentment and prepositional expressions of resentment. I then argue that theists should suppose neither that propositional expressions of gratitude are prepositional expressions of gratitude to God, nor that propositional expressions of resentment are prepositional expressions of resentment of God.

This paper provides a detailed examination of Michael Martin’s Atheism: A Philosophical Justification (1990). I argue that Martin’s project in this book is seriously damaged by his neglect of high-level theoretical considerations about rationality, justification, and argumentation. Furthermore, I suggest that this failing is endemic to recent discussions of arguments about the existence of God: there is no prospect of making progress in this area unless much more attention is paid to high-level theoretical questions about the connections between rationality, justification, (...) and argumentation. (shrink)

This chapter is an invited contribution to a book on the naturalness of theistic belief. I start by considering ordinary usage of the term 'natural'. I then clarify how I shall use the terms 'naturalism', 'theism', 'worldview' and 'big picture'. I consider the demographic spread of commitment to theistic big pictures and naturalistic big pictures. I consider the distribution of happiness over those committed to theistic big pictures and naturalistic big pictures. I consider the distribution of reasons over those committed (...) to theistic big pictures and naturalistic big pictures. I consider whether intuitive considerations favour one kind of big picture over the other. As it often the case, I draw somewhat irenic conclusions from these considerations. (shrink)

Tyler Burge famously argues in his 1993 paper "Content Preservation" that it is not only a priori true that we enjoy a prima facie warrant to take what others assert as true, but also that there our warrant to believe what we are told in certain special cases is a priori. So just as our warrant for believing certain mathematical truths might be a priori, so too there are cases of belief through testimony that are a priori. Then in a (...) 2013 Postscript to "Content Preservation" he took it all back. All of Burge's ideas and arguments for and against are interesting and important, and deepen our understanding of testimony, comprehension, warrant, and the a priori. But his ideas and arguments are hard to understand. This paper explains all of ideas and arguments, both for and against, in a clear and comprehensive way. Along the way, Anna-Sara Malmgren's interpretation and criticism of Burge's position is also expounded and criticized. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Richard Gale and Alexander Pruss contend that their ‘new cosmological argument’ is an improvement over familiar cosmological arguments because it relies upon a weaker version of the Principle of Sufficient Reason than that used in those more familiar arguments. However, I note that their ‘weaker’ version of the Principle of Sufficient Reason entails the ‘stronger’ version of that principle which is used in more familiar arguments, so that the alleged advantage of their proof turns out to be illusory. Moreover, I (...) contend that, even if their argument did rely on a weaker version of the Principle of Sufficient reason, nontheists would still be perfectly within their rights to refuse to accept the conclusion of the argument. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (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)

: In the epistemology of the late Wittgenstein, a central place is given to the notion of the hinge: an arational commitment that provides a foundation of some sort for the rest of our beliefs. Quasi-fideism is an approach to the epistemology of religion that argues that religious belief is on an epistemic par with other sorts of belief inasmuch as religious and non-religious beliefs all rely on hinges. I consider in this paper what it takes to find the appropriate (...) hinge for a quasi-fideist approach to the epistemology of religion. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

Here are three (rough) theories of testimonial knowledge. (1) Speaker's knowledge: a hearer acquires the knowledge that P though testimony because of the speaker's knowledge that P--testimony "transfers" knowledge. This is the popular view, defended by Elizabeth Fricker and Paul Faulkner, among others. (2) Speaker's assertion: a hearer acquires the knowledge that P through testimony because the speaker's assertion that P is reliable that P in the right way (safe or sensitive). That's Jennifer Lackey's view. (3) Speaker's comprehension state: a (...) hearer acquired the knowledge that P through comprehending as of a speaker's assertion that P where the comprehension state is reliable in the right way (safe). That's my view. Lackey would reject such a view for it allows cases of testimonial knowledge that P from a speaker who did not assert that P. But Faulkner might reject Lackey's view on the grounds that it allows cases of testimonial knowledge that P from a speaker who did not know that P. Lackey replies that her account is better unified. But for the same reason, my account is even better unified. This paper runs through a series of cases and shows that my account--the Unified Account--is superior to the others. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

In this paper, I set out a fairly careful argument for the claim that natural reality ("the universe') does not have--and could not have--a cause. I being with a discussion of the question whether causal reality could have a cause. I claim that it is obvious that causal reality cannot have a cause. I then turn to a discussion of natural reality. I contend that, necessarily, natural reality exhausts causal reality: necessarily, natural reality and causal reality are one and the (...) same. Given that it is impossible for causal reality to have a cause, it follows immediately that natural reality cannot have a cause. -/- The paper is a chapter in a 'debate' book. My 'debate' partner is Rob Koons. There is also a brief response to Koons' contribution that is not uploaded here. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. The NCRO ontology is free and open to all users. (shrink)

According to the Acceptance Principle, a person is entitled to accept a proposition that is presented as true (asserted) and that is intelligible to him or her, unless there are stronger reasons not to. Burge assumes this Principle and then argues that it has an apriori justification, basis or rationale. This paper expounds Burge's teleological reliability framework and the details of his a priori justification for the Principle. It then raises three significant doubts.

How should we undertand the role of norms—especially epistemic norms—governing assertive speech acts? Mitchell Green (2009) has argued that these norms play the role of handicaps in the technical sense from the animal signals literature. As handicaps, they then play a large role in explaining the reliability—and so the stability (the continued prevalence)—of assertive speech acts. But though norms of assertion conceived of as social norms do indeed play this stabilizing role, these norms are best understood as deterrents and not (...) as handicaps. This paper explains the stability problem for the maintenance of animal signals, and so human communication, for we are animals too, after all; the mechanics of the handicap principle; the role of deterrents and punishments as an alternative mechanism; and the role of social norms governing assertion for the case of human communication. (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.

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

Robert Audi’s Seeing, Knowing, and Doing argues that knowledge does not entail justification, given a broadly externalist conception of knowledge and an access internalist conception of justification, where justification requires the ability to cite one’s grounds or reasons. On this view, animals and small children can have knowledge while lacking justification. About cases like these and others, Audi concludes that knowledge does not entail justification. But the access internalist sense of “justification” is but one of at least two ordinary senses (...) of the term. On a broader or looser sense, “justification” means “being in the right” where that involves meeting a standard or norm. I argue that the beliefs of animals and small children can then meet standards or norms associated with truth and knowledge such that their beliefs may count as justified in this broader or looser sense. I then question whether knowledge fails to entail justification on this broader sense. (shrink)

In ‘The Kalam Cosmological Argument Neither Bloodied nor Bowed’ , David Oderberg provides four main criticisms of the line of argument which I developed in ‘Time, Successive Addition, and Kalam Cosmological Arguments’ . I argue here that none of these lines of criticism succeeds. Further I re-emphasise the point that those who maintain that the temporal series of past events is formed by ‘successive addition’ are indeed thereby committed to a highly contentious strict finitist metaphysics.

A proper function of an entity is a beneficial effect that helps explain the persistence of the entity. Proper functions thereby arise through feedback mechanisms with beneficial effects as inputs and persistence as outputs. We continue to make assertions because they benefit speakers by benefiting speakers. Hearers benefit from true information. Speakers benefit by influencing hearer belief. If hearers do not benefit, they will not form beliefs in response to assertions. Speakers can then only maintain influence by providing true information, (...) often enough. The function of assertion is then inducing true hearer belief. When interests conflict, however, some mechanism must ensure that speakers provide true information often enough, instead of deceiving, or providing information regardless of quality. In humans, a core mechanism stabilizing true assertion involves social norms for truth telling. We tell the truth partly because we prescribe and enforce telling the truth. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are arranged appropriately, (...) a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

This paper is an examination of the contingent a priori and the necessary a posteriori. In particular, it considers -- and assesses -- the criticisms that Nathan Salmon makes of the views of Saul Kripke.

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

What should we be animists about? This chapter aims to answer that question. I begin by distinguishing between ontological and ideological formulations of animism. I suggest that plausible forms of animism will be merely ideological, and I distinguish between full-strength and less-than-full-strength animism. Next, I consider the extent to which idealism, pantheism and panpsychism might be taken to support some sort of universal animism. I conclude that there is no plausible form of full-strength universal animism. After noting that animals are (...) the easy case for animism, I turn to a discussion of a range of hard cases: flora, geological features, astronomical bodies, word tokens, artefacts and institutions. I will argue that we should not be full-strength animists about any of these things. Finally, I will consider whether the discussion that I have given is insensitive to the kinds of reasons that people have had for holding animistic beliefs about things other than animals. In this last part of the discussion, I draw a clear distinction between veneration of flora, artefacts, etc., and the belief that flora, artefacts, etc., are full-strength animated. (shrink)

In this paper, I put the claim that sensitivity is a necessary condition for knowledge under pressure, by considering its applicability with regard to testimonially-formed beliefs. Building on, and departing from, Goldberg, I positively draw out how we might understand the required sensitivity as a social interaction between speaker and hearer in testimonial cases. In doing so however, I identify a concern which places the whole notion of testimonial sensitivity in potential jeopardy: the problem of the reliable liar. I find (...) an apparently paradoxical inverse relationship between better-differentiating methods that fulfil sensitivity conditions, and being able to have sensitive beliefs with regard to specific instances of testimony. After examining potential resolutions, I conclude that only a focus on minimally realising the problem, rather than “solving” it, will enable us to retain sensitivity as a necessary condition for testimonial-knowledge. (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)

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.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

This paper is a detailed examination of some parts of J. P. Moreland's book on "the argument from consciousness". (There is a companion article that discusses the parts of the book not taken up in this critical notice.).