This article presents a set of principles for knowledge modeling in knowledge organization systems in specific domains. It discusses the representational problem, comparing the abstraction mechanisms present in the theories related to representation in concept systems, taken from foundational authors of information science, computer science, and terminology approaches. Parallel to this context, several representational possibilities arise to assist the modeler in the activity of elaborating models of representation. It describes the application of theoretical and methodological principles when (...) organizing, representing, and managing navigation on learning paths in the corporate education field. As a concept proof, it exposes a conceptual model of learning paths and discusses a literature review on this subject to verify to what extent these principles are being applied. It concludes that we can consider the principles discussed in this study as relevant, since they expand the modelers’ freedom, not making him hostage to a specific model. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. (...) The role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (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)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be, to have, and to do. All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing ‘to be,’ set theory for describing (...) 'to have,' and algebras, particularly the process algebra, for describing ‘to do.’ This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

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. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in (...) a variety of different domains. These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) 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 a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

Available from UMI in association with The British Library. ;This thesis investigates the application of the theory of Conceptual Structures to an Experience Base model, which is a question-answering system for a knowledge base of pseudo-natural language statements of everyday experience. This thesis progresses to extend the fundamental principles carried from the experience base, to develop a framework for Reasoning by Analogy. Both methodologies are implemented, and uncertainty in the models is handled using the theory of Support (...) Logic. ;Incompleteness of information, uncertainty of data and the need for a definite structure to the way in which rules and data interact, are aspects which must be dealt with if the experience base is to succeed. One more aspect is the knowledge representation which dictates the ease with which processing may be performed upon it. Conceptual graphs are used to store information used by an Experience Base. Control of the reasoning is effected by plausible inference reinforced by the theory of Support Logic for handling uncertainty. The knowledge base is a set of initially completely disparate islands of knowledge, which the system automatically clusters into coherent groups in an associative network. ;The principles evolved from research into experience bases lead to the conception, development and implementation of a computational framework for Analogical Reasoning. The reasoning is performed between domains of knowledge rather than within a single domain as in case-based reasoning, and operates on pseudo-natural language statements as for the experience base. It relies on relation-based structure mapping and includes a sophisticated mechanism for translating between the new problem and the analogue. The strong connection between this work and metaphor interpretation is also investigated, together with ideas on how to negotiate with the apparent multitude of types of analogical reasoning. (shrink)

Every normally developing human infant solves the difficult problem of mapping their native-language phonology, but the neural mechanisms underpinning this behavior remain poorly understood. Here, motor constellation theory, an integrative neurophonological model, is presented, with the goal of explicating this issue. It is assumed that infants’ motor-auditory phonological mapping takes place through infants’ orosensory “reaching” for phonological elements observed in the language-specific ambient phonology, via reference to kinesthetic feedback from motor systems, and auditory feedback from resulting speech and (...) speech-like sounds. Attempts are regulated by basal ganglion–cerebellar speech neural circuitry, and successful attempts at reproduction are enforced through dopaminergic signaling. Early in life, the pace of anatomical development constrains mapping such that complete language-specific phonological mapping is prohibited by infants’ undeveloped supralaryngeal vocal tract and undescended larynx; constraints gradually dissolve with age, enabling adult phonology. Where appropriate, reference is made to findings from animal and clinical models. Some implications for future modeling and simulation efforts, as well as clinical settings, are also discussed. (shrink)

Automated software engineering has attracted a large amount of research efforts. The use of object-oriented methods for software systems development has made it necessary to develop approaches that automate the construction of different Unified Modeling Language models in a semiautomated approach from textual user requirements. UML use case models represent an essential artifact that provides a perspective of the system under analysis or development. The development of such use case models is very crucial in an object-oriented (...) development method. The main principles used in obtaining these models are described. A natural language processing tool is used to parse different statements of the user requirements written in Arabic to obtain lists of nouns, noun phrases, verbs, verb phrases, etc., that aid in finding potential actors and use cases. A set of steps that represent our approach for constructing a use case model are presented. Finally, the proposed approach is validated using an experiment involving a group of graduate students who are familiar with use case modeling. (shrink)

Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, (...) which is understandable by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory. (shrink)

The third volume of “Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond” presents an in-depth exploration of the cutting-edge developments in uncertain combinatorics and set theory. This comprehensive collection highlights innovative methodologies such as graphization, hyperization, and uncertainization, which enhance combinatorics by incorporating foundational concepts from fuzzy, neutrosophic, soft, and rough set theories. These advancements open new mathematical horizons, offering novel approaches to managing uncertainty within complex systems. Combinatorics, a discipline focused on (...) counting, arrangement, and structure, often faces challenges when uncertainty is present. Set theory, which underpins combinatorial problems, has evolved to tackle these challenges. The introduction of fuzzy and neutrosophic sets has expanded the toolkit for modeling uncertainty by incorporating elements of truth, indeterminacy, and falsehood into decision-making processes. These innovations seamlessly intersect with graph theory, providing new ways to represent uncertain structures through "graphized" forms such as hypergraphs and superhypergraphs. This volume also introduces advanced concepts like Neutrosophic Oversets, Undersets, and Offsets, which push the boundaries of classical graph theory and offer deeper insights into the mathematical and practical challenges posed by real-world systems. By blending combinatorics, set theory, and graph theory, the authors have created a robust framework for addressing uncertainty in both mathematical systems and their real-world applications. This foundation sets the stage for future breakthroughs in combinatorics, set theory, and related fields. Each chapter in this volume contributes both theoretical foundations and practical applications, demonstrating the power of integrating graph theory, set theory, and uncertainty models. The new ideas, algorithms, and mathematical tools presented here will drive the future of combinatorial research and its applications in uncertain environments. In the first chapter, “Introduction to Upside-Down Logic: Its Deep Relation to Neutrosophic Logic and Applications”, the authors present Upside-Down Logic, a novel logical framework that systematically transforms truths into falsehoods and vice versa, based on contextual shifts. Introduced by F. Smarandache, this paper provides a mathematical definition of Upside-Down Logic, including applications related to the Japanese language. The chapter also introduces Contextual Upside-Down Logic, an extension that adjusts logical connectives alongside flipped truth values, as well as Indeterm-Upside-Down Logic and Certain Upside-Down Logic to address indeterminacy. A simple algorithm is also proposed to demonstrate the computational aspects of this logic. In the second chapter, “Local-Neutrosophic Logic and Local-Neutrosophic Sets: Incorporating Locality with Applications”, the authors introduce Local-Neutrosophic Logic and Local-Neutrosophic Sets, which integrate the concept of locality into Neutrosophic Logic. By defining locality as the influence of immediate surroundings on an object or system, this chapter explores how it affects indeterminacy in real-world problems. The paper also examines potential applications and provides mathematical definitions for these new concepts. The third chapter, “A Review of Fuzzy and Neutrosophic Offsets: Connections to Some Set Concepts and Normalization Function”, extends the concept of offsets in uncertain set-theoretic frameworks, such as Fuzzy Sets, Neutrosophic Sets, and Plithogenic Sets. This chapter introduces several advanced types of offsets, including Nonstationary Fuzzy Offset, Multi-valued Plithogenic Offset, and Subset-valued Neutrosophic Offset, offering deeper insights into handling uncertainty in mathematical models. In the fourth chapter, “Review of Plithogenic Directed, Mixed, Bidirected, and Pangene OffGraph”, the authors build upon Plithogenic Graphs to propose extensions such as Plithogenic Directed OffGraph, Plithogenic BiDirected OffGraph, and Plithogenic Mixed OffGraph. These new concepts, including the Plithogenic Pangene OffGraph, are explored in detail, with a focus on their mathematical properties and potential applications in uncertain graph theory. The fifth chapter, “Short Note on Neutrosophic Closure Matroids”, explores the extension of matroid concepts into Neutrosophic and Turiyam Neutrosophic set theories, introducing Neutrosophic closure matroids. This concept integrates uncertainty, indeterminacy, and liberal states into matroid theory, enhancing its applicability in optimization and combinatorial problems. In the sixth chapter, “Some Graph Parameters for Superhypertree-width and Neutrosophic Tree-width”, the authors discuss graph parameters such as Superhypertree-width and Neutrosophic tree-width. These parameters play a crucial role in the study of graph characteristics, particularly in algorithms and real-world applications. The chapter explores the generalization of hypergraphs to SuperHyperGraphs and examines how these concepts extend tree-width parameters within the context of Neutrosophic logic. (shrink)

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory” or “set theory for category theory”. The method of algebraization used in this theory has not been formulated in terms of universal algebra so far. In current paper, a _universal algebraic_ method, i.e. one formulated in terms of universal algebra, is presented and used (...) for algebraization of a ground mereological system described as “quantitative” (QMS) and of the standard set theories built upon it. The QMS is algebraized by using abelian generalized groups (AGGs) generalizing both abelian groups and Boolean algebras. To algebraize set theory, the AGG are enriched with operators to produce _extensional algebras_ (EA) of Tarskian “Boolean algebras with operators” type. EAs explicate the intuition of set theory’ universes (of discourse). The axiomatic set theory presented in this paper, named _extension theory_, previously went through an intuitive phase of development during its use by the author in computer science projects, where it served as the basis for development of a foundational data science framework and an extensional model of natural languages also outlined here. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for (...) belief revision of human epistemic states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Reporting systems based on mobile technologies and feedback from regular citizens are becoming increasingly popular, especially as far as protection of environmental and cultural heritage is concerned. Reporting life-threatening situations, such as sudden natural disasters or traffic accidents, belongs to the same class of problems and could be aided by IT systems of a similar architecture. Designing and developing systems for reporting life-threatening situations is not a trivial task, requiring close cooperation between software developers and experts (...) in different domains, who could possibly find industrially recognized languages and notations difficult. Thus, the question is whether using simplified graphical domain-specific languages (SGDSLs) could help in creating a common communication platform. It has been revealed that domain experts have a preference for such languages as they offer good learnability, readability and ability to focus on the idea of application. The perspective of developers (technical persons) is introduced on the basis of feedback obtained from 84 students of Computer Science at the Lublin University of Technology, who attended comprehensive workshops followed by an anonymous survey. All participants received theoretical and practical training in modeling mobile software using the same set of languages as domain experts. An analysis of the results revealed that opinions expressed by technical and nontechnical persons concerning SGDSLs oriented on defining a flow of actions is consistent. Most respondents claimed that such languages might be valuable as tools for creating a common communication platform. (shrink)

This book represents the fourth volume in the series Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of the HyperUncertain Set, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fourth volume, the integration of set theory with graph theory takes center stage, culminating in "graphized" structures such as hypergraphs and superhypergraphs. These structures, paired with innovations like Neutrosophic Oversets, Undersets, Offsets, and the Nonstandard Real Set, extend the boundaries of mathematical abstraction. This fusion of combinatorics, graph theory, and uncertain set theory creates a rich foundation for addressing the multidimensional and hierarchical uncertainties prevalent in both theoretical and applied domains. The book is structured into thirteen chapters, each contributing unique perspectives and advancements in the realm of HyperUncertain Sets and their related frameworks. -/- The first chapter (Advancing Traditional Set Theory with Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets) explores the evolution of classical set theory to better address the complexity and ambiguity of real-world phenomena. By introducing hierarchical structures like hyperstructures and superhyperstructures—created through iterative applications of power sets—it lays the groundwork for more abstract and adaptable mathematical tools. The focus is on extending three foundational frameworks: Fuzzy Sets, Neutrosophic Sets, and Plithogenic Sets into their hyperforms: Hyperfuzzy Sets, Hyperneutrosophic Sets, and Hyperplithogenic Sets. These advanced concepts are applied across diverse fields such as statistics, clustering, evolutionary theory, topology, decision-making, probability, and language theory. The goal is to provide a robust platform for future research in this expanding area of study. The second chapter (Applications and Mathematical Properties of Hyperneutrosophic and SuperHyperneutrosophic Sets) extends the work on Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets by delving into their advanced applications and mathematical foundations. Building on prior research, it specifically examines Hyperneutrosophic and SuperHyperneutrosophic Sets, exploring their integration into: Neutrosophic Logic, Cognitive Maps,Graph Neural Networks, Classifiers, and Triplet Groups. The chapter also investigates their mathematical properties and applicability in addressing uncertainties and complexities inherent in various domains. These insights aim to inspire innovative uses of hypergeneralized sets in modern theoretical and applied research. The third chapter (New Extensions of Hyperneutrosophic Sets – Bipolar, Pythagorean, Double-Valued, and Interval-Valued Sets) studies advanced variations of Neutrosophic Sets, a mathematical framework defined by three membership functions: truth (T), indeterminacy (I), and falsity (F). By leveraging the concepts of Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Bipolar Neutrosophic Sets, Interval-Valued Neutrosophic Sets, Pythagorean Neutrosophic Sets, and Double-Valued Neutrosophic Sets. These extensions address increasingly complex scenarios, and a brief analysis is provided to explore their potential applications and mathematical underpinnings. Building on prior research, the fourth chapter (Hyperneutrosophic Extensions of Complex, Single-Valued Triangular, Fermatean, and Linguistic Sets) expands on Neutrosophic Set theory by incorporating recent advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets. The study focuses on extending: Complex Neutrosophic Sets, Single-Valued Triangular Neutrosophic Sets, Fermatean Neutrosophic Sets, and Linguistic Neutrosophic Sets. The analysis highlights the mathematical structures of these hyperextensions and explores their connections with existing set-theoretic concepts, offering new insights into managing uncertainty in multidimensional challenges. The fifth chapter (Advanced Extensions of Hyperneutrosophic Sets – Dynamic, Quadripartitioned, Pentapartitioned, Heptapartitioned, and m-Polar) delves deeper into the evolution of Neutrosophic Sets by exploring advanced frameworks designed for even more intricate applications. New extensions include: Dynamic Neutrosophic Sets, Quadripartitioned Neutrosophic Sets, Pentapartitioned Neutrosophic Sets, Heptapartitioned Neutrosophic Sets, and m-Polar Neutrosophic Sets. These developments build upon foundational research and aim to provide robust tools for addressing multidimensional and highly nuanced problems. The sixth chapter (Advanced Extensions of Hyperneutrosophic Sets – Cubic, Trapezoidal, q-Rung Orthopair, Overset, Underset, and Offset) builds upon the Neutrosophic framework, which employs truth (T), indeterminacy (I), and falsity (F) to address uncertainty. Leveraging advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Cubic Neutrosophic Sets, Trapezoidal Neutrosophic Sets, q-Rung Orthopair Neutrosophic Sets, Neutrosophic Oversets, Neutrosophic Undersets, and Neutrosophic Offsets. The chapter provides a brief analysis of these new set types, exploring their properties and potential applications in solving multidimensional problems. The seventh chapter (Specialized Classes of Hyperneutrosophic Sets – Support, Paraconsistent, and Faillibilist Sets) delves into unique classes of Neutrosophic Sets extended through Hyperneutrosophic and SuperHyperneutrosophic frameworks to tackle advanced theoretical challenges. The study introduces and extends: Support Neutrosophic Sets, Neutrosophic Intuitionistic Sets, Neutrosophic Paraconsistent Sets, Neutrosophic Faillibilist Sets, Neutrosophic Paradoxist and Pseudo-Paradoxist Sets, Neutrosophic Tautological and Nihilist Sets, Neutrosophic Dialetheist Sets, and Neutrosophic Trivialist Sets. These extensions address highly nuanced aspects of uncertainty, further advancing the theoretical foundation of Neutrosophic mathematics. The eight chapter (MultiNeutrosophic Sets and Refined Neutrosophic Sets) focuses on two advanced Neutrosophic frameworks: MultiNeutrosophic Sets, and Refined Neutrosophic Sets. Using Hyperneutrosophic and nn-SuperHyperneutrosophic Sets, these extensions are analyzed in detail, highlighting their adaptability to multidimensional and complex scenarios. Examples and mathematical properties are provided to showcase their practical relevance and theoretical depth. The ninth chapter (Advanced Hyperneutrosophic Set Types – Type-m, Nonstationary, Subset-Valued, and Complex Refined) explores extensions of the Neutrosophic framework, focusing on: Type-m Neutrosophic Sets, Nonstationary Neutrosophic Sets, Subset-Valued Neutrosophic Sets, and Complex Refined Neutrosophic Sets. These extensions utilize the Hyperneutrosophic and SuperHyperneutrosophic frameworks to address advanced challenges in uncertainty management, expanding their mathematical scope and practical applications. The tenth chapter (Hyperfuzzy Hypersoft Sets and Hyperneutrosophic Hypersoft Sets) integrates the principles of Fuzzy, Neutrosophic, and Soft Sets with hyperstructures to introduce: Hyperfuzzy Hypersoft Sets, and Hyperneutrosophic Hypersoft Sets. These frameworks are designed to manage complex uncertainty through hierarchical structures based on power sets, with detailed analysis of their properties and theoretical potential. The eleventh chapter (A Review of SuperFuzzy, SuperNeutrosophic, and SuperPlithogenic Sets) revisits and extends the study of advanced set concepts such as: SuperFuzzy Sets, Super-Intuitionistic Fuzzy Sets,Super-Neutrosophic Sets, and SuperPlithogenic Sets, including their specialized variants like quadripartitioned, pentapartitioned, and heptapartitioned forms. The work serves as a consolidation of existing studies while highlighting potential directions for future research in hierarchical uncertainty modeling. Focusing on decision-making under uncertainty, the tweve chapter (Advanced SuperHypersoft and TreeSoft Sets) introduces six novel concepts: SuperHypersoft Rough Sets,SuperHypersoft Expert Sets, Bipolar SuperHypersoft Sets, TreeSoft Rough Sets, TreeSoft Expert Sets, and Bipolar TreeSoft Sets. Definitions, properties, and potential applications of these frameworks are explored to enhance the flexibility of soft set-based models. The final chapter (Hierarchical Uncertainty in Fuzzy, Neutrosophic, and Plithogenic Sets) provides a comprehensive survey of hierarchical uncertainty frameworks, with a focus on Plithogenic Sets and their advanced extensions: Hyperplithogenic Sets, SuperHyperplithogenic Sets. It examines relationships with other major concepts such as Intuitionistic Fuzzy Sets, Vague Sets, Picture Fuzzy Sets, Hesitant Fuzzy Sets, and multi-partitioned Neutrosophic Sets, consolidating their theoretical interconnections for modeling complex systems. This volume not only reflects the dynamic interplay between theoretical rigor and practical application but also serves as a beacon for future research in uncertainty modeling, offering advanced tools to tackle the intricacies of modern challenges. (shrink)

The subject of the research is a modern graphic and communicative design, in the context of changing existing and forming new roles of communicators, transforming the communication model, forming a semiotic communication format. The object of the research is modern graphic and communicative design, as well as their traditional, digital and generative subdirections. Design beginning to have digital, semiotic-interactive and artificially intelligent characteristics. The author examines in detail such aspects of the topic as: dialogical, semiotic-interactive qualities of design solutions; digital, (...) semiotic-interactive design-software expressive means; features of semiotic-deconstructivity (analyticity) and semiotic-synthetics (constructiveness) of design solutions in the context of design activity; the influence of technical and technological features of tools and design-environments (design systems) for the formation of automated and artificially intelligent qualities of design solutions. The study of the conceptual model of a semiotic-interactive design is carried out in the context of a semiotic-interactive methodology (a set of principles and strategies of design activity). The main conclusions of the study are the description of the conceptual model of a semiotic-interactive design solution, in the context of a semiotic-interactive methodology implemented in the conceptual-generative subdirection of modern graphic and communicative design. The author's main contribution to the research of the topic is to identify the main components of the conceptual model of a semiotic-interactive design solution and demonstrate their relationship with each other in the form of a holistic model. The novelty of the research lies in the description of the characteristics of the components, the conceptual model of a semiotic-interactive design solution: a dialogical semiotic-interactive format for creating invariant concepts and design solutions; versioning of design solutions based on the semiotic synthesis of design programs; semiotic deconstruction of design solutions at the macro and micro levels; semiotic synthesis of design and artistic design programs; application of design programs as decision tools; use of hyperconnected capabilities of the design environment: the history of actions, integrity and continuous change and development. (shrink)

Social anxiety disorders (SAD) are among the most prevalent mental disorders (lifetime prevalence: 7–12%), with high impact on the life of an affected social system and its individual social system members. We developed a manualized disorder-specific integrative systemic and family therapy (ISFT) for SAD, and evaluated its feasibility in a pilot randomized controlled trial (RCT). The ISFT is inspired by Helm Stierlin’s concept of related individuation developed during the early 1980s, which has since continued to be refined. It integrates solution-focused (...) language, social network diagnostics, and genogram work, as well as resource- and problem orientation for both case conceptualization and therapy planning. Post-Milan symptom prescription to fluidize the presented symptoms is one of the core interventions in the ISFT. Theoretically, the IFST is grounded in radical constructivism and “Cybern-Ethics,” multi-directional partiality, and a both/and attitude toward a disorder-specific vs. non-disorder-specific therapy approach. SAD is understood from the viewpoint of social systems theory, especially in adaptation to a socio-psycho-biological explanatory model of social anxiety. In a prospective multicenter, assessor-blind pilot RCT, we included 38 clients with SAD (ICD F40.1; Liebowitz Social Anxiety Scale, LSAS-SR > 30): 18 patients participated in the ISFT, and 20 patients in Cognitive Behavioral Therapy (CBT; age:M = 36 years,SD = 14). Within-group, simple-effect intention-to-treat analyses showed significant reduction in social anxiety (LSAS-SR; ISFT:d = 1.67; CBT:d = 1.04), while intention-to-treat mixed-design ANOVA demonstrated the advantage of ISFT (d = 0.81). Per-protocol analyses supported these results. The remission rate based on blind diagnosticians’ ratings was good to satisfactory (Structured Clinical Interview, SCID; 78% in ST, 45% in CBT,p = 0.083); this has yet to be verified in a subsequent confirmatory RCT. The article will present the ISFT rationale and manual, including a special focus on multi-person settings, and the central findings from our pilot RCT. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Clinic as Testing Ground for Moral Theory: A European ViewHans-Martin Sass (bio)A Philosopher’s View of Theory in the Clinical SettingThe clinic is a testing ground for theories. I am not clinician; I am a philosopher who has been in the clinic only as a patient or as an ethicist who never has had the final word nor was ever intended to have the final word. I (...) have learned that in the clinical setting general norms and conceptualizations in the Kantian sense must be tailored to real-life situations. From the philosophical schools of analytical reasoning, I learned the skills needed to analyze words and meanings and to dissect problems and so-called “solutions.” But even more impressive are the methodological skills of differential diagnosis, looking at medical problems from different angles and using different methods and instruments. The detail- and patient-oriented work of the clinician provides an excellent model of methodological clarity and professional devotion for a philosopher who assists those working for the “good of the patient.” That model has led to the development of what I call a theory and methodology of differential ethics. [End Page 351]Differential ethics is normative ethics, as it does not give up norms in favor of situational utility. Differential ethics does not venture out empty-handed in order to explore and find principles pre-existing in a given situation; rather it brings basic values and principles along with it and tries to discover the shape they must take and the priority they must be given in the situation at hand. Differential ethics differentiates between general norms and mid-level principles, virtues, and visions that must be introduced and protected effectively and specifically according to different scenarios (Sass 1993). From this European point of view, I shall briefly explain my position and comment on (1) the controversy between principlism and virtue theory, (2) differentiating and balancing, and (3) the importance of trust, both as a principle and as a virtue in the clinical setting.Principlism Versus Virtue Theory: A Mistaken ControversyFrom a European perspective, I find that the debate between the schools of virtue-theory and principlism in the United States is a mistaken controversy. The real conflict between the schools of thought is not methodology, but content. Tom Beauchamp (1995) gives examples of how one language or method can be translated into the other, and Edmund Pellegrino and David Thomasma (1988, p. 206) have formulated a rule for the virtuous physician that, in the language of principlism, reads “respect for autonomy,” but in the language of virtue theory reads “To assist my patients to make choices that coincide with their own values or beliefs, without coercion, deception, or duplicity.”In different situations, however, some systems of reference are more authoritative and effective than others. Appealing to professional virtues would be the most efficacious way to address an audience coherent in attitudes and concerned about personal character. Reaffirmation of personal and professional obligations in secular fraternities or religious communities works best when it includes an appeal to virtues in the language of the humanist tradition, moral theology, or professional ethics.But there are other situations in which authoritative attitudes and expectations are absent and society in general is searching for common, often dormant, principles that will hold it together whatever specific disagreements arise. Such a situation was present in 1978 when the Belmont Report (National Commission 1978) presented principles—respect for autonomy, nonmaleficence, beneficence, justice—and not virtues to guide moral and political reflections on and reactions to the ethical, legal, and social implications of modern biomedicine in a multi-faceted and multi-cultural society.The formal difference between the systems of principlism, virtue theory, and value theory becomes even less important when clinical-ethical questionnaires are used to understand specific scenarios or cases and to assess different options for proceeding. Thus, my first thesis is: Case discussion, scenario assessment, [End Page 352] and open questionnaires, rather than definite guidelines, bridge the difference between virtue theory and principlism, since such processes can employ any one language or a combination of all three.Differentiating and BalancingMy second thesis is: Whatever system of reference is used... (shrink)

Human linguistic phenomenon is at one and the same time an individual, social, and political fact. As such, its study should bear in mind these complex interrelations, which are produced inside the framework of the sociocultural and historical ecosystem of each human community. Understanding this phenomenon is often no easy task, due to the range of elements involved and their interrelations. The absence of valid, clearly developed paradigms adds to the problem and means that the theoretical conclusions that emerge may (...) be unclear on certain points. It is true that in the last fifty years sociolinguistic studies have advanced considerably, and today we have access to an impressive set of data and a wide variety of theoretical reflections. But as a discipline sociolinguistics does not yet have unified, powerful theoretical models able to account rigorously and clearly for the phenomena it studies. Sociolinguistic studies are today a diverse set of contributions in which certain and theoretical schools and lines of research emerged; but as is to be expected in a relatively new field, there is not enough communication between the various schools and they cannot yet be said to be integrated in terms of their conceptual and theoretical postulates. Against this background, our work aims to contribute to the overall, integrated understanding of the processes of language contact. Via an interdisciplinary, eclectic approach, it also aims to aid the theoretical grounding and integration of a unified, common sociolinguistic paradigm. Our strategy will not be merely to combine the contributions from ongoing research lines, but to address the question from a more global viewpoint which, together with the more innovative contemporary scientific disciplines, permits a harmonious integration of the various sociolinguistic perspectives in a broad, deep and unitary approach to the reality. The materials used to construct this unified approach are taken from many sources: Theoretical physics, ecology, the philosophy of science and mind, anthropology, phenomenological and process sociology, cognitive sciences, political science, pragmatics, history, systems theory, approaches to complexity and obviously sociolinguistics, are all involved in a dialogue in this desire for integration. (shrink)

This present book explores recent advances in modeling discourse processes, in particular, new approaches aimed at understanding pathological language behavior specific to schizophrenia. The contributors examine the modeling paradigm of formal semantics, which falls within the scope of both linguistics and logic while providing overlapping links with other fields such as philosophy of language and cognitive psychology. This book is based on results presented during the series of workshops on Coherence and Discourse organized by SLAM, a project developed (...) to systemize the study of pathological language processing by taking an overarching interdisciplinary approach combining psychology, linguistics, computer science and philosophy. The principle focus is on conversations produced by people with psychiatric disorders such as schizophrenia and autism. The contributions come from young and experienced researchers, and invited speakers. The book appeals to likeminded students and researchers. (shrink)

An essential aspect of conceptual data modeling methodologies is the language’s expressiveness so as to represent the subject domain as precise as possible to obtain good quality models and, consequently, software. To gain better insight in the characteristics of the main conceptual modeling languages, we conducted a comparison between ORM, ORM2, UML, ER, and EER with the aid of Description Logic languages of the DLR family and the new formally defined generic conceptual data (...) class='Hi'>modeling language CMcom that is based on DLRifd. ORM, ER, EER, and UML class diagrams are proper fragments of ORM2 and CMcom has the most expressive common denominator with these languages. CMcom simplifies prospects for automated, online, interoperability among the considered languages so that modelers not only can continue using their preferred modeling language yet be compatible with the other ones, but also have a common ground that eases database and software integration based on commonly used conceptual data models. (shrink)

Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process (...) forming the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual (...) Spaces framework work, the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

Four modes of language acquisition and communication are presented translating ancient Indian expressions on human consciousness, mind, their form, structure and function clubbing with the Sabdabrahma theory of language acquisition and communication. The modern scientific understanding of such an insight is discussed. . A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process forming the basis to develop software for relevantmind-machine modeling will be presented. The implications (...) of such a model to artificial intelligence and cognitive sciences will be discussed. The essential nature and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of language processing in humans is put forward. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed (...) "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language). (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this (...) paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

_Treating Dissociative and Personality Disorders_ draws on major theorists and the very latest research to help formulate and introduce the Relational/Multi-Motivational Therapeutic Approach, a new model for treating such patients within a clinical psychoanalytic setting. Supported by her fellow contributors, Antonella Ivaldi provides an overview of existing theories and evidence for their effectiveness in practice, sets out her own theory in detail and provides rich clinical detail to demonstrate the advantages of the REMOTA model as applied in a clinical (...) setting. The narratives in this book show how it is possible to integrate different contributions within a multidimensional aetiopathogenic treatment model, which considers the mind as a manifestation of the relationship between body and world. From a conceptual perspective, according to which consciousness emerges and develops in the interpersonal dimension, this book shows how it becomes possible to understand, in the therapeutic space, what stands in the way of sound personal functioning, and how to create the conditions for improving this. Treating Dissociative and Personality Disorders will be highly useful in addressing the particular clusters of symptoms presented by patients, stimulating therapists of different backgrounds to explore the complexity of human nature. On reading this book, it will become clear that theories can truly become useful instruments, if approached with a critical mind and with humbleness, in order to venture into what we do not know and will never know completely: the relationship with the other, unique and irreplaceable. Treating Dissociative and Personality Disorders provides an integrative and comparative new approach that will be indispensable for combining relational clinical knowing and motivational theories. It_ _will appeal to psychoanalysts and psychotherapists, especially those in training, clinicians of different backgrounds interested in comparative psychotherapy, as well as social workers and graduate and postgraduate students. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

Formal Ontology is a discipline whose business is to develop formal theories about general aspects of reality such as identity, dependence, parthood, truth-making, causality, etc. A foundational ontology is a specific consistent set of these ontological theories that support activities such as domain analysis, conceptual clarification, and meaning negotiation. A (well-founded) core ontology specifies, under a foundational ontology, the central concepts and relations of a given domain. Foundational and core ontologies can be seen as ontology engineering frameworks to systematically (...) address the laborious task of building large (more specific) domain ontologies. However, both in research and industry, it is common that ontologies as computational artifacts are built without the aid of any framework of this kind, often yielding modeling mistakes and representation gaps. In this paper, we analyze a case in the domain of cybersecurity, namely, the case of D3FEND — an OWL knowledge graph of cybersecurity countermeasure techniques proposed by the MITRE Corporation. Based on the Reference Ontology for Security Engineering (ROSE), a core ontology of the security domain founded in the Unified Founda-tional Ontology (UFO), our investigation reveals a number of semantic issues and opportunities for improvement in D3FEND, including missing concepts, semantic overload of terms, and lacking constraints that cause an under-specification of the model. As a result of our ontological analysis, we propose several suggestions for the appropriate redesign of D3FEND to overcome those issues. (shrink)

As anthropology becomes more interested in consciousness and its numerous states, and with a slowly increasing appeal to neuroscience for insights and explanations of consciousness, there is an understandable interest in the components of consciousness and how they combine into alternative states in different sociocultural settings. One of those components should be the complexity of information processing producing the knowing aspect of consciousness. The author introduces an approach to this aspect in the form of conceptual systems theory, (...) a neo-Piagetian model of cognitive development, which has been used to good effect to explain information processing in social situations but heretofore neglected by anthropologists. The neuroanthropological underpinnings of CST are discussed, as is the range of potential applications to ethnological and ethnographic problems. (shrink)

Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - but understanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make (...) use of this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin. Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broader areas of applied logic and gives you a basis for adapting the method to your own needs. (shrink)

Despite the incremental nature of Dynamic Syntax, the semantic grounding of it remains that of predicate logic, itself grounded in set theory, so is poorly suited to expressing the rampantly context-relative nature of word meaning, and related phenomena such as incremental judgements of similarity needed for the modelling of disambiguation. Here, we show how DS can be assigned a compositional distributional semantics which enables such judgements and makes it possible to incrementally disambiguate language constructs using vector space semantics. Building (...) on a proposal in our previous work, we implement and evaluate our model on real data, showing that it outperforms a commonly used additive baseline. In conclusion, we argue that these results set the ground for an account of the non-determinism of lexical content, in which the nature of word meaning is its dependence on surrounding context for its construal. (shrink)

This book is the fifth volume in the series of Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of Various SuperHyperConcepts, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fifth volume, the exploration of Various SuperHyperConcepts provides an innovative lens to address uncertainty, complexity, and hierarchical relationships. It synthesizes key methodologies introduced in earlier volumes, such as hyperization and neutrosophic extensions, while advancing new theories and applications. From pioneering hyperstructures to applications in advanced decision-making, language modeling, and neural networks, this book represents a significant leap forward in uncertain combinatorics and its practical implications across disciplines. -/- The book is structured into 17 chapters, each contributing unique perspectives and advancements in the realm of Various SuperHyperConcepts and their related frameworks: Chapter 1 introduces the concept of Body-Mind-Soul-Spirit Fluidity within psychology and phenomenology, while examining established social science frameworks like PDCA and DMAIC. It extends these frameworks using Neutrosophic Sets, a flexible extension of Fuzzy Sets, to improve their adaptability for mathematical and programming applications. The chapter emphasizes the potential of Neutrosophic theory to address multi-dimensional challenges in social sciences. Chapter 2 delves into the theoretical foundation of Hyperfunctions and their generalizations, such as Hyperrandomness and Hyperdecision-Making. It explores higher-order frameworks like Weak Hyperstructures, Hypergraphs, and Cognitive Hypermaps, aiming to establish their versatility in addressing multi-layered problems and setting a foundation for further studies. Chapter 3 extends traditional decision-making methodologies into HyperDecision-Making and n-SuperHyperDecision-Making. By building on approaches like MCDM and TOPSIS, this chapter develops frameworks capable of addressing complex decision-making scenarios, emphasizing their applicability in dynamic, multi-objective contexts. Chapter 4 explores integrating uncertainty frameworks, including Fuzzy, Neutrosophic, and Plithogenic Sets, into Large Language Models (LLMs). It proposes innovative models like Large Uncertain Language Models and Natural Uncertain Language Processing, integrating hierarchical and generalized structures to advance the handling of uncertainty in linguistic representation and processing. Chapter 5 introduces the Natural n-Superhyper Plithogenic Language by synthesizing natural language, plithogenic frameworks, and superhyperstructures. This innovative construct seeks to address challenges in advanced linguistic and structural modeling, blending attributes of uncertainty, complexity, and hierarchical abstraction. Chapter 6 defines mathematical extensions such as NeutroHyperstructures and AntiHyperstructures using the Neutrosophic Triplet framework. It formalizes structures like neutro-superhyperstructures, advancing classical frameworks into higher-dimensional realms. Chapter 7 explores the extension of Binary Code, Gray Code, and Floorplans through hyperstructures and superhyperstructures. It highlights their iterative and hierarchical applications, demonstrating their adaptability for complex data encoding and geometric arrangement challenges. Chapter 8 investigates the Neutrosophic TwoFold SuperhyperAlgebra, combining classical algebraic operations with neutrosophic components. This chapter expands upon existing algebraic structures like Hyperalgebra and AntiAlgebra, exploring hybrid frameworks for advanced mathematical modeling. Chapter 9 introduces Hyper Z-Numbers and SuperHyper Z-Numbers by extending the traditional Z-Number framework with hyperstructures. These extensions aim to represent uncertain information in more complex and multidimensional contexts. Chapter 10 revisits category theory through the lens of hypercategories and superhypercategories. By incorporating hierarchical and iterative abstractions, this chapter extends the foundational principles of category theory to more complex and layered structures. Chapter 11 formalizes the concept of n-SuperHyperBranch-width and its theoretical properties. By extending hypergraphs into superhypergraphs, the chapter explores recursive structures and their potential for representing intricate hierarchical relationships. Chapter 12 examines superhyperstructures of partitions, integrals, and spaces, proposing a framework for advancing mathematical abstraction. It highlights the potential applications of these generalizations in addressing hierarchical and multi-layered problems. Chapter 13 revisits Rough, HyperRough, and SuperHyperRough Sets, introducing new concepts like Tree-HyperRough Sets. The chapter connects these frameworks to advanced approaches for modeling uncertainty and complex relationships. Chapter 14 explores Plithogenic SuperHyperStructures and their applications in decision-making, control, and neuro systems. By integrating these advanced frameworks, the chapter proposes innovative directions for extending existing systems to handle multi-attribute and contradictory properties. Chapter 15 focuses on superhypergraphs, expanding hypergraph concepts to model complex structural types like arboreal and molecular superhypergraphs. It introduces Generalized n-th Powersets as a unifying framework for broader mathematical applications, while also touching on hyperlanguage processing. Chapter 16 defines NeutroHypergeometry and AntiHypergeometry as extensions of classical geometric structures. Using the Geometric Neutrosophic Triplet, the chapter demonstrates the flexibility of these frameworks in representing multi-dimensional and uncertain relationships. Chapter 17 establishes the theoretical groundwork for SuperHyperGraph Neural Networks and Plithogenic Graph Neural Networks. By integrating advanced graph structures, this chapter opens pathways for applying neural networks to more intricate and uncertain data representations. (shrink)

Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...) proposing an ontology, a general theory of knowledge and concept of a person. Kaufmann's work derives, first of all, from the thinking of Gustav Radburch, his teacher, and then from ideas of Karl Engish and Hans-Georg Gadamer. The philosophy undertakes to pursue the ultimate foundation of law, law which is understood by Kaufmann, first of all, as a "concrete judgement" that is, what is right in a concrete situation. Justice belongs to the essence of law and "unjust law" is contradictio in adiectio. Kaufmann opposes all those theories, which as the only foundation for establishing just law (Recht) adopt legal norms (Gesetz). In Kaufmann's opinion , such theories are powerless in the face of all types of distortions of law rendered by political forces. He suggests that the basic phenomenon which needs to be explained and which cannot be disregarded by a philosopher of law is so-called "legal lawlessness" ("Gestzliches Unrecht"). "Legal lawlessness" which forms a part of life experience for the people of twentieth century totalitarian states. It proved "with the accuracy of scientific experiment" that the reality of law consists of something more than bare conformity with legal norms. The existence of lex corrupta indicates that law contains something "non-dispositive" which requires acknowledgment of both law-maker and judge. Kaufmann, accepting the convergent concept of truth and cognition, assumes that "non-dispositive" content, emerging as the conformity of a number of cognitive acts of different subjects (inter-subjective communicativeness and verifiability), indicates the presence of being in this cognition. The questions "What is law?" and "What are the principles of a just solution?" lead straight to the ontology of law, to the question about the ontological foundations of law. Kaufmann discerns the ontological foundations of law in the specifically understood "nature of things" and, ultimately, in a "person". He proposes a procedural theory of justice, founded on a "person". In my work, I undertake to reconstruct the train of thought which led Kaufmann to the recognition of a "person" as the ontological foundation of law. In the first part, the conception of philosophy adopted by Kaufmann, initial characteristics of law — of reality which is the subject of analysis, as well as, the requirements for proper philosophical explanation of law posed by Kaufmann are introduced. In the second, Kaufmann's reconstruction of the process of the realisation of law is presented. Next, the conception of analogy which Kaufmann uses when explaining law is analyzed. In the fourth part, Kaufmann's conception of ontological foundations of law is discussed. A critical analysis is carried out in which I demonstrate that the theory of the ontological foundation of law proposed by Kaufmann and the concept of a person included in it do not allow a satisfac¬tory explanation of the phenomenon of "legal lawlessness" and lead to a number of difficulties in the philosophical explanation of law. Finally, the perspectives of a proper formulation of the issue of the ontological foundations of law are drafted in the context of the analyzed theory. My interest is centered on the conception of philosophy adopted by Kaufmann, according to which the existence of the reality is inferred on the basis of a certain configuration of the content of consciousness, whereas at the point of departure of philosophy of law, the data to be explained is a certain process, which is, basically, a process of cognition, while the reality appears only as a condition for the possibility of the occurrence of the process. I wish to argue that the difficulties which appear in the explanation of law are a consequence of the assumed fundamental philosophical solu¬tions, which seem to be characteristic, though usually not assumed explicitly, in philoso¬phy and theory of law dominant at present in continental Europe. Thereby, I wish to show the significance of ontological and epistemological solutions to the possibility of a proper formulation of the problems posed by philosophy and theory of law. Kaufmann proclaims himself in favour of a philosophy which poses questions about the ultimate foundations of understanding of the reality. In epistemology, he assumes that answers to the questions "What is reality like?" and ultimately "What is real?" are inferred on the basis of uniformity of a cognitive acts of different subjects. Cognition of the reality is accomplished exclusively through the content of conceptual material. The two fundamental questions posed by philosophy of law are "What is just law?" and "How is the just law enacted?" The latter is a question about the process of achieving a solution to a concrete case. Since, in Kaufmann's opinion, law does not exist apart from the process of its realisation, an answer to the question about the manner of realisation of law is of fundamental significance to answering the question: "What is law?" and to the explanation of the question about the ontological grounding of law, which is, as well, the foundation of justice. The proper solution has to take into account the moment of "non-dispositive" content of law; its positiveness understood as the reality and, at the same time, it has to point to the principles of the historical transformation of the content. Law, in the primary meaning of the word, always pertains, in Kaufmann's opinion, to a concrete case. A legal norm is solely the "possibility" of law and the entirely real law is ipsa res iusta, that which is just in a given situation. Determination of what is just takes place in a certain type of process performed by a judge (or by man confronted with a choice). Kaufmann aims to reconstruct this process. A question about the ontological foundation of law is a question about the ontological foundations of this process. In the analyzed theory it is formulated as a question about the transcendental conditions, necessary for the possibility of the occurrence of the process: how the reality should be thought to make possible the reconstructed process of the realisation of law. Kaufmann rejects the model for finding a concrete solution based on simple subsump¬tion and proposes a model in which concrete law ensues, based on inference by analogy, through the process of "bringing to conformity" that which is normative with that which is factual. Kaufmann distinguishes three levels in the process of the realisation of law. On the highest level, there are the fundamental legal principles, on the second legal norms, on the third — concrete solutions. The fundamental principles of law are general inasmuch as they cannot be "applied" directly to concrete conditions of life, however, they play an important part in establishing norms. A judge encounters a concrete situation and a system of legal norms. A life situation and norms are situated on inherently different levels of factuality and normativeness. In order to acquire a definite law both a norm (system of norms) and a life situation (Lebenssachverhalt) should undergo a kind of "treatment" which would allow a mutual conformity to be brought to them. Legal norms and definite conditions of life come together in the process of analogical inference in which the "factual state" ("Tatbestand") — which represents a norm, and in the "state of things" ("Sachverhalt") — which represents a specific situation are constructed. A "factual state" is a sense interpreted from a norm with respect to specific conditions of life. The "state of things" is a sense constructed on the basis of concrete conditions of life with respect to norms (system of norms). Legal norms and concrete conditions of life meet in one common sense established during the process of realisation of law. Mutatis mutandis the same refers to the process of composition of legal norms: as the acquisition of concrete law consists in a mutual "synchronization" of norms and concrete conditions of life, so acquisition of legal norms consists of bringing to conformity fundamental principles and possible conditions of life. According to Kaufmann, both of these processes are based on inference through analogy. As this inference is the heart of these processes it is simultaneously a foundation finding just law and justice. How does Kaufmann understand such an inference? As the basis for all justice he assumes a specifically interpreted distributive justice grounded on proportionality. Equality of relations is required between life conditions and their normative qualification. Concrete conditions of life are ascribed normative qualification not through simple application of a general norm. More likely, when we look for a solution we go from one concrete normative qualified case to another, through already known "applications" of norms to a new "application". The relation between life conditions and their normative qualifica¬tion has to be proportional to other, earlier or possible (thought of) assignments of that which is factual to that which is normative. Law as a whole does not consist of a set of norms, but only of a unity of relations. Since law is a, based on proportion, relative unity of a norm and conditions of life, in order to explain law in philosophical manner, the question about ontological base of this unity has to be asked. What is it that makes the relation between a norm and conditions of life "non-dispositive"? What is the basis for such an interpretation of a norm and case which makes it possible to bring a norm and conditions of life into mutual "conformity"? This is a question about a third thing (next to norms and conditions of life), with respect to which the relative identity between a norm and conditions of life occurs, about the intermediary between that which is normative and that which is factual and which provides for the process of establishing of norms, as well as, finding solutions. It is the "sense" in which the idea of law or legal norm and conditions of life have to be identical to be brought to mutual "conformity". In Kaufmann's opinion such a sense is nothing else but the "nature of things" which determines the normative qualification of the reality. Since establishment of this "sense" appears to be "non-dispositive" and controlled inter-subjectively (namely, other subjects will reach a similar result) so, in conformity with the convergent concept of truth, the "nature of things" must be assigned a certain ontological status. According to Kaufmann this is a real relation which occurs between being and obligation, between the conditions of life and normative quality. However, it should be underlined that from the point of view of the analyzed system the "nature of things" is a correlate of constructed sense, a result of a construction which is based on the principle of consistent understanding of senses ("non-normative" and "normative") and is not a reality which is transcendent against the arrangement of senses. In Kaufmann's theory, inference from analogy appears to be a process of reshaping the concepts (senses) governed by tendency to understand the contents appearing in relations between that which is factual and that which is normative in a consistent way. The analogical structure of language (concepts) and recognition of being as composed of an essence and existence is an indispensable requirement for the possibility of the realisation of law, based on specifically understood inference from analogy. It is necessary to assume a moment of existence without content which ensures unity of cognition. Existence emerges thus as a condition of the possibility of cognition. According to Kaufmann, the "nature of things" is the heart of inference through analogy and the basis for establishment of finding of law. Inference from the "state of things" to a norm or from a norm to the "state of things" always means inference through the "nature of things". The "nature of things" is the proper medium of objective legal sense sought in every cognition of law. In Kaufmann's view, the question whether the "nature of things" is ultima ratio of interpretation of law or is only a means of supplement gaps in law or whether it is one of the sources of law, is posed wrongly. The "nature of things" serves neither to supplement the gaps nor is it a source of law as, for example, a legal norm may be. It is a certain kind of "catalyst" necessary in every act of making law and solving a concrete case. Owing to "nature of things" it is possible to bring to a mutual conformity the idea of law and possible conditions of life or legal norms and concrete conditions of life. In Kaufmann's conception the "nature of things" is not yet the ultimate basis for understanding the "non-dispositiveness" of law. The relation between obligation and being is determined in the process of the realisation of law. Both the process itself and that which is transformed in this process are given. A question about the ontological bases of "material" contents undergoing "treatment" in the process of the realisation of law and about being which is the basis of regularity of the occurrence of the process arises. Only this will allow an explanation that the result of the process is not optional. Thus, a question about reality to which law refers and about the subject realising the law has to be formed. To this, Kaufmann gives the following answer: that which is missing is man but not "empirical man" but man as a "person". A "person" understood as a set of relations between man and other people and things. A "person" is the intermediary between those things which are different — norm and case are brought to conformity. A "person" is that which is given and permanent in the process of the realisation of law. It determines the content of law, is "subject" of law; this aspect is described by Kaufmann as the "what" of the process of realisation of law. A "person" consists of precisely just these relations which undergo "treatment" in the process. On the other hand, a "person" is "a place" in which the processes of realisation of law occur, it is the "how" of normative discourse, a "person" is that which determines the procedure of the process, being "outside" of it. This aspect of a "person" is connected with the formal moment of law. A "person" being, at the same time, the "how" and the "what" of the process of the realisation of law, is also, to put it differently, a structural unity of relation and that which constitutes this relation (unity of relatio and relata). According to this approach a "person" is neither an object nor a subject. It exists only "in between". It is not substance. Law is the relation between being and obligation. That which is obligatory is connected with that which is general. That which is general does not exist on its own, it is not completely real. Accordingly, a "person" as such is also not real. It is relational, dynamic and historical. A "person" is not a state but an event. In Kaufmann's opinion, such a concept of a "person" helps to avoid the difficulties connected with the fungibility of law in classical legal positivism. A "person" is that which is given, which is not at free disposal and secures the moment of "non-dispositiveness" of law. Kaufmann concludes: "The idea (»nature«) of law is either the idea of a personal man or is nothing". Theory points at the structure of realising law and explains the process of adoption of general legal norms for a concrete situation. The analysis has shown however, that in this theory a satisfactory answer to the question about the ultimate foundations of law is not given. It seems that in the analyzed theory the understanding of human being takes place through understanding of law. What is good for man as a "person", what is just, what a "person" deserves may be determined only against the existing system of law. A "per¬son" adopted as a basis of law is the reality postulated in the analysis of the process of the realisation of law. It is a condition of possibility of this process ( explaining, on one hand, its unity and, on the other hand, the non-dispositive moments stated in this process). A "person" in the discussed theory is entirely defined by the structure of law, it can be nothing more than that which is given in law, what law refers to, what law is about. Being, which is a "person", is constituted by relations between people and objects, the relations which are based on fundamental links between norms and conditions of life established in a process of bringing them to conformity. It has to be assumed that man as a "person" is a subject of law only as far as realising law "treats" given senses according to their current configuration. The system of law is a starting point and it describes in content what man is as a "person". Moreover, being a "person" is the condition for entering legal relations. Consistently, Kaufmann writes that "empirical man" is not the subject of law, man is not "out of nature" a "person". People become "persons" due to the fact that they acknowledge each other as "persons" — acknowledging, at the same time, law. This acknowledgement is a con¬dition of existence, of the possibility of the occurrence of process of realisation of law and of constituting legal relations which ultimately constitute a "person". Kaufmann assumes, that law tends towards a moral aim: it may and must create an external freedom, without which the internal freedom to fulfil moral obligations cannot develop. However, this postulate is not based on the necessary structure of human being. From the point of view of his system, it is nothing more than only a condition for the possibility of the occurrence of the process of the realisation of law — lack of freedom would destroy the "how" of this process. Thus, the postulate to protect the freedom of personal acts has to be interpreted, in accordance with the analyzed theory, as a postulate, the fulfilment of which aims ultimately at the accomplishment of the very same process of realisation of law itself and not the realisation of a given man. Kaufmann considers a "person" to be an element which unites the system of law as a whole. Law is a structure of relations, which are interdependent and inter-contingent. Consequently, a "person" which is to form the ontological basis of law has to be entity consisting of all relations. Being also the "how" of the process of realisation of law, if a "person" is to warrant its unity, it has to be a common source for all procedures. Hence, a single "person" would constitute a subject of law. Man appears to be only a moment of a certain entirety, realisation of which should be an aim of his actions. Law, creating a "person" as an object and subject of law becomes a primary entity. In the analyzed theory, the basis for determination of aims which law sets to man is not the allocation of man-subject to something which improves him but rather, such relation is only just constituted by law. A question appears, why should aims set in law also be the aims of "empirical man"? Why is this "empirical man" to be punished in the name of a "person" understood in such a way? If, however, it is assumed that what is man is determined by a system which is superior to him, then man has to be understood only as a part of a whole and there are no grounds to prohibit istrumental treatment of man and so the road to all aspects of totalitarianism might be opened. A problem of the application of created theory to the reality arises, the reality which the theory pretends to explain. Ultimately in his theory Kaufmann does not give any systemic grounds for a radical questioning of the validity of any legal norms. Every new norm becomes an equal part of system of norms. It is only its interpretation and application to given conditions of life that may be disputable, however, this refers to all norms without exception. Cohesive inter-pretation of norms and applications is necessary and sufficient for the acquisition of just law. New norms have to be interpreted in the light of others, correspondingly, the other norms require reinterpretation in the light of the new ones. Contradiction in interpretation of a norm does not form a basis for questioning norms but may serve only to question the manner of their interpretation (understanding). Therefore, no grounds exist to assume any legal norm as criminal or unjust, and in consequence, to question any consistently realised system based on formally, properly established norms, as "legal lawlessness". As law and a "person" do not exist without the process of realisation of law, the role of legal safety becomes crucial as the condition for the possibility of the occurrence of the process of realisation of law. Denying legal safety would be tantamount to negation of law in general (also of moral law) as negation of safety takes away, at the same time, the basis for occurrence of the process of realisation of law. Moreover, any lack of legal safety would also mean lack of a basis for the existence of man as a "person". Kaufmann's thesis, that civil disobedience is legalized only when it has a chance to lead to success, consistent with his concept of the foundations of law, seems to point directly to conclusions which deny the facts taken under consideration and doubtlessly Kaufmann's own intentions, since it would have to be assumed that accordingly there are no grounds to question a legal system in force based on violence which secures its operation. Force finally seems to determine which one of the mutually irreconcilable normative systems constitute law and which does not. A legitimate position is one which leads to success, it is the weaker system which is negated. If so, then basically violent imposition of law is not an act directed against the law in force but, to the contrary, realisation of law. In the context of the new system the former system of law may be talked about as unjust solely in the sense of being incapable of being consistently united with the new. However, at the base, ultimately, lies force which reaffirms differences and excludes from the process of realisation of law certain norms and their interpretations. Kaufmann was aiming at grounding of that which is "non-dispositive" in a certain given framework of interpretation. Nevertheless, he does not provide foundations for the understanding of phenomena, which he undertakes to explain at a point of departure. Instead of explaining them the theory negates the possibility of their existence. The reality postulated in regard to "non-dispositive" moments of the reconstructed process of acquiring law consist of a specifically understood "person", which appears in Kaufmann's conceptions as a condition of the possibility of the realisation of law. According to this approach understanding of a "person" may be only a function of law. To understand "legal lawlessness" and foundations of justice it is necessary to look for such theory of law in which understanding of man as a "person" and being is not a function of understanding of law (in which a "person" is not only a condition for possibility of reconstructed process of realisation of law; for possibility of cognition processes). It seems necessary to start from theory of being and a "person" based on broader experience than the one assumed by Kaufmann and reconstruct the ontological foundations of the process of realisation of law only in such perspective. Kaufmann points out that that to which law refers is ipsa res iusta a concrete relation of man to other people and things. This relation, in his theory, appears to be basically only just constituted by law (normative senses "applied" to conditions of life). Therefore, understanding the relation between a given man and other people and things which constitute the aim of his actions, that is understanding of good, is enacted against the background of constitution of senses; constitution which is a result of a process aiming towards consistent understanding of particular contents (of nor¬mative and non-normative senses). "Being" is secondary towards constructed senses it is only their correlate. The primary relation consists of relation of a man to law (system of norms), while the secondary relation is one of man to something which is the aim of his action (relation between man and good). Considering such approach it is difficult to envision a satisfying answer to the fundamental question: why does law put concrete man under any obligation to obey it? The source of this problem can be seen in reduction of the base for understanding good to content of obligation formulated in auto-reflection. Such reduction seems to be a consequence of Kaufmann's adoption of "convergent concept of truth" and in con¬sequence his recognition of indirect, essentialistic grasp of reality formulated in concepts as the basic and only foundation of theory of being and of law. In view of such an approach, analogy of law, concepts and being is the condition for the possibility of the process of transformation of senses which aims at consistent interpretation of all law. Existence is postulated with respect to the possibility of unity of experience and cognition. However, also a different approach to understanding of the problem of being and good is possible. In spontaneous cognition being is affirmed, first of all, not as a certain, non-contradictory, determined content, but as something existing. Together with a cer¬tain content (passed indirectly through notions) existence of being is co-given. The basis for unity of being is not formed by the consistence of content, as it is in the case of the theories departing from the analysis of cognition processes, but by an act of existence realising content (essence). Such an approach makes it also possible to go beyond the convergent concept of truth. It is worth mentioning that allocation of an agent to good is realised not only by the content of duty. A statement that something is good is primary with respect to determination of this good in content. The recognised good always bears some content, however, there are no reasons to base the concept of good exclusively on indirect, formulated in concepts cognition. As primary, can be adopted the relation of man to good and not of man to law. Determination in content appears to be only an articulation of aspectual cognition of being, as an object of action. In such a case the basis for relative unity of norm and conditions of life is not the "nature of things" understood as correlate of sense but it is relation to good based on internal constitution of man as potential, not self-sufficient being. It does not mean, that the moments of the process of realisation of law singled out by Kaufmann are not important to determination of what is just. He, quite rightly, points to significant role played by norms in the evaluation of concrete situations, in man's search for closer specification in content of good innate to him. The structure of process of determining law for a concrete situation, to a great degree corresponds to the processes of determining law which take place not only in the legal sciences. Kaufmann's analyses of the process of realisation of law show the complexity of the structure of these processes and point towards important moments allowing a better understanding of law and man. Nevertheless, these analyses cannot be a basis for construction of philosophical theory of law, theory which hopes to point out the ultimate, ontological foundations for understanding law. Kaufmann's results may become fully valid only in a more general perspective including broader experience at the point of departure. (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)

Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language (...) for describing these entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specification Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events. (shrink)

In today's philosophy of science, scientific theories are construed as abstract mathematical objects: formal axiomatic systems or classes of set-theoretic models. By focusing exclusively on the logico-mathematical structure of theories, however, this approach ignores their essentially cognitive nature: that theories are conceptualizations of the world produced by some cognitive agents. As a result, traditional philosophical analyses of scientific theories are incapable of coherently accounting for the relevant relations between highly abstract and idealized models in science and concrete empirical phenomena (...) in the world. ;As a more accurate and comprehensive alternative to traditional analyses of scientific theorizing, the dissertation proposes and develops a conception of scientific theories which makes explicit the essential role of cognitive agents--theorizers--in generating abstract scientific models and systematically relating such models to experimentally controlled parts of the world. ;Specifically, by utilizing the conceptually powerful formal framework of the Theory of Categories, the new approach clarifies and makes formally precise the cognitive status of several important aspects of scientific theorizing, including the notion of a scientific model as theorizers' mathematical conceptualization of the world jointly determined by theorizers' physical interactions with the world and their cognitive access to mathematical objects, the distinction between models in science and models in pure mathematics, the distinction between provisional and successful scientific models, the notion of a systematic correspondence between successful scientific models and the world which does not impose upon the world the mathematical structure of scientific models, and the way in which theorizers' modeling strategy determines the general structure of scientific knowledge. (shrink)

Numerous studies suggest that both emotion knowledge and language abilities are powerfully related to young children’s theory of mind. Nonetheless, the magnitude and direction of the associations between language, emotion knowledge, and theory-of-mind performance in the first years of life are still debated. Hence, the aim of this study was to assess the direct effects of emotion knowledge and language on theory-of-mind scores in 2- and 3-year-old children. A sample of 139 children, aged between 24 and 47 (...) months ( M = 35.5 months; SD = 6.73), were directly administered measures of emotion knowledge, theory of mind, and language. We conducted structural equation modeling (SEM) to evaluate the effects of these variables within a single comprehensive framework, while also controlling for any effects of age and gender. The proposed structural equation model provided an excellent fit for the data, indicating that both children’s emotion knowledge, and their language ability had direct positive effects on theory of mind scores. In addition, age was found to wield statistically significant effects on all the variables under study, whereas gender was not significantly associated with any of them. These findings suggest the importance of fostering young children’s emotion knowledge and language ability with a view to enhancing their comprehension of mental states. (shrink)

Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for individuals (...) and the other for classes. The individual variables range over a domain closed under pairing and containing, among other things, natural numbers and operations.All the theories used assume a common group of axioms that insure that the individuals in the domain satisfy the conditions for a partial combinatory algebra with pairing. We also assume a class of natural numbers and a class induction axiom on . Finally there are various class existence axioms. I work mainly with three theories, FMT0, FMT and FMTΩ, which differ from each other both in their class existence axioms as well as in some further applicative axioms.These theories have various interpretations in which every object is explicitly presented by some means of definition as well as classical, or ‘standard’, set-theoretical interpretation. The systems are formulated in a flexible general language which can be used to prove abstract theorems of mathematics , thereby generalizing recursive, hyperarithmetic and admissible versions of classical mathematics.The aim of my work is to give an abstract development of portions of model theory in the afore-mentioned theories, in a way to look as much as possible like classical mathematics. Thus, FMT0 generalizes portions of countable and recursive model theory; FMT further generalizes portions of countable and hyperarithmetical model theory and finally FMTΩ provides a generalization of the classical L-completeness theorem and of an admissible version of L-completeness due to Bruce and Keisler. This continues the development of the program mentioned above, originating with Feferman. (shrink)

This paper discusses how we understand and use a concept or the meaningof a general term to identify the objects falling under the term. There aretwo distinct approaches to research on the problems of concepts and meaningthe psychological approach and the formal (or logical) approach. My majorconcern is to consider the possibility of reconciling these two differentapproaches, and for this I propose to build a psychologically plausibleformal system of conceptualization. That is, I will develop a theory-basedaccount of concepts and (...) propose an explanation of how an agent activates aperspective (which consists of theories) in response to a situation in whichreasoning using a concept is called for. Theories are represented as sets offacts and rules, both strict and defeasible. Each theory is organized in acoherent perspective which stands for an agent's mental state or an agent'smodel of another agent's perspective. Perspectives are organized intohierarchies and the theory for a concept in one perspective may defeat thetheory for the same concept in another perspective. Which perspective issuperior is context-dependent. (shrink)

The concept of intrasemiotics designates the semiosis of the interpenetration between the biological and psychological autopoietic systems as Luhmann defines them in his theory. Combining a Peircian concept of semiosis with Luhmann’s theory in the framework of biosemiotics makes it possible for us to view the interplay of mind and body as a sign play. The recently suggested term ‘sign play’ pertains to ecosemiotics processes between animals of the same species stretching Wittgenstein’s language concept into the animal (...) world of signs. With intrasemiotics there is an inner interplay. Lorenz in ethology has used the concept of motivation, and Uexküll the concept of tone, mostly describing the outgoing effect on perception and the reactions on perception. One could view intrasemiotics as the interplay between Lorenz’ biologically defined motivations and Freud’s Id, understood as the psychological aspect of many of the natural drives. In the last years of development of his theory Lorenz studied how emotional feedback can introduce just a little learning through pleasurable feelings also into the instinctivesystems because, as he reasoned, there must be some kind of reward going through instinctive movements, thus making the appetitive searching behaviourfor sign stimuli possible. But he never found an acceptable way of modelling motivation in biological science. A cybersemiotic model may combine these approaches, defining various concepts of thoughtsemiotics, phenosemiotic and intrasemiotics, combining them with the already known concepts of exosemiotics, ecosemiotics, endosemiotics to an approach which studies the self-organising semiotic processes in living systems. (shrink)

“Small” large cardinal notions in the language of ZFC are those large cardinal notions that are consistent with V = L. Besides their original formulation in classical set theory, we have a variety of analogue notions in systems of admissible set theory, admissible recursion theory, constructive set theory, constructive type theory, explicit mathematics and recursive ordinal notations (as used in proof theory). On the face of it, it is surprising that such distinctively set-theoretical (...) notions have analogues in such disaparate and relatively constructive contexts. There must be an underlying reason why that is possible (and, incidentally, why “large” large cardinal notions have not led to comparable analogues). My long term aim is to develop a common language in which such notions can be expressed and can be interpreted both in their original classical form and in their analogue form in each of these special constructive and semi-constructive cases. This is a program in progress. What is done here, to begin with, is to show how that can be done to a considerable extent in the settings of classical and admissible set theory (and thence, admissible recursion theory). The approach taken here is to expand the language of set theory to allow us to talk about (possibly partial) operations applicable both to sets and to operations and to formulate the large cardinal notions in question in terms of operational closure conditions; at the same time only minimal existence axioms are posited for sets. The resulting system, called Operational Set Theory, is a partial adaptation to the set-theoretical framework of the explicit mathematics framework Feferman (1975). The.. (shrink)

The proliferation of information and communication technologies (ICTs) into all aspects of life poses unique ethical challenges as our modern societies become increasingly dependent on the flawless operation of these technologies. As we increasingly entrust our privacy, our well-being and our lives to an ever greater number of computers we need to look more closely at the risks and ethical implications of these developments. By emphasising the vulnerability of software and the practice of professional software developers, we want (...) to make clear the ethical aspects of producing potentially flawed software. This paper outlines some of the vulnerabilities associated with software systems and identifies a number of social and organisational factors affecting software developers and contributing to these vulnerabilities. Scott A. Snook’s theory of practical drift is used as the basis for our analysis. We show that this theory, originally developed to explain the failure of a military organisation, can be used to understand how professional software developers “drift away” from procedures and processes designed to ensure quality and prevent software vulnerability. Based on interviews with software developers in two Norwegian companies we identify two areas where social factors compel software developers to drift away from a global set of rules constituting software development processes and methods. Issues of pleasure and control and difference in mental models contribute to an uncoupling from established practices designed to guarantee the reliability of software and thus diminish its vulnerability. (shrink)

Accounts of the relation between theories and models in biology concentrate on mathematical models. In this paper I consider the dual role of models as representations of natural systems and as a material basis for theorizing. In order to explicate the dual role, I develop the concept of a remnant model, a material entity made from parts of the natural system(s) under study. I present a case study of an important but neglected naturalist, Joseph Grinnell, to illustrate the extent (...) to which mundane practices in a museum setting constitute theorizing. I speculate that historical and sociological analyses of institutions can play a specific role in the philosophical analysis of model-building strategies. (shrink)

Introduction. The article is focused on analyzing the utopian direction of Russian cosmism and its influence on the Soviet cosmonautics and the development of society in the USSR. This philosophical theory was created in the period that made it possible to incorporate the applied aspects of utopia into scientific and technological progress and thereby embody a number of steps towards the outer space exploration. The authors have developed criteria and parameters for assessing the utopian component of the Russian cosmism (...) theories, which made it possible to bring this construct to a higher level of abstraction and thereby create a working model for conducting such studies in the context of other utopias of models. The purpose of the article is to show the influence of the Russian cosmism utopia on the cosmonautics development in the USSR, develop empirical criteria for evaluating the phenomenon. Achieving the goal required solving the following tasks: 1) considering and analyzing the subject matter of the cosmism utopia; 2) developing parameters for assessing the impact of utopia on the development of the social system; 3) applying the developed parameters to assess the impact of utopian ideas on the development of the Soviet cosmonautics system. Methods. Developing the theoretical model for assessing social utopias, as well as considering and analyzing the cosmism utopia, required the use of structural-functional and systems analysis. The research was conducted within the framework of a synergistic paradigm. Scientific novelty of the research. The article conceptualizes the concept of utopia. It is shown that most of the definitions of utopia as a socio-political ideal focus on the limitations of its existence: utopia cannot be embodied, often has an unscientific character, does not correlate with the real state of the system, i.e. definitions of utopia are often reduced to the negative format. The authors believe that the influence of utopia on society, as a rule, is positive. It is noted that, along with limitations, utopianism has certain unique essential features that qualitatively affect the social projects implementation. Utopia in the systemic understanding acts as a complex of ideas influencing the development of the system, being both internal (since it is created artificially and consciously by the very elements of the system) and an external factor of influence. Unlike Plato’s eidos, the projection of which is reality, utopia is created inductively, but after its creation it again “descends” to the level of reality, since it begins to influence the social model in which it was created. Results. The article discusses the prognostic and modeling functions of the social utopias of Russian cosmists. It has been proved that one of the essential functions of the Russian cosmism utopias is the formation of an ideal type, towards which, in a historical perspective, the real social system begins to strive. It is convincingly demonstrated that utopia acts as a cognitive support and inevitably forms the canvas along which society begins to move, defining the utopian model as an attractor, although such a goal is not always formulated when creating a utopia. This relationship makes it possible to assess the degree of influence of utopian ideas on the formation of reality in each specific case, which, in turn, provides an opportunity to answer the question of how and to what extent the utopian ideal type participates in determining the characteristics and parameters of a real social system. Conclusions. It was found that the social utopia of cosmists as a cognitive concept is an important effective factor influencing the development of the space industry in the USSR. The parameters adopted in the study allow us to describe the measure of its influence as both an internal and an external factor on the development of the society in which it is implemented. The validity of perceiving the utopia of cosmists as a construct with a certain life cycle, the main part of which is the period of functioning, is stated. During this time period, utopian theory can have a significant impact on the actual development of society from various angles. (shrink)

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

This chapter discusses the use of formal language theory in the investigation of diverse phenomena such as natural languages, computer code, and animal cognition. Formal language theory deals with mathematically defined languages as well as the formal systems, such as grammars and automata, that are used to define them. In this context, a language is a set of strings, a grammar specifies a set of rules for forming the string-set from an alphabet, and an automaton is an (...) abstract machine that can be programmed to generate or recognize a formal language. Formal language theory can thus be understood as the study of string-sets and their associated formal systems. As a result of being used as a model template across linguistics, computer science, and experimental cognitive science, formal systems in formal language theory, as well as a classification scheme called the Chomsky hierarchy, are given different interpretations. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic (...) class='Hi'>systems. While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

The prominence of Bayesian modeling of cognition has increased recently largely because of mathematical advances in specifying and deriving predictions from complex probabilistic models. Much of this research aims to demonstrate that cognitive behavior can be explained from rational principles alone, without recourse to psychological or neurological processes and representations. We note commonalities between this rational approach and other movements in psychology – namely, Behaviorism and evolutionary psychology – that set aside mechanistic explanations or make use of optimality assumptions. (...) Through these comparisons, we identify a number of challenges that limit the rational program's potential contribution to psychological theory. Specifically, rational Bayesian models are significantly unconstrained, both because they are uninformed by a wide range of process-level data and because their assumptions about the environment are generally not grounded in empirical measurement. The psychological implications of most Bayesian models are also unclear. Bayesian inference itself is conceptually trivial, but strong assumptions are often embedded in the hypothesis sets and the approximation algorithms used to derive model predictions, without a clear delineation between psychological commitments and implementational details. Comparing multiple Bayesian models of the same task is rare, as is the realization that many Bayesian models recapitulate existing (mechanistic level) theories. Despite the expressive power of current Bayesian models, we argue they must be developed in conjunction with mechanistic considerations to offer substantive explanations of cognition. We lay out several means for such an integration, which take into account the representations on which Bayesian inference operates, as well as the algorithms and heuristics that carry it out. We argue this unification will better facilitate lasting contributions to psychological theory, avoiding the pitfalls that have plagued previous theoretical movements. (shrink)

My model-theoretic realist account of science places linguistic systems and the corresponding non-linguistic structures at different stages of the scientific process. It is shown that science and its progress cannot be analysed in terms of only one of these strata. Philosophy of science literature offers mainly two approaches; to the structure of scientific knowledge analysed in terms of theories and their models, the "statement" and the "non-statement" approaches. In opposition to the statement approach's belief that scientific knowledge is embodied (...) in theories symbolic language) with direct interpretative links---via so-called "bridge principles"---to reality, the defenders of the non-statement approach believe in an analysis where the language in which the theory is formulated plays a much smaller role than the structures which satisfy that theory. ;The model-theoretic realism expounded here retains the notion of a scientific theory as a set of sentences, while simultaneously emphasising the interpretative role of the conceptual models of these theories. My criticism against the non-statement approach is based on the fact that merely "giving" the theory "in terms of" its mathematical structures leaves out any real interpretation of the nature and role of general terms in science. Against the statement approach's "direct" linking of general theoretical terms to reality, my approach interpolates models between theories and reality in the interpretative chain. ;The links between the general terms of scientific theories and their interpretations in the various models of the theory regulate the whole referential process. The terms of a theory are "general" in the sense that they are the result of certain abstractive conceptualisations of the object of scientific investigation and subsequent linguistic formulations of these conceptualisations. Their meanings can be "given back" only by interpreting them in the limited context, of the various conceptual models of their theory and, finally, by finding an isomorphic relation between some substructure of the conceptual model in question and some empirical conceptualisation of relevant experimental data. In this sense the notion of scientific "truth" becomes inextricably linked with that of articulated reference, as it---given its model-dependent nature---should be. (shrink)