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

In the literature on philosophical progress it is often assumed that agreement is a necessary condition for progress. This assumption is sensible only if agreement is a reliable sign of the truth, since agreement on false answers to philosophical questions would not constitute progress. This paper asks whether agreement among philosophers is (or would be) likely to be a reliable sign of truth. Insights from social choice theory are used to identify the conditions under which agreement among philosophers would be (...) a reliable indicator of the truth, and it is argued that we lack good reason to think that philosophical inquiry meets these conditions. The upshot is that philosophical agreement is epistemically uninformative: agreement on the answer to a philosophical question does not supply even a prima facie reason to think that the agreed-upon view is true. However, the epistemic uninformativeness of philosophical agreement is not an indictment of philosophy's progress, because philosophy is valuable independent of its ability to generate agreement on the correct answers to philosophical questions. (shrink)

We argue that the evolutionary function of reasoning is to allow us to secure more accurate beliefs and more effective intentions through collective deliberation. This sets our view apart both from traditional intellectualist accounts, which take the evolutionary function to be individual deliberation, and from interactionist accounts such as the one proposed by Mercier and Sperber, which agrees that the function of reasoning is collective but holds that it aims to disseminate, rather than come up with, accurate beliefs. We argue (...) that our collectivized intellectualism offers the best explanation of the range of biases that human reasoning is prone to, and that it does better than interactionism at offering a function of reasoning that would have been adaptive for our distant ancestors who first evolved this capacity. (shrink)

This entry provides an overview of the current state of the debate between epistemic permissivists and impermissivists. Three important choice points for the permissivist are identified, and implications are discussed for plausibility of the resulting versions of permissivism.

There is long standing agreement both among philosophers and linguists that the term ‘counterfactual conditional’ is misleading if not a misnomer. Speakers of both non-past subjunctive (or ‘would’) conditionals and past subjunctive (or ‘would have’) conditionals need not convey counterfactuality. The relationship between the conditionals in question and the counterfactuality of their antecedents is thus not one of presupposing. It is one of conversationally implicating. This paper provides a thorough examination of the arguments against the presupposition view as applied to (...) past subjunctive conditionals and finds none of them conclusive. All the relevant linguistic data, it is shown, are compatible with the assumption that past subjunctive conditionals presuppose the falsity of their antecedents. This finding is not only interesting on its own. It is of vital importance both to whether we should consider antecedent counterfactuality to be part of the conventional meaning of the conditionals in question and to whether there is a deep difference between indicative and subjective conditionals. (shrink)

Theories of reasons and other normativia can seem to lead ineluctably to a tragic dilemma. They can be personal but parochial if they locate reasons in features of the point of view of actual people. Or they can be objective but alien if they take reasons to be mind-independent fixtures of the universe. Kantian constructivism tries to offer the best of both worlds: an account of normative authority anchored in the evaluative perspectives of actual agents but refined by a procedure (...) that guarantees certain principles, like the moral law, will have universal and unconditional authority. This chapter considers motivations for such a view and chronicles the intrepid efforts of its adherents to make good on this guarantee - to show that the structure of practical reason commits reasoners to morality. -/- . (shrink)

It seems to be a humdrum fact of human agency that we act on intentions or decisions that we have made at an earlier time. At breakfast, you look at the Taco Hut menu online and decide that later today you’ll have one of their avocado burritos for lunch. You’re at your desk and you hear the church bells ring the noon hour. You get up, walk to Taco Hut, and order the burrito as planned. As mundane as this sort (...) of scenario might seem to be, philosophers have raised a problem in understanding it. If you are simply abiding by this morning’s decision, how are you acting autonomously? Your earlier self seems to be calling the shots; if you are just acting accordingly, without thinking through it or in some other way trying to ensure that the past decision conforms to your present standpoint, it is not clear how this amounts to an exercise of your present autonomous agency. It seems, rather, that your earlier self has succeeded in slaving you to her own purposes. She was the one who wanted (intended, judged it to be good, etc.) to have an avocado burrito. In simply following through, your current self seems to be just an automaton performing the commands left behind by your former self. Of course, you might not allow yourself to be shackled by your earlier self. You might refuse to follow anything but your own present judgments: you will only go to Taco Hut if this is what you judge you should do right now, and once at Taco Hut you will only eat the avocado burrito if that is what you want to eat once there. But if this is the way you generally operate, this seems to block your ability to make effective future-directed decisions. The puzzle, then, is one of explaining how the future self can do the bidding of her past self without losing her autonomy. We call this “the Problem of Diachronic Autonomy.” Philosophers raising this problem take it to show that there must be reasons or rational requirements to follow-through with our past decisions. According to these philosophers, we can only make sense of our diachronic autonomy if our past decisions put rational pressure on us to follow through. We argue that there is no Problem of Diachronic Autonomy. There is, in other words, no puzzling situation that needs explaining. Consequently, there is no need coming from this purported puzzle to think that our future-directed decisions generate reasons or rational requirements to follow through. The correct view of our diachronic autonomy is the “naïve” one: the “future self” can do the bidding of the “past self” without giving up its autonomy because, very simply, the past self is the same agent as the future self. I am acting autonomously when I get the avocado burrito, because I was the one who decided to get the burrito. I am acting on my own freely-formed decision. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...) law of nature (“the wave function of the universe”) is inconsistent with theism and implies that God does not exist. I criticize the claims of Alston, Craig, Deltete and Guy, Oppy and Plantinga that theism is consistent with quantum cosmology. (shrink)

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

According to an increasingly popular epistemological view, people need outright beliefs in addition to credences to simplify their reasoning. Outright beliefs simplify reasoning by allowing thinkers to ignore small error probabilities. What is outright believed can change between contexts. It has been claimed that thinkers manage shifts in their outright beliefs and credences across contexts by an updating procedure resembling conditionalization, which I call pseudo-conditionalization (PC). But conditionalization is notoriously complicated. The claim that thinkers manage their beliefs via PC is (...) thus in tension with the view that the function of beliefs is to simplify our reasoning. I propose to resolve this puzzle by rejecting the view that thinkers employ PC. Based on this solution, I furthermore argue for a descriptive and a normative claim. The descriptive claim is that the available strategies for managing beliefs and credences across contexts that are compatible with the simplifying function of outright beliefs can generate synchronic and diachronic incoherence in a thinker’s attitudes. Moreover, I argue that the view of outright belief as a simplifying heuristic is incompatible with the view that there are ideal norms of coherence or consistency governing outright beliefs that are too complicated for human thinkers to comply with. (shrink)

This paper examines the surprisingly central role of sympathetic love within Margaret Cavendish’s philosophy. It shows that such love fulfils a range of metaphysical functions, and highlight an important shift in Cavendish’s account vis-a-vis earlier conceptions: sympathetic love is no longer given an emanative or mechanistic explanation, but is naturalized as an active emotion. It furthers investigate to what extent Cavendish’s account reveals a rift between the realm of nature and the realm of human sociability, and whether this rift really (...) prompts an inward turn, as some interpreters have suggested. (shrink)

In this paper, I highlight an interesting difference between belief on the one hand, and suspended judgment and credence on the other hand. This difference is the following: credences and suspended judgments are suitable to serve as transitional as well as terminal attitudes in our reasoning, whereas beliefs are only appropriate as terminal attitudes. The notion of a transitional attitude is not an established one in the literature, but I argue that introducing it helps us better understand the different roles (...) suspended judgments and credences can play in our reasoning. Transitional and terminal attitudes have interestingly different descriptive and normative properties. I also compare my account of transitional attitudes to other inquiry-guiding attitudes that have recently been characterized in the literature and explain why they are different. (shrink)

Can there be a theory-free experience? And what would be the object of such an experience. Drawing on ideas set out by Husserl in the “Crisis” and in the second book of his “Ideas”, the paper presents answers to these questions in such a way as to provide a systematic survey of the content and ontology of common sense. In the second part of the paper Husserl’s ideas on the relationship between the common-sense world (what he called the ‘life-world’) and (...) the world of physical theory are subjected to a critical evaluation. The relation of Husserl’s ideas to current work in folk psychology and naive physics and to the direct realism of J. J. Gibson are also treated. (shrink)

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

The emerging field of synthetic biology aims to engineer novel biological entities. The envisioned future bio-based economy builds largely on “cell factories”: organisms that have been metabolically engineered to sustainably produce substances for human ends. In this paper, we argue that synthetic biology’s goal of creating efficient production vessels for industrial applications implies a set of ontological assumptions according to which living organisms are machines. Traditionally, a machine is understood as a technological, isolated and controllable production unit consisting of parts. (...) But modified organisms, or hybrids, require us to think beyond the machine paradigm and its associated dichotomies between artificial and natural, organisms and artefacts. We ask: How may we conceptualise hybrids beyond limiting ontological categories? Our main claim is that the hybrids created by synthetic biology should be considered not as machines but as metabolic systems. We shall show how the philosophical account of metabolism can inform an ontology of hybrids that moves beyond what we call the “machine ontology”, considering that metabolism enables thinking beyond the dominant dichotomies and allows us to understand and design lifeforms in a bio-based economy. Thus, the aim of this paper is twofold: first, to develop the philosophical ontology of hybrids, and second, to move synthetic biology beyond the problematically limiting view of hybrids. (shrink)

Standard arguments for Bayesian conditionalizing rely on assumptions that many epistemologists have criticized as being too strong: (i) that conditionalizers must be logically infallible, which rules out the possibility of rational logical learning, and (ii) that what is learned with certainty must be true (factivity). In this paper, we give a new factivity-free argument for the superconditionalization norm in a personal possibility framework that allows agents to learn empirical and logical falsehoods. We then discuss how the resulting framework should be (...) interpreted. Does it still model norms of rationality, or something else, or nothing useful at all? We discuss five ways of interpreting our results, three that embrace them and two that reject them. We find one of each kind wanting, and leave readers to choose among the remaining three. (shrink)

This article examines the distinction between active matter and active materials, and it offers foundational remarks toward a system of classification for active materials. Active matter is typically identified as matter that exhibits two characteristic features: self-propelling parts, and coherent dynamical activity among the parts. These features are exhibited across a wide range of organic and inorganic materials, and they are jointly sufficient for classifying matter as active. Recently, the term “active materials” has entered scientific use as a complement, supplement, (...) and extension of “active matter.” At the same time, new work in the philosophy of science has considered the problem of how to classify the products of synthetic and laboratory processes, and the extent to which the aims of classifying natural kinds compare and contrasts with the aims of classifying these synthetic kinds. In this article, I apply those considerations to the problems of classifying and characterizing active materials. In doing so, I also argue for a conception of active materials’ coherent dynamical activity as multiscale, rather than emergent, and I discuss how the special non-equilibrium status of active materials factors in to classificatory concerns. (shrink)

Taken collectively, consumer food choices have a major impact on animal lives, human lives, and the environment. But it is far from clear how to move from facts about the power of collective consumer demand to conclusions about what one ought to do as an individual consumer. In particular, even if a large-scale shift in demand away from a certain product (e.g., factory-farmed meat) would prevent grave harms or injustices, it typically does not seem that it will make a difference (...) whether one refrains from purchasing that product oneself. Most present-day food companies operate at too large a scale for a single purchase to make a difference to production decisions. If that is true, then it is not clear what point there is in refraining. This is “the problem of collective impact.” This chapter explores a range of proposals for how to solve this problem. (shrink)

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.

This paper is about teaching probability to students of philosophy who don’t aim to do primarily formal work in their research. These students are unlikely to seek out classes about probability or formal epistemology for various reasons, for example because they don’t realize that this knowledge would be useful for them or because they are intimidated by the material. However, most areas of philosophy now contain debates that incorporate probability, and basic knowledge of it is essential even for philosophers whose (...) work isn’t primarily formal. In this paper, I explain how to teach probability to students who are not already enthusiastic about formal philosophy, taking into account the common phenomena of math anxiety and the lack of reading skills for formal texts. I address course design, lesson design, and assignment design. Most of my recommendations also apply to teaching formal methods other than probability theory. (shrink)

Husserl’s philosophy, by the usual account, evolved through three stages: 1. development of an anti-psychologistic, objective foundation of logic and mathematics, rooted in Brentanian descriptive psychology; 2. development of a new discipline of "phenomenology" founded on a metaphysical position dubbed "transcendental idealism"; transformation of phenomenology from a form of methodological solipsism into a phenomenology of intersubjectivity and ultimately (in his Crisis of 1936) into an ontology of the life-world, embracing the social worlds of culture and history. We show that this (...) story of three revolutions can provide at best a preliminary orientation, and that Husserl was constantly expanding and revising his philosophical system, integrating views in phenomenology, ontology, epistemology and logic with views on the nature and tasks of philosophy and science as well as on the nature of culture and the world in ways that reveal more common elements than violent shifts of direction. We argue further that Husserl is a seminal figure in the evolution from traditional philosophy to the characteristic philosophical concerns of the late twentieth century: concerns with representation and intentionality and with problems at the borderlines of the philosophy of mind, ontology, and cognitive science. (shrink)

The pejorative connotation often associated with the ordinary language meaning of “conspiracy theory” does not only stem from a conspiracy theory’s being about a conspiracy, but also from a conspiracy theory’s being regarded as a particular kind of theory. I propose to understand conspiracy theory-induced polarization in terms of disagreement about the correct epistemic evaluation of ‘theory’ in ‘conspiracy theory’. By framing the positions typical in conspiracy theory-induced polarization in this way, I aim to show that pejorative conceptions of ‘conspiracy (...) theory’ are problematic for research open to the possibility of finding depolarization strategies. That is, because they preclude constructive engagement with the epistemic norms governing (the rationales foundational of) belief in conspiracy theories. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

A short overview, written for a primarily scientific audience, of how conceptual analysis and philosophy of science can assist in nanoscience research.

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

Napolitano (2021) argues that the Minimalist Account of conspiracy theories—i.e., which defines conspiracy theories as explanations, or theories, about conspiracies—should be rejected. Instead, she proposes to define conspiracy theories as a certain kind of belief—i.e., an evidentially self-insulated belief in a conspiracy. Napolitano argues that her account should be favored over the Minimalist Account based on two considerations: ordinary language intuitions and theoretical fruitfulness. I show how Napolitano’s account fails its own purposes with respect to these two considerations and so (...) should not be favored over the Minimalist Account. Furthermore, I propose that the Minimalist Account is the best conception of ‘conspiracy theory’ if we share Napolitano’s goal of advancing the understanding of conspiracy theories. (shrink)

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

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

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

Hohwy et al.’s (2008) model of binocular rivalry (BR) is taken as a classic illustration of predictive coding’s explanatory power. I revisit the account and show that it cannot explain the role of reward in BR. I then consider a more recent version of Bayesian model averaging, which recasts the role of reward in (BR) in terms of optimism bias. If we accept this account, however, then we must reconsider our conception of perception. On this latter view, I argue, organisms (...) engage in what amounts to policy-driven, motivated perception. (shrink)

I propose that the successes and contributions of reinforcement learning urge us to see the mind in a new light, namely, to recognise that the mind is fundamentally evaluative in nature.

This paper proposes a novel answer to the question of what attitude agents should adopt when they receive misleading higher-order evidence that avoids the drawbacks of existing views. The answer builds on the independently motivated observation that there is a difference between attitudes that agents form as conclusions of their reasoning, called terminal attitudes, and attitudes that are formed in a transitional manner in the process of reasoning, called transitional attitudes. Terminal and transitional attitudes differ both in their descriptive and (...) in their normative properties. When an agent receives higher-order evidence that they might have reasoned incorrectly to a belief or credence towards p, then their attitude towards p is no longer justified as a terminal attitude towards p, but it can still be justified as a transitional attitude. This view, which I call the unmooring view, allows us to capture the rational impact of misleading higher-order evidence in a way that integrates smoothly with a natural picture of epistemic justification and the dynamics of deliberation. (shrink)

This chapter concerns the nature of our obligations as individuals when it comes to our emissions-producing activities and climate change. The first half of the chapter argues that the popular ‘expected utility’ approach to this question faces a problematic dilemma: either it gives skeptical verdicts, saying that there are no such obligations, or it yields implausibly strong verdicts. The second half of the chapter diagnoses the problem. It is argued that the dilemma arises from a very general feature of the (...) view, and thus is shared by other views as well. The chapter then discusses what an account of our individual obligations needs to look like if it is to avoid the dilemma. Finally, the discussion is extended beyond climate change to other collective impact contexts. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (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 Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these relations (...) and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

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

We have now reached the point at which cloud computing and other types of advanced infrastructure are bringing about a situation in which knowledge objects can be delivered in an efficient manner to hose who need to consume them. And just as highways were the infrastructure necessary for a manufacturing economy, serving as the arteries along which raw materials and manufactured goods coming in from all directions could flow, so we believe that ontologies will in the future provide an important (...) pillar in the infrastructure that is necessary for the accurate and safe delivery of all varieties of knowledge. (shrink)

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

An agent exercises instrumental rationality to the degree that she adopts appropriate means to achieving her ends. Adopting appropriate means to achieving one’s ends can, in turn, involve overcoming one’s strongest desires, that is, it can involve exercising synchronic self-control. However, contra prominent approaches, I deny that synchronic self-control is possible. Specifically, I draw on computational models and empirical evidence from cognitive neuroscience to describe a naturalistic, multi-system model of the mind. On this model, synchronic self-control is impossible. Must we, (...) then, give up on a meaningful conception of instrumental rationality? No. A multi-system view still permits something like synchronic self-control: an agent can control her very strong desires. Adopting a multi-system model of the mind thus places limitations on our conceptions of instrumental rationality, without requiring that we abandon the notion altogether. (shrink)

When one is going through a personal hardship, it is often comforting, or emotionally helpful, to hear from someone else who has gone through something similar. This is a common, familiar human phenomenon, but this chapter argues that it is philosophically puzzling. Unless one is in some sort of moment of vice, one would not want the other person to have suffered the hardship, and one should be pained to hear that they have. And yet the phenomenon is that hearing (...) about their similar hardship makes one feel better, rather than worse. Why is that? The chapter considers a range of intuitive replies. It argues that while each might be part of the story, none resolves the puzzle. There remains a question as to why the phenomenon does not reflect a vice of insufficient care or concern for others. It then considers two possible answers, drawing on ideas from Adams and Bommarito, but argues that neither are satisfactory. The aim of the chapter is to bring out the puzzle and show that it is difficult to resolve. But it ends with a suggestion for a resolution. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)