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.

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)

_ To the Best of Our Knowledge: Social Expectations and Epistemic Normativity _ By GoldbergSanfordOxford University Press, 2018. xvi + 278 pp.

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...) Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

Decision theorists widely accept a stochastic dominance principle: roughly, if a risky prospect A is at least as probable as another prospect B to result in something at least as good, then A is at least as good as B. Recently, philosophers have applied this principle even in contexts where the values of possible outcomes do not have the structure of the real numbers: this includes cases of incommensurable values and cases of infinite values. But in these contexts the usual (...) formulation of stochastic dominance is wrong. We show this with several counterexamples. Still, the motivating idea behind stochastic dominance is a good one: it is supposed to provide a way of applying dominance reasoning in the stochastic context of probability distributions. We give two new formulations of stochastic dominance that are more faithful to this guiding idea, and prove that they are equivalent. (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)

Many people do not know or believe there is a God, and many experience a sense of divine absence. Are these (and other) “divine hiddenness” facts evidence against the existence of God? Using Bayesian tools, we investigate *evidential arguments from divine hiddenness*, and respond to two objections to such arguments. The first objection says that the problem of hiddenness is just a special case of the problem of evil, and so if one has responded to the problem of evil then (...) hiddenness has no additional bite. The second objection says that, while hiddenness may be evidence against generic theism, it is not evidence against more specific conceptions of God, and thus hiddenness poses no epistemic challenge to a theist who holds one of these more specific conceptions. Our investigation leaves open just how strong the evidence from hiddenness really is, but we aim to clear away some important reasons for thinking hiddenness is of no evidential significance at all. (shrink)

Sometimes you are unreliable at fulfilling your doxastic plans: for example, if you plan to be fully confident in all truths, probably you will end up being fully confident in some falsehoods by mistake. In some cases, there is information that plays the classical role of evidence—your beliefs are perfectly discriminating with respect to some possible facts about the world—and there is a standard expected‐accuracy‐based justification for planning to conditionalize on this evidence. This planning‐oriented justification extends to some cases where (...) you do not have transparent evidence, in the sense that your beliefs are not perfectly discriminating with respect to any non‐trivial facts. In other cases, accuracy considerations do not tell you to plan to conditionalize on any information at all, but rather to plan to follow a different updating rule. Even in the absence of evidence, accuracy considerations can guide your doxastic plan. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

Should we make significant sacrifices to ever-so-slightly lower the chance of extremely bad outcomes, or to ever-so-slightly raise the chance of extremely good outcomes? *Fanaticism* says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous good that is even better. I consider two related recent arguments for Fanaticism: Beckstead and Thomas's argument from *strange dependence on space and time*, and (...) Wilkinson's *Indology* argument. While both arguments are instructive, neither is persuasive. In fact, the general principles that underwrite the arguments (a *separability* principle in the first case, and a *reflection* principle in the second) are *inconsistent* with Fanaticism. In both cases, though, it is possible to rehabilitate arguments for Fanaticism based on restricted versions of those principles. The situation is unstable: plausible general principles tell *against* Fanaticism, but restrictions of those same principles (with strengthened auxiliary assumptions) *support* Fanaticism. All of the consistent views that emerge are very strange. (shrink)

I examine what the mathematical theory of random structures can teach us about the probability of Plenitude, a thesis closely related to David Lewis's modal realism. Given some natural assumptions, Plenitude is reasonably probable a priori, but in principle it can be (and plausibly it has been) empirically disconfirmed—not by any general qualitative evidence, but rather by our de re evidence.

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)

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)

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)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

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)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (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)

What degrees of belief does Sleeping Beauty's evidence support? That depends.

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (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)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

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)

Suppose that, for reasons of animal welfare, it would be better if everyone stopped eating chicken. Does it follow that you should stop eating chicken? Proponents of the “inefficacy objection” argue that, due to the scale and complexity of markets, the expected effects of your chicken purchases are negligible. So the expected effects of eating chicken do not make it wrong. -/- We argue that this objection does not succeed, in two steps. First, empirical data about chicken production tells us (...) that the expected effects of consuming *many* chickens are not negligible. Second, this implies that the expected effect of consuming one chicken is ordinarily not negligible. *Parity* between your purchase and other counterfactual purchases and *uncertainty* about others’ consumption behavior each tend to pull the expected effect of a single purchase toward the average large scale effect. While some purchases do have negligible expected effects, many do not. (shrink)

“Pragmatic encroachers” about knowledge generally advocate two ideas: (1) you can rationally act on what you know; (2) knowledge is harder to achieve when more is at stake. Charity Anderson and John Hawthorne have recently argued that these two ideas may not fit together so well. I extend their argument by working out what “high stakes” would have to mean for the two ideas to line up, using decision theory.

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

This paper explores the idea that it is instrumentally valuable to learn normative truths. We consider an argument for "normative hedging" based on this principle, and examine the structure of decision-making under moral uncertainty that arises from it. But it also turns out that the value of normative information is inconsistent with the principle that learning *empirical* truths is instrumentally valuable. We conclude with a brief comment on "metanormative regress.".

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.

In "Pascal's Mugging" (Bostrom 2009), Pascal gives away his wallet for an extremely tiny chance of an extremely large reward. In this continuation of Bostrom's story, Pascal's friend counsels him to take into account the possibility of making mistakes about his true expected utilities, and they consider to what extent this will help Pascal make plans to avoid future muggings.

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, any updating (...) rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (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.

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.

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)

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)

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This (...) paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data. (shrink)

Works of science fiction tend to describe hypothetical futures, or counterfactual pasts or presents, to entertain their readers. Philosophical thought experiments tend to describe counterfactual situations to test their readers’ philosophical intuitions. Indeed, works of science fiction can sometimes be read as containing thought experiments. I compare one especially famous thought experiment from Plato’s Republic with what I read as two thought experiments from Isaac Asimov’s Foundation Trilogy. All three thought experiments concern myths used in political contexts, and comparing them (...) permits me to analyze the morality of political mythologizing. (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)

In this dissertation, I explore the work of Donald Davidson, reveal an inconsistency in it, and resolve that inconsistency in a way that complements a debate in philosophy of science. In Part One, I explicate Davidson's extensional account of meaning; though not defending Davidson from all objections, I nonetheless present his seemingly disparate views as a coherent whole. In Part Two, I explicate Davidson's views on the dualism between conceptual schemes and empirical content, isolating four seemingly different arguments that Davidson (...) makes against the dualism; I demonstrate that, though the arguments fail, each is ultimately meant to rely on his account of meaning. ;In Part Three, I show that Davidson's extensional account of meaning gives rise to the analytic-synthetic distinction, while simultaneously needing to reject it. I then propose a resolution to Davidson's dilemma. Rather than treating interpretation of meaning as continuous with the holistic enterprise of science, as Quine treats translation, one should treat it as conceptually prior to science, as Kant treats epistemology. Nonetheless I recognize four reasons why Davidson himself would reject doing so. I therefore propose a view called 'transcendental semantics', based on Davidson's, that accepts my resolution. Further, transcendental semantics, like Kant's own transcendental idealism, posits a single conceptual scheme; nonetheless Kant's is concerned with Newtonian physics, transcendental semantics' with interpretation. ;Finally, in Part Four, I show how positing such a scheme allows transcendental semantics to complement a promising neo-Carnapian account of theory confirmation in science proposed by Michael Friedman. Scientists are first and foremost interpreters, a fact that allows transcendental semantics to help Friedman establish the possibility of rational continuity through scientific revolutions. In fact, transcendental semantics, by complementing Friedman's project, reunites two of Carnap's own concerns, philosophy of language and philosophy of science. I conclude that philosophy of language without philosophy of science is empty , while philosophy of science without philosophy of language is blind. (shrink)

Sanford Goldberg argues for Content Externalism by drawing our attention to the extent to which an individual’s concepts depend on the concepts of others. More specifically, he focuses on cases that involve knowledge transmission between experts and non-experts to make his point. In this paper, I argue that the content internalist cannot only plausibly respond to his argument but that Content Internalism offers a more plausible account of intentional content with regard to knowledge transmission than does Content Externalism.

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)

This article proposes a political/economic philosophy for the new millennium to replace the traditional conservative/liberal labels. It is based on the concepts of enlightened capitalism, government partnership, and informed democracy (ECGPID). The article explains these concepts and offers new ideas to move the country towards a better way of solving difficult problems and public policymaking. Article posted July 2010.