David Hume fancied himself the Newton of the mind, aiming to reinvent the study of human mental life in the same way that Newton had revolutionized physics. And it was his view that the novel account of belief he proposed in his Treatise of Human Nature was one of that work’s central philosophical contributions. From the earliest responses to the Treatise forward, however, there was deep pessimism about the prospects for his account. It is easy to understand the source of (...) this pessimism: The constraints he employed in theorizing stem from his Newtonian ambitions. Constraints such as his copy principle and his decision to rely only on variations in “force and vivacity” for differentiating types of mental states severely limit his available explanatory resources. However, it is one thing to regard an account as untenable, and quite another to understand where it fails. In this paper, I focus on one long-standing objection to Hume’s account — the objection that Hume cannot offer an account of negative belief or denial — as presented by Hume’s contemporary Thomas Reid, as well as more recently by Barry Stroud, and defend Hume from this objection. I argue that Hume both should and does endorse an account of negative belief based in relations of contrariety between contents, rather than between mental activities, and survey the different options available to Hume for spelling out an account of contrary contents. (shrink)

Two primary roles for propositions are to be i) the objects of the attitudes (especially belief) and ii) the primary bearers of truth and falsity. Interpreters of John Locke are in very broad agreement that propositions, as he presents them, serve this second role. However, whether Locke’s propositions can be said to serve the first role is a more difficult question, as Locke was frequently regarded as having overlooked the force/content distinction, meaning that many interpreters regard him as taking the (...) propositions not to be the objects of the attitudes, but instead, to be identical to the attitudes themselves. In this paper, I present the basics of Locke’s accounts of propositions, truth, and judgment. I then explain the interpretive divide between those scholars who interpret Locke as offering a more philosophically appealing proto-Fregean account of propositions (one which does recognize the force/content distinction), and those who defend the philosophically less satisfying account which identifies propositions with judgments on textual grounds. Finally, I defend the conflation account against one of it’s largest philosophical challenges, by showing how that view can address the Frege-Geach problem. (shrink)

Stephen Jay Gould argued that replaying the ‘tape of life’ would result in radically different evolutionary outcomes. Recently, biologists and philosophers of science have paid increasing attention to the theoretical importance of convergent evolution—the independent origination of similar biological forms and functions—which many interpret as evidence against Gould’s thesis. In this paper, we examine the evidentiary relevance of convergent evolution for the radical contingency debate. We show that under the right conditions, episodes of convergent evolution can constitute valid natural experiments (...) that support inferences regarding the deep counterfactual stability of macroevolutionary outcomes. However, we argue that proponents of convergence have problematically lumped causally heterogeneous phenomena into a single evidentiary basket, in effect treating all convergent events as if they are of equivalent theoretical import. As a result, the ‘critique from convergent evolution’ fails to engage with key claims of the radical contingency thesis. To remedy this, we develop ways to break down the heterogeneous set of convergent events based on the nature of the generalizations they support. Adopting this more nuanced approach to convergent evolution allows us to differentiate iterated evolutionary outcomes that are probably common among alternative evolutionary histories and subject to law-like generalizations, from those that do little to undermine and may even support, the Gouldian view of life. (shrink)

My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.

Driving licenses, identity cards, passports, boarding passes, credit cards, ATM cards – all of these are examples of credentials. Credentials are documents that play a fundamental role in all modern societies. However, philosophers and social ontologists have not yet addressed the analysis of their nature and function. This paper aims to fill this gap through a review of the essential characteristics of credentials, as documents whose primary purpose is to certify the identity and institutional status of the bearer, for example (...) as being the bearer of specific rights. However, credentials also allow their holders the concrete exercise of their rights, as when exercising a right concretely (e.g., crossing a border) requires the possession of a particular credential. The authors distinguish the different types of credentials and describe their functions and the various kinds of acts that are performable with their aid. (shrink)

A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.

The perception of spatial bodies is at least in part a perception of bodily boundaries or surfaces. The usual mathematical conception of boundaries as abstract constructions is, however, of little use for cognitive science purposes. The essay therefore seeks a more adequate conception of the ontology of boundaries building on ideas in Aristotle and Brentano on what we may call the coincidence of boundaries. It presents a formal theory of boundaries and of the continua to which they belong, of a (...) sort which allows a resolution of certain Zeno-style paradoxes. The theory proves to be applicable not only in the cognitive science field but also in regard to problems relating to the ontology of geographical and geopolitical boundaries. (shrink)

It is only by fixing on agreed meanings of terms in biomedical terminologies that we will be in a position to achieve that accumulation and integration of knowledge that is indispensable to progress at the frontiers of biomedicine. Standardly, the goal of fixing meanings is seen as being realized through the alignment of terms on what are called ‘concepts’. Part I addresses three versions of the concept-based approach – by Cimino, by Wüster, and by Campbell and associates – and surveys (...) some of the problems to which they give rise, all of which have to do with a failure to anchor the terms in terminologies to corresponding referents in reality. Part II outlines a new, realist solution to this anchorage problem, which sees terminology construction as being motivated by the goal of alignment not on concepts but on the universals (kinds, types) in reality and thereby also on the corresponding instances (individuals, tokens). We outline the realist approach, and show how on its basis we can provide a benchmark of correctness for terminologies which will at the same time allow a new type of integration of terminologies and electronic health records. We conclude by outlining ways in which the framework thus defined might be exploited for purposes of diagnostic decision-support. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis for (...) a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

I contend that there are two dogmas that are still popular among philosophers of action: that agents can only desire what they think is good and that they can only intentionally pursue what they think is good. I also argue that both dogmas are false. Broadly, I argue that our best theories of action can explain the possibility of intentionally pursuing what one thinks is not at all good, that we need to allow for the possibility of intentionally pursuing what (...) one think is not at all good, and that if we can intentionally pursue what we think is not at all good then we can desire it on similar grounds. (shrink)

This paper addresses the problem: Can a synergy be derived from Keiji Nishitani’s conceptualization of Śūnyatā and Paul Tillich’s concept of Being Itself, as philosophies about Ultimate Reality, with the application of Wesley Wildman’s procedures based on the methodology of the Comparative Religious Ideas Project? The paper defines philosophy of religion and argues that it is justified as an academic discipline. A review of the literature demonstrates that both Nishitani and Tillich share common philosophical ground in phenomenological existentialism and nihilism. (...) The paper proceeds to discuss the biographies and religious philosophies of both Keiji Nishitani and Paul Tillich. Subsequently, the paper details the Comparative Religious Ideas Project (CRIP) methodology and then applies Wildman’s procedures to these two philosophers. The thesis concludes that a synergy exists about Ultimate Reality between the contemporary religious philosophies of Nishitani’s description of Buddhism and Tillich’s explanation of Christianity. (shrink)

From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind, so that there is (...) a sense in which for him (as e.g. for Leibniz) ontology is a proper part of rational or descriptive psychology. (shrink)

Thomas Reid's philosophy of mind, epistemology, and philosophy of language all rely on his account of signs and signification. On Reid's view, some entities play a role of indicating other entities to our minds. In some cases, our sensitivity to this indication is learned through experience, whereas in others, the sensitivity is built in to our natural constitutions. Unlike representation, which was presumed to depend on resemblances and necessary connections, signification is the sort of relationship that can occur without any (...) intrinsic ties between the sign and the thing signified. Of particular interest is the priority Reid gives to natural signs. Reid deploys his robust account of natural signs in a way that allows him to sidestep some skeptical worries common in the early modern period, as well as in grounding “artificial” human languages like English or Cantonese on a more basic human capacity for communication, that is, itself, the result of our sensitivity to natural signs of other people's minds. (shrink)

Efficient markets are alienating if they inhibit us from recognizably caring about one another in our productive activities. I argue that efficient market behaviour is both exclusionary and fetishistic. As exclusionary, the efficient marketeer cannot manifest care alongside their market behaviour. As fetishistic, the efficient marketeer cannot manifest care in their market behaviour. The conjunction entails that efficient market behavior inhibits care. It doesn’t follow that efficient market behavior is vicious: individuals might justifiably commit to efficiency because doing so serves (...) the common good. But efficient market systems nevertheless have significant opportunity costs. The discussion yields a range of desiderata for non-alienated economic organization. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

Die biomedizinische Forschung hat ein Kommunikationsproblem. Um die Ergebnisse ihrer Arbeit darzustellen, greifen einzelne Forschergruppen auf unterschiedliche und oft inkompatible Terminologien zurück. Für den Fortschritt der modernen Biomedizin ist die Integration dieser Ergebnisse jedoch unabdingbar.

How, as Caldwell puts it, does one choose between rival systems all of which claim to rest on a priori foundations? On the nonfallibilistic conception it is difficult to make sense even of the possibility of rival systems of this sort. On the conception here defended, in contrast, the existence of such rival systems can be seen to be a perfectly natural and acceptable consequence of the just-mentioned difficulties we will often fact in coming to know even the intelligible traits (...) of reality: one adjudicates between such systems in the same way in which one adjudicates between all rival scientific hypotheses, namely via a complex mixture of empirical and a priori considerations. (shrink)

In previous work, I have drawn attention to certain systematic differences among philosophical traditions as regards to the literary forms that are prevalent in each. In this paper, however, I focus on the commentary form. I raise the question of why the use of commentaries abounds in most traditions except those transmitted in the English language and suggest that problems of translation are central to this issue. I argue that the appearance of commentaries in a philosophical tradition is a criterion (...) of such untranslatability that emerges in a broader cultural, economic, political, and religious context. Features of the relation between language and forms of communication in the history of philosophy are here explicated, concentrating especially on the German case. (shrink)

History has left a territory composed of two municipalitics, whose shape is unique, belonging partly to the Netherlands and partly to Belgium. Earlier both parts belonged to the former Duchy of Brabant, a tenitory that is now split up into the Dutch province of Noord-Brabant (including Baarle-Nassau) and thc Belgian provinces of Antwerp (which includes Baarle-Hertog), Vlaams Brabant, Brussels, and Brabant-Wallon. People are quite comfortable with this situation, even though it raises many complicated and difficult problems that even the most (...) brilliant jurists are puzzled. Baarle-Hertog is called on older Belgian maps Barle-Duc (Hertog = Duke, fr: duc) and must not be confused with the prefectoral town of Bar-le-Duc, Meuse, France. (shrink)

A collection of discussions of possible influences on Wittgenstein when he was writing the Tractatus, includes treatments of Reinach and Meinong.

Der Abschluß der Gastrulation, der gleichzeitig auch den Anfang der Neurulation bedeutet, ist die zeitliche Grenze, die Beginn eines menschlichen Individuums markiert. Oft wird behauptet, daß jegliche natürliche Veränderung stetig ist. Wie ist es dann aber möglich, eine zeitliche Grenze auszuzeichnen, an der ein menschliches Lebewesen zu existieren beginnt? Man beachte, was geschieht, wenn wir vom Thema zeitlicher Unstetigkeit zum räumlichen übergehen. Lebewesen haben räumliche Grenzen (wie sie durch ihre Haut geformt wird). Die letzteren sind genuine Diskontinuitäten, auch angesichts der (...) Kontinuität der Materie in der physikalischen Welt. Und ebenso müssen wir schließen: Das Leben menschlicher Lebewesen hat zeitliche Grenzen - seinen Beginn und sein Ende - die auch angesichts der Kontinuität physikalischer, chemischer und biologischer Prozesse, in die sie involviert sind, echte Diskontinuitäten sind. (shrink)

Between 1910 und 1915 the Hungarian philosopher Béla Zalai (1882-1915) developed his “comparative metaphysics of systems”, which had a significant influence on both the young Georg Lukács and also on Karl Mannheim. Through an analysis of Zalai’s approach to metaphysics, we show how he served to mediate between the realist Austrian philosophy of Meinong and of the early Husserl on the one side, and the German (idealistic, Kantian) philosophy then dominant in Hungary.

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

Works of philosophy written in English have spawned a massive secondary literature dealing with ideas, problems or arguments. But they have almost never given rise to works of ‘commentary’ in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and Scholastic traditions, but also in relation to more recent German-language philosophy. Yet Anglo-Saxon philosophers have themselves embraced the commentary form when dealing with Greek or Latin philosophers outside their own (...) tradition. The paper seeks to establish the reasons for this peculiar asymmetry by examining those factors which might be conducive to the growth of a commentary literature in a given culture. (shrink)

Smith proposes an account of how languages developed. He did so not as historian, but as a philosopher with a special concern about how a nominalist could account for general terms. Names for individuals are taken as fairly unproblematic – say ‘Thames’ and ‘Avon’ for each of the respective rivers. But whence the word ‘river,’ applicable to more than one, if all that exist are particular objects? Smith’s view is not the usual one, according to which people deploy a powerful (...) ability to abstract mentally, and subsequently affix a label to a general concept. He resisted this because he granted that such robust mental processes themselves presuppose the use of words. Rather, what holds the class together is the word itself, a “single appellation.”. (shrink)

An account of Roman Ingarden's ontology of literature.

Autobiography of Barry Smith; emphasizes the role of Dummett and Husserl, Austrian philosophy and economics, and the Munich-Göttingen-Kraków school of realist phenomenology.

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – (...) which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality. (shrink)

Works of philosophy written in English have spawned a massive secondary literature dealing with ideas, problems or arguments. But they have almost never given rise to works of ‘commentary’ in the strict sense, a genre which is however a dominant literary form not only in the Confucian, Vedantic, Islamic, Jewish and Scholastic traditions, but also in relation to more recent German-language philosophy. Yet Anglo-Saxon philosophers have themselves embraced the commentary form when dealing with Greek or Latin philosophers outside their own (...) tradition. The paper seeks to establish the reasons for this peculiar asymmetry by examining those factors which might be conducive to the growth of a commentary literature in a given culture. (shrink)

There is a tension between John Locke’s awareness of the fundamental importance of a shared public language and the manner in which his theorizing appears limited to offering a psychologistic account of the idiolects of individual speakers. I argue that a correct understanding of Locke’s central notion of signification can resolve this tension. I start by examining a long standing objection to Locke’s view, according to which his theory of meaning systematically gets the subject matter of our discourse wrong, by (...) making our ideas the meanings of our words. By examining Locke’s definition of “truth”, I show that Lockean signification is an expression relation, rather than a descriptive or referential relation. Consequently, the sense in which our words signify our ideas is roughly that our utterances advertise our otherwise undisclosed mental lives to each other. While this resolves one aspect of the public/private tension, I close with a brief discussion of the remaining tension, and the role for normative constraints on signification to play in generating a genuinely shared public language. (shrink)

Die zeitgenössischen Philosophen haben zwar der Sprache, die wir verwenden, um die Welt der alltäglichen Erfahrung zu beschreiben oder um uns in dieser Welt zurechtzufinden, große Aufmerksamkeit geschenkt, sie haben sich jedoch – von einigen Ausnahmen abgesehen – geweigert, diese Welt selbst als passendes Objekt theoretischer Betrachtungen anzusehen. Im folgenden werde ich versuchen zu zeigen, wie es möglich ist, die Common-Sense-Welt als ontologisch eigenständiges Untersuchungsobjekt zu verstehen. Gleichzeitig werde ich mich bemühen, deutlich zu zeigen, wie eine solch eigenständige Behandlung uns (...) möglicherweise hilft, die Strukturen sowohl der physikalischen Welt als auch der menschlichen Erkenntnis philosophisch besser zu verstehen. (shrink)

In uttering a sentence we are often taken to assert more than its literal meaning — though we sometimes assert less. Robyn Carston and others take this phenomenon to show that what is said or asserted by a speaker on an occasion of utterance is usually a contextuallyenriched version of the semantic content of the sentence. I shall argue that we can resist this conclusion if we recognize that what we think we are asserting, or take others to be asserting, (...) involves selective attention to one of the ways a sentence could be true and neglects others. Most of the time people converge in their selective attention and so communication is not impaired. Though in the case of sentences involving predicates of taste, people’s attention to different aspect of the truth conditions leads to seemingly intractable disputes. I will propose a treatment of such cases on which speakers mean the same by a sentence, assert no more than its semantic content, hold conflicting opinions about its truth-value, and are both right. (shrink)

This paper develops the Value-Based Theory of Reasons in some detail. The central part of the paper introduces a number of theoretically puzzling features of normative reasons. These include weight, transmission, overlap, and the promiscuity of reasons. It is argued that the Value-Based Theory of Reasons elegantly accounts for these features. This paper is programmatic. Its goal is to put the promising but surprisingly overlooked Value-Based Theory of Reasons on the table in discussions of normative reasons, and to draw attention (...) to a number of areas for fruitful further research. (shrink)

Thomas Reid is notorious for rejecting the orthodox theory of conception (OTC), according to which conceiving of an object involves a mental relationship to an idea of that object. In this paper, I examine the question of what this rejection amounts to, when we limit our attention to bare conception (rather than the more widely discussed case of perception). I present some of the purported advantages of OTC, and assess whether they provide a genuine basis for preferring OTC to a (...) Reidian alternative. I argue that Reid’s approach is no worse off than OTC at explaining intentionality of our conceptions, and suggest that OTC diverges less from Reid’s view than it would at first seem. (shrink)

The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does not (...) exist. He draws a distinction between genuine mental phenomena and what he calls `phantasy-material', asserting that `the job of the aesthetic object, whether it is a work of art or a product of nature, is to excite and support the actualisation of phantasy-material in the experiencing subject'. We might think of such phantasy-material as a matter of Ersatz-emotions or emotional `slop'. We could then see Witasek's aesthetics as an elaborate taxonomy of the various different sorts of Ersatz-emotions which the subject allows to be stimulated within himself in his intercourse with works of art, and see works of art themselves as machines for the production of ever more subtle varieties of such phantasy-material in the perceiving subject. (shrink)

This conference paper contests the validity of some traditional concepts of gardens. It introduces the possibility of considering the passage of time in gardens as a musical, rhythmic phenomonen.

This article examines the fourteen conditions constituting Levinson and Alperson’s taxonomy of conditions for temporal arts. It claims that some of the conditions and several of the lists of arts exemplifying them need revision. It recommends adding a new condition concerned with the effects of the passage of time on gardens, environmental sculpture, and outdoor installations. The article concludes that gardens may be a model for understanding and appreciating other arts sharing the same bi-(multi-) modality.

Philosophers have routinely taken a pessimistic view of the account of cognition offered by David Hume in his Treatise of Human Nature, claiming that Hume's limited explanatory resources cannot capture the rich complexity of our thought, judgment, and reasoning. I provide a qualified defense of Hume's attempt to analyze a cognitive activity in terms of objectual conception, ie conceiving or imagining an object. I defend Hume from objections offered by his contemporary Thomas Reid (and echoed by various recent Hume scholars), (...) presenting an interpretation of the account that resolves these worries. (shrink)

We begin at the beginning, with an outline of Aristotle’s views on ontology and with a discussion of the influence of these views on Linnaeus. We move from there to consider the data standardization initiatives launched in the 19th century, and then turn to investigate how the idea of computational ontologies developed in the AI and knowledge representation communities in the closing decades of the 20th century. We show how aspects of this idea, particularly those relating to the use of (...) the term 'concept' in ontology development, influenced SNOMED CT and other medical terminologies. Against this background we then show how the Foundational Model of Anatomy, the Gene Ontology, Basic Formal Ontology and other OBO Foundry ontologies came into existence and discuss their role in the development of contemporary biomedical informatics. (shrink)

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT.

Editor's Intro to the journal issue. Wittgenstein's methods are more important than his solutions or views on particular problems. He also attacks processes which give rise to philosophical problems, such as Cartesian dualism and Platonism and other more narrow pictures or assumptions. His recommendations that progress be based on what we get from juxtaposing examples with philosophical temptations are still being absorbed by the discipline. This is more the case now, fifteen years aftr I wrote this introduction.

This essay is a response to Luis M. Augusto’s intriguing paper on the rift between mainstream and formal ontology. I will show that there are in fact two questions at issue here: 1. concerning the links between mainstream and formal approaches within philosophy, and 2. concerning the application of philosophy (and especially philosophical ontology) in support of information-driven research for example in the life sciences.