This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, (...) I conceptually and logically analyse conception expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...) symbolic computational model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

The current paper expands on previous work done on the influence of learners’ language and preexisting knowledge on understanding physics terminology by exploring the concept of ACCELERATION in Arabic and English. The study attempts to answer two questions: (1) what are the similarities and differences between the polysemy of Arabic تَسَارُع (tasāruʿ) (acceleration) and the polysemy of English acceleration, and (2) to what extent do prototypes and factors motivating the conceptualization of تَسَارُع (tasāruʿ) and the conceptualization of acceleration converge (...) or diverge? To this end, Arabic and English dictionaries and corpora, the ArabiCorpus (Arabic Corpus Search Tool) and the British National Corpus (BNC), were employed. The dictionaries were surveyed to explore the various meanings of تَسَارُع (tasāruʿ) and acceleration, while the ArabiCorpus and the BNC were employed to investigate the senses and to identify the most frequent collocates and so the prototypes of these terms. The meaning extension of the terms is examined on the basis of the cognitive mechanisms which appear in the corpora. Theoretically, the paper is informed by the prototype theory (Rosch, 1973; 1975), image schemas (Johnson, 1987), and conceptual metaphor (Lakoff & Johnson, 1980/2003). The results show that تَسَارُع (tasāruʿ) (acceleration) and acceleration generally overlap in terms of polysemy, prototype, and images schemas as well as conceptual metaphor that organize the conceptualization of these terms. It was also found that both Arab and English speakers mix ACCELERATION up with SPEED and so misunderstand them in a scientific setting. The present findings have several implications for science curriculum design, education, and research on universal and culture-specific properties of language. (shrink)

In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T (...) as a standard for data exchange purposes is often seen by the end-user as a function of the number of applications using that vocabulary (and, by extension, the size of the user base). Furthermore, the adoption of an O/T as an interoperability standard requires confidence in its stability and guaranteed continuity as a resource. (shrink)

The present paper aims to broaden the current understanding of students’ misconception of scientific terminology by identifying the gaps between Arabic and English scientific terminologies and between everyday language and scientific language. The paper compares the polysemy, prototypes, and motivating factors of English energy with those of Arabic طَاقَة (ṭāqa), with more focus on students’ prior knowledge. The study employs Lakoff’s (1987) idealized cognitive models and Rosch’s (1975) prototype theory to reveal the radial members of both categories, i.e., energy (...) and طَاقَة (ṭāqa), and to explain the kinds of cognitive mechanisms that motivate the extension as well as understanding of the meanings of these terms. To this end, the study uses several English and Arabic dictionaries, lexical databases and corpora. This is to explore all the meanings, prototypes and motivating factors of the terms under investigation. The results show that the terms energy and طَاقَة (ṭāqa) overlap in prototypical meanings and motivating factors but differ in less prototypical and peripheral meanings. English and Arabic learners may then face similar issues in learning scientific concepts due to the difference between their pre-existing knowledge and scientific language. (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)

Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form (...) of their symbols). I attempt to logically (and using ????LSYM) analyse symbolic conceptions in terminological systems. ????LSYM is an assertional fragment of my developed Conception Language (????L), which is utilised as a formal-logical system for representing and explicating agents’ conceptions of the world. Keywords: assertional logic; cognitive agent; knowledge agent; conception language; conception; symbol; symbolic conception. (shrink)

In this paper I begin by explaining what epistemic injustice is and what ordinary language philosophy is. I then go on to ask why we might doubt the usefulness of ordinary language philosophy in examining epistemic injustice. In the first place, we might wonder how ordinary language philosophy can be of use, given that many of the key terms used in discussing epistemic injustice, including ‘epistemic injustice’ itself, are not drawn from our ordinary language. We might also have doubts about (...) the usefulness of ordinary language philosophy in this area, given ordinary language philosophers’ aversion to theory. Finally, we might have doubts about the usefulness of ordinary language philosophy due to the fact that the study of epistemic injustice is clearly a study of practical matters concerning the way the world is and has been historically. If ordinary language philosophy is just concerned with grammar, what use can it be to practical and social philosophy concerning current issues? In response to these worries, I demonstrate the usefulness of ordinary language philosophy in practice by applying the insights of Ludwig Wittgenstein and Alan R. White to a problem that Miranda Fricker raises, but does not answer: about whether there is a confidence condition on knowledge. I also make use of Gilbert Ryle's distinction between ‘the use of ordinary language’ and ‘the ordinary use of an expression’ to show that the terminology used in examining epistemic injustice is ordinary in some sense. (shrink)

The present article focuses on the conceptual structures of two Arabic words which are used in both everyday life and science: كَهْرَبَاء (kahrabāʾ) (electricity) and ضَوْء (ḍawʾ) (light). Under a cognitive linguistics approach, the polysemy of these terms, revealed in the citations extracted from ArabiCorpus, is studied. More specifically, the analysis of the terms involves the polysemy or ‘radial category’ along with its prototypical and peripheral meanings, and the main factors in projecting the idealised cognitive models (ICMs) where the radial (...) categories are formed: conceptual metaphor and conceptual metonymy. The results indicate that power and knowledge motivate the conceptualisations that underpin the categories كَهْرَبَاء (kahrabāʾ) (electricity) and ضَوْء (ḍawʾ) (light) respectively. Using such non-scientific conception in understanding the scientific senses of these terms leads to students’ confusion and failure to understand them. To ensure that students construe the scientific concepts correctly, they must be mindful of the inconsistency between their non-scientific and scientific meanings. (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)

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of (...) the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance. (shrink)

This thesis study is about the leading philosophers of philosophy of science of the twentieth century Karl Popper and Thomas Kuhn and their asserted views about science and scientific knowledge and the method, standard and limit of science. Popper who emphasises the deductive method of science and its standard which should be falsifiable indicates that scientific knowledge should have a testable and falsifiable pattern. Kuhn, on the other hand, discusses the standard of scientificity connected to the existing paradigm (...) and its emerging problem solving in other words he accepts it as a "puzzle solving activity" and terminatively associates scientificity with sociological factors. Accordingly, in this thesis study by taking into consideration Popper and Kuhn's differences of opinion aimed at science and its knowledge, the arguments of development and scientific progress within the frame of their own terminology is being evaluated. Then, Popper and Kuhn's thoughts considering the standards of science and the arguments about progress and development of scientific knowledge is being transferred in a comparable and analytical manner. As a result it is advocated that Popper and Kuhn accept the existence of the change of scientific knowledge based on scientific progress and development and that this change is a change of opinion which is continuing nonstop. (shrink)

Purpose – The purpose of the research reported here is to improve comprehension of the socially-negotiated identity of concepts in the domain of knowledge organization. Because knowledge organization as a domain has as its focus the order of concepts, both from a theoretical perspective and from an applied perspective, it is important to understand how the domain itself understands the meaning of a concept. Design/methodology/approach – The paper provides an empirical demonstration of how the domain itself understands the (...) meaning of a concept. The paper employs content analysis to demonstrate the ways in which concepts are portrayed in KO concept maps as signs, and they are subjected to evaluative semiotic analysis as a way to understand their meaning. The frame was the entire population of formal proceedings in knowledge organization – all proceedings of the International Society for Knowledge Organization’s international conferences (1990-2010) and those of the annual classification workshops of the Special Interest Group for Classification Research of the American Society for Information Science and Technology (SIG/CR). Findings – A total of 344 concept maps were analyzed. There was no discernible chronological pattern. Most concept maps were created by authors who were professors from the USA, Germany, France, or Canada. Roughly half were judged to contain semiotic content. Peirceian semiotics predominated, and tended to convey greater granularity and complexity in conceptual terminology. Nodes could be identified as anchors of conceptual clusters in the domain; the arcs were identifiable as verbal relationship indicators. Saussurian concept maps were more applied than theoretical; Peirceian concept maps had more theoretical content. Originality/value – The paper demonstrates important empirical evidence about the coherence of the domain of knowledge organization. Core values are conveyed across time through the concept maps in this population of conference papers. (shrink)

This paper explores a particular kind of epistemic injustice against children. Following Fricker and Dotson’s ideas on epistemic injustice and testimonial smothering respectively, I use the terminology offered by them to examine the Christchurch Civic Creche case (1993).

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that (...) describes their nature and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, (...) OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

The term “Gettier Case” is a technical term frequently applied to a wide array of thought experiments in contemporary epistemology. What do these cases have in common? It is said that they all involve a justified true belief which, intuitively, is not knowledge, due to a form of luck called “Gettiering.” While this very broad characterization suffices for some purposes, it masks radical diversity. We argue that the extent of this diversity merits abandoning the notion of a “Gettier case” (...) in a favour of more finely grained terminology. We propose such terminology, and use it to effectively sort the myriad Gettier cases from the theoretical literature in a way that charts deep fault lines in ordinary judgments about knowledge. (shrink)

This paper aims to contribute a design-focused perspective on the ‘alternative paradigm research’ discussion. To clarify the aspect of ‘design-focus’ that we wish to refer to, we will use the term ‘areas of design practice’ to cover those activities that focus on the conception and production of artefacts, in contrast to the activities of theorizing and writing histories. The literature on academic research in areas of design practice encompasses a board range of subjects and terminology -- it refers to the (...) creative and performing arts, the arts, design, etc., however what we take to be common in the literature is an interest in research involving the creation of original artefacts. In this paper, we cluster together the currently academicized, previously vocational areas. -/- We claim that researchers in different disciplines operate in different research paradigms owing to different worldviews. A worldview is determined by a set of foundational beliefs that are taken on faith, and a research paradigm is defined by axioms and assumptions that are a consequence of that worldview. For example, the scientific view of the world is that it exists independently from the individual and the individual’s thoughts about it; and it is possible to find out objective facts about the world by following certain procedures. This worldview conditions a research paradigm with an ontology of a real external world; that methodologically the data that is collected in procedurally appropriate ways will yield objective facts about that world; and that epistemologically the researcher stands in a disengaged relation to the world that is being investigated. The procedures that are regarded as appropriate within a particular research paradigm form the research models that are acceptable in that paradigm, and these research models determine what one should do in order to extend knowledge in a particular subject. Of course, the scientific worldview is not the only one, and this paper will contrast it to the design worldview as indicating the emergence of a unique research paradigm. -/- The relationship between a community’s worldview and the academic models that it adopts may be functional or dysfunctional. We claim that the relationship in the areas of design practice is often dysfunctional. This is because the academic model has not developed authentically in relation to its fundamental beliefs, but has done so in response to external forces for academicization. When pushed into the academy, areas of design practice did not possess their own academic models that were effectively linked to its worldview. We claim that, as a result, these areas simply co-opted research models from other disciplines. -/- The paper proposes a rationalistic approach for investigating the relationship between worldview and research paradigm -- between fundamental beliefs, theoretical concepts and methodology in research models. The rationalistic approach enables a critique, which reveals that there are indeed problematic issues with adopting academic models from other research paradigms in an uncritical way, and concludes that areas of design practice should be investigated as an example of a distinct worldview. (shrink)

The orbital debris problem presents an opportunity for inter-agency and international cooperation toward the mutually beneficial goals of debris prevention, mitigation, remediation, and improved space situational awareness (SSA). Achieving these goals requires sharing orbital debris and other SSA data. Toward this, I present an ontological architecture for the orbital debris and broader SSA domain, taking steps in the creation of an orbital debris ontology (ODO). The purpose of this ontological system is to (I) represent general orbital debris and SSA domain (...) knowledge, (II) structure, and standardize where needed, orbital data and terminology, and (III) foster semantic interoperability and data-sharing. In doing so I hope to (IV) contribute to solving the orbital debris problem, improving peaceful global SSA, and ensuring safe space travel for future generations. (shrink)

The purpose of this paper is to show that understanding AI hallucination requires an interdisciplinary approach that combines insights from epistemology and cognitive science to address the nature of AI-generated knowledge, with a terminological worry that concepts we often use might carry unnecessary presuppositions. Along with terminological issues, it is demonstrated that AI systems, comparable to human cognition, are susceptible to errors in judgement and reasoning, and proposes that epistemological frameworks, such as reliabilism, can be similarly applied (...) to enhance the trustworthiness of AI outputs. This exploration seeks to deepen our understanding of the possibility of AI cognition and its implications for the broader philosophical questions of knowledge and intelligence. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue (...) that when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

„Errors are the greatest obstacles to the progress of science; to correct such errors is of more practical value than to achieve new knowledge,“ asserted Eugen Bleuler. Basic error of several prevailing classification schemes of pathological conditions, as for example ICD-10, lies in confusing and mixing symptoms with diseases, what makes them unscientific. Considering the need to bring order into the chaos and light into terminological obscureness, I introduce the Causal classification of diseases originating from the notion of (...) bodily wholeness and causality of its loss. (shrink)

The automatic integration of rapidly expanding information resources in the life sciences is one of the most challenging goals facing biomedical research today. Controlled vocabularies, terminologies, and coding systems play an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources – for example pertaining to genes and proteins, drugs and diseases – secure in the knowledge that the same terms will also represent the same entities on all occasions of use. In (...) the naming of genes, proteins, and other molecular structures, considerable efforts are under way to reduce the effects of the different naming conventions which have been spawned by different groups of researchers. Electronic patient records, too, increasingly involve the use of standardized terminologies, and tremendous efforts are currently being devoted to the creation of terminology resources that can meet the needs of a future era of personalized medicine, in which genomic and clinical data can be aligned in such a way that the corresponding information systems become interoperable. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad (...) scope. We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (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)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data annotated (...) with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

My aim in this chapter is to clarify the nature of the shift in Feyerabend’s philosophical thinking in the 1970s, focusing on issues of realism, relativism, and pluralism. Contra-Preston, I argue that realism-relativism is a misleading variable for characterizing Feyerabend’s shift in the 1970s. Rather, I characterize this shift as Feyerabend’s expansion of pluralism and suggest that this shift appears in Feyerabend’s publications starting in the late-1960s (e.g., Feyerabend 1968b, 1969b, 1970a, 1970c). Adopting the terminology of Brown and Kidd (2016), (...) this shift is characterized by a move from arguments for pluralism within science to broader arguments for pluralism in society. I argue that this shift was largely due to: (1) Feyerabend’s rejection of an empiricist demarcation criterion for science in the mid-1960s, and (2) Feyerabend’s incorporation of Mill’s arguments for pluralism into his own publications starting in 1970. This shift can be characterized as a broadening or expanding the scope of Feyerabend’s arguments for pluralism from contexts of scientific knowledge to the broader context of social or cultural (including ethical) knowledge. I articulate this argument with reference to the framework for classifying Feyerabend’s works formulated by Brown and Kidd (2016). Against Brown and Kidd (and Preston), I argue that realism-relativism is a red-herring as a variable for distinguishing Feyerabend’s early and middle works. Brown and Kidd’s distinction between pluralism within science and pluralism in society is a more useful variable for characterizing Feyerabend’s shift in thinking in the 1970s. Whereas Preston (1997) and Brown and Kidd (2016) identify the beginning of Feyerabend’s pluralism in society phase in 1978 with the publication of Science in a Free Society (Feyerabend 1978), I suggest that the relevant shift occurs much earlier, and it appears in Feyerabend’s publications starting in 1970 (Feyerabend 1970a, 1970b). On this understanding, Feyerabend’s philosophical shift (c. 1970) should be viewed as an expansion (or broadening) of the scope of application of his pluralist arguments, inspired by Mill’s ethical arguments for pluralism in society (Mill 1859/1977). (shrink)

Одной из особенностей прагматизма является, как известно, трактовка познания, свободная от апелляции к корреспондентной теории истины и постулирования независимой (от человека) реальности. Все прагматисты, к каким бы воззрениям по частным вопросам они ни склонялись, придерживаются операциональной концепции познания. Согласно этой концепции, достаточным основанием знания является его применимость на практике. Данный аспект неоднократно затрагивался в ходе дискуссий о сходствах и различиях марксизма и прагматизма. Несмотря на существенное расхождение между прагматизмом и марксизмом в понимании природы знания, многие исследователи пытались провести параллели между (...) этими двумя интеллектуальными традициями. В частности, Бертран Рассел указывал на близость философии Дьюи «доктрине другого экс-гегельянца, Карла Маркса, как она была сформулирована в его “Тезисах о Фейербахе”». По мнению Рассела, если не придавать слишком большого значения терминологическим нюансам, Марксова теория деятельности, или праксиса, в главных моментах «едва отличима от инструментализма». Этот взгляд получил распространение даже среди прагматистов, а также американских марксистов (точнее, троцкистов), которые в конце 40-х годов прошлого века трактовали прагматизм Дьюи как прямое продолжение и развитие марксизма. Дж. Новак, к примеру, утверждал, что «самым выдающимся современным мыслителем, впитавшим в себя все лучшее, что было у Маркса, является Дьюи». В. Ленина — как практика, а не теоретика — Новак считал, в свою очередь, «скрытым последователем» Дьюи. Согласно бывшему марксисту С. Хуку, прагматизм — это философия «экспериментального натурализма», т. е. теория, «развивающая наиболее здравые и продуктивные идеи Маркса о мире». В статье (с опорой главным образом на аргументацию советских марксистов) критически пересматривается философский диалог между марксизмом и прагматизмом. Основное внимание уделяется понятию деятельности, или праксиса, а также взаимосвязи субъекта и объекта в познании. // It is well-known that pragmatism advocates an approach on cognition without appealing to man-independent reality and truth as correspondence with reality. Instead, pragmatists, notwithstanding the diversity of their particular views, hold an operational conception of knowledge, according to which all that is needed is knowledge to have a suitable kind of correspondence with practice. This point has been scrutinized in the long standing discussion about the convergences and deviations between Marxism and pragmatism. The profound divergence between Marxism and pragmatism with regard to the aforementioned issues was not enough to prevent philosophers from attempting to trace affinities between these two distinct intellectual trends. For example, Bertrand Russell pointed out the “close similarity” of Dewey’s doctrine to “that of another exHegelian, Karl Marx, as it is delineated in his Theses on Feuerbach.” Russell thinks that Marx’s concept of activity or praxis is in spite of differences in terminology “essentially indistinguishable from instrumentalism.” This line of reasoning seems to be quite influential, even among pragmatists. Notably, some American Marxists (especially Trotskyists, to be exact) at the late 40’s overemphasized the affinity between Dewey’s pragmatism and Marxism, and even understood Dewey’s pragmatism as a continuation of Marxism. For example, G. Novack comments that “[t]he most outstanding figure in the world today in whom the best elements of Marx’s thought are present is John Dewey,” and presents Lenin as “an unavowed disciple of Dewey in practice.” According to S. Hook, a former Marxist who turned to pragmatism and became one of the most influential philosophers who discussed the relation between Marxism and pragmatism, the latter is “the philosophy of experimental naturalism” which can be regarded “as a continuation of what is soundest and most fruitful in Marx’s philosophical outlook upon the world.” In this paper, I intend to critically reassess this philosophical dialogue between Marxism and pragmatism, by further deploying the argumentation provided mainly by Soviet Marxists with regard to the aforementioned issues, focusing especially on two of them: the concept of activity (or praxis) and the interrelation of subject and object in cognition. (shrink)

Despite the wide range of studies on how students’ past knowledge influences their understanding of scientific terminology, few studies were conducted to compare non-scientific language with scientific language, or rather everyday language with scientific language, from a cognitive linguistic perspective. The present paper aims to determine the cognitive mechanisms, i.e., image schemas, conceptual metaphor, and conceptual metonymy, which underpin the conceptualisation of the Arabic term سرعة (speed), using a conceptual metaphor theory framework. Thus, the research question guiding this study (...) is: What cognitive mechanisms underlie the concept of سرعة (speed) in Arabic? The findings of this study will shed light on how Arab speakers conceptualise this term, demonstrating their background knowledge of the term compared to its scientific meaning. The article adds to the growing body of cognitive linguistics research on the conceptual processes behind physics terms. The data was collected from the Arabic Web Corpus (arTenTen) using the Sketch Engine. The findings demonstrated that VERTICATLITY and SCALE schemas are the most dominant image schemas that anchor the conceptual meaning in Arab speakers’ perceptions of the term under investigation and the discourse in which it is employed, as well as offer the concrete basis for conceptual metaphors. The conceptual metaphor CHANGE IS MOTION (LOCATION) was also shown to be active in motivating the conception of SPEED in Arabic. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising (...) the target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

Recent work on the quality assurance of the Gene Ontology (GO, Gene Ontology Consortium 2004) from the perspective of both linguistic and ontological organization has made it clear that GO lacks the kind of formalism needed to support logic-based reasoning. At the same time it is no less clear that GO has proven itself to be an excellent terminological resource that can serve to combine together a variety of biomedical database and information systems. Given the strengths of GO, it (...) is worth investigating whether, by overcoming some of its weaknesses from the point of view of formal-ontological principles, we might not be able to enhance a version of GO which can come even closer to serving the needs of the various communities of biomedical researchers and practitioners. It is accepted that clinical and bioinformatics need to find common ground if the results of data-intensive biomedical research are to be harvested to the full. It is also widely accepted that no single method will be sufficient to create the needed common framework. We believe that the principles-based approach to life-science data integration and knowledge representation must be one of the methods applied. Indeed in dealing with the ontological representation of carcinomas, and specifically of colon carcinomas, we have established that, had GO (and related biomedical ontologies) followed some of the basic formal-ontological principles we have identified (Smith et al. 2004, Ceusters et al. 2004), then the effort required to navigate successfully between clinical and bioinformatics systems would have been reduced. We point here to the sources of ontologically-related errors in GO, and also provide arguments as to why and how such errors need to be resolved. (shrink)

What exactly is a philosophical intuition? And what makes such an intuition reliable, when it is reliable? This paper provides a terminological framework that is able answer to the first question, and then puts the framework to work developing an answer to the second question. More specifically, the paper argues that we can distinguish between two different "evidential roles" which intuitions can occupy: under certain conditions they can provide information about the representational structure of an intuitor's concept, and under (...) different conditions, they can provide information about whether or not a property is instantiated. The paper describes two principles intended to capture the difference between the two sets of conditions---that is, the paper offers a principle that explains when an intuition will be a reliable source of evidence about the representation structure of an intuitor's concept, and another principle that explains when an intuition will be a reliable source of evidence about whether or not a property is instantiated. The paper concludes by briefly arguing that, insofar as philosophers are interested using intuitions to determine whether or not some philosophically interesting property is instantiated by some scenario (for instance, whether knowledge is instantiated in a Gettier-case), the reliability of the intuition in question does not depend on whether or not the intuition is widely shared. (shrink)

As Jaegwon Kim points out in his excellent new book, “reductionism” has become something of a pejorative term in philosophy and related disciplines. But originally (eg, as expressed in Ernest Nagel’s 1961 The Structure of Science) reduction was supposed to be a form of explanation, and one may wonder whether it is reasonable to reject in principle the advances in knowledge which such explanations may offer. Nagel’s own view, illustrated famously by the reduction of thermodynamics to statistical mechanics, was (...) that reduction is a relation between theories: theory A is reduced to theory B by formulating “bridge laws” which link the terminology of the theories, and using them to derive A from B. (An additional reductive claim is that Aphenomena are identical with certain B-phenomena—as when the temperature of a gas is identified with its mean molecular kinetic energy—but this kind of identity claim is, strictly speaking, independent of the claim about theories.) Applied to the case of mental states and brain states, a reduction would provide explanatory relations between psychology and neuroscience, normally supplemented with the claim that mental properties are identical with physical properties in the brain. (shrink)

The modelling of concepts, besides involving disciplines like philosophy of mind and psychology, is a fundamental and lively research problem in several artificial intelligence (AI) areas, such as knowledge representation, machine learning, and natural language processing. In this scenario, the most prominent proposed solutions adopt different (often incompatible) assumptions about the nature of such a notion. Each of these solutions has been developed to capture some specific features of concepts and support some specific (artificial) cognitive operations. This paper critically (...) reviews the most notable computational approaches to the representation of concepts. The main goals are (i) to provide a shared terminology for the desiderata of concepts and their computational representation; (ii) to classify and assess the heterogeneous computational approaches according to the provided terminology; (iii) to provide a reader who may not be very familiar with theories of concepts with an introduction to major themes in this research and with pointers to different research projects, and (iv) to offer philosophers, and potentially AI practitioners, a well-informed guide for selecting among various (and possibly competing) computational representations of concepts. (shrink)

Intelligent defence support systems are confronted with the need to manage ever-increasing floods of data in a way that raises significant challenges because the data are described and presented using different terminologies and formats. How, on this basis, is it possible to reach a common understanding of the information content of these data among people and software agents? How is it possible to ensure that domain knowledge is reused in consistent fashion in a way that makes this information available (...) for integration and analysis? How can we support the identification, selection, composition, and orchestration of services based on such diverse data providing homogeneous support by a service-oriented architecture? This collection is devoted to the use of ontologies to answer questions such as these. (shrink)

Within the last decade, epistemic injustice has been a valuable framework for those working on exposing oppressive practices within the healthcare system. As this work has evolved, new terminology has been added to the epistemic injustice literature to bring to light previously obscured epistemic harms in healthcare practices. This paper aims to explore an important concept that has not received the attention it deserves: epistemic isolation. By developing Ian Kidd and Havi Carel’s concept of epistemic isolation, a new range of (...) epistemic harms are brought to the fore, as some of the most marginalised in our society are forced to operate from positions of ignorance. In the words of Kidd and Carel, epistemic isolation occurs in ‘situations where a person or group lacks the knowledge of, or means of access to, particular information; for instance, if they live within a politically repressive society which forbids access to the necessary sources of information in order to protect the government’s hegemony’ (183–184). This paper will demonstrate that such epistemic isolation is uniquely devastating for those with psychiatric illness, exacerbating their already challenging circumstances. (shrink)

This adhyatma gyana is also a part of Ayurveda because it is related to human health especially with mental health; A group of diseases is described independently in Sushruta as adhyatmika dukha. Contemporary books also mention adhyatmika dukha and adhyatma has been described in details. The subject matter of adhyatma has been mentioned from different point of view, but in fact the adhyatma is related to atman, as it is knowledge of atman and its related subjects are the knowledgeable (...) materials of adhyatma. Here in thispaper is a brief review of adhyatma ,terminology and its different prospects in ayurveda. (shrink)

You can demonstrate a subjective quality like redness is different from red light. If you add a device that converts a red signal into a green one, between the retina and the optic nerve, the strawberry will seem green. It’s not about light hitting the retina, it’s about how the signal is processed. In this case, the greenness must be a quality of our conscious knowledge of the strawberry, not of the red light landing on the retina. If you (...) use sufficient, well defined terminology, you can objectively communicate the nature of subjective qualities. For example, even though you know what it is like to see something that is red you cannot know that what happens inside my brain is the same as yours. It may be that “My redness is like your greenness, both of which we call red.” The properties of the red light are the same, but the experience the light produces could be different. What we lack is a universal dictionary to define what “redness” is, and how it differs from “red”. This is because physicists can’t yet answer: “Which of all our descriptions of stuff in the brain, including possible descriptions of yet unknown processes, is a description of redness?” Consciousness isn’t a ‘hard problem’ it is a color problem. Because if you understand color, that model of computation can extend to the rest of consciousness. (shrink)

El presente trabajo se propone rastrear la influencia de la tradición platónica Acerca de los primeros principios, en sus diversas formulaciones, sobre la filosofía de Orígenes de Alejandría. La lectura origeniana de los autores platónicos y su afinidad con ellos se confirman en las fuentes históricas. El alejandrino adopta y asimila numerosos aspectos de la doctrina y la terminología de los seguidores de Platón. Sin embargo, también toma distancia de ellos en algunos puntos neurálgicos de su concepción de lo divino (...) y de la creación del mundo. Se analizan especialmente los papeles que cumplen en la teoría origeniana las categorías académicas de lo absoluto y lo relativo, la noción mesoplatónica y filoniana del agente demiúrgico y una original adaptación del esquema causal derivativo neopitagórico. -/- The present paper intends to trace the influence of the Platonic tradition On first principles;, considering its different versions, on the philosophy of Origen of Alexandria. Origen's knowledge of the Platonists and his affinity with them are confirmed by the historical sources. The Alexandrian adopts and assimilates many aspects of the doctrine and terminology of Plato's followers. However, he also departs from them regarding some of the essential elements in his conception of the divine and of the world's creation. Particularly, the paper focuses on the roles played in Origen's theory by the Academic categories of absolute and relative, the Middle-platonic and Philonian notion of the demiurgic agent and an original reframing of the Neopythagorean derivative system of causes. (shrink)

I offer a novel reading in this dissertation of René Descartes’s (1596–1650) skepticism in his work Meditations on First Philosophy (1641–1642). I specifically aim to answer the following problem: How is Descartes’s skepticism to be read in accordance with the rest of his philosophy? This problem can be divided into two more general questions in Descartes scholarship: How is skepticism utilized in the Meditations, and what are its intentions and relation to the preceding philosophical tradition? -/- I approach the topic (...) from both a historical and a text-based analysis, combining textual and contextual research. I examine Descartes’s skepticism against two main traditions in the historical analysis: philosophical skepticism and Aristotelian Scholasticism. I argue that skepticism in the Meditations is intended to oppose and upheave both Scholasticism and skepticism. The intended results of the work are not merely epistemological but also metaphysical and even ethical. Furthermore, these ambitions cannot be neatly distinguished but merge into each other. -/- The third historical context against which the skeptical meditations are examined is the literary genre of meditative exercises, particularly from the 1500–1600’s, which, while religiously and spiritually oriented, likewise provided the practitioner with an enlightened understanding of self-knowledge and their cognitive place in the world on the way to closer spiritual proximity to God. I argue by this reading that the skepticism of the Meditations is an attentive, meditational cognitive exercise that is not merely instrumental and methodological but is to have a genuine and serious (psychologically real) effect on our thinking. The skeptical meditation is not simply a theoretical thought experiment but is to be seriously practiced as a transformative process of reorienting one’s cognitive framework to discover truth, certainty, and a way to a happy, tranquil, and virtuous life. -/- I offer a close reading in the textual analysis of the first three meditations of the Meditations. I argue that the meditative skepticism employed in the work does not reject the previous beliefs but suspends judgment on them, withdrawing assent until further evidence can be found. I introduce a new term into Descartes scholarship in this analysis, based on the terminology of ancient skepticism: Cartesian epochē (gr. epochē, suspension, withdrawal). Instead of rejecting previous beliefs or assenting to the probably false, the skeptical procedure of the Meditations is argued to emulate in important ways the suspension of judgment on equally balanced reasons in ancient Pyrrhonian skepticism. Novel interpretations are presented along the way of the will’s freedom, of the First Meditation’s skeptical scenarios, of the cogito, and of the vindication of metaphysical certainty, as well as a clarification of the Cartesian Circle problem. -/- Reinterpreting the relation of Descartes’s skepticism to the preceding historical and literary traditions leads to a new look at the skeptical method itself. Presenting a new interpretation of skepticism in the Meditations leads at the same time to a new look at its relation to the historical context. The two research questions are, then, intrinsically tied together. -/- My focus in the study is on the Meditations, but I also reference and discuss Descartes’s other philosophical works, as well as his correspondence, when necessary. (shrink)

The evolution from pre-human primates to modern Homo sapiens is a complex one involving many domains, ranging from the material to the social to the cognitive, both at the individual and the community levels. This article focuses on a critical qualitative transition that took place during this evolution involving both the social and the cognitive domains. For the social domain, the transition is from the face-to-face forms of social interaction and organization that characterize the non-human primates that reached, with Pan, (...) a hiatus due to the centripetal effects that highly individualized behavior has on a social system. The transition is to the relation-based forms of social organization that evolved in the hominins ancestral to Homo sapiens and are universal in human societies today. For the cognitive domain, this transition involves going from behavior responding mainly to phenomenal level sensory inputs to behavior formed in accordance with the concept of a relation, initially abstracted from behavior patterns, then extending the concept of a relation beyond abstraction from behavior patterns to the concept of a relation generated recursively through constructing the relation of a relation. This extension made possible the construction of systems of relations; initially genealogical systems of relations constructed culturally using the logic of recursion, and subsequently, the symbolic, computational systems of kin term relations referred to by anthropologists as kinship terminologies. The latter are “constructed realities” in the sense this term is used by cultural anthropologists. It follows that the evolution of relation-based systems of social interaction is not adequately accounted for through population model evolutionary accounts such as the Dual Inheritance Theory of human evolution since “constructed realities” constitute collectively and publicly shared cultural knowledge rather than the individually and privately possessed knowledge that is assumed in the population model framework for human evolution. (shrink)

This paper argues that Frege's notoriously long commitment to Kant's thesis that Euclidean geometry is synthetic _a priori_ is best explained by realizing that Frege uses ‘intuition’ in two senses. Frege sometimes adopts the usage presented in Hermann Helmholtz's sign theory of perception. However, when using ‘intuition’ to denote the source of geometric knowledge, he is appealing to Hermann Cohen's use of Kantian terminology. We will see that Cohen reinterpreted Kantian notions, stripping them of any psychological connotation. Cohen's defense (...) of his modified Kantian thesis on the unique status of the Euclidean axioms presents Frege's own views in a much more favorable light. (shrink)

Powers, capacities and dispositions (in what follows I will use these terms synonymously) have become prominent in recent debates in metaphysics, philosophy of science and other areas of philosophy. In this paper I will analyse in some detail a well-known argument from scientific practice to the existence of powers/capacities/dispositions. According to this argument the practice of extrapolating scientific knowledge from one kind of situation to a different kind of situation requires a specific interpretation of laws of nature, namely as (...) attributing dispositions to systems. My main interest will be to discuss what characteristics these dispositions need to have in order to account for the scientific practice in question. I will furthermore assess whether the introduction of dispositions in the context of the extrapolation argument can be described as a ‘revitalization’ or as a ‘return’ to those notions repudiated by early modern philosophers. More particularly I will argue for the following claims: I. In repudiating scholastic terminology, including substantial forms with their causal powers, post-cartesian philosophers focussed on a concept of causation that was much stronger than 21st century conceptions of causation. For this reason alone, whatever ‘causal’ is supposed to mean in today’s causal powers, embracing causal powers is not a simple return to a pre-cartesian notion. II. The dispositions presupposed in scientific practice need not (and should not) be construed in causal terms (whether strong or weak). III. While some early modern philosophers contrasted the characterisation of the natural world in terms of substantial forms (and their causal powers) on the one hand and a mathematical characterization on the other and suggested that these approaches are incompatible, the dispositions postulated by the extrapolation argument to account for scientific practice are themselves characterized in mathematical terms. More precisely: The behaviour the systems are disposed to display is – at least in physics – often characterized in mathematical terms. IV. The dispositions assumed in the law-statements in scientific practice are determinable rather than determinate properties. (shrink)

This paper explores the logical consequences of the the thesis that all of the essential properties of consciousness can be known introspectively (Completeness, called "Strong Transparency" in the paper, following D.M. Armstrong's older terminology). It is argued that it can be known introspectively that consciousness does not have complete access to its essential properties; and it is show how this undermines conceivability arguments for dualism.

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

A comprehensive view of human transformation can only come through an absolute understanding of human nature and process of evolution. The dimension of the human personality provides the point for initiation to assess and understand their process of development. This further leads to an inquiry into what comes next and where would this development lead to? Is the development an end or a means to achieve a higher goal of attaining transcendence? The focus of every human life is to reach (...) the pinnacle of human existence and, the doorway of same leads through the way of consciousness and spiritual evolution. It is possible that the two terminologies, evolution and development are interconnected and in a way influence each other. Spiritual evolution is the result of a conscious effort to develop one self, in other words evolution is the outcome of development. The state of mind where a human being achieves the spiritual evolution requires the needs of the mind to be fulfilled, so it is through knowledge that a being experiences integral consciousness and achieves the state of transcendence. (shrink)

The Abhidharmakośabhāṣya (Treasury of Metaphysics with Self-Commentary) is a pivotal treatise on early Buddhist thought composed around the fourth or fifth century by the Indian Buddhist philosopher Vasubandhu. This work elucidates the Buddha’s teachings as synthesized and interpreted by the early Buddhist Sarvāstivāda school (“the theory that all [factors] exist”), while recording the major doctrinal polemics that developed around them, primarily those points of contention with the Sautrāntika system of thought (“followers of the scriptures”). Employing the methodology and terminology of (...) the Buddhist Abhidharma system, the Abhidharmakośabhāṣya offers a detailed analysis of fundamental doctrines, such as early Buddhist theories of mind, cosmology, the workings of karman, meditative states and practices, and the metaphysics of the self. One of its unique features is the way it presents the opinions of a variety of Buddhist and Brahminical schools that were active in classical India in Vasubandhu’s time. The work contains nine chapters (the last of which is considered to have been appended to the first eight), which proceed from a description of the unawakened world via the path and practices that are conducive to awakening and ultimately to the final spiritual attainments which constitute the state of awakening. In its analysis of the unawakened situation, it thus covers the elements which make up the material and mental world of sentient beings, the wholesome and unwholesome mental states that arise in their minds, the structure of the cosmos, the metaphysics of action (karman) and the way it comes into being, and the nature of dispositional attitudes and dormant mental afflictions. In its treatment of the path and practices that lead to awakening, the treatise outlines the Sarvāstivāda understanding of the methods of removing defilements through the realization of the four noble truths and the stages of spiritual cultivation. With respect to the awakened state, the Abhidharmakośabhāṣya gives a detailed description of the different types of knowledge and meditational states attained by practitioners who reach the highest stages of the path. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared (...) vocabulary resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

Logical analysis of the applicability of nominals (which are introduced by hybrid logic) in the formal descriptions of the world (within modern knowledge representation and semantics-based systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific [temporal and/or spacial] states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in description logic (DL) and a nominal can be related to each other?’. (...) Based on my assumption that nominals can support more adequate identification of the world in DL, this paper will deal with the concept of ‘world identification’. Accordingly, based on a logical-terminological analysis of nominals, the paper will analyse hybridised fundamental world descriptions. The research will finally reach the idea that we can have a hybrid description logic based on the analysed concepts. (shrink)