(1) An introduction to the principles of conceptual modelling, combinatorial heuristics and epistemological history; (2) the examination of a number of perennial epistemological-methodological schemata: conceptual spaces and blending theory; ars inveniendi and ars demonstrandi; the two modes of analysis and synthesis and their relationship to ars inveniendi; taxonomies and typologies as two fundamental epistemic structures; extended cognition, cognitio symbolica and model-based reasoning; (3) Plato’s notions of conceptual spaces, conceptual blending and hypothetical-analogical models (paradeigmata); (4) Ramon (...) Llull’s concept analysis and combinatoric spaces; (5) Gottfried Leibniz’s development of compositional analysis and synthesis as a general modelling method and a paradigm for ars inveniendi; (6) Fritz Zwicky’s revival of the morphological method of analysis and construction, and its subsequent computerised applications. (shrink)

The paper aims to examine the conceptual model on the impact of sociodemographic towards coronary heart disease. There is still limited study on the association between cost of living particularly the cost of food and housing and its impact on coronary heart disease. Therefore, this study incorporates five essential sociodemographic attributes namely, cost of food, children education cost, housing cost, smoking habit and gender. The study provides greater understanding on how the cost of living and lifestyle may give (...) impact to coronary heart disease. It may provide the awareness among the regulators as the society faces burden of high cost of living. The burden may threaten the Malaysians quality of life particularly the lower income group. (shrink)

Conceptual models as representations of real-world systems are based on diverse techniques in various disciplines but lack a framework that provides multidisciplinary ontological understanding of real-world phenomena. Concurrently, systems’ complexity has intensified, leading to a rise in developing models using different formalisms and diverse representations even within a single domain. Conceptual models have become larger; languages tend to acquire more features, and it is not unusual to use different modeling languages for different components. This diversity has caused problems (...) with consistency between models and incompatibly with designed systems. Two main solutions have been adopted over the last few years: (1) A currently dominant technology-based solution tries “to harmonize or unify” models, e.g., unifies EER and UML. This solution would solidify modeling achievements, reaping benefits from huge investments over the last thirty years. (2) A less prevalent solution is to pursuit deeper roots that reveal unifying modeling principles and apparatuses. An example of the second method is a “category theory”-based approach that utilizes the strengths of the graph and set theory, along with other topological tools. This manuscript is a sequel in a research venture that belongs to the second approach and uses a model called thinging machines (TMs) founded on Stoic ontology and Lupascian logic. TM modeling contests the thesis that there is no universal approach that covers all aspects of an application, and the paper demonstrates that pursuing such universality is anything but a dead-end method. This paper continues in this direction, with emphasis on TM foundation (e.g., existence and subsistence of things) and exemplifies this pursuit by proposing an alternative representation of set theory. (shrink)

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

In his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his (...) interpretation of philosophical therapy, there are, however, some controversial issues, to which we would like to call attention: -/- Is restoring health by a philosophical method of treatment – health understood as a person’s ability to reach his/her vital goals – a convincing explication of philosophical therapy in general? In order to answer this question, it may be useful to look at Plato. It is not only Platonism (and especially Neo-platonism since Plotinus) that questions the idea that therapy is necessarily connected with „vital goals“. Buddhist and Gnostic philosophies are questioning „the vital“ in general. The immense effort in the history of philosophy to liberate the mind from the body casts doubt on the project to explain philosophical therapy solely in analogy to medical therapy. -/- According to Banicki a therapeutic philosophy has to identify the diseases it attempts at curing. There are, however, reasons for associating the term therapy with suffering/risk rather than disease. If a therapy aims at reducing the fear of death, as for example many classical philosophical therapies do, then there is no disease to be cured. A model based on chances and risks also has the advantage that the Buddhist and Stoic reinterpretation of desires/emotions as “diseases” can be dropped in contemporary philosophical therapy. -/- Banicki mentions the comparison of therapies as one of the primary goals of modelling. Methods should be verified by a statistical correlation between method and therapeutic success and/or by a theory which justifies the method. Some forms of therapies, however, avoid theory-specific terms and concepts in favor of an unprejudiced interpretation of the patient’s statements. Others share the (Nietzschean) aspiration to explore and change measures of value. If the therapeutic process is seen as a unique phenomenon, then there can be no theory and no statistics with co-occurrences. -/- According to Banicki philosophical therapy has to describe techniques which qualify as genuinely philosophical. Techniques like maieutics and hermeneutics, however, are antique philosophical “inventions”, which were later adopted by psychotherapy. If meditation is accepted as a therapeutic tool – as it was in ancient times – then there is not only a methodical but also an emotional relation to religion. If finally, the Socratic search for a good life is seen as one of the characteristics of philosophical therapy, then delimitation even turns into a criterion for non-philosophical therapies. The search for a good life requires an interdisciplinary approach. -/- For the concretization of the formal structure, we suggest a typology of therapies, which is based on chances and risks. Such a typology has the advantage, that it can model conflicting (and even opposing) forms of therapies. The variety of therapeutic goals and methods is a consequence of the historical development towards conceptual freedom. (shrink)

Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...) with the Darwin-Weismann modus, or according to the Lamarck modus, the difference between them is clear from the title. The integral attribute of the system of systems including ESSH is the production of evolutionary risks. The sources of evolutionary risk for stable adaptive strategy of Homo sapiens are the imbalance of (1) the intra-genomic co-evolution (intragenomic conflicts); (2) the gene-cultural coevolution; (3) the inter-cultural co-evolution; (4) techno-humanitarian balance; (5) intertechnological conflicts (technological traps). At least phenomenologically the components of the evolutionary risk are reversible, but in the aggregate they are in potentio irreversible destructive ones for bio-social, and cultural self-identity of Homo sapiens. When the actual evolution is the subject of a rationalist control and/or manipulation, the magnitude of the 4th and 5th components of the evolutionary risk reaches the level of existential significance. (shrink)

The growing importance of Social Networking Sites (SNS) in today's information economy has generated significant interest for understanding and managing shared fake news about brands on social media among academia and industry worldwide. In this context, we consider it is important to discuss the role of flow, also called optimal experience, in sharing fake news about brands on social media. Firstly, we will critically analyze the conceptualizations of the umbrella term „fake news‟ in the so-called „post-truth‟ era and assume a (...) narrow definition from literature. Secondly, we will review different theories from literature (i.e., selective exposure theory, uses and gratifications theory, social comparison theory, rational choice theory and self- determination theory) in order to explain why users share fake news. Furthermore, we will refer to flow theory proposed by Csikszentmihalyi (1975), which could be used as a framework to better the understanding of the user‟s behavior regarding the sharing of fake news about brands on social media. Flow is a hedonistic construct whose importance is widely recognized as having a major impact on the user's behavior in relation to information systems. According to Csikszentmihalyi (1975, 1988), flow is a “crucial component of enjoyment” and is “the holistic sensation that people feel when they act with total involvement”. In a flow state, the consumer perceives an effortless action, loss of time and a sense that the experience stands out as being exceptional compared to daily activities (Csikszentmihalyi 1997). Flow is a continuous variable that can occur on different levels, ranging from none to an intense (or complete) state (Csikszentmihalyi & Csikszentmihalyi 1988). Flow experience has been studied as an independent variable, as a dependent variable, and lately, as a mediator variable. In this paper we propose a new conceptual model containing 3 variables: (1) fake news spread about brands in SNS, (2) flow state experienced by SNS human users (i.e., optimal experience) and (3) sharing fake news about brands on social media by SNS human users (i.e., social media behavior). We conclude by outlining the need to empirically test the new conceptual model proposed in this paper. (shrink)

Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...) with the Darwin-Weismann modus, or according to the Lamarck modus, the difference between them is clear from the title. The integral attribute of the system of systems including ESSH is the production of evolutionary risks. The sources of evolutionary risk for stable adaptive strategy of Homo sapiens are the imbalance of (1) the intra-genomic co-evolution (intragenomic conflicts); (2) the gene-cultural co- evolution; (3) the inter-cultural co-evolution; (4) techno-humanitarian balance; (5) inter- technological conflicts (technological traps). At least phenomenologically the components of the evolutionary risk are reversible, but in the aggregate they are in potentio irreversible destructive ones for bio-social, and cultural self-identity of Homo sapiens. When the actual evolution is the subject of a rationalist control and/or manipulation, the magnitude of the 4th and 5th components of the evolutionary risk reaches the level of existential significance. (shrink)

In this paper, we propose a conceptual model to improve moral sensitivity in human resource development (HRD) to assist human resource (HR) practitioners in contending with moral challenges in HRD. The literature on the relationship between ethics and HRD suggests that the organizational and employee development discipline deals with ethical issues at three different levels: Individual, organizational and communal, and international levels. In section I, we elaborate on moral challenges facing HRD. In section II, we conceptualize moral sensitive (...) HRD, proposing a conceptual model in virtue of some essential ethical theories and concepts that assist HRD in grappling with those problems. We will show how each theory and concept can help HRD to deal with relevant problems. In section III, we elaborate on practical approaches to implement moral sensitivity in HRD. We put forward some strategies that help HRD bring those theories and concepts to bear on the ethical problems facing this discipline. Finally, we discuss moral education through learning theories to cultivate moral concepts and ethical dimensions in HRD education. (shrink)

The conceptual model of United Nations reform - "UN 3.0" includes the General Program of Action on UN Reform, consisting of two stages. The first stage for 2020-2025 envisages the transformation of the main organs of the UN - the General Assembly and the Security Council with measures to improve the effectiveness of the management system, address the "veto problem", problem of financing, improve staff work and administrative and financial control, strengthen UN media, improvement of work with the (...) global civil society. The General Assembly is converted into the General All-Parliamentary Assembly of the UN. In the structure of the Assembly, the Council for Law is being established, which coordinates the activities of UN structures in the field of law. To coordinate the activities of the UN in the field of human rights and civil society, ethical issues, the General all-parliamentary Assembly creates the Council on ethics, human rights and civil society and transforms the Committee on information into the Council on public information and communication with civil society. The structure of the Council includes all UN media. The reform of the UN Security Council is carried out in three sub-stages. At the 1st sub-stage (2020-2021) the Security Council is transformed into the Council of Existential Security (CES). The membership of the CES is increased to 25 member countries, of which five countries have the right of the unconditional (absolute, eternal) veto: Great Britain, France, China, Russian Federation, USA. The General All-Parliamentary Assembly elects 15 new permanent members of the Council of Existential Security with the right of the conditional (limited) veto: Argentina, Australia, Brazil, Canada, Egypt, Germany, India, Indonesia, Italy, Mexico, South Africa, Nigeria, Pakistan , Turkey, Japan (if they fulfill the mandatory restrictive conditions). At this sub-stage, the CES elects also five non-permanent members with the right of a conditional (limited) veto when they meet the mandatory restrictive conditions, with a rotation period of 2 years from geographical regions (or regional unions): Africa, Latin America and the Caribbean, Asia and the Pacific Ocean (2 places), Eastern Europe. On the second sub-stage (2022-2023), subject to the effective activity of the CES of the enlarged composition and compliance with mandatory restrictive conditions, new permanent members of the "Existential Security Council" are elected with the right of a conditional (limited) veto: Iran, Spain, Poland, Saudi Arabia. Members of the CES may be regional unions, whose member countries are not represented in the CES, but still have one vote with the right of a conditional (limited) veto. -/- Two essential levels of the veto: 1. Unconditional (absolute, eternal) veto is the historical right of veto of the five permanent members of the Council of Existential Security - Great Britain, China, Russia, USA, France; 2. Сonditional (limited) veto is the veto of other permanent and non-permanent members of the Council of Existential Security. The right of veto is a unique international school for the achievement of consensus, a school of high democracy for Humanity, a reliable guarantee of the viability of the UN structure. The Council for Existential Security centralises the management of the UN subsidiary bodies with the expansion of their security functions: the Military Staff Committee, the Counter-Terrorism Committee, the Committee for the Prevention of the Spread of Nuclear, Chemical and Biological Weapons, the Sanctions Committees and other committees. On the basis of the decision of the Council of Existential Security, the General All-Parliamentary Assembly creates permanent contingents of UN peacekeeping and counter-terrorism forces. In addition, two Centers are being created in the structure of the Council for Existential Security: the World Center for the Elimination of the Effects of Technogenic and Natural Disasters with branches on all continents and the World Center for the Analysis of Existential Risks and the Overall Security Strategy. The Center is developing the Programs of research and monitoring of global existential threats and risks. In order to increase the level of legitimacy and authority of the Secretary General of the United Nations, the Rules of procedure for elections to this post are changing. Each member country of the Council for Existential Security represents one of the most authoritative candidates for election to the post of Secretary General at the session of the General All-Parliamentary Assembly, with the possibility of nominating candidates from other countries, including those not members of the Council for Existential Security. Elections are held in two rounds during one day of the session of the Assembly. The Legal Committee of the UN General Assembly is developing a Program for the Reform of the Judicial System of the United Nations, which takes into account the proposals of the previous international discussion and determines the scope and terms of the reform of the courts. In accordance with the Program of Action on UN Reform for 2020-2025, reforms are under way in the structure of the Economic and Social Council. The central task of the reform is to strengthen the coordinating role of ECOSOC in the entire system of UN-related specialized agencies, funds and programs related to the Council. The key task of the UN reform is the solution of the financing problem. A unified "UN Open Budget "Solidarity XXI" is being created, including the financing of peacekeeping operations and other expenses. Each country, a member of the United Nations, lists in an established period, once a year, an Existential contribution - the Earth Tax. The Earth Tax for each UN member state is established on the basis of four scales of calculation: Scale I - for 5 permanent members of the Council of Existential Security, who have the right of absolute (absolute) veto; Scale II - for the permanent members of the SEB, who have the right to a conditional (limited) veto; Scale III - for non-permanent members of the SEB, who have the right to a conditional (limited) veto; Scale IV - for all other UN member countries. The program of action on UN reform includes a set of measures to ensure transparent work of the International Civil Service Commission with the involvement of the UN media. To strengthen control functions in the sphere of personnel policy, administrative and financial management, the General All-Parliamentary Assembly of the United Nations establishes the Permanent Commission on Ethics and Administrative and Financial Control. All members of the Commission, members of the Committees and auditors are independent in their activities from the leadership of the United Nations, its funds and programs. The General All-Parliamentary Assembly completes the first stage of the Program of Action on UN Reform in 2025 and, following an open discussion, introduces a single language of international communication - Esperanto and approves it as the official language of the United Nations. With a view to more effective work of the central UN governing bodies in the face of increasing existential threats and risks, reducing the current expenses for the maintenance of the central bodies of the UN, the Council for Existential Security and the General All-Parliamentary Assembly decide on the relocation of the UN headquarters to Iceland. The UN building complex in New York is transferred to preferential use of non-governmental organizations, which contribute to the implementation of the goals of the United Nations. At the second stage of the UN reform in the period 2026-2028, additional necessary transformations are being made in the UN system. At the end of the first stage of the reform, taking into account the reforms carried out by the main organs of the United Nations and the internal improvement of the work of all its structures, the United Nations Program of Action for the years 2026-2028 is being developed. (shrink)

This study explores the Burberry apparel brand’s position and its strategic behaviour seeking new customers in the new market. This exploratory research pays particular attention to business potential and opportunities in an emerging market, Vietnam. To evaluate Burberry’s strategies and the potential, the collaborative network relationships are discussed in details, that is followed by the discussion of the key themes for Burberry to consider in the Vietnamese market, where Burberry has recently begun expanding its businesses. The outcome of the study (...) suggests that the Western luxury brand apparel needs to understand the targeted markets’ systems and consumer behaviour, from there it is inevitable to design strategic plan how to engage the stakeholders in the ubiquitous supply chain relationships. In the end, a conceptual model with network perspectives is proposed: The model will be an analytical framework with key agenda items for the luxury brand which aims to enter the new market, and also the research limitations and further research opportunities are discussed. (shrink)

We describe a method, based on Jennifer Nado's definition of classification procedures as targets of conceptual engineering, that implements such procedures using a large language model. We then apply this method using data from the Wikidata knowledge graph to evaluate concept definitions from two paradigmatic conceptual engineering projects: the International Astronomical Union's redefinition of PLANET and Haslanger's ameliorative analysis of WOMAN. We discuss implications of this work for the theory and practice of conceptual engineering. The code (...) and data can be found on GitHub. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis. Such hypothesis allows integrating exemplars and prototype theories of categorization and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization. As argued in [Chella et al., 2017] [Lieto et al., 2018b] [Lieto et al., 2018a] a pivotal role in this respect is played by the (...) use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis [Lieto 2014]. Such hypothesis allows integrating exemplars and prototype theories of categorization as well as theory-theory [Lieto 2019] and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization [Lieto, 2021]. As argued in [Lieto et al., 2018b] a pivotal role in this respect is played (...) by the use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of empiricity, section (...) 2 gives conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, (...) properties, instantiation, algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. (...) Wundt posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. (...) Wundt posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

Miranda Fricker’s insightful work on epistemic injustice discusses two forms of epistemic injustice—testimonial injustice and hermeneutical injustice. Hermeneutical injustice occurs when the victim lacks the interpretative resources to make sense of her experience, and this lacuna can be traced down to a structural injustice. In this paper, I provide one model of how to fill the conceptual gap in hermeneutical injustice. First, I argue that the victims possess conceptual resources to make sense of their experiences, namely phenomenal (...) concepts. Second, I show how one might work the way up in a two-step process from a subjective, phenomenal concept to a novel, public concept. Finally, I discuss the conditions that have to be met for this process to be successful. The resulting model shows a way how the victims might alleviate hermeneutical injustice by developing novel concepts, given that the dominant group does not care about their predicament. (shrink)

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl’s model) have gained popularity (e.g., analyzing causes and effects of change in software requirement development). This paper concerns diagrammatical (graphic) models of causal relationships. Specifically, we experiment with using the conceptual language of thinging machines (TMs) as a tool in this context. This would benefit works on (...) causal relationships in requirements engineering, enhance our understanding of the TM modeling, and contribute to the study of the philosophical notion of causality. To specify the causality in a system’s description is to constrain the system’s behavior and thus exclude some possible chronologies of events. The notion of causality has been studied based on tools to express causal questions in diagrammatic and algebraic forms. Causal models deploy diagrammatic models, structural equations, and counterfactual and interventional logic. Diagrammatic models serve as a language for representing what we know about the world. The research methodology in the paper focuses on converting causal graphs into TM models and contrasts the two types of representation. The results show that the TM depiction of causality is more complete and therefore can provide a foundation for causal graphs. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning (...) are also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

In conceptual modeling (CM) as a subdiscipline of software engineering, current proposed ontologies (categorical analysis of entities) are typically established through whole adoption of philosophical theories (e.g. Bunge’s). In this paper, we pursue an interdisciplinary research approach to develop a diagrammatic-based ontological foundation for CM using philosophical ontology as a secondary source. It is an endeavor to escape an offshore procurement of ontology from philosophy and implant it in CM. In such an effort, the CM diagrammatic language plays an (...) important role in contrast to dogmatic philosophical languages’ obsession with abstract entities. Specifically, this paper is about developing a descriptive (in contrast to formal) ontology that a modeler accepts as a supplementary account of reality when using thinging machines (TMs; i.e. a reality that uncovers the ontology of things that TM modeling discusses or “talks about,” akin to the ontology of natural language). Although existence is a well-established notion, we defend subsistence (Stoic term) as a supplementary mode of reality (e.g. reflection of event). The aim here is aligned toward developing CM notions and processes that are firm enough. Classical analysis of being per se (e.g. identity, substance, classes, objects) is de-emphasized in this work; nevertheless, philosophical concepts form an acknowledged authority to compare to. As a case study, such a methodology is applied to the notion of information that provides a common-sense understanding of the world. This application would enhance understanding of the TM methodology and clarify some of the issues that shed light on the question of the nature of information as an important concept in software engineering. Information is defined as about events; that is, it is about existing things. It is viewed as having a subsisting nature that exists only through being “carried on” by other things. The results seem to indicate a promising approach to define information and understand its nature. (shrink)

Shepard’s (1987) universal law of generalisation (ULG) illustrates that an invariant gradient of generalisation across species and across stimuli conditions can be obtained by mapping the probability of a generalisation response onto the representations of similarity between individual stimuli. Tenenbaum and Griffiths (2001) Bayesian account of generalisation expands ULG towards generalisation from multiple examples. Though the Bayesian model starts from Shepard’s account it refrains from any commitment to the notion of psychological similarity to explain categorisation. This chapter presents the (...) conceptual spaces theory (Gärdenfors 2000, 2014) as a mediator between Shepard’s and Tenenbaum & Griffiths’ conflicting views on the role of psychological similarity for a successful model of categorisation. It suggests that the conceptual spaces theory can help to improve the Bayesian model while finding an explanatory role for psychological similarity. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside (...) of philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

The value sensitive design (VSD) approach to designing transformative technologies for human values is taken as the object of study in this chapter. VSD has traditionally been conceptualized as another type of technology or instrumentally as a tool. The various parts of VSD’s principled approach would then aim to discern the various policy requirements that any given technological artifact under consideration would implicate. Yet, little to no consideration has been given to how laws, regulations, policies and social norms engage within (...) VSD practices. Similarly, how the interactive nature of the VSD approach can, in turn, influence those directives. This is exacerbated when we consider machine ethics policy that have global consequences outside their development spheres. What constructs and models will position AI designers to engage in policy concerns? How can the design of AI policy be integrated with technical design? How might VSD be used to develop AI policy? How might law, regulations, social norms, and other kinds of policy regarding AI systems be engaged within value sensitive design? This chapter takes the VSD as its starting point and aims to determine how laws, regulations and policies come to influence how value trade-offs can be managed within VSD practices. It shows that the iterative and interactional nature of VSD both permits and encourages existing policies to be integrated both early on and throughout the design process. The chapter concludes with some potential future research programs. (shrink)

This thesis concerns our moral and epistemic responsibilities regarding our concepts. I argue that certain concepts can be morally, epistemically, or socially problematic. This is particularly concerning with regard to our concepts of social kinds, which may have both descriptive and evaluative aspects. Being ignorant of certain concepts, or possessing mistaken conceptions, can be problematic for similar reasons, and contributes to various forms of epistemic injustice. I defend an expanded view of a type of epistemic injustice known as ‘hermeneutical injustice’, (...) where widespread conceptual ignorance puts members of marginalized groups at risk of their distinctive and important experiences lacking intelligible interpretations. Together, I call the use of problematic concepts or the ignorance of appropriate concepts ‘conceptual incapacities’. I discuss the conditions under which we may be responsible for our conceptual incapacities on several major theories of responsibility, developing my own account of responsibility in the process, according to which we are responsible for something just in case it was caused by one of our reasons-responsive constitutive psychological traits. However, I argue that regardless of whether we are responsible for something, we may still be required to take responsibility for it. Whether or not we are responsible for our conceptual incapacities, we are required to reflect critically upon them in a variety of scenarios that throw our use of those concepts into question. I consider the method of conceptual engineering — the philosophical critique and revision of concepts — as one way we might take responsibility for our concepts, or at least, defer that duty to experts. But, this top-down model of conceptual revision is insufficient. Using a pragmatist model of the social epistemology of morality, I argue that conceptual inquiry is a social endeavour in which we are all required to participate, to some degree. (shrink)

The geosciences include a wide spectrum of disciplines ranging from paleontology to climate science, and involve studies of a vast range of spatial and temporal scales, from the deep-time history of microbial life to the future of a system no less immense and complex than the entire Earth. Modeling is thus a central and indispensable tool across the geosciences. Here, we review both the history and current state of model-based inquiry in the geosciences. Research in these fields makes use (...) of a wide variety of models, such as conceptual, physical, and numerical models, and more specifically cellular automata, artificial neural networks, agent-based models, coupled models, and hierarchical models. We note the increasing demands to incorporate biological and social systems into geoscience modeling, challenging the traditional boundaries of these fields. Understanding and articulating the many different sources of scientific uncertainty – and finding tools and methods to address them – has been at the forefront of most research in geoscience modeling. We discuss not only structuralmodel uncertainties, parameter uncertainties, and solution uncertainties, but also the diverse sources of uncertainty arising from the complex nature of geoscience systems themselves. Without an examination of the geosciences, our philosophies of science and our understanding of the nature of model-based science are incomplete. (shrink)

I analyse three most interesting and extensive approaches to theoretical models: classical ones—proposed by Peter Achinstein and Michael Redhead, and the rela-tively rareanalysed approach of Ryszard Wójcicki, belonging to a later phase of his research where he gave up applyingthe conceptual apparatus of logical semantics. I take into consideration the approaches to theoretical models in which they are qualified as models representing the reality. That is why I omit Max Black’s and Mary Hesse’s concepts of such models, as those (...) two concepts belong to the analogue model group if we consider the main function of the model of a given class as its classification criterion. My main focus is on theoretical models with representative functions as these very models and, in a broader context, the question of representation. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges (...) to this data fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Famously, in the essay Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (Prize Essay), Kant attempts to distance himself from the Wolffian model of philosophical inquiry. In this respect, Kant scholars have pointed out Kant’s claim that philosophy should not imitate the method of mathematics and his appeal to Newton’s “analytic method.” In this article, I argue that there is an aspect of Kant’s critique of the Wolffian model that has been neglected. Kant presents (...) a powerful attack of the idea that philosophy should proceed through the analysis of concepts and argues that we should give up the aim of arriving at “complete” concepts as one of its fundamental desiderata. Importantly, this attack of philosophy conceived as conceptual analysis is distinctive and original if one compares it with Kant’s critique of analysis in the Critique of Pure Reason, which rests on the idea that analysis is insufficient to ground substantial metaphysical truths. I also make an additional point: Scholars have debated whether the appeal to Newton’s analytic method involves a form of empiricism. I submit that this debate is ill-conceived because Kant uses a notion of “given concepts” that is indeterminate with respect to their a priori or a posteriori status. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most (...) of the properties of this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is (...) of a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is one of the central activities in computer science, especially as it is mainly used in software engineering as an intermediate artifact for system construction. To achieve such a goal, we propose Stoic CM (SCM) as a description of what a system must do functionally with minimal (...) ambiguity. As a case study, we apply SCM to investigate the ontology of BPMN (business process modeling notation). Such an undertaking would demonstrate SCM notions and simultaneously may offer a viable ontological foundation for BPMN. SCM defines the being of things and actions in reality based on Stoic notions of existence and subsistence. It has two levels of specification: (1) a subsistence static model where things and actions subsist and (2) an existence dynamic model where things and actions exist in time. From the Stoic ontological point of view, while a thing existing has a clear denotation, subsistence indicates the thing is “being there,” but it is inactive (does not participate in an event). We apply SCM to BPMN processes that involve buying a new car with many notions, such as activity, task, event, and message. The result indicates that SCM produces a tighter representation of reality, thus providing the necessary description of the part in the application world to be used as requirements for developing the software system. (shrink)

While the predominant focus of the philosophical literature on scientific modeling has been on single-scale models, most systems in nature exhibit complex multiscale behavior, requiring new modeling methods. This challenge of modeling phenomena across a vast range of spatial and temporal scales has been called the tyranny of scales problem. Drawing on research in the geosciences, I synthesize and analyze a number of strategies for taming this tyranny in the context of conceptual, physical, and mathematical modeling. This includes several (...) strategies that can be deployed in physical modeling, even when strict dynamical scaling fails. In all cases, I argue that having an adequate conceptual model—given both the nature of the system and the particular purpose of the model—is essential. I draw a distinction between depiction and representation, and use this research in the geosciences to advance a number of debates in the philosophy of modeling. (shrink)

As the world grapples with the urgent need for sustainable development, the transition towards green energy stands as a critical imperative. Financing this transition poses significant challenges, requiring innovative approaches that align financial objectives with environmental sustainability goals. This review presents a conceptual framework for leveraging data-driven techniques in sustainable finance to facilitate the transition towards green energy. The proposed framework integrates principles of sustainable finance with advanced data analytics to enhance decision-making processes across the financial ecosystem. At its (...) core, the framework emphasizes the importance of harnessing vast datasets related to energy production, consumption, environmental impact, and financial performance. By leveraging machine learning algorithms and predictive modeling techniques, financial stakeholders can gain deeper insights into the risks and opportunities associated with green energy investments. Key components of the framework include data collection and aggregation, risk assessment, impact measurement, and investment optimization. Data sources range from traditional financial indicators to environmental metrics, social impact assessments, and geopolitical factors. Through comprehensive data analysis, financial institutions can assess the long-term viability and sustainability of green energy projects, while also evaluating potential social and environmental impacts. Risk assessment methodologies within the framework consider both financial risks, such as market volatility and regulatory uncertainty, and non-financial risks, such as climate change impacts and community resilience. By integrating these factors into risk models, investors can make more informed decisions that mitigate potential losses and maximize returns. Furthermore, impact measurement tools enable stakeholders to quantify the environmental and social benefits of green energy investments. By tracking metrics such as carbon emissions reduction, energy efficiency improvements, and job creation, investors can assess the contribution of their portfolios towards broader sustainability objectives. Finally, the framework incorporates investment optimization strategies that align financial goals with environmental objectives. Through portfolio diversification, asset allocation, and innovative financial instruments such as green bonds and impact investing funds, financial institutions can allocate capital more efficiently towards green energy projects. The conceptual framework presented herein offers a systematic approach to integrating data-driven methodologies into sustainable finance practices. By leveraging advanced analytics and comprehensive datasets, financial stakeholders can drive the transition towards green energy while simultaneously achieving financial returns and positive environmental outcomes. (shrink)

If embodied models no longer address the symbol grounding problem and a conceptual system can step in and resolve categorizations when embodied simulations fail, then perhaps the next step in theory-building is to isolate the unique contributions of embodied simulation. What is a disembodied conceptual system incapable of doing with respect to semantic processing or the categorization of smiles?

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (...) (e.g. we ask whether they are internal or external, essential or contingent, descriptive or nondescriptive relations). Finally, we provide an ontological modelling of preference relation as a module of a foundational (or upper) ontology (viz. OntoUML). The aim of this paper is to provide a sharable foundational theory of preference relation that foster interoperability across the heterogeneous domains of application of preference relations. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

In this paper, I respond to three critical notices of The Practical Origins of Ideas: Genealogy as Conceptual Reverse-Engineering, written by Cheryl Misak, Alexander Prescott-Couch, and Paul Roth, respectively. After contrasting genealogical conceptual reverse-engineering with conceptual reverse-engineering, I discuss pragmatic genealogy’s relation to history. I argue that it would be a mistake to understand pragmatic genealogy as a fiction (or a model, or an idealization) as opposed to a form of historical explanation. That would be to (...) rely on precisely the stark dichotomy between idealization and history that I propose to call into question. Just as some historical explanations begin with a functional hypothesis arrived at through idealization as abstraction, some pragmatic genealogies embody an abstract form of historiography, stringing together, in a way that is loosely indexed to certain times and places, the most salient needs responsible for giving a concept the contours it now has. I then describe the naturalistic stance that I find expressed in the pragmatic genealogies I consider in the book before examining the evaluative standard at work in those genealogies, defusing the charge that they involve a commitment to a ‘stingy axiology’. (shrink)

This chapter has two aims. The first aim is to compare and contrast three different conceptual-explanatory models for thinking about mental illness with an eye towards identifying the assumptions upon which each model is based, and exploring the model’s advantages and limitations in clinical contexts. Major Depressive Disorder is used as an example to illustrate these points. The second aim is to address the question of what conceptual-theoretical framework for thinking about mental illness is most likely (...) to facilitate the discovery of causes and treatments of mental illness in research contexts. To this end, the National Institute of Mental Health’s Research Domain Criteria (RDoC) Project is briefly considered. (shrink)

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding interventionism. (...) I argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

In this précis of The Practical Origins of Ideas: Genealogy as Conceptual Reverse-Engineering (OUP 2021), I summarize the key claims of the book. The book describes, develops, and defends an underappreciated methodological tradition: the tradition of pragmatic genealogy, which aims to identify what our loftiest and most inscrutable conceptual practices do for us by telling strongly idealized, but still historically informed stories about what might have driven people to adopt and elaborate them as they did. What marks out (...) this methodological tradition, I argue, is that it synthesizes two genres of philosophical genealogy that are standardly set against each other: state-of-nature fictions on the one hand and patiently documentary historiography on the other. These two genres of genealogy are usually taken to be mutually exclusive and to answer to radically different philosophical interests and temperaments. But I offer a systematic account of a tradition that combines both genres into a single genealogical method, augmenting genealogy’s power and range by harnessing the strengths and possibilities of both genres. (shrink)

Both the irreducible complexity of biological phenomena and the aim of a universalized biology (life-as-it-could-be) have lead to a deep methodological shift in the study of life; represented by the appearance of ALife, with its claim that computational modelling is the main tool for studying the general principles of biological phenomenology. However this methodological shift implies important questions concerning the aesthetic, engineering and specially the epistemological status of computational models in scientific research: halfway between the well established categories of theory (...) and experiment. ALife models become powerful epistemic artefacts allowing the simulation of emergent phenomena, the interaction between different levels of organization and the integration of different causal factors in the very same manipulable object. The use of computational models in ALife can be classified in four main categories depending on their position between theoretical and empirical practices: generic, conceptual, functional and mechanistic. For each of these categories we analyse their epistemic value and select paradigmatic examples that illustrate how ALife models can be fruitfully inserted in the study of life. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for (...) building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

The emotional intelligence models have helped to develop different tools for construct assessment. Each theoretical paradigm conceptualizes emotional intelligence from one of two perspectives: ability or mixed model. Ability models consider emotional intelligence as a pure form of mental ability and therefore as pure intelligence. Mixed models of emotional intelligence combine mental capacity with personality traits. The trait models of IE refer to the individual perceptions of their own emotional abilities. Cognitive learning involves placing new information into existing frameworks (...) and modes of understanding, DOI: 10.13140/RG.2.2.34890.18887. (shrink)