The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is (...) important, and what may be distinctive of the ontological categories and structures reflected in natural language. (shrink)

This paper gives an outline of natural language ontology as a subdiscipline of both linguistics and philosophy. It argues that part of the constructional ontology reflected in natural language is in significant respects on a par with syntax (on the generative view).

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and (...) the Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

This paper gives an outline of natural language ontology as a subdiscipline of both linguistics and philosophy. It argues that part of the constructional ontology reflected in natural language is in significant respects on a par with syntax (on the generative view).

On a widespread reading, the Carnap-Quine debate about ontology concerns the objectivity and non-triviality of ontological claims. I argue that this view mischaracterizes Carnap’s aims in “Empiricism, Semantics, and Ontology” : Carnap’s fundamental goal is to free up decisions about scientific language from constraints deriving from ontological doctrine. The contention, based on his internal/external distinction, that ontological claims are either meaningless or trivial was Carnap’s means to achieving this more fundamental goal. Setting the record straight on this point brings (...) out three important and often overlooked features of Carnap’s views on ontology. First, the target of Carnap’s critique in ESO is not Quine’s mature views on ontology, as laid out in “On What There Is”. Rather, Carnap is responding to arguments for nominalism that were given by Tarski, Goodman, and Quine in the 1940s. Second, a more general rejection of conservatism in theory choice is essential to Carnap’s aims and is implicit in his fundamental views on language. Third, even if it turns out to be tenable, the i/e distinction is not adequate for Carnap’s aim in ESO. Drawing on his basic conception of scientific language, I will suggest an alternative approach on his behalf. (shrink)

Thomas Hofweber's Ontology and the Ambitions of Metaphysics is ambitious, thought-provoking, and a good read. It expands upon a project he's developed in several previous papers—a project that seamlessly weaves together both metaphysics and metametaphysics. The book is as much about methodology as it is about the substantive conclusions he draws about what there is. As a consequence, it is a long book that covers a lot of ground. Since I cannot do justice to all of it, I hope my (...) fellow symposiasts will take up parts of the book that I neglect. There is a lot of good stuff in there. (shrink)

In this article, the results of conceptualization of the definition of mind as an object of interdisciplinary applied research are described. The purpose of the theoretical analysis is to generate a methodological discourse suitable for a functional understanding of the mind in the context of the problem of natural language processing as one of the components of developments in the field of artificial intelligence. The conceptual discourse was realized with the help of the author's method of structural-ontological analysis, and (...) developed in the mainstream of the system-methodological tradition of the school of G.P. Shchedrovitsky and intended for descriptive research of subject areas of interdisciplinary objects of scientific study. As a result of the structural and ontological analysis of the super-system, the relevant place and role of the directly studied system (mind) are determined, and its primary process and material are localized and structural and functional connections are described. At the basic level, the mind is conceptualized as an energy process unfolding in a spatio-temporal environment and accompanied by archetypal structuring of neural impulses into images. The genesis of the system is separately analyzed by constructing a structural-ontological matrix that reflects the initial stage of the development of the mind. The primary process is concretized with the help of hetero- and homeostatic dichotomy, and also the most significant features of the consistent transformation of the material of the system and its ascent to verbal morphology are described. The structural-ontological comparison of the functioning of the verbal intelligence with the preverbal level has been carried out. The transformation of neural impulses of needs into words, as verbal units fixing semiotic values is analyzed. Structural-ontological connections that determine the reactive and prospective characteristics of the functioning of the system are disclosed. The position of the chronological primacy of "semiotic readiness" for language with respect to the debut of the latter as an information-sign model of the environment is argued. The hypothesis of domination at the initial stage of the development of the mind of exopsychic functions over endopsychic ones is formulated. The theoretical substantiation of the hypothesis of the inevitability of the ontology of language in the functional understanding of the mind is given, corresponding structural and ontological arguments are given, including those based on the ideas about the information relationship between affects and needs, according to the views of P.V. Simonov. The arguments are presented in favor of the non-alternative methodology of A. Turing in studies of artificial intelligence. (shrink)

My argument is that poststructuralist and postmodernist theory carries on and intensifies the main lines of a characteristically modern tradition of aesthetics whose most important point of reference is not French structuralism – as the term, ‘poststructuralism’, implies – but the tradition of 18th-century German romanticism and idealism that culminated in the work of Heidegger during the Weimar period in Germany between the world wars and afterward. What characterizes this modernist tradition of aesthetics is its valorization of language as (...) a mode of being possessed of an ‘ontological’ status. I place the term ‘ontology’ in quotes in order to highlight the distinction between ‘metaphysics’, with its Aristotelian and neo-Platonic connotations of a ‘chain of being’, and the more modern term ‘ontology’, which was coined in the 17th century and which became widely used during the 18th century by Leibnizian philosophers Christian Wolff and Alexander Baumgarten ; the latter, not incidentally, also helped to establish modern usage of the term ‘aesthetics’. ‘Metaphysics’ and ‘ontology’ have their roots, respectively, in those two most major currents of our western heritage, the Graeco-Roman and Judaeo-Christian. These currents, although inextricably linked to one another in innumerable ways, have nonetheless been engaged, as Nietzsche put it, ‘in a fearful struggle on earth for thousands of years’ that has been obscured by Heidegger’s and Derrida’s accounts of the history of western philosophy. Such accounts have projected what is basically a romanticist critique of Enlightenment values and thought on to a totalizing account of the history of Western thought since Plato. My purpose in emphasizing the distinction between metaphysics and ontology is to provide a conceptual framework within which our understanding of the development of modern aesthetics, and the concept of language that informed that development, can be related to the larger philosophical issues at hand. Literary theorists in the United States, by endorsing Heidegger’s and Derrida’s self-serving accounts of their writings as assaults on the entire history of Western philosophy, and by failing to judge them critically as outgrowths of that history, have not only obscured these developments. They have also sustained the central tenet of American literary theory since the 1960s: that there is such a thing as a ‘Western philosophical tradition’ on the ‘other’ side of which, through an endless series of linguistic coinages and ‘erasures’, we may maneuver ourselves. My claim is that to the extent that there is such an other side, we are already on it, and that we fundamentally misunderstand our situation if we regard it as ‘other’ to the Western philosophical tradition. Key Words: Derrida • Heidegger • language • ontology • theory. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

The philosophy of time contains a debate that the philosophy of space lacks, namely whether one time, the present, is objectively (i.e. mind-independently) unlike all the others. Whether reality itself is tensed, i.e. whether position in time has ontological significance, is a long-standing but still pressing question. This book defends a unified account of the structure of time and our representations of it, arguing that while the universe itself is not centred on any particular time, we can nevertheless explain why (...) we so commonly think and act as if it is. In other words, a version of the B-theory of time is defended. It is argued, first, that eternalism—the view that all times are equally real—is the proper ontology of time. Then a semantics of tensed language and belief is presented that is entirely tenseless, hence compatible with eternalism. Next, it is argued that temporal predicates express relations between ordinary, three-dimensional objects, and times; accordingly, there is no need to posit the existence of temporal parts. Finally, it is argued that the B-theory provides an adequate account of change, persistence, and temporal passage. (shrink)

Objects and substances bear fundamentally different ontologies. In this article, we examine the relations between language, the ontological distinction with respect to individuation, and the world. Specifically, in cross‐linguistic developmental studies that follow Imai and Gentner (1997), we examine the question of whether language influences our thought in different forms, like (1) whether the language‐specific construal of entities found in a word extension context (Imai & Gentner, 1997) is also found in a nonlinguistic classification context; (2) whether (...) the presence of labels per se, independent of the count‐mass syntax, fosters ontology‐based classification; (3) in what way, if at all, the count‐mass syntax that accompanies a label changes English speakers' default construal of a given entity?On the basis of the results, we argue that the ontological distinction concerning individuation is universally shared and functions as a constraint on early learning of words. At the same time, language influences one's construal of entities cross‐lingistically and developmentally, and causes a temporary change of construal within a single language. We provide a detailed discussion of how each of these three ways language may affect the construal of entities, and discuss how our universally possessed knowledge interacts with language both within a single language and in cross‐linguistic context. (shrink)

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

This book brings together an account of the structure of time with an account of our language and thought about time. It is a wide-ranging examination of recent issues in metaphysics, philosophy of language, and the philosophy of science and presents a compelling picture of the relationship of human beings to the spatiotemporal world.

The acceptance of the concept of necessary linguistic cate­gories has given renewed prominence to the subject of ontology in contemporary discussions of language and logic. Jack Kaminsky, Professor of Philosophy at the State University of New York at Binghamton, here contributes an important expo­sition of this school of thought. He examines the views of many philosophers who either admit or deny that ontological com­mitments are necessary, and he raises broad questions and shows why there is a compelling interest in (...) the relation of a formal language to the issue of ontological inquiry. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This (...) proposal faces a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

Objects and substances bear fundamentally different ontologies. In this article, we examine the relations between language, the ontological distinction with respect to individuation, and the world. Specifically, in cross‐linguistic developmental studies that followImai and Gentner (1997), we examine the question of whether language influences our thought in different forms, like (1) whether the language‐specific construal of entities found in a word extension context (Imai & Gentner, 1997) is also found in a nonlinguistic classification context; (2) whether the (...) presence of labelsper se, independent of the count‐mass syntax, fosters ontology‐based classification; (3) in what way, if at all, the count‐mass syntax that accompanies a label changes English speakers' default construal of a given entity?On the basis of the results, we argue that the ontological distinction concerning individuation is universally shared and functions as a constraint on early learning of words. At the same time, language influences one's construal of entities cross‐lingistically and developmentally, and causes a temporary change of construal within a single language. We provide a detailed discussion of how each of these three ways language may affect the construal of entities, and discuss how our universally possessed knowledge interacts with language both within a single language and in cross‐linguistic context. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to 'possible worlds'. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical (...) features situate the reference of terms as near, far or 'further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

This work is an attempt to elaborate an understanding of the nature and meaning of ontology, and on that basis, to construct it. The starting-point and clue for the construction of ontology is language, and language's power to express what is. The understanding of ontology which is secured in this essay is one which sees ontology as the linguistically conditioned account of what is and of the existence of what is, an account which becomes, coordinately and equally, onto-theology (...) and onto-anthropology, in which latter, the nature of person is adumbrated as transcendence towards Being as value and value as Being. (shrink)

All except three of the papers in this volume were presented at the colloquium on "L'Ontologie formelle aujourd'hui", Geneva, 3-5 June 1988. The three exceptions, the papers by David Armstrong, Uwe Meixner and Wolfgang Lenzen, were presented at the colloquium on "Properties", Zinal, June 1-3, 1990. It was, incidentally, at the second of these two colloquia that the European Society for Analytic Philosophy came into being. The fathers of analytic philosophy - Moore and Russell - were in no doubt that (...) ontology or metaphysics as well as the topics oflanguage, truth and logic constituted the core subject-matter of their "analytic realism", 1 for the task of metaphysics as they conceived things was the description of 2 the world. And logic and ontology are indissolubly linked in the system of the grandfather of analytic philosophy, Frege. After the Golden Age of analytic philosophy - in Cambridge and Austria - opposition to realism as well as the "linguistic turn" contributed for a long time to the eclipse of ontology. 3 Thanks in large measure to the work of some of the senior contributors to the present volume - Roderick Chisholm, Herbert Hochberg, David Armstrong and Karel Lambert - ontology and metaphysics now enjoy once again the central position they occupied some eighty years ago in the heyday of analytic philosophy. (shrink)

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new (...) kinds of situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

The late Hector-Neri Castañeda, the Mahlon Powell Professor of Philosophy at Indiana University, and founding editor of Noûs, has deeply influenced current analytic philosophy with diverse contributions, including guise theory, the theory of indicators and quasi-indicators, and the proposition/practition theory. This volume collects 15 papers--for the most part previously unpublished--in ontology, philosophy of language, cognitive science, and related areas by ex-students of Professor Castañeda, most of whom are now well-known researchers or even distinguished scholars. The authors share the conviction (...) that Castañeda's work must continue to be explored and that his philosophical methodology must continue to be applied in an effort to further illuminate all the issues that he so deeply investigated. The topics covered by the contributions include intensional contexts, possible worlds, quasi-indicators, guise theory, property theory, Russell's substitutional theory of propositions, event theory, the adverbial theory of mental attitudes, existentialist ontology, and Plato's, Leibniz's, Kant's, and Peirce's ontologies. An introduction by the editors relates all these themes to Castañeda's philosophical interests and methodology. (shrink)

In this essay, I address the question of whether the indisputable progress being made by the neurosciences poses a genuine threat to the language game of responsible agency. I begin by situating free will as an ineliminable component of our practices of attributing responsibility and holding one another accountable, illustrating this via a discussion of legal discourse regarding the attribution of responsibility for criminal acts. I then turn to the practical limits on agents' scientific self-objectivation, limits that turn out (...) to be mirrored philosophically in the conceptual problems that plague reductionist strategies. Having shown that free will is rooted in unavoidable performative presuppositions belonging to agents' participant perspective, I then take up the difficult issue of how to reconcile an epistemic dualism of participant and observer perspectives with the assumption of ontological monism. I critically review a range of proposed physicalist solutions, including non-reductionist and (standard) compatibilist approaches. An underlying problem with scientistic, physicalist approaches is the methodological fiction of an exclusive ?view from nowhere? which relies on the problematic move of disengaging the objectivating perspective of the scientific observer from the investigators' participant perspective of those engaged in scientific practice. Since there is no way of getting around the requisite complementarity of both the observer's encounter with the objective world and the participant's involvement in shared lifeworld practices, the remaining option is to take an epistemological turn. But even the recognition that science is ultimately constituted from within the lifeworld still leaves us with the question as to how the human mind can understand itself as the product of natural evolution. I conclude with some tentative suggestions as to how this difficult question might be addressed. (shrink)

The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it true, relations (...) between mental acts on the one hand and underlying mental states (attitudes, beliefs), on the other, relations between my acts and states, associated uses of language and overt actions on my part and on the part of those other subjects with whom I communicate. (shrink)

The hermeneutical ontology proposed in this book steers away from the rocks of realism and anti-realism.

This research is aimed at explaining and analyzing the ontological status of semantical objects of religious language. This ontological status concern how every term in religious language refers to an object and how we interpret those terms, whether it represents the object itself or merely its sensual or constructive properties. This finding lies in the disputation between religious realism and non-realism. The results of this research are (1) every believer is exactly a realist because he or she has (...) the ontological commitment to the object of the utterance, but (2) God exists independently from human thought and consciousness, (3) it is possible to put God as the object of intentional and semantic but only represents sensible qualities of the real object, and (4) the meaning of religious language depends on believer's ontological commitment on God's existence. (shrink)

It is the aim of the present study to introduce the reader to the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems. Unlike the "conti nental" reader for whom this work was originally written, the English speaking reader will be more familiar with most of the philosophers dis cussed in this book, and he will in general not be tempted to dismiss them indiscriminately as "positivists" and "nominalists". But the English (...) version of this study may help to redress the balance in another respect. In view of the present emphasis on ordinary language and the wide spread tendency to leave the mathematical logicians alone with their technicalities, it seems not without merit to revive the interest in formal ontology and the construction of formal systems. A closer look at the historical account which will be given here, may convince the reader that there are several points in the historical develop ment whose consequences have not yet been fully assessed: I mention, e. g., the shift from the traditional three-level semantics of sense and deno tation to the contemporary two-level semantics of representation; the relation of extensional structure and intensional content in the extensional systems of Wittgenstein and Carnap; the confusing changes in labelling the different kinds of analytic and apriori true sentences; etc. Among the philosophically interesting tools of symbolic logic Lesniewski's calculus of names deserves special attention. (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 greatly benefits application ontologies.[1] 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).[2] With this project we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. (shrink)

It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, making use of a (...) primitive notion of unity. (shrink)

Providing empirically supportable instances of ontological emergence is notoriously difficult. Typically, the literature has focused on two possible sources. The first is the mind and consciousness; the second is within physics, and more specifically certain quantum effects. In this paper, I wish to suggest that the literature has overlooked a further possible instance of emergence, taken from the special science of linguistics. In particular, I will focus on the property of truth-evaluability, taken to be a property of sentences as created (...) by the language faculty within human minds (or brains). The claim will not be as strong as to suggest that the linguistic data and theories prove emergence. Rather the dialectical aim here is to say that we have some good reasons (even if not conclusive reasons) to think that the property is emergent. (shrink)

Published annually, this book brings together original and first-rate articles written by leading scholars in the field of philosophy.

The potential of large language models (LLM) has captured the imagination of the public and researchers alike. In contrast to previous generations of machine learning models, LLMs are general-purpose tools, which can communicate with humans. In particular, they are able to define terms and answer factual questions based on some internally represented knowledge. Thus, LLMs support functionalities that are closely related to ontologies. In this perspective article, I will discuss the consequences of the advent of LLMs for the field (...) of applied ontology. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

This paper argues that the unicity of the signification of words makes inter comprehension, and explores of a pure or rational ontology as providing a space for communication between cultures.Therefore, no culture has any propriety right over that ontology.

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 greatly benefits application ontologies. To this end r®, 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 project we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even in two terminological (...) traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

[1] We all know that language is vague. The majority of our terms admit borderline cases. We are notoriously unable to resolve the precise number grains required for a portion of sand to fall under the predicate "heap". It might be supposed that blurry boundaries are, at bottom, an ontological phenomenon. Perhaps the indeterminacy of our predicates is inherited from the indeterminacy of the properties they denote. Perhaps objects can also by vague, rendering singularly terms, including proper names, uncomfortably (...) imprecise. This thesis has been dismissed, challenged, and championed by various philosophers over the course of the century. Undoubtedly the most widely discussed objection to vague ontology comes in the form of a one-page argument devised by Gareth Evans (1978). Although other arguments against vague objects have been proposed,1 Evans' argument has occupied center stage, clarifying and provoking debate. Its impact reconfirms the value of Evans' philosophical legacy. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

Successful biomedical data mining and information extraction require a complete picture of biological phenomena such as genes, biological processes, and diseases; as these exist on different levels of granularity. To realize this goal, several freely available heterogeneous databases as well as proprietary structured datasets have to be integrated into a single global customizable scheme. We will present a tool to integrate different biological data sources by mapping them to a proprietary biomedical ontology that has been developed for the purposes of (...) making computers understand medical natural language. (shrink)