Which rules should guide our reasoning? Human reasoners often use reasoning shortcuts, called heuristics, which function well in some contexts but lack the universality of reasoning rules like deductive implication or inference to the best explanation. Does it follow that human reasoning is hopelessly irrational? I argue: no. Heuristic reasoning often represents human reasoners reaching a local rational maximum, reasoning more accurately than if they try to implement more “ideal” rules of reasoning. I argue this is a genuine rational achievement. (...) Our ideal rational advisors would advise us to reason with heuristic rules, not more complicated ideal rules. I argue we do not need a radical new account of epistemic norms to make sense of the success of heuristic reasoning. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

We argue that the concept of practical wisdom is particularly useful for organizing, understanding, and improving human-machine interactions. We consider the relationship between philosophical analysis of wisdom and psychological research into the development of wisdom. We adopt a practical orientation that suggests a conceptual engineering approach is needed, where philosophical work involves refinement of the concept in response to contributions by engineers and behavioral scientists. The former are tasked with encoding as much wise design as possible into machines themselves, as (...) well as providing sandboxes or workspaces to help various stakeholders build practical wisdom in systems that are sufficiently realistic to aid transferring skills learned to real-world use. The latter are needed for the design of exercises and methods of evaluation within these workspaces, as well as ways of empirically assessing the transfer of wisdom from workspace to world. Systematic interaction between these three disciplines (and others) is the best approach to engineering wisdom for the machine age. (shrink)

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

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

A medical intervention is a medical procedure or application intended to relieve or prevent illness or injury. Examples of medical interventions include vaccination and drug administration. After a medical intervention, adverse events (AEs) may occur which lie outside the intended consequences of the intervention. The representation and analysis of AEs are critical to the improvement of public health. Description: The Ontology of Adverse Events (OAE), previously named Adverse Event Ontology (AEO), is a community-driven ontology developed to standardize and integrate data (...) relating to AEs arising subsequent to medical interventions, as well as to support computer-assisted reasoning. OAE has over 3,000 terms with unique identifiers, including terms imported from existing ontologies and more than 1,800 OAE-specific terms. In OAE, the term ‘adverse event’ denotes a pathological bodily process in a patient that occurs after a medical intervention. Causal adverse events are defined by OAE as those events that are causal consequences of a medical intervention. OAE represents various adverse events based on patient anatomic regions and clinical outcomes, including symptoms, signs, and abnormal processes. OAE has been used in the analysis of several different sorts of vaccine and drug adverse event data. (shrink)

One recent topic of debate in Bayesian epistemology has been the question of whether imprecise credences can be rational. I argue that one account of imprecise credences, the orthodox treatment as defended by James M. Joyce, is untenable. Despite Joyce’s claims to the contrary, a puzzle introduced by Roger White shows that the orthodox account, when paired with Bas C. van Fraassen’s Reflection Principle, can lead to inconsistent beliefs. Proponents of imprecise credences, then, must either provide a compelling reason to (...) reject Reflection or admit that the rational credences in White’s case are precise. (shrink)

Recent work by Brian Skyrms offers a very general way to think about how information flows and evolves in biological networks — from the way monkeys in a troop communicate, to the way cells in a body coordinate their actions. A central feature of his account is a way to formally measure the quantity of information contained in the signals in these networks. In this paper, we argue there is a tension between how Skyrms talks of signalling networks and his (...) formal measure of information. Although Skyrms refers to both how information flows through networks and that signals carry information, we show that his formal measure only captures the latter. We then suggest that to capture the notion of flow in signalling networks, we need to treat them as causal networks. This provides the formal tools to define a measure that does capture flow, and we do so by drawing on recent work defining causal specificity. Finally, we suggest that this new measure is crucial if we wish to explain how evolution creates information. For signals to play a role in explaining their own origins and stability, they can’t just carry information about acts: they must be difference-makers for acts. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

Robin McKenna’s excellent Non-Ideal Epistemology is, among other things, a testament to restraint. McKenna does not want to unnecessarily inflame tensions between ideal and non-ideal theorists in epistemology. Often ideal and non-ideal projects are aimed at different target domains and not in tension with one another (though not always; e.g. McKenna 2023, ch. 6, especially pp. 112-21). In this commentary, I will have much less tact. I sketch a route by which the non-ideal epistemologist might become more belligerent towards their (...) ideal counterparts. I do this by focusing on an area that McKenna mostly sets aside: non-ideal individual epistemology. (shrink)

Hilary Greaves and David Wallace argue that conditionalization maximizes expected accuracy and so is a rational requirement, but their argument presupposes a particular picture of the bridge between rationality and accuracy: the Best-Plan-to-Follow picture. And theorists such as Miriam Schoenfield and Robert Steel argue that it's possible to motivate an alternative picture—the Best-Plan-to-Make picture—that does not vindicate conditionalization. I show that these theorists are mistaken: it turns out that, if an update procedure maximizes expected accuracy on the Best-Plan-to-Follow picture, it's (...) guaranteed to maximize expected accuracy on the Best-Plan-to-Make picture as well, in which case moving from the former to the latter can't help us avoid the conclusion that conditionalization is a rational requirement. If there's a problem with Greaves and Wallace’s argument, it must lie elsewhere. (shrink)

Implicit attitudes are mental states posited by psychologists to explain behaviors including implicit racial and gender bias. In this paper I investigate the belief view of the implicit attitudes, on which implicit attitudes are a kind of implicit belief. In particular, I focus on why implicit attitudes, if they are beliefs, are often resistant to updating in light of new evidence. I argue that extant versions of the belief view do not give a satisfactory account of this phenomenon. This is (...) because proponents of the belief view have focused on overly narrow explanations of recalcitrance in terms of belief storage. Expanding the focus of the belief view to the kinds of irrational and arational transitions between beliefs and other mental states provides compelling (if preliminary) explanations of recalcitrance. (shrink)

I identify an undertheorized problem with decisions we make with the aid of algorithms: the problem of inauthenticity. When we make decisions with the aid of algorithms, we can make ones that go against our commitments and values in a normatively important way. In this paper, I present a framework for algorithm-aided decision-making that can lead to inauthenticity. I then construct a taxonomy of the features of the decision environment that make such outcomes likely, and I discuss three possible solutions (...) to the problem. (shrink)

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

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (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)

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

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)

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 purpose of this project is to argue that we possess a minimal self. It will demonstrate that minimal selfhood arrives early in our development and continues to remain and influence us throughout our entire life. There are two areas of research which shape my understanding of the minimal self: phenomenology and enactivism. Phenomenology emphasizes the sense of givenness, ownership, or mineness that accompanies all of our experiences. Enactivism says there is a sensorimotor coupling that occurs between us and the (...) environment in a way which modulates the dynamic patterns of our self development; the laying down of these basic patterns helps make us who we are and gives rise to the phenomenological, experiential mineness. Drawing on these two core ideas, I will be arguing for a Phenomenological-Enactive Minimal Self. I will be emphasizing the role of the body and the role of affects as the most important components relevant to understanding minimal selfhood. Put more concretely, the set of conditions which constitute the PEMS view are: The minimal self is the experiential subject; the minimal sense of self is present whenever there is awareness. It is the subjectivity of experience, the sense of mineness, or givenness which our experiences contain. The phenomenological part of the PEMS view turns on the idea of a bodily and dynamic integration of sensorimotor coupling and affective experience. It is, ontologically speaking, the lived body in enactive engagement with the environment. It is this embodied subject which anchors and forms the foundation for the later ‘narrative’ self, which emerges from it and which is continually influenced by it. It is the subject enactively engaged with others, dependent on sensorimotor processes and affects. We have an identity, but it emerges from relational and dynamic processes. (shrink)

In domains as disparate as playing Go and predicting the structure of proteins, artificial intelligence (AI) technologies have begun to perform at levels beyond which any humans can achieve. Does this fact represent something lamentable? Does superhuman AI performance somehow undermine the value of human achievements in these areas? Go grandmaster Lee Sedol suggested as much when he announced his retirement from professional Go, blaming the advances of Go-playing programs like AlphaGo for sapping his will to play the game at (...) a high level. In this paper, I attempt to make sense of Sedol’s lament. I consider a number of ways that the existence of superhuman-performing AI technologies could undermine the value of human achievements. I argue there is very little in the nature of the technology itself that warrants such despair. (Compare: does the existence of a fighter jet undermine the value of being the fastest human sprinter?) But I also argue there are several more localized domains where these technologies threaten to displace human beings from being able to achieve valuable things at all. This is a particular worry for those in unequal societies, I argue, given the difficulty of many achievements and the corresponding amount of resources needed to achieve great things. (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)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

The notion of a genetic program has been widely criticized by both biologists and philosophers. But the debate has revolved around a narrow conception of what programs are and how they work, and many criticisms are linked to this same conception. To remedy this, I outline a modern and more apt idea of a program that possesses many of the features critics thought missing from programs. Moving away from over-simplistic conceptions of programs opens the way to a more fruitful interplay (...) of ideas between the complexity of biology and our most complex engineering discipline. (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)

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical data (...) analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (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)

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)

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

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)

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

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)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) Broadly, the objects towards which human cognition is directed should be parts of reality in a sense that is at least consistent with the truths of natural science. But such a scheme should also be (2) comprehensive: it should do justice to each sort of object on its own terms, and not attempt to eliminate objects of one sort in favour of objects of other, more favoured sorts. Linguistic and other forms of idealism, as well as Meinongian theories, which assign to each and every referring expression or intentional act an object tailored to fit, yield categorial schemes which fail to satisfy (1). Physicalistic and other forms of reductionism yield categorial schemes which fail to satisfy (2). What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each. (shrink)

This paper addresses the question of what organisms are and therefore what kinds of biological entities qualify as organisms. For some time now, the concept of organismality has been eclipsed by the notion of individuality. Biological individuals are those systems that are units of selection. I develop a conception of organismality that does not rely on evolutionary considerations, but instead draws on development and ecology. On this account, organismality and individuality can come apart. Organisms, in my view, are as Godfrey- (...) class='Hi'>Smith puts it “essentially persisters.” I argue that persistence is underpinned by differentiation, integration, development, and the constitutive embeddedness of organisms in their worlds. I examine two marginal cases, the Portuguese Man O’ War and the honey bee colony, and show that both count as organisms in light of my analysis. Next, I examine the case of holobionts, hosts plus their microsymbionts, and argue that they can be counted as organisms even though they may not be biological individuals. Finally, I consider the question of whether other, less tightly integrated biological systems might also be treated as organisms. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other types (...) of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

We offer a sceptical examination of a thesis recently advanced in a monograph published by Princeton University Press, entitled Greek Buddha: Pyrrho’s Encounter with Early Buddhism in Central Asia. In this dense and probing work, Christopher I. Beckwith, a professor of Central Eurasian studies at Indiana University, Bloomington, argues that Pyrrho of Elis adopted a form of early Buddhism during his years in Bactria and Gandhāra, and that early Pyrrhonism must be understood as a sect of early Buddhism. In making (...) his case Beckwith claims that virtually all scholars of Greek, Indian, and Chinese philosophy have been operating under flawed assumptions and with flawed methodologies, and so have failed to notice obvious and undeniable correspondences between the philosophical views of the Buddha and of Pyrrho. In this study we take Beckwith’s proposal and challenge seriously, and we examine his textual basis and techniques of translation, his methods of examining passages, his construal of problems and his reconstruction of arguments. We find that his presuppositions are contentious and doubtful, his own methods are extremely flawed, and that he draws unreasonable conclusions. Although the result of our study is almost entirely negative, we think it illustrates some important general points about the methodology of comparative philosophy. (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 short paper seeks to throw light on the sense in which the prior knowledge used by AlphaFold is to be understood in ontological terms. The paper is a comment on the 2022 ICBO presentation by Jobst Landgrebe entitled “What AlphaFold teaches us about deep learning with prior knowledge”.

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.

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

Ontologies and standards are strongly interrelated and can often be seen as two sides of the same coin. Indeed, standards reflect consensus on the semantics of terms, though different standards might employ different ways to explain the same or very similar concepts semantically. Given the crucial role played by both aspects in OntoCommons, we have interviewed Barry Smith, SUNY Distinguished Professor of Philosophy at the University at Buffalo and one of the External Advisory Board (EAB) members of the OntoCommons (...) project, to better understand what are the challenges and priorities to focus on in this context. (shrink)

Many of the items that humans consume are produced in ways that involve serious harms to persons. Familiar examples include the harms involved in the extraction and trade of conflict minerals (e.g. coltan, diamonds), the acquisition and import of non- fair trade produce (e.g. coffee, chocolate, bananas, rice), and the manufacture of goods in sweatshops (e.g. clothing, sporting equipment). In addition, consumption of certain goods (significantly fossil fuels and the products of the agricultural industry) involves harm to the environment, to (...) future persons, and to current persons in low-lying and developing countries, by way of their impacts on climate change. When it comes to such large-scale harms, it's easy for the individual to feel helpless. Even if she sincerely wishes things were otherwise, she may wonder what she could possibly do to make them so. In this paper I briefly explore several promising avenues for generating duties in individuals to consume ethically, and develop one in particular: that an individual ought to signal her commitments to others, as a first step in collectivizing to act against unjust global labour practices. (shrink)