I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate for a general theory (...) of explanation due to its significant omissions of explanatory content and subsequent incompleteness. (4) I present arguments for the indispensable explanatory power of mathematics in science, noting that much of NME's failures are owed to its poor integration of mathematical explanation as applied to science. (5) I propose a Rational-Relational theory of explanation(“RRE”). I present RRE in detail and demonstrate it as a true working general theory of explanation which best meets the motivating criteria presented in (1). I disambiguate RRE from structural explanation ("SE"). I show that historical models of explanation, including the deductive nomological (DNE) model, statistical relevance ("SRE") model, structural model (SE) and unification model ("UE") may be successfully treated as sub-classes of explanation within the scope of RRE. I provide a rubric for selecting amongst sub-theories of explanation under RRE in the purpose of highlighting particular features of relational explanations. (6) In conclusion, I argue that philosophers of science should move forward using RRE as a general model of scientific explanation as a working alternative to the incomplete model of NME. (shrink)

Braun explores the use of digital twin technology in medicine with a particular emphasis on the question of how such simulations can represent a person.1 In defining some first conditions for ethically justifiable forms of representation of digital twins, he argues that digital twins do not threaten an embodied person, as long as that person retains control over their simulated representation via dynamic consent, and ideally with the option to choose both form and usage of the simulation. His thoughtful elaboration (...) provides insight into the challenges inherent in interactions between a person and their digital twin, emphasising the modes of control required to respect personal modes of freedom. This individual-centric approach to the question of representation leaves out the important ethical consideration of ensuring that all, not merely some, can be represented. Braun describes dynamic consent as a necessary mode of control, arguing that where a person is unable to give consent, ‘such simulations threaten to become illegitimate representations. They would then shift the kind of interaction from representation to illegitimate forms of prediction or surveillance and thereby could lead to infringements to individual modes of freedom.’ Consequently, the implementation of digital twin technology in healthcare would seem to exclude the most vulnerable members of society from participation in and benefiting from medical innovation, …. (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)

This article argues that personal medical data should be made available for scientific research, by enabling and encouraging individuals to donate their medical records once deceased, similar to the way in which they can already donate organs or bodies. This research is part of a project on posthumous medical data donation developed by the Digital Ethics Lab at the Oxford Internet Institute at the University of Oxford. Ten arguments are provided to support the need to foster posthumous medical data donation. (...) Two major risks are also identified—harm to others, and lack of control over the use of data—which could follow from unregulated donation of medical data. The argument that record-based medical research should proceed without the need to secure informed consent is rejected, and instead a voluntary and participatory approach to using personal medical data should be followed. The analysis concludes by stressing the need to develop an ethical code for data donation to minimise the risks, and offers five foundational principles for ethical medical data donation suggested as a draft code. (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)

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.

One famous debate in contemporary epistemology considers whether there is always one unique, epistemically rational way to respond to a given body of evidence. Generally speaking, answering “yes” to this question makes one a proponent of the Uniqueness thesis, while those who answer “no” are called “permissivists”. Another influential recent debate concerns whether non-truth-related factors can be the basis of epistemic justification, knowledge, or rational belief. Traditional theories answer “no”, and are therefore considered “purists”. However, more recently many theorists have (...) argued to the contrary, claiming that impurist factors, such as practical stakes, can sometimes encroach or even override truth-related considerations. This paper bridges the two debates by presenting and defending what I call “Impurist Permissivism”. I support Impurist Permissivism by showing how it can resist Roger White’s famous Argument from Arbitrariness (2005). (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)

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.

While the substantiation of “best interests” has received much attention, the question of how “the child” is conceptualised to ensure any action taken or decision made is in the particular child’s best interests has been largely neglected. In this paper, I argue that the lack of robust understanding of who “the child” is means that we continue to make many generalisations and category-based assumptions in determining the child’s best interests. In addressing the challenge of doing right by the individual child, (...) I propose a three-step approach based on a theoretical model of the child that avoids presumptions about child-typical needs and insists on an assessment of the child’s individual characteristics, needs, qualities, and circumstances, making it the only conceptualisation fully meeting the child centrism criterion required by children’s rights as determined by the United Nations Convention on the Rights of the Child. (shrink)

In recent years, New Mechanism has become one of the most popular and widely discussed philosophical accounts of scientific explanation. Some of its proponents see it as a successor to traditional deductive nomological and statistical approaches to the philosophy of explanation. New Mechanists thus argue for the generality of their approach as a model of scientific explanation. Here we will show that the generality of NME as an account of scientific explanation is restricted. Most significantly, NME is widely recognized to (...) have trouble in accounting for explanation in traditional physics. Yet, in the face of obstacles to NME in the physical sciences, New Mechanists have yet to provide a convincing defense of the generality of their view. In this paper, I (1) summarize when and how NME works, (2) describe briefly what NME is not and can’t be, (3) outline some areas of contemporary scientific explanation where New Mechanism misses the mark; and (4) demonstrate that New Mechanism does not constitute a general theory of scientific explanation but rather covers a restricted scope of explanations. (shrink)

This article argues that understanding any space or site relies on a knowledge of its fourth dimension - the timescape. It will explore this by situating the investigation in the museum - a place of heightened contrivance which could easily be shallowly interpreted as "mere style". It will defend a new method of investigating museum temporality which combines both phenomenology and literary theory, and will replace the idea of geo-epistemology with geochronic epistemology: an understanding of context and situation which takes (...) on time as well as spatial location. In so doing, it moves on from notions of the museum as a place out of time, situating it in the networks of meaning, power and politics in which we have lived and are living. Thus, "the whole space of the exhibition" as Lyotard said, "becomes the remains of all time": the Museum on the Edge of Forever. (shrink)

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)

Adoption may be defined as ‘the legal process through which the state establishes a parental relationship, with all its attendant rights and duties, between a child and a (set of) parent(s) where there exists no previous procreative relationship’ . In adoptions from care, state intervention effectively converts an established, or nascent, adult– child relationship into ‘family’ in the legal sense. From the state’s perspective, adoption thus entails the transfer of parental responsibilities for a child in public care to a private (...) family unit, enabling the state to permanently delegate its duties towards a child to this new unit. This seemingly straightforward legal act raises deeper philosophical questions relating to such state ‘family creation’, particularly when the child’s perspective is taken. Such a child- centric approach normatively regards children as equal moral beings, who ought to be included in actions concerning them, regardless of their capacity to form and express an opinion. Accordingly, adoption from care can be described as a moral decision, aimed at doing what is in the child’s best interests. The purpose of this chapter is to explore a suspicion of a lack of child- centrism in adoption from care practice, and to illustrate how adopted children’s rights are inferior to those of their non- adopted peers. This will shed light on a practice currently lacking transparency and accountability and will increase our understanding of how we fail to treat children as equal moral individuals in decision- making that severely impacts children’s lives. (shrink)

Almost every facet of the experience of musical listening—from pitch, to rhythm, to the experience of emotion—is thought to be shaped by the meeting and thwarting of expectations. But it is unclear what kind of mental states these expectations are, what their format is, and whether they are conscious or unconscious. Here, we distinguish between different modes of musical listening, arguing that expectations play different roles in each, and we point to the need for increased collaboration between music psychologists and (...) philosophers in order to arrive at a more detailed characterisation of conscious musical experience and the role of expectations therein. (shrink)

A significant proportion of child protection cases involve care-experienced mothers, which reveals a continuous cycle of mothers who lose their children to social services after having been in state care themselves as children. While the importance of protecting children requires little explanation and forms the justificatory basis for child protection interventions, it is important to remember that care-experienced mothers were once children entrusted to the state’s care, and who arguably have been failed by the state in that their parenting opportunities (...) are significantly reduced. This paper aims to address this underexplored dilemma between protecting children and safeguarding mothering opportunities for care-experienced mothers. Appealing to the concept of solidarity, I argue that the state has an obligation to increase its compensatory efforts to secure the right of care-experienced women to not only become parents but to be able to be parents, with the aim of breaking the cycle of care experience. (shrink)

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (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)

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.

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)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

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)

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)

Entitlement is defined as a sort of epistemic justification that one can possess by default – a sort of epistemic justification that does not need to be earned or acquired. Epistemologists who accept the existence of entitlement generally have a certain anti-sceptical role in mind for it – entitlement is intended to help us resist what would otherwise be compelling radical sceptical arguments. But this role leaves various details unspecified and, thus, leaves scope for a number of different potential conceptions (...) of entitlement. At one extreme there are conceptions that portray entitlement as a weak, attenuated epistemic status and, at the other, we have conceptions that portray entitlement as something potent and strong. Certain intermediate conceptions are also possible. In this paper, I shall argue that the weak and intermediate conceptions of entitlement do not survive careful scrutiny, and the stronger conceptions – while they do, in a way, strain credulity – are the only conceptions that are ultimately viable. (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)

Difference and Repetition might be said to have brought about a Deleuzian Revolution in philosophy comparable to Kant’s Copernican Revolution. Kant had denounced the three great terminal points of traditional metaphysics – self, world and God – as transcendent illusions, and Deleuze pushes Kant’s revolution to its limit by positing a transcendental field that excludes the coherence of the self, world and God in favour of an immanent and differential plane of impersonal individuations and pre-individual singularities. In the process, he (...) introduces numerous conceptual innovations into philosophy: the becoming of concepts; a transformation of the form of the question; an insistence that philosophy must start in the middle; an attempt to think in terms of multiplicities; the development of a new logic and a new metaphysics based on a concept of difference; a new conception of space as intensive rather than extensive; a conception of time as a pure and empty form; and an understanding of philosophy as a system in heterogenesis – that is, a system that entails a perpetual genesis of the heterogeneous, an incessant production of the new. -/- Keywords: concepts, becoming, multiplicity, singularity, the middle [au milieu], difference, intensity, time, system, the new. (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.

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

Does ?ought? imply ?can? for collectives' obligations? In this paper I want to establish two things. The first, what a collective obligation means for members of the collective. The second, how collective ability can be ascertained. I argue that there are four general kinds of obligation, which devolve from collectives to members in different ways, and I give an account of the distribution of obligation from collectives to members for each of these kinds. One implication of understanding collective obligation and (...) ability in the proposed way is that a group can be blameworthy for failing to realize its obligation even when no member of the group is blameworthy for failing to realize her obligation. (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)

This study investigated how learner support services at the University of Calabar predict business education students' preparation for online learning. Two specific objectives were established, two research questions were posed, and two null hypotheses were developed and tested at a significant level of .05. Pertinent literature was reviewed. The population consisted of 147 University of Calabar 400-level business education students. This population also formed the sample using a census process. Data were gathered using a structured questionnaire with 40 items that (...) were validated by five specialists from the University of Calabar. Cronbach Alpha statistics were used to establish the questionnaire's reliability, yielding reliability coefficients of 0.88 and 0.85 for the independent sub-variables and dependent variable, respectively. Following the administration of the questionnaire, the data collected was analyzed using linear regression analysis to test the hypotheses. The results show that academic and technological support services strongly predict business education students' preparation for online instruction at the University of Calabar. Based on these findings, the study recommends that lecturers, counsellors, and academic technicians should encourage students to participate in digital education by offering intellectual, emotional, and other support services. (shrink)

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

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (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)

While science is often presented as a body of knowledge or collection of passively accumulated facts, science should be examined and experienced as a performed process, a human endeavor connected to the ways we access the world. In this white paper, I briefly introduce the practice of science from the perspective of performance theory. By examining science in the context of performance, we may approach certain key questions about science directly. How do scientists perform experiments and practice the scientific method (...) (or, more accurately, scientific methodologies)? How does science rely on particular performer(s) and the particular contexts of those performances? What distinguishes the activity of science from other kinds of human performances? By reframing science as a human performance in the context of human practices and rituals, we more closely approach an accurate and communicable explanation of what the process of “doing science” actually is as something that humans do. (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)

Building on the writings of Wittgenstein on rule-following and deviance, Kristóf Nyíri advanced a theory of creativity as consisting in a fusion of conflicting rules or disciplines. Only such fusion can produce something that is both intrinsically new and yet capable of being apprehended by and passed on to a wider community. Creativity, on this view, involves not the breaking of rules, or the deliberate cultivation of deviant social habits, but rather the acceptance of enriched systems of rules, the adherence (...) to which presupposes simultaneous immersion in disciplines hitherto seen as being unrelated. The paper presents a demonstration of the fruitfulness of this theory by means of an account of some of the political, cultural and intellectual peculiarities of the Habsburg Monarchy. (shrink)

We propose the beginnings of a general theory of environments, of the parts or regions of space in which organisms live and move. We draw on two sources: on the one hand on recent work on the ontology of space; and on the other hand on work by ecological scientists on concepts such as territory, habitat, and niche. An environment is in first approximation a volume of space; it is a specific habitat, location, or site that is suitable or adequate (...) for given purposes (of foraging, resting, hunting, breeding, nesting, grooming) in the life of an organism or group of organisms. This spatial notion of environment can be drawn closer to biological and ecological science by taking account of the pertinent physical attributes realized within given spatial regions. (shrink)

Climate change appears to be a classic aggregation problem, in which billions of individuals perform actions none of which seem to be morally wrong taken in isolation, and yet which combine to drive the global concentration of greenhouse gases (GHGs) ever higher toward environmental (and humanitarian) catastrophe. When an individual can choose between actions that will emit differing amounts of GHGs―such as to choose a vegan rather than carnivorous meal, to ride a bike to work rather than drive a car, (...) or to take a reusable bag to the supermarket rather than send another plastic bag to landfill―does she have any reason to choose the lower-emitting actions? In this chapter I'll reject the claim that individuals don't make a difference when it comes to climate change. I first discuss making a difference with every action, as a way of getting clearer about how individuals' actions impact causally on the harms resulting from climate change, making a distinction so far overlooked in the climate ethics discussion between 'macro' thresholds like ice-cap melt, and 'micro' thresholds like severe weather events. I set aside making a difference with every action as implausible, and then move on to discuss both low probability of major difference, and high probability of minor difference. I argue that both of these are plausible characterizations of individuals' causal contributions to climate change. I conclude by noting some policy implications of having (probabilistic) individual difference-making back in play. (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)

Dissertation Prospectus. Exploring the limits of New Mechanism as a general theory of scientific explanation, limiting its scope and proposing constraints.

The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its (...) external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

There is a narrow thread in the vast literature on Kafka which pertains to Kafka’s knowledge of philosophy, and more precisely to Kafka’s use in his fictional writings of some of the main ideas of Franz Brentano. Kafka attended courses in philosophy at the Charles University given by Brentano’s students Anton Marty and Christian von Ehrenfels, and was for several years a member of a discussion-group organized by orthodox adherents of the Brentanian philosophy in Prague. The present essay summarizes what (...) is known about Kafka’s relations to the Brentanist movement. It draws on Brentanian ideas on the evidence of inner perception, on oblique consciousness, on active introspection, on correct and incorrect judgment, and on consciousness as a species of inner tribunal, in order to throw light on central features of Kafka’s writings, including stylistic features. Special attention is directed towards Die Verwandlung and Der Prozess, and a reading of the latter is offered according to which the trial of Joseph K. occurs entirely within the mind of K. himself. The revisions in the 1997 version of the paper relate especially to the treatment of Kafka and Brentano in Arnold Heidsieck’s book The Intellectual Contexts of Kafka’s Fiction: Philosophy, Law, Religion, of 1994. (shrink)

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