Smith’s Descartes Dictionary is geared specifically for undergraduate students and contains an Introduction, a Terms and Names section and a Bibliography. It is a good resource for students coming to Descartes’ writings for the first time and has the potential of being an even better pedagogical and study aid once its wrinkles are smoothened out, maybe in a second edition.

The paper introduces the concepts at the heart of point-set-topology and of mereotopology (topology founded in the non-atomistic theory of parts and wholes) in an informal and intuitive fashion. It will then seek to demonstrate how mereotopological ideas can be of particular utility in cognitive science applications. The prehistory of such applications (in the work of Husserl, the Gestaltists, of Kurt Lewin and of J. J. Gibson) will be sketched, together with an indication of the field of possibilities in (...) linguistics, perceptual psychology, cate¬gorization and geographic information systems. Topological structures will be shown to play a central role in studies of naive physics not least in virtue of the fact that even well-attested departures from true physics on the part of common sense leave the topology and vectorial orientation of the underlying physical phenomena invariant: our common sense would thus seem to have a veridical grasp of the topology and broad general orientation of physical phenomena, both static and dynamic, even where it illegitimately modifies the relevant shape and metric properties. The implications of this and related insights for the methodology of psychology will be explored. (shrink)

The term ‘Gestalt’ was introduced into psychology by the Austrian philosopher Christian von Ehrenfels in an essay entitled “On ‘Gestalt-Qualities’” published in 1890. ‘Gestalt,’ in colloquial German, means roughly: ‘shape’ or ‘structure’ or ‘configuration’, and Ehrenfels demonstrates in his essay that there are certain inherently structural features of experience which need to be acknowledged in addition to simple tones, colours and other mental ‘atoms’ or ‘elements’. His essay thus initiated a reaction against the then still dominant atomism in psychology, a (...) reaction which culminated in the work on ‘cerebral intregation’ of the so-called Berlin school of Gestalt psychology. Max Wertheimer, one of the leading members of this school, was a student of Ehrenfels in Prague. Ehrenfels himself belonged to an impressive list of original thinkers – a list which includes also Edmund Husserl, Alexius Meinong and Carl Stumpf, the founder of the Berlin school – who were students of Franz Brentano. Each of these thinkers attempted to elaborate, both ontologically and psychologically, the doctrine of intentionality put forward by Brentano. The work of Ehrenfels and of the later Gestaltists, too, may be seen as a contribution to the understanding of this mental directedness, and in particular to the understanding of the directedness of perceptual experience. (shrink)

The Austrian philosopher Christian von Ehrenfels published his essay "On 'Gestalt Qualities'" in 1890. The essay initiated a current of thought which enjoyed a powerful position in the philosophy and psychology of the first half of this century and has more recently enjoyed a minor resurgence of interest in the area of cognitive science, above all in criticisms of the so-called 'strong programme' in artificial intelligence. The theory of Gestalt is of course associated most specifically with psychologists of the Berlin (...) school such as Max Wertheimer, Wolfgang Kohler and Kurt Koffka. We shall see in what follows, however, that an adequate philosophical understanding of the Gestalt idea and of Ehrenfels' achievement will require a close examination not merely of the work of the Berlin school but also of a much wider tradition in Austrian and German philosophy in general. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

One reason for the renewed interest in Austrian philosophy, and especially in the work of Brentano and his followers, turns on the fact that analytic philosophers have become once again interested in the traditional problems of metaphysics. It was Brentano, Husserl, and the philosophers and psychologists whom they influenced, who drew attention to the thorny problem of intentionality, the problem of giving an account of the relation between acts and objects or, more generally, between the psychological environments of cognitive subjects (...) and the different sorts of external (physical, geographical, social) environments which they inhabit. The present essay addresses this environmental version of the problem of intentionality. It draws not only on the work of Husserl and Scheler but also on the Gestalt psychological writings of Kurt Koffka and Kurt Lewin. It considers the influential subjective idealist theory of animal environments put forward by J. von Uexküll and contrasts this with a realist theory of organism-environment interaction based on the work of the ecological psychologists J. J. Gibson and Roger Barker. This realist theory is then exploited as a basis for an ontology of social objects of a range of different sorts. (shrink)

This book presents Robert S. Hartman’s formal theory of value and critically examines many other twentieth century value theorists in its light, including A.J. Ayer, Kurt Baier, Brand Blanshard, Paul Edwards, Albert Einstein, William K. Frankena, R.M. Hare, Nicolai Hartmann, Martin Heidegger, G.E. Moore, P.H. Nowell-Smith, Jose Ortega y Gasset, Charles Stevenson, Paul W. Taylor, Stephen E. Toulmin, and J.O. Urmson.

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...) secure in a principled way. §2 presents Epistemic Kantianism. §3 argues that it is uniquely poised to satisfy the desiderata set out in §1 on an ideal theory of epistemic justification. §4 gives three further arguments, suggesting that it (i) best explains the objective normative significance of the subject's perspective in epistemology, (ii) follows from the kind of axiology needed to solve the swamping problem together with modest assumptions about the relation between the evaluative and the deontic, and (iii) illuminates certain asymmetries in epistemic value and obligation. §5 takes stock and reassesses the score in the debate. (shrink)

The Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has (...) allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps. (shrink)

We argue that we can avoid epistemic dilemmas by properly understanding the nature and epistemology of the suspension of judgment, with a particular focus on conflicts between higher-order evidence and first-order evidence.

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

According to a view I’ll call Epistemic Normativism, knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a positive non-normativist alternative. After clarifying the target in §1, I consider in §2 some arguments for EN from the premise that knowledge entails justification. I first raise some worries about inferring constitution from entailment. I then rehearse the reasons why some epistemologists reject the Entailment Thesis (...) and argue that a non-normativist picture provides the best explanation of all the intuitions surrounding this thesis, favorable and unfavorable. On this picture, human knowledge is a structured non-normative complex that has as one of its parts a justification-making property, analogous in role to good-making properties like pleasurableness. After giving three arguments against EN in §3 and answering an objection in §4, I turn in §5 to further develop the positive view sketched in §2. In §6, I take stock and conclude. (shrink)

It is often assumed that believing that p for a normative reason consists in nothing more than (i) believing that p for a reason and (ii) that reason’s corresponding to a normative reason to believe that p, where (i) and (ii) are independent factors. This is the Composite View. In this paper, we argue against the Composite View on extensional and theoretical grounds. We advocate an alternative that we call the Prime View. On this view, believing for a normative reason (...) is a distinctive achievement that isn’t exhausted by the mere conjunction of (i) and (ii). Its being an achievement entails that (i) and (ii) are not independent when one believes for a normative reason: minimally, (i) must hold because (ii) holds. Apart from its intrinsic interest, our discussion has important upshots for central issues in epistemology, including the analysis of doxastic justification, the epistemology of perception, and the place of competence in epistemology. (shrink)

Monoclonal antibodies are essential biomedical research and clinical reagents that are produced by companies and research laboratories. The NIAID ImmPort (Immunology Database and Analysis Portal) resource provides a long-term, sustainable data warehouse for immunological data generated by NIAID, DAIT and DMID funded investigators for data archiving and re-use. A variety of immunological data is generated using techniques that rely upon monoclonal antibody reagents, including flow cytometry, immunofluorescence, and ELISA. In order to facilitate querying, integration, and reuse of data, standardized terminology (...) for describing monoclonal antibody reagents and their targets needs to be used for annotating data submitted to ImmPort. (shrink)

Reasons fundamentalists maintain that we can analyze all derivative normative properties in terms of normative reasons. These theorists famously encounter the Wrong Kind of Reasons problem, since not all reasons for reactions seem relevant for reasons-based analyses. Some have argued that this problem is a general one for many theorists, and claim that this lightens the burden for reasons fundamentalists. We argue in this paper that the reverse is true: the generality of the problem makes life harder for reasons fundamentalists. (...) We do this in two stages. First, we show that reflection on the generality of the distinction between wrong-kind reasons and right-kind reasons shows that not all right-kind reasons are normative reasons. So, not only do reasons-based analyses require a distinction between right-kind reasons and wrong-kind reasons, they also need a distinction between normative right-kind reasons from nonnormative right-kind reasons. We call this the Right Kind of Reasons Problem. In the second stage of the paper, we argue that reasons fundamentalism places tight constraints on its proper solution: in particular, it forbids one from appealing to anything normative to distinguish normative RKRs from nonnormative RKRs. It hence seems that reasons fundamentalists can only appeal to natural facts to solve the problem, but it is unclear which ones can do the job. So, reflection on the generality of the distinction only multiplies the fundamentalist’s problems. We end by exploring several solutions to these problems, and recommend a form of constitutivism as the best. (shrink)

Rationality requires us to respond to apparent normative reasons. Given the independence of appearance and reality, why think that apparent normative reasons necessarily provide real normative reasons? And if they do not, why think that mistakes of rationality are necessarily real mistakes? This paper gives a novel answer to these questions. I argue first that in the moral domain, there are objective duties of respect that we violate whenever we do what appears to violate our first-order duties. The existence of (...) these duties of respect, I argue, ensures that apparent moral reasons are exceptions to the independence of appearance and reality. I then extend these arguments to the domain of overall reason. Just as there are objective duties of respect for moral reasons that explain moral blameworthiness, so there are objective duties of respect for reasons that explain blameworthiness in the court of overall reason. The existence of these duties ensures that apparent reasons are exceptions to the independence of appearance and reality. (shrink)

We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge (...) 3 is to test the utility of these resources for large-scale annotation of data, search and query, and knowledge discovery and integration. As term definitions are tested and revised, harmonization should enable coordinated updates across ontologies. However, the true test of these definitions will be in their community-wide adoption which will test whether they support valid inferences about psychological and neuroscientific data. (shrink)

According to Veritism, true belief is the sole fundamental epistemic value. Epistemologists often take Veritism to entail that all other epistemic items can only have value by standing in certain instrumental relations—namely, by tending to produce a high ratio of true to false beliefs or by being products of sources with this tendency. Yet many value theorists outside epistemology deny that all derivative value is grounded in instrumental relations to fundamental value. Veritists, I believe, can and should follow suit. After (...) setting the stage in §1, I explain in §2 why Veritism should not take an Instrumentalist form. Instrumentalist Veritism faces a generalized version of the swamping problem. But this problem undermines Instrumentalism, not Veritism: granting Instrumentalism, similar problems arise for any economical epistemic axiology. I show in §3 how Veritism can take a less narrow form and solve the swamping problem. After answering some objections in §4, I consider in §5 what some would regard as a less radical alternative solution and argue that it either fails or collapses into mine. I close in §6 by taking stock and re-evaluating the overall prospects for Veritism, suggesting that it is a highly promising epistemic axiology when divorced from Instrumentalism. (shrink)

This paper considers the place of reasons in the metaphysics of epistemic normativity and defends a middle ground between two popular extremes in the literature. Against members of the ‘reasons first’ movement, we argue that reasons are not the sole fundamental constituents of epistemic normativity. We suggest instead that the virtue-theoretic property of competence is the key building block. To support this approach, we note that reasons must be possessed to play a role in the analysis of central epistemically normative (...) properties, and argue that the relation of possession must be analyzed in terms of competence. But while we diverge with reasons-firsters on this score, we also distance ourselves from those who deny reasons any important role in epistemology. For we maintain that possessed reasons do help to ground deontic facts in the epistemic domain (e.g., facts about what one epistemically ought to believe, may believe, or is justified in believing). Indeed, we present an argument that the possession of sufficient epistemic reasons is necessary and sufficient for propositional justification, and that proper basing on such reasons yields doxastic justification. But since possession and proper basing are themselves grounded in competence, reasons are not the end of the explanatory road: competence enables them to do their work, putting them—and us—in the middle. (shrink)

The Protein Ontology (PRO) is designed as a formal and principled Open Biomedical Ontologies (OBO) Foundry ontology for proteins. The components of PRO extend from a classification of proteins on the basis of evolutionary relationships at the homeomorphic level to the representation of the multiple protein forms of a gene, including those resulting from alternative splicing, cleavage and/or posttranslational modifications. Focusing specifically on the TGF-beta signaling proteins, we describe the building, curation, usage and dissemination of PRO. PRO provides a framework (...) for the formal representation of protein classes and protein forms in the OBO Foundry. It is designed to enable data retrieval and integration and machine reasoning at the molecular level of proteins, thereby facilitating cross-species comparisons, pathway analysis, disease modeling and the generation of new hypotheses. (shrink)

As health systems around the world turn towards highly distributed, specialized and cooperative structures to increase quality and safety of care as well as efficiency and efficacy of delivery processes, there is a growing need for supporting communication and collaboration of all parties involved with advanced ICT solutions. The Electronic Health Record (EHR) provides the information platform which is maturing towards the eHealth core application. To meet the requirements for sustainable, semantically interoperable, and trustworthy EHR solutions, different standards and different (...) national strategies have been established. The workshop summarizes the requirements for such advanced EHR systems and their underlying architecture, presents different strategies and solutions advocated by corresponding protagonists, discusses pros and cons as well as harmonization and migration strategies for those approaches. It particularly highlights a turn towards ontology-driven architectures. (shrink)

This paper is an opinionated guide to the literature on normative epistemic reasons. After making some distinctions in §1, I begin in §2 by discussing the ontology of normative epistemic reasons, assessing arguments for and against the view that they are mental states, and concluding that they are not mental states. In §3, I examine the distinction between normative epistemic reasons there are and normative epistemic reasons we possess. I offer a novel account of this distinction and argue that we (...) in fact ought to acknowledge a threefold distinction between objective, possessed, and apparent normative epistemic reasons. In §4, I discuss the question of which normative reasons for doxastic attitudes are the epistemic ones, evaluating reasons against a simple evidentialist answer. Finally, in §5, I look at the role of reasons in epistemology, considering challenges to viewing reasons as the building blocks of epistemic normativity and maintaining that the challenges recommend a novel bi-level epistemology rather than a marginalization of reasons in epistemology. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The paper is an opinionated tour of the literature on the reasons for which we hold beliefs and other doxastic attitudes, which I call ‘operative epistemic reasons’. After drawing some distinctions in §1, I begin in §2 by discussing the ontology of operative epistemic reasons, assessing arguments for and against the view that they are mental states. I recommend a pluralist non-mentalist view that takes seriously the variety of operative epistemic reasons ascriptions and allows these reasons to be both propositions (...) and truth-making facts. In §3, I turn to consider what it takes for a consideration to be an operative epistemic reason, examining three conditions – the representational, treating, and explanatory conditions – that have been proposed. I offer a novel view about the explanatory condition. In §4, I discuss the special case of inferential operative reasons and examine attempts to understand them in terms of rule-following, sketching a competence-based spinoff of dispositionalism. Finally, in §5, I consider whether there are non-inferential operative reasons, observing that one needn't countenance them to be a foundationalist but then developing a view about what they are and how they do and don't differ from inferential reasons. (shrink)

Lockheed Martin Corp. has funded research to generate a framework and methodology for developing semantic reasoning applications to support the discipline oflntelligence Analysis. This chapter outlines that framework, discusses how it may be used to advance the information sharing and integrated analytic needs of the Intelligence Community, and suggests a system I software architecture for such applications.

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

This paper presents the Obstetric and Neonatal Ontology (OntONeo). This ontology has been created to provide a consensus representation of salient electronic health record (EHR) data and to serve interoperability of the associated data and information systems. More generally, it will serve interoperability of clinical and translational data, for example deriving from genomics disciplines and from clinical trials. Interoperability of EHR data is important to ensuring continuity of care during the prenatal and postnatal periods for both mother and child. As (...) a strategy to advance such interoperability we use an approach based on ontological realism and on the ontology development principles of the Open Biomedical Ontologies Foundry, including reuse of reference ontologies wherever possible. We describe the structure and coverage domain of OntONeo and the process of creating and maintaining the ontology. (shrink)

The current informal practice of pharmacometrics as a combination art and science makes it hard to appreciate the role that informatics can and should play in the future of the discipline and to comprehend the gaps that exist because of its absence. The development of pharmacometric informatics has important implications for expediting decision making and for improving the reliability of decisions made in model-based development. We argue that well-defined informatics for pharmacometrics can lead to much needed improvements in the efficiency, (...) effectiveness, and reliability of the pharmacometrics process. The purpose of this paper is to provide a description of the pervasive yet often poorly appreciated role of informatics in improving the process of data assembly, a critical task in the delivery of pharmacometric analysis results. First, we provide a brief description of the pharmacometric analysis process. Second, we describe the business processes required to create analysis-ready data sets for the pharmacometrician. Third, we describe selected informatic elements required to support the pharmacometrics and data assembly processes. Finally, we offer specific suggestions for performing a systematic analysis of existing challenges as an approach to defi ning the next generation of pharmacometric informatics. (shrink)

One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.

Interoperability across data sets is a key challenge for quantitative histopathological imaging. There is a need for an ontology that can support effective merging of pathological image data with associated clinical and demographic data. To foster organized, cross-disciplinary, information-driven collaborations in the pathological imaging field, we propose to develop an ontology to represent imaging data and methods used in pathological imaging and analysis, and call it Quantitative Histopathological Imaging Ontology – QHIO. We apply QHIO to breast cancer hot-spot detection with (...) the goal of enhancing reliability of detection by promoting the sharing of data between image analysts. (shrink)

There are a number of existing classifications and staging schemes for carcinomas, one of the most frequently used being the TNM classification. Such classifications represent classes of entities which exist at various anatomical levels of granularity. We argue that in order to apply such representations to the Electronic Health Records one needs sound ontologies which take into consideration the diversity of the domains which are involved in clinical bioinformatics. Here we outline a formal theory for addressing these issues in a (...) way that the ontologies can be used to support inferences relating to entities which exist at different anatomical levels of granularity. Our case study is the colon carcinoma, one of the most common carcinomas prevalent within the European population. (shrink)

Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records in (...) such a way that real time conclusions can be drawn. In this paper we describe a large multi-granular datasource built by using ontological principles and focusing on the case of colon carcinoma. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

BioéthiqueOnline was launched in March 2012 as a non-peer reviewed journal with the aim of providing a platform to facilitate and encourage the development of a bilingual bioethics community in Canada and internationally. In light of discussions amongst the Editorial Committee over the past few months regarding the growth of the journal, we have decided to move to a peer-reviewed process for articles submitted to the journal.

Allies are extremely important to LGBT rights. Though we don’t often enumerate what tasks we expect allies to do, a fairly common conception is that allies “support the LGBT community.” In the first section I introduce three difficulties for this position that collectively suggest it is conceptually insufficient. I then develop a positive account by starting with whom allies are allied to instead of what allies are supposed to do. We might obviously say here that allies are allied to the (...) LGBT community, but I will argue that this community is better thought of as a loose coalition because there are often intersectional issues and conflicting interests that challenge any unified sense of community. I argue that people typically become allies because a friend or family member is experiencing some kind of specific harm; if that harm or discrimination is what causally explains why people become allies, then allies are required to do more than we commonly think. Although allies have a prima facie obligation to honor what members of a subcommunity identify as a harm, this obligation is defeasible if an ally believes fulfilling the obligation would be harmful. I conclude by looking at how we can understand what an ally is in terms of a larger discussion about moral obligations. If people already have these obligations, whatever they are, because morality requires it, then the status “ally” is redundant. I conclude by showing that certain social statuses can not only transform or reprioritize prior moral commitments, but can also introduce new kinds of responsibility that an agent did not have before. (shrink)

On April 20, 1999, Eric Harris and Dylan Klebold shot and killed fifteen people at their high school in Columbine, Colorado. National media dubbed the event a “school shooting.” The term grimly expanded over the next several years to include similar events at army bases, movie theaters, churches, and nightclubs. Today, we commonly use the categories “mass shooter” and “mass shooting” to organize and classify information about gun violence. I will argue that neither category is an effective tool for reducing (...) gun violence and use empirical data to show how these categories perpetuate a moral panic that harms already vulnerable demographics. I conclude that we should instead favor a narrower description of individuals and events, (e.g., “X shot Y people at Z”) because we can talk about all of the relevant cases without contributing the undue harms. (shrink)

Some say the swamping problem confronts all who believe that true belief is the sole fundamental epistemic value. This, I say, is mistaken. The problem only confronts T-Monists if they grant two teleological claims: that all derived epistemic value is instrumental, and that it is the state of believing truly rather than the standard of truth in belief that is fundamentally epistemically valuable. T-Monists should reject and, and appeal to a non-teleological form of value derivation I call Fitting Response Derivation (...) that obviates swamping. Since, alas, simple reliabilists can’t apply this model to knowledge, the problem remains for them, and is local. (shrink)

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

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize (...) reasoning efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

In her ‘On the apparent paradox of ideal theory’, Laura Valentini combines three supposedly plausible premises to derive the paradoxical result that ideal theory is both unable to, and indispensable for, guiding action. Her strategy is to undermine one of the three premises by arguing that there are good and bad kinds of ideal theory, and only the bad kinds are vulnerable to the strongest version of their opponents’ attack. By undermining one of the three premises she releases ideal theorists (...) from the paradox, which is as follows. (1) Any sound theory of justice is action-guiding. (2) Any sound theory of justice is ideal. (3) Any ideal theory fails to be action-guiding. Here I shall respond to Valentini in two ways. First, I shall show that both (1) and (2) are false. The falsity of either is sufficient to release ideal theorists from the paradox. Second, I shall show that Valentini’s response to (3) can be extended, because her bad kinds of ideal theory do not necessarily fail to guide action. The cumulative effect of my arguments further strengthens Valentini’s support of ideal theory. I will deal with premises (1) and (2) in Sections I and II, and (3) in Section III. (shrink)