We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

Happy accidents happen even in philosophy. Sometimes our arguments yield insights despite missing their target, though when they do others can often spot it more easily. Consider the work of Donald Davidson. Few did more to explore connections among mind, language, and world. Now that we have critical distance from his views, however, we can see that Davidson’s accomplishments are not quite what they seem. First, while Davidson attacked the dualism of conceptual scheme and empirical content, he in fact illustrated (...) a way to hold it. Second, while Davidson used the principle of charity to argue against the dualism, his argument in effect treats the principle as constitutive of a conceptual scheme. And third, while Davidson asserted that he cannot define what truth ultimately is—and while I do not disagree—his work nonetheless allows us to saymore about truth than Davidson himself does. -/- I aim to establish these three claims. Doing so enriches our understanding of issues central to the history of philosophy concerning how, if at all, to divvy up the mental or linguistic contribution, and the worldly contribution, to knowledge. As we see below, Davidson was right in taking his work to be one stage of a dialectic begun by Immanuel Kant.1 He was just wrong about what that stage is. Reconsidering Davidson’s views also moves the current debate forward, as they reveal a previously unrecognized yet intuitive notion of truth—even if Davidson himself remained largely unaware of it. We begin however with scheme/content dualism and Davidson’s argument against it. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)

This is a work in Kantian conceptual geography. It explores issues in analytic epistemology, philosophy of language, and metaphysics by appealing to theses drawn from Immanuel Kant's Critique of Pure Reason.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

It is argued that, given certain reasonable premises, an infinite number of qualitatively identical but numerically distinct minds exist per functioning brain. The three main premises are (1) mental properties supervene on brain properties; (2) the universe is composed of particles with nonzero extension; and (3) each particle is composed of continuum-many point-sized bits of particle-stuff, and these points of particle-stuff persist through time.

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

I believe that the sort of disagreements we encounter in philosophy—disagreements that often take the form that I have elsewhere called system- atic peer disagreements—make it unreasonable to think that there is any knowledge, or even justified belief, when the disagreements themselves are systematic. I readily acknowledge that this skeptical view is quite controversial; I suspect many are unconvinced. However, I will not be defending it here. Rather, I will be exploring a worry, or set of worries, that arise on (...) the assumption that this view is correct. For if it is unreasonable to think that there is justified belief in contexts of systematic philosophical disagreements, by what right do we continue to advance philosophical claims in such contexts? Indeed, by what right do we believe the philosophical claims we advance? And if we don’t believe them, why do we advance them in the first place? An inability to respond to these worries would leave us with the dis- tinct impression that the practice or activity of philosophy is quite suspect: what sort of practice or activity would have us believe unreasonably, assert unwarrantedly, and perhaps exhibit insincerity to boot? (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...) set of actors from the public and private spheres to engage in the kind of collaborative knowledge exchange requisite for fostering enhanced innovation in early drug development. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

In this paper we address the interrelated questions of why and how certain features of an organism’s environment become meaningful to it. We make the case that knowing the biology is essential to understanding the foundation of meaning-making in organisms. We employ Miguel Nicolelis et al’s seminal research on the mammalian somatosensory system to enrich our own concept of brain-objects as the neurobiological intermediary between the environment and the consequent organismic behavior. In the final section, we explain how brain-objects advance (...) the ongoing discussion of what constitutes a biosemiotic system. In general, this paper acknowledges Marcello Barbieri’s call for biology to make room for meaning, and makes a contribution to that end. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Letter commenting on the paper Barry Smith, Louis J. Goldberg, Alan Ruttenberg & Michael Glick, "Ontology and the Future of Dental Research Informatics", Journal of the American Dental Association 141 2010;(10):1173-75 with responses by the authors of the paper.

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Veritism says that the fundamental source of epistemic value for a doxastic state is the extent to which it represents the world correctly: that is, its fundamental epistemic value is deter...

The literature on the history of electricity production have studied the evolution of electricity in both developed and developing countries and its impact on their economies. Some have laid foundations upon which other works are carried out. A close examination of historiography and multidisciplinary research on electricity production in Ghana shows that more efforts are required to improve the electric power landscape in Ghana. From the colonial era, the increasing demand for electricity has been the biggest challenge plaguing the energy (...) sector. Respective governments have made significant strides in ensuring reliable and universal access to electricity throughout Ghana, yet such efforts have been accompanied by different levels of challenges. The study uses a qualitative and exploratory research approach to trace the activities that helped, in many other ways to the creation of a sustainable electric power provision to household and industry in Ghana, particularly in two of Ghana’s cities; Accra and Kumasi, within the period 1900 to the1960s. The work focused mainly on archival sources in its quest to arrive at how indigenous Ghanaians provided power for industrial activities and for household purposes. Results from the study show that local and cottage industries relied predominantly on wood, fuel, and biomass for their operations even before the introduction of the more sophisticated means of power generation. Also, the study revealed that in finding solutions to the challenges of electricity production, policymakers have focused more on current issues with little or no effort to trace the historical foundation of electricity production. This notwithstanding, the little efforts that have been made examined the history of energy production, with a limited focus on the immediate post-independence era. (shrink)

Women have always been central concerning the provision of healthcare. The transitions into the modern world have been very slow for women because of how societies classify women. Starting from lay care, women provided healthcare for their family and sometimes to the members of the community in which they lived. With no formal education, women served as midwives and served in other specialised fields in medicine. They usually treated their fellow women because they saw ‘women’s medicine’ as women’s business. They (...) were discriminated against by the opposite sex and by the church, which regarded it as a taboo to allow women to practice medicine. This study points to a Ghanaian context on how the charismas of women have made them excel in their efforts to provide healthcare for their people. The study also focused on the role of indigenous practitioners who are mostly found in the rural areas and modern practitioners who are mostly found in the peri-urban, urban areas and larger cities in Ghana. (shrink)

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad range (...) of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: 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)

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

This article looks at some of the metaphysical properties of cognitive artefacts. It first identifies and demarcates the target domain by conceptualizing this class of artefacts as a functional kind. Building on the work of Beth Preston, a pluralist notion of functional kind is developed, one that includes artefacts with proper functions and system functions. Those with proper functions have a history of cultural selection, whereas those with system functions are improvised uses of initially non-cognitive artefacts. Having identified the target (...) domain, it then briefly looks at the multiple usability of physical structures and the multiple realizability of cognitive function. Further developing insights from the “dual nature of artefacts thesis”, the article ends with conceptualizing the structure–function relations of cognitive artefacts. More specifically, it unpacks the relation between physical structure, representational structure, information, and cognitive function. (shrink)

What would happen if lightning struck a tree in a swamp and transformed it into The Swampman, or if saving billions of lives required sacrificing millions first? The first is a philosophical thought experiment devised by Donald Davidson, the second a theme from a comic written by Alan Moore. I argue that that comics can be read as containing thought experiments and that such philosophical devises should be shared with students of all ages.

How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different ways of describing information. We describe a new strategy to (...) advance the consistency of data in the dental research community. The strategy is based on the idea that existing systems for data collection in dental research will continue to be used, but proposes a methodology in which past, present and future data will be described using a consensus-based controlled structured vocabulary called the Ontology for Dental Research (ODR). (shrink)

Whilst media and political rhetoric in Britain is sceptical and often outright damning of the (presumed) morals and behaviours of the White marginalized poor, our aim is to explore the conditions under which successful communities are nevertheless built. Specifically, we examine the features of community and stress its importance both for belonging and bonding around shared norms and practices and for fostering the necessary bridging essential for interacting and cooperating with others. In considering what it means to foster a community (...) that acts as a breakwater against the tides of stigma or disadvantage, we pay special attention to what we will call enabling conditions – essential features that communities either can or should be able to provide or that exist independent of communities and are indispensable for accessing opportunities in the wider society. We detail the dynamics of White poverty and exclusion before turning our attention to possible responses to these challenges. In searching for viable responses to stigma and disadvantage, we compare some different typologies of community presently available to the White poor in Britain and examine whether these are sufficient to satisfy the enabling conditions associated with more robust forms of group membership. (shrink)

Plato extends a bold, confident, and surprising empirical challenge. It is implicitly a claim about the psychological — more specifically motivational — economies of human beings, asserting that within each such economy there is a desire to live well. Call this claim ‘psychological eudaimonism’ (‘PE’). Further, the context makes clear that Plato thinks that this desire dominates in those who have it. In other words, the desire to live well can reliably be counted on (when accompanied with correct beliefs about (...) the role of morality or virtue in living well) to move people be virtuous. As we will argue, this general claim appears in not only Plato but Aristotle and the Stoics as well. But it is one we might wonder about, in three ways. First, we might wonder about its warrant. After all, the claim is universal in scope; yet it is about a highly contingent fact about the motivational propensities of individual human organisms, and there is abundant variability in the individual forms human nature takes. What grounds could the ancients have for their confidence that there are no outliers (assuming, as we do, that they do not merely misspeak in framing general claims as universal ones)? Second, we might wonder about its truth. For were it true, it would entail something remarkable about the nature of rationality that we (post-)moderns would be wise to heed. And third, we might wonder about its relationship with normative eudaimonism. By ‘normative eudaimonism’ (‘NE’) we mean the claim that we have conclusive reason to act in ways that conduce to our own eudaimonia. As we will show, the key to these three questions is the first. If we consider what justification the ancients have for their claim, we can see why that claim must be true. Moreover, as we will also show, it must be true because of the nature of practical rationality as the ancients understood it — that is, in terms of normative eudaimonism. We will show this by marshalling unexpected resources: Donald Davidson’s work in understanding how we interpret others and in so doing make sense of them as rational beings. If we couple Davidson’s account of interpretation with the eudaimonist structure of practical rationality essential to these ancient ethical theories, psychological eudaimonism is a consequence. The paper proceeds as follows. In Section I, we lay out the textual basis for ascribing PE to Plato, Aristotle, and the Stoics. In Section II, we introduce Davidson’s account of interpretation. This allows us to appropriate that account in Section III to the particular purposes of normative eudaimonism, to support the claim that we must ascribe the desire to live well to those whom we would see as rational. Finally, in Section IV we consider challenges to this strategy. (shrink)

Abstract A unique aspect of human communication is the utilization of sets of well- delineated entities, the morphology of which is used to encode the letters of the alphabet. In this paper, we focus on Braille as an exemplar of this phenomenon. We take a Braille cell to be a physical artifact of the human environment, into the structure of which is encoded a representation of a letter of the alphabet. The specific issue we address in this paper concerns an (...) examination of how the code that is embedded in the structure of a Braille cell is transferred with fidelity from the environment through the body and into the Braille reader’s brain. We describe four distinct encoding steps that enable this transfer to occur. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

We reflect on a decade of Responsible Research and Innovation (RRI) as a discourse emerging from the European Commission (EC) 10 years ago. We discuss the foundations for RRI, its emergence during the Seventh Framework programme and its subsequent evolution during Horizon 2020. We discuss how an original vision for RRI became framed around five so-called ‘keys’: gender, open access, science communication, ethics and public engagement. We consider the prospects for RRI within the context of the EC’s Open Science agenda (...) and Horizon Europe programme, before closing with some reflections on the contribution RRI has made to debates concerning the relationship between science, innovation and society over the last decade. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

In this brief article I argue that liberalism is the political form most consistent with theism.

This paper has two distinct but related goals: (1) to identify some of the potential consequences of the Internet for our cognitive abilities and (2) to suggest an approach to evaluate these consequences. I begin by outlining the Google effect, which (allegedly) shows that when we know information is available online, we put less effort into storing that information in the brain. Some argue that this strategy is adaptive because it frees up internal resources which can then be used for (...) other cognitive tasks, whereas others argue that this is maladaptive because it makes us less knowledgeable. I argue that the currently available empirical evidence in cognitive psychology does not support strong conclusions about the negative effects of the Internet on memory. Before we can make value-judgements about the cognitive effects of the Internet, we need more robust and ecologically-valid evidence. Having sketched a more nuanced picture of the Google effect, I then argue that the value of our cognitive abilities is in part intrinsic and in part instrumental, that is, they are both valuable in themselves and determined by the socio-cultural context in which these cognitive abilities are utilised. Focussing on instrumental value, I argue that, in an information society such as ours, having the skills to efficiently navigate, evaluate, compare, and synthesize online information are (under most circumstances) more valuable than having a lot of facts stored in biological memory. This is so, partly because using the Internet as an external memory system has overall benefits for education, navigation, journalism, and academic scholarship. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

Aims and objectives. Participant narratives from a feminist and queer phe- nomenological study aim to broaden current understandings of trauma. Examin- ing structural marginalisation within perinatal care relationships provides insights into the impact of dominant models of care on queer birthing women. More specifically, validation of queer experience as a key finding from the study offers trauma-informed strategies that reconstruct formerly disempowering perinatal relationships. Background. Heteronormativity governs birthing spaces and presents considerable challenges for queer birthing women who may also have (...) an increased risk of trauma due to structurally marginalising processes that create and maintain socially constructed differences. Design. Analysis of the qualitative data was guided by feminist and queer phe- nomenology. This was well suited to understanding queer women’s storied narra- tives of trauma, including disempowering processes of structural marginalisation. Methods. Semistructured and conversational interviews were conducted with a purposeful sample of thirteen queer-identified women who had experiences of birthing in rural Nova Scotia, Canada. Results. Validation was identified as meaningful for queer women in the context of perinatal care in rural Nova Scotia. Offering new perspectives on traditional models of assessment provide strategies to create a context of care that recon- structs the birthing space insofar as women at risk do not have to come out as queer in opposition to the expectation of heterosexuality. Conclusions. Normative practices were found to further the effects of structural marginalisation suggesting that perinatal care providers, including nurses, can challenge dominant models of care and reconstruct the relationality between queer women and formerly disempowering expectations of heteronormativity that govern birthing spaces. Relevance to clinical practice. New trauma-informed assessment strategies recon- struct the relationality within historically disempowering perinatal relationships through potentiating difference which avoids retraumatising women with re- experiencing the process of coming out as queer in opposition to the expectation of heterosexuality. (shrink)

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

SNODENT is a dental diagnostic vocabulary incompletely integrated in SNOMED-CT. Nevertheless, SNODENT could become the de facto standard for dental diagnostic coding. SNODENT's manageable size, the fact that it is administratively self-contained, and relates to a well-understood domain provides valuable opportunities to formulate and test, in controlled experiments, a series of hypothesis concerning diagnostic systems. Of particular interest are questions related to establishing appropriate quality assurance methods for its optimal level of detail in content, its ontological structure, its construction and (...) maintenance. This paper builds on previous–software-based methodologies designed to assess the quality of SNOMED-CT. When applied to SNODENT several deficiencies were uncovered. 9.52% of SNODENT terms point to concepts in SNOMED-CT that have some problem. 18.53% of SNODENT terms point to SNOMED-CT concepts do not have, in SNOMED, the term used by SNODENT. Other findings include the absence of a clear specification of the exact relationship between a term and a termcode in SNODENT and the improper assignment of the same termcode to terms with significantly different meanings. An analysis of the way in which SNODENT is structurally integrated into SNOMED resulted in the generation of 1081 new termcodes reflecting entities not present in the SNOMED tables but required by SNOMED's own description logic based classification principles. Our results show that SNODENT requires considerable enhancements in content, quality of coding, quality of ontological structure and the manner in which it is integrated and aligned with SNOMED. We believe that methods for the analysis of the quality of diagnostic coding systems must be developed and employed if such systems are to be used effectively in both clinical practice and clinical research. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)