Every scientific or intellectual movement rests on central premises and assumptions that shape its philosophy. The purpose of this study is to review a brief account of the main philosophical bases of grey systems theory (GST) and the paradigm governing its principles. So, the recent studies on the philosophical foundations of GST have been reviewed and tried to pay attention to some key ambiguities in the previous studies and give more and clearer explanations in this paper. Also, this paper tries (...) to fill the gap among the previous studies and to provide a purposeful connection between them by expressing two key concepts: complete information and imbalance knowledge. Primarily, the study addresses the theoretical foundations of uncertainty and the concept of greyness. Next, it focuses on the notion of “complete information” and challenges to it. Then, it reviews such processes as perception, cognition, and understanding, as well as their dynamic nature. It explains how knowledge is produced through understanding and interpreting information/data and the dynamics governing the whole process. Also, the study describes any dataset, no matter how large it may be, will remain incomplete, imperfect, and grey, so humans only rely on incomplete datasets to interpret the world. As such, information and knowledge are always grey and uncertain because they are basically contingent on subjective understandings and interpretations and imperfect inputs and data. Finally, as a key development, this study also demonstrates that human grey knowledge remains imbalanced across different disciplines and spheres. In the end, a brief overview of the philosophical paradigm of GST is also provided. GST is depicted as an anti-realistic, anti-positivistic, and non-deterministic approach, which is inherently pluralistic and ideographic. According to GST principles, dynamicity and change are essential parts of human narratives of the world and systems, and human knowledge is constantly reproduced through collecting new information. As a result, knowledge, theories, narratives, and scientific laws dynamically change. Given this premise, one could argue that GST is considerably compatible with the postulates of post-modern thinking. (shrink)

The main purpose of this study is to probe into the human capacity of understanding systems and defects in human knowledge of the world. The study addresses the greyness levels and systems levels and explains why the world cannot be perceived as a purely white or black structure. It also clarifies why human knowledge of systems always remains grey. The investigation relies on logical and deductive reasoning and uses the theoretical foundations of systems thinking and Boulding’s systems hierarchy. The most (...) important argument that this study advances is that human knowledge, in any form or under any circumstances, is grey and incomplete and will remain grey. Because the notion of “perfect knowledge” is ambiguous given human epistemic limits, any proportion of knowledge is incomplete and prone to change. Less complexity could lead to more accurate predications, but even in the simplest forms of systems, reaching perfect knowledge seems to be an unwarranted claim. Furthermore, because our perception of past events is incomplete, we cannot predict the future with certainty, as a result of which both the past and the future appear grey to us. The world, as an integrated system, is neither black nor white, but it remains grey, and the systems partially recognized by humans are part of the grey world. Gaining knowledge and increasing discoveries only contribute to the grey systems that are already known. (shrink)

Utilities of health states are often estimated to support public decisions in health care. People’s preferences may be imprecise, for lack of actual trade-off experience. We show how to elicit the utilities accounting for imprecision, discover the main drivers of imprecision, and compare several approaches to modelling health state utility data in the fuzzy setting. We extended the time trade-off questionnaire, to elicit utilities of states defined in the EQ-5D-3L descriptive system in184 respondents. Our study demonstrates that respondents are capable (...) of assessing their own imprecision and rigorous mathematical modelling is possible. The imprecision is larger than as inferred from the standard TTO method and is larger than estimation error, even in our smallish sample. Non-trading in TTO often results from imprecision, rather than lexicographic preferences for longevity over quality. People are especially imprecise in assessing the impact of usual activities on utility; also, the internal inconsistency of a health state increases the imprecision. Fuzzy least squares method seems best suited to assign disutilities to individual dimensions, while separately modelling the location of utility and amount of imprecision seems best to produce value sets. If crisp parameters are estimated, accounting for imprecision changes the results little. (shrink)

Recently we proposed the linguistic Copenhagen interpretation of quantum mechanics, which is called quantum language or measurement theory. This theory is valid for both quantum and classical systems. Thus, we think that quantum language is one of the most powerful scientific theories, like statistics, and thus, it is the scientific completion (i.e., the destination) of dualistic idealism. If so, we can introduce the concept “progress” in the dualistic idealism. For example, we can assert that [Plato → Descartes → Kant → (...) Wittgenstein → quantum language], where [“X” → “Y”] means that “Y” is more like quantum language than “X”. In this paper, we will study the problem of universals from the perspective of quantum language (i.e., from the scientific perspective of ignoring any religious perspective). And we can be confident of the progress of both of the two time series [Plato → Anselmus → Thomas Aquinas → quantum language] and [Descartes → Thomas Aquinas → quantum language] in dualistic idealism. The reader may find it surprising that Scholastic philosophy is more scientific than Cartesian-Kantian philosophy. However, this is because Descartes gave up the pursuit of “universals” and presented dualism as a visible “mind-matter dualism” so that it could be familiar to the general public. This made the Cartesian-Kantian philosophy socially successful, but unscientific. The problem of universals has not always been clear in the long history of philosophy. The reader should be convinced that the reason is that the problem of universals has been discussed in an incomplete non-scientific dualism to this day. (shrink)

Complex fuzzy sets are the novel extension of Zadeh’s fuzzy sets. In this paper, we comprise the introduction to the concept of ξ -complex fuzzy sets and proofs of their various set theoretical properties. We define the notion of α, δ -cut sets of ξ -complex fuzzy sets and justify the representation of an ξ -complex fuzzy set as a union of nested intervals of these cut sets. We also apply this newly defined concept to a physical situation in which (...) one may judge the performance of the participants in a given task. In addition, we innovate the phenomena of ξ -complex fuzzy subgroups and investigate some of their fundamental algebraic attributes. Moreover, we utilize this notion to define level subgroups of these groups and prove the necessary and sufficient condition under which an ξ -complex fuzzy set is ξ -complex fuzzy subgroup. Furthermore, we extend the idea of ξ -complex fuzzy normal subgroup to define the quotient group of a group G by this particular ξ -complex fuzzy normal subgroup and establish an isomorphism between this quotient group and a quotient group of G by a specific normal subgroup G A ξ. (shrink)

Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.

In order to explore the quantifiability and formalizability of uncertainty a wide range of uncertainties are investigated. They are summarized under eight main categories: factual, possibilistic, metadoxastic, agential, interactive, value, structural, and linguistic uncertainty. This includes both classical uncertainty and the uncertainties commonly called great, deep, or radical. For five of the eight types of uncertainty, both quantitative and non-quantitative formalizations are meaningful and available. For one of them (interactive uncertainty), only non-quantitative formalizations seem to be meaningful, and for two (...) (agential and structural uncertainty) neither quantitative nor non-quantitative formalization seems to be a useful approach. (shrink)

This paper addresses theoretical problems arising from the vagueness of language terms, and intuitions of the vagueness of the concepts to which they refer. It is argued that the central intuitions of prototype theory are sufficient to account for both typicality phenomena and psychological intuitions about degrees of membership in vaguely defined classes. The first section explains the importance of the relation between degrees of membership and typicality (or goodness of example) in conceptual categorization. The second and third section address (...) arguments advanced by Osherson and Smith (1997), and Kamp and Partee (1995), that the two notions of degree of membership and typicality must relate to fundamentally different aspects of conceptual representations. A version of prototype theory—the Threshold Model—is proposed to counter these arguments and three possible solutions to the problems of logical selfcontradiction and tautology for vague categorizations are outlined. In the final section graded membership is related to the social construction of conceptual boundaries maintained through language use. (shrink)

In this paper, notions of fuzzy closure system and fuzzy closure L—system on L—ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

The article begins with a discussion of sets and fuzzy sets. It is observed that identifying a set with its indicator function makes it clear that a fuzzy set is a direct and natural generalization of a set. Making this identification also provides simplified proofs of various relationships between sets. Connectives for fuzzy sets that generalize those for sets are defined. The fundamentals of ordinary probability theory are reviewed and these ideas are used to motivate fuzzy probability theory. Observables (fuzzy (...) random variables) and their distributions are defined. Some applications of fuzzy probability theory to quantum mechanics and computer science are briefly considered. (shrink)

The goal of the paper is to present a Simplified Offensive Language (SOL) Taxonomy, its application and testing in the Second Annotation Campaign conducted between March-May 2023 on four languages: English, Czech, Lithuanian, and Polish to be verified and located in LLOD. Making reference to the previous Offensive Language taxonomic models proposed mostly by the same COST Action Nexus Linguarum WG 4.1.1 team, the number and variety of the categories underwent the definitional revision, and the present typology was tested in (...) the annotation on the publicly available offensive language datasets of each of the four languages. The results of the annotation are presented and as they are contained within the accepted statistical values on the inter-annotator agreement in the SOL categories and their aspects, we propose this taxonomy as a core ontology which represents the encoding of the supported offensive languages and justify its use on new data in terms of a more universal Linguistic Linked Open Data (LLOD) schema. (shrink)

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets. We discuss here the corresponding situation for fuzzy set theory.Our emphasis will be on various approaches toward (more or less naively formed)universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets.We discuss here the corresponding situation for fuzzy set theory. Our emphasis will be on various approaches toward (more or less naively formed) universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

This work defines various stakeholder roles to overcome the barriers to implementing Education 4.0, which were recently identified in the domain literature. The stakeholder roles are evaluated against these barriers, and such evaluation is structured as a multicriteria sorting problem. To this end, an integrated entropy-based CRITIC-CODAS-SORT under a Fermatean fuzzy environment addresses epistemic uncertainties inherent in decision-making. The FF CRITIC assigns the priority weights of the barriers, while the FF CODAS-SORT determines the high-priority stakeholder roles. A case of an (...) HEI evaluating 57 possible roles of 5 stakeholders is demonstrated here. Findings suggest the lack of collaboration, apprehensive stakeholders, cybersecurity threats, health issues, and cost as crucial barriers to the HEI. The sorting process yields 13 high-priority roles, encompassing those within the influence of the government, university management, human resource function, and educators. Various managerial insights are offered as inputs to the design of initiatives in EDUC4 implementation. (shrink)

We propose the notion of partial recursiveness and strong partial recursiveness for fuzzy maps. We prove that a fuzzy map f is partial recursive if and only if it is computable by a Turing fuzzy machine and that f is strongly partial recursive and deterministic if and only if it is computable via a deterministic Turing fuzzy machine. This gives a simple and manageable tool to investigate about the properties of the fuzzy machines.

We propose the notion of partial recursiveness and strong partial recursiveness for fuzzy maps. We prove that a fuzzy map f is partial recursive if and only if it is computable by a Turing fuzzy machine and that f is strongly partial recursive and deterministic if and only if it is computable via a deterministic Turing fuzzy machine. This gives a simple and manageable tool to investigate about the properties of the fuzzy machines.

The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the family of fuzzy logics or from the family of probabilistic logics. In this regard, Fine [14] and Kamp [26] pointed out undesirable effects of fuzzy logic (the failure of idempotency and coherence) which kept two generations of linguists and philosophers at arm’s length. (Another unwanted feature of fuzzy logic is the property of (...) truth functionality.) While probabilistic logic is not fraught by the same problems, its lack of constructiveness, i.e. its inability to compose complex truth degrees from atomic truth degrees, did not make it more attractive to linguists either. In the absence of a clear perspective in ‘many-valued logic’, scholars chose to proliferate ontologies grafted atop the classical bivalent logic: ontologies for truth, individuals, events, situations, possible worlds and degrees. The result has been a collection of incompatible classical logics. In this paper, I present sample logic, in particular its semantics (not its axiomatization). Sample logics is a member of the family of probabilistic logics, which is constructive without being truth functional. More specifically, I integrate all the important linguistic data on which the classical logics are predicated. The concepts of (in)dependency and conditional (in)dependency are the cornerstones of sample logic. (shrink)

We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program.

If X is set and L a lattice, then an L-subset or fuzzy subset of X is any map from X to L, [11]. In this paper we extend some notions of recursivity theory to fuzzy set theory, in particular we define and examine the concept of almost decidability for L-subsets. Moreover, we examine the relationship between imprecision and decidability. Namely, we prove that there exist infinitely indeterminate L-subsets with no more precise decidable versions and classical subsets whose unique shaded (...) decidable versions are the L-subsets almost-everywhere indeterminate. (shrink)

We introduce the notion of n-nuanced MV-algebra by performing a Łukasiewicz–Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz–Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, n-nuanced MV-algebras amalgamate two distinct approaches to many valuedness: that of the infinitely valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil n-nuanced logic, which is more concerned with nuances of truth rather than (...) truth degree. We study n-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of n-nuanced ordered group via an extension of the Γ construction is also analyzed. (shrink)

This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved.

Many criticisms of prototype theory and/or fuzzy-set theory are based on the assumption that category representativeness (or typicality) is identical with fuzzy membership. These criticisms also assume that conceptual combination and logical rules (all in the Aristotelian sense) are the appropriate criteria for the adequacy of the above “fuzzy typicality”. The present paper discusses these assumptions following the line of their most explicit and most influential expression by Osheron and Smith (1981). Several arguments are made against the above identification, the (...) most important being that representativeness in prototype theory is exclusively based on element-to-element similarity while fuzzy membership is inherently an element-to-category relationship. Also the above criteria for adequacy are criticized from the viewpoint of both prototype theory and fuzzy-set theory as well as from that of both conceptual and logical combination, and also from that of integration. (shrink)

Prototypes and fuzziness are regarded in this paper as fundamental phenomena in the inherent logic of concepts whose relationship, however, has not been sufficiently clarified. Therefore, modifications are proposed in the definition of both. Prototypes are defined as the elements possessing maximal degree of membership in the given category such thatthis membership has maximal cognitive efficiency in representing theelement. A modified fuzzy set (m-fuzzy set) is defined on aclass (possibly self-contradictory collection) such that its core (the collection of elements with (...) full membership) is aset (self-consistent collection) comprising the finite set of the prototypes. In this scheme of recursive representation the possibility of contradictions, which has been proven to be inevitable in the logic of concepts, islocalized. Finally a related model of the brain''s pattern recognition mechanism is briefly summarized. (shrink)

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since (...) they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed. (shrink)

We show how effect algebras arise in physics and how they can be used to tie together the observables, states and symmetries employed in the study of physical systems. We introduce and study the unifying notion of an effect-observable-state-symmetry-system (EOSS-system) and give both classical and quantum-mechanical examples of EOSS-systems.

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian logic. In the philosophy of science the ambiguities, paradoxes, and the possibility of subjective interpretations of facts have challenged binary logic, leading, among other developments, to Gotthard Günther’s theory of polycontexturality. Günther’s theory explains how observers with subjective perception can become aware of their own subjectivity and provides means to describe contradicting or even paradox observations in a (...) logically sound formalism. Here we summarize the formalism behind Günther’s theory and apply it to two well-known examples from physics where different observers operate in distinct and only locally valid logical systems. Using polycontextural logic we show how the emerging awareness of these limitations of logical systems entails the design of mathematical transformations, which then become an integral part of the theory. In our view, this approach offers a novel perspective on the structure of physical theories and, at the same time, emphasizes the relevance of the theory of polycontexturality in modern sciences. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)