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

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

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

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

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

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

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

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

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

Most work in Kant’s epistemology focuses on what happens “upstream” from experience, prior to the formation of conscious propositional attitudes. By contrast, this essay focuses on what happens "downstream": the formation of assent (Fuerwahrhalten) in its various modes. The mode of assent that Kant calls "Belief" (Glaube) is the main topic: not only moral Belief but also "pragmatic" and "doctrinal" Belief as well. I argue that Kant’s discussion shows that we should reject standard accounts of the extent to which theoretical (...) reason can provide justified assent about things-in-themselves, in favor of one that is much more liberal. Interpretive benefits are not the only results of the discussion, however. I also hope it will become clear along the way that there is such a thing as Kantian Belief, and that we often have quite a lot of it. -/- . (shrink)

An essay on Kant's theory of justification, where by “justification” is meant the evaluative concept that specifies conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence. Kant employs both epistemic and non-epistemic concepts of justification: an epistemic concept of justification sets out conditions under which a propositional attitude is rationally acceptable with a moderate-to-high degree of confidence and a candidate (if true and Gettier-immune) for knowledge. A non-epistemic concept of justification, by contrast, sets out (...) conditions under which attitudes are rationally acceptable with a moderate-to-high degree of confidence but not candidates for knowledge (even if true). The latter conditions will typically be “pragmatic” or “practical,” and thus license acceptance from a “practical” point of view. For Kant, only broadly-speaking practical reasons can provide adequate motivation for adopting a positive attitude towards a proposition (rather than suspending judgment) in the absence of sufficient epistemic grounds. -/- . (shrink)

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

In the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think that transcendental idealism (...) allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (shrink)

For Kant, the form of a subject's experience of an object provides the normative basis for an aesthetic judgement about it. In other words, if the subject's experience of an object has certain structural properties, then Kant thinks she can legitimately judge that the object is beautiful - and that it is beautiful for everyone. My goal in this paper is to provide a new account of how this 'subjective universalism' is supposed to work. In doing so, I appeal to (...) Kant's notions of an aesthetic idea and an aesthetic attribute, and the connection that Kant makes between an object's expression of rational and the normativity of aesthetic judgements about it. -/- . (shrink)

The usual way of discussing normativity and naturalism is by running through a standard range of issues: the relations of fact and value, objectivity, reason and emotion, is and ought, and the so-called ‘naturalistic fallacy’. This is a naturalism that is virtually silent on nature. I outline an alternative approach that relates normativity to our nature as living beings, for whom specific things are good or bad for us. Our nature as evaluative beings is shown to be rooted in and (...) emergent from this biological normativity. There is also significant downward causation, such that our brain-bodies are continually modified by our experience and thoughts. Cultures, as emergent from the affordances of our brain-bodies, create further extensive, irreducible sources of normativity, albeit ones which do not wholly escape biological normativity and can impact back on it. (shrink)

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

Nietzsche famously discusses a psychological condition he calls ressentiment, a condition involving toxic, vengeful anger. I offer a free-standing theory in philosophical psychology of the familiar...

This paper argues that both a limited doxastic voluntarism and anti-evidentialism are consistent with the views that the aim of belief is truth or knowledge and that this aim plays an important role in norm-setting for beliefs. More cautiously, it argues that limited doxastic voluntarism is (or would be) a useful capacity for agents concerned with truth tracking to possess, and that having it would confer some straightforward benefits of both an epistemic and non-epistemic variety to an agent concerned with (...) truth tracking. (shrink)

Attempting to settle various debates from recent literature regarding its precise nature, I offer a detailed conceptual analysis of toleration. I begin by isolating toleration from other notions; this provides us some guidance by introducing the eight definitional conditions of toleration that I then explicate and defend. Together, these eight conditions indicate that toleration is an agent’s intentional and principled refraining from interfering with an opposed other (or their behavior, etc.) in situations of diversity, where the agent believes she has (...) the power to interfere. This non-normative definition can serve as a preliminary to normative discussions of toleration. (shrink)

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

An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...) that action. Likewise with ought, when there is sufficient evidence for something, one ought to believe it (at least under normal circumstances). Not all guidance need be directed towards a specific state or a specific action. Subject to the requirements of normativity, too, are relations. It is commonly believed, for example, that we ought not to hold contradictory beliefs.1 At least some of the requirements that concern relations amongst an agent’s mental states are, or seem, distinctive. Agents who fail to satisfy these requirements are considered, at least to some degree, irrational. On many current views, being irrational is distinct in some way from not being how one ought to be; rationality is a concept distinct from normativity. Much of the literature on this topic over the last decade stems from attempts to capture the characteristic features of the requirements of rationality. Two influential views in particular did much to set the agenda. The first of these two was put forward John Broome.2 His view, the particulars of which I shall discuss in more detail below, is that the requirements of rationality could be expressed using a normative relation, which he calls a ‘normative requirement’. Normative requirements are conditionals governed by an all-thingsconsidered ought. In the case of rationality, the conditional is made up entirely of mental states.. (shrink)

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

In this thesis, I will defend a new kind of compatibilist account of free action, indirect conscious control compatibilism (or indirect compatibilism for short), and argue that some of our actions are free according to it. My argument has three components, and involves the development of a brand new tool for experimental philosophy, and the use of cognitive neuroscience. The first component of the argument shows that compatibilism (of some kind) is a conceptual truth. Contrary to the current orthodoxy in (...) the free will literature, which is that our concept of free will is an incompatibilist concept - a concept according to which we have free will only if determinism is false - I will show that our concept of free will is in fact a compatibilist concept - a concept according to which we can have free will even if determinism is true - and I do so using a new experimental philosophy methodology inspired by two-dimensional semantics. -/- Of course, even if our concept of free will is a compatibilist concept, this does not mean that there are any free actions in the world: the current empirical evidence from the brain sciences appears to show that there might be no, or very few, free actions in the world, even on many compatibilist understandings of what it would take for there to be free will. The second component of the argument addresses this concern by extending our understanding of compatibilism. Agents act freely either when their actions are caused by compatibilistically acceptable psychological processes, or are indirectly caused by those same processes. Hence the name of my account: indirect compatibilism. -/- The final component of the argument defends my new account against some interesting objections and provides evidence from cognitive neuroscience that some of our actions count as free by the lights of indirect compatibilism. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

Terence Horgan, George Graham and John Tienson argue that some intentional content is constitutively determined by phenomenology alone. We argue that this would require a certain kind of covariation of phenomenal states and intentional states that is not established by Horgan, Tienson and Graham’s arguments. We make the case that there is inadequate reason to think phenomenology determines perceptual belief, and that there is reason to doubt that phenomenology determines any species of non-perceptual intentionality. We also raise worries about the (...) capacity of phenomenology to map onto intentionality in a way that would be appropriate for any determiner of content/fixer of truth conditions. (shrink)

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

I give an interpretation according to which Meno’s paradox is an epistemic regress problem. The paradox is an argument for skepticism assuming that (1) acquired knowledge about an object X requires prior knowledge about what X is and (2) any knowledge must be acquired. (1) is a principle about having reasons for knowledge and about the epistemic priority of knowledge about what X is. (1) and (2) jointly imply a regress-generating principle which implies that knowledge always requires an infinite sequence (...) of known reasons. Plato’s response to the problem is to accept (1) but reject (2): some knowledge is innate. He argues from this to the conclusion that the soul is immortal. This argument can be understood as a response to an Eleatic problem about the possibility of coming into being that turns on a regress-generating causal principle analogous to the regress-generating principle presupposed by Meno’s paradox. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

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

I examine Kant's claim that a relation of symbolization links judgments of beauty and judgments of ‘systematicity’ in nature (that is, judgments concerning the ordering of natural forms under hierarchies of laws). My aim is to show that the symbolic relation between the two is, for Kant, much closer than many commentators think: it is not only the form but also the objects of some of our judgments of taste that symbolize the systematicity of nature. -/- .

In this paper I introduce an objection to normative evidentialism about reasons for belief. The objection arises from difficulties that evidentialism has with explaining our reasons for belief in unstable belief contexts with a single fixed point. I consider what other kinds of reasons for belief are relevant in such cases.

This paper argues against both conceptual and linguistic analysis as sources of a priori knowledge. Whether such knowledge is possible turns on the nature of concepts. The paper's chief contention is that none of the main views about what concepts are can underwrite the possibility of such knowledge.

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

We discuss the view that a hole is identical to the region of spacetime at which it is located. This view is more parsimonious than the view that holes are sui generis entities located at those regions surrounded by their hosts and it is more plausible than the view that there are no holes. We defend the spacetime view from several objections.

In this paper it is argued that the buck-passing analysis (BPA) of final value is not a plausible analysis of value and should be abandoned. While considering the influential wrong kind of reason problem and other more recent technical objections, this paper contends that there are broader reasons for giving up on buck-passing. It is argued that the BPA, even if it can respond to the various technical objections, is not an attractive analysis of final value. It is not attractive (...) for two reasons: the first being that the BPA lacks the features typical of successful conceptual analyses and the second being that it is unable to deliver on the advantages that its proponents claim for it. While not offering a knock-down technical refutation of the BPA, this paper aims to show that there is little reason to think that the BPA is correct, and that it should therefore be given up as an analysis of final value. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of argumentation (...) schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the salivaomics (...) domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical (...) knowledge. (shrink)

I contend that Adam Smith and David Hume offer re-interpretations of Aristotle’s notion of greatness of soul, focusing on the kind of magnanimity Aristotle attributes to Socrates. Someone with Socratic magnanimity is worthy of honor, responds moderately to fortune, and is virtuous—just and benevolent. Recent theorists err in claiming that magnanimity is less important to Hume’s account of human excellence than benevolence. In fact, benevolence is a necessary ingredient for the best sort of greatness. Smith’s “Letter to Strahan” attributes this (...) greatness to Hume. It encourages us to admire Hume as an exemplar of human excellence, to seek Hume’s virtues for ourselves, and to approve of the “love of literary fame” which Hume calls his “ruling passion.”. (shrink)

In 1929 when Aurel Kolnai published his essay “On Disgust” in Husserl's ]ahrbuch he could truly assert that disgust was a "sorely neglected" topic. Now, however, this situation is changing as philosophers, psychologists, and historians of culture are turning their attention not only to emotions in general but more specifically to the large and disturbing set of aversive emotions, including disgust. We here provide an account of Kolnai’s contribution to the study of the phenomenon of disgust, of his general theory (...) of emotions and of the phenomenological methodology he employed in his work. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, which are essential (...) to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

As a grand narrative of progress, the utopian project of modernity is primarily concerned with notions of rationalism, universalism, and the development of a metalanguage. The triumph of the Moderate Enlightenment has seen logics of domination, accumulation and individualism incorporated into the project of modernity, with these logics giving rise to globalised capitalism as the metalanguage of modernity and neoliberal economics as the grand narrative of rational progress. The project of modernity is all but complete, requiring only the formality of (...) an end. However, rather than utopia, the foreseeable endpoint of modernity is environmental collapse, with neoliberal economics also serving as a grand narrative of environmental destruction. As an anti-modern response, postmodernism has been a triumphant failure. While there is much to be gained from the postmodern critique of modernity, its incredulity towards metanarratives has left it incapable of forming an adequate response to modernity, especially in regards to action on climate change. Postmodernism is better characterized as a crisis located within modernity itself and it will be argued that rather than the pursuit of the modern or the post-modern, we need to re-imagine ourselves as proto- historical to overcome the impasse of late-capitalism. (shrink)

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

John Gibbons (2006) has argued against epistemic internalism on the basis of thought experiments. I argue that Gibbons’s thought experiments fail to support his argument.

Johannes Daubert he was an acknowledged leader, and in some respects the founder, of the early phenomenological movement, and was considered – as much by its members as by Husserl himself – the most brilliant member of the group. In Daubert’s unpublished writings we find a series of reflections on Lask, and on Neo-Kantianism, which form the subject-matter of this paper. They range over topics such as the ontology of the ‘Sachverhalt’ or state of affairs, truthvalues (Wahrheitswerte) and the value (...) of truth, negative judgments and the copula, and the relation between perception and judgment. (shrink)

In my paper ‘Three Forms of Internalism and the New Evil Demon Problem,’ I argued that the new evil demon problem, long considered to be one of the biggest obstacles for externalism, is also a problem for virtually all internalists. In (McCain 2014a) and in his recent book (McCain 2014b), Kevin McCain provides a challenging and thought provoking reasons for thinking that many internalists do not have any such problem. In this paper, I’ll provide some replies to McCain. Of note, (...) I’ll show that a Frankfurt-style counterfactual intervener, who commonly appears in the free will literature, can also serve as a new evil demon in the epistemology literature. (shrink)

Warning: includes two somewhat graphic images. This paper is an effort to lay out a taxomony of conceptual relations between the domains of the sublime and the religious. -/- .

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva (...) diagnostics made possible by the Saliva Ontology and SDxMart. (shrink)

Bullshit is not the only sort of deceptive talk. Spurious definitions are another important variety of bad reasoning. This paper will describe some of these problematic tactics, and show how Harry Frankfurt’s treatment of bullshit may be extended to analyze their underlying causes. Finally, I will deploy this new account of definition to assess whether Frankfurt’s definition of bullshit is itself legitimate.

The purpose of this paper is to draw attention to a pattern of development, the significance of which has not been generally recognized. This pattern is characterized by an initial occurrence of what I shall call an overdetermined problem - i.e. a problem with no solution compatible with accepted belief and practice - followed by a resolution of the problem which relies on and exploits a change in what was previously taken as given.