Let M be an MV-algebra and ΩM be the set of all σ -valuations from M into the MV-unit interval. This paper focuses on the characterization of MV-algebras using σ -valuations of MV-algebras and proves that a σ -complete MV-algebra is σ -regular, which means that a ≤ b if and only if v ≤ v for any v ∈ ΩM. Then one can introduce in a natural way a fuzzy topology δ on ΩM. The representation theorem forMV-algebras (...) is established by means of fuzzy topology. Some properties of fuzzy topology δ and its cut topology U are investigated. (shrink)

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski (...) duality for modal algebras to the n -valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics. (shrink)

Let M be an MV-algebra and ΩM be the set of all σ -valuations from M into the MV-unit interval. This paper focuses on the characterization of MV-algebras using σ -valuations of MV-algebras and proves that a σ -complete MV-algebra is σ -regular, which means that a ≤ b if and only if v ≤ v for any v ∈ ΩM. Then one can introduce in a natural way a fuzzy topology δ on ΩM. The representation theorem forMV-algebras (...) is established by means of fuzzy topology. Some properties of fuzzy topology δ and its cut topology U are investigated. (shrink)

For each continuous t-norm &, a class of fuzzy topological spaces, called &-topological spaces, is introduced. The motivation stems from the idea that to each many-valued logic there may correspond a theory of many-valued topology, in particular, each continuous t-norm may lead to a theory of fuzzy topology. It is shown that for each continuous t-norm &, the subcategory consisting of &-topological spaces is simultaneously reflective and coreflective in the category of fuzzy topological spaces, hence (...) gives rise to an autonomous theory of fuzzy topology. Topologizing a fuzzy pre-ordered set with the fuzzy Scott topology yields a functor from the category of fuzzy pre-ordered sets and maps that preserve suprema of flat ideals to the category of &-topological spaces. It is proved that this functor is a full one if and only if the t-norm & is Archimedean. (shrink)

A detailed study of graded frame, graded fuzzy topological system and fuzzy topological space with graded inclusion is already done in our earlier paper. The notions of graded fuzzy topological sys...

Based on the concepts of pseudocomplement of L -subsets and the implication operator where L is a completely distributive lattice with order-reversing involution, the definition of countable RL -fuzzy compactness degree and the Lindelöf property degree of an L -subset in RL -fuzzy topology are introduced and characterized. Since L -fuzzy topology in the sense of Kubiak and Šostak is a special case of RL -fuzzy topology, the degrees of RL -fuzzy compactness (...) and the Lindelöf property are generalizations of the corresponding degrees in L -fuzzy topology. (shrink)

We introduce a new theorem in social choice theory built on a path integral approach which will show that, under some reasonable conditions, there is a unique way to aggregate individual preferences based on fuzzy sets into a social preference based on probabilities, and that this way is invariant under any permutation of alternatives. We then apply this theorem to the case of democratic decision making with data of the behaviour and voting preferences of voting agents and show that (...) there is a tradeoff between fairness and efficiency and that no voting system can achieve both simultaneously. (shrink)

The objective of this study is to incorporate topological space into the realm of n-Cylindrical Fuzzy Neutrosophic Sets (n-CyFNS), which are the most novel type of fuzzy neutrosophic sets. In this paper, we introduce n-Cylindrical Fuzzy Neutrosophic Topological Spaces (n-CyFNTS), n-Cylindrical Fuzzy Neutrosophic (n-CyFN) open sets, and n-CyFN closed sets. We also defined the n-CyFN base, n-CyFN subbase, and some related theorems here.

This paper presents an adaptive fuzzy sliding-mode controller for multiple Euler–Lagrange systems communicated with directed topology. Based on the graph theory and Lyapunov–Krasovskii functions, a delay-dependent sufficient condition for the existence of sliding surfaces is given in terms of linear matrix inequalities. The asymptotic stability is analyzed by using the Lyapunov method in the presence of unknown parametric dynamics, actuator faults, and time-varying delays. The usage of adaptive techniques is to adapt the unknown parameters so that the objective (...) of globally asymptotic stability is achieved. Finally, simulation results are provided to illustrate the effectiveness of the proposed control scheme. (shrink)

In this paper, we discuss some questions about compactness in MV-topological spaces. More precisely, we first present a Tychonoff theorem for such a class of fuzzy topological spaces and some consequence of this result, among which, for example, the existence of products in the category of Stone MV-spaces and, consequently, of coproducts in the one of limit cut complete MV-algebras. Then we show that our Tychonoff theorem is equivalent, in ZF, to the Axiom of Choice, classical Tychonoff theorem, and (...) Lowen’s analogous result for lattice-valued fuzzy topology. Last, we show an extension of the Stone–Čech compactification functor to the category of MV-topological spaces, and we discuss its relationship with previous works on compactification for fuzzy topological spaces. (shrink)

This paper is devoted to the study of the notion of the phase-space representation of quantum theory in both the nonrelativisitic and the relativisitic cases. Then, as a derived concept, the stochastic phase space is introduced and its connections with fuzzy set theory and probabilistic topological (in particular, metric) spaces are discussed.

In this paper we introduce the notion of ideals on neutrosophic set which is considered as a generalization of fuzzy and fuzzy intuitionistic ideals studies in [9,11] , the important topological neutrosophic ideals has been given in [4]. The concept of neutrosophic local function is also introduced for a neutrosophic topological space. These concepts are discussed with a view to fiind new neutrosophic topology from the original one in [8]. The basic structure, especially a basis for such (...) generated neutrosophic topologies and several relations between different topological neutrosophic ideals and neutrosophic topologies are also studied here. Possible application to GIS topology rules are touched upon. -/- . (shrink)

The work on prototypes in ontologies pioneered by Rosch [10] and elaborated by Lakoff [8] and Freund [3] is related to vagueness in the sense that the more remote an instance is from a prototype the fewer people agree that it is an example of that prototype. An intuitive example is the prototypical “mother”, and it is observed that more specific instances like ”single mother”, “adoptive mother”, “surrogate mother”, etc., are less and less likely to be classified as “mothers” by (...) experimental subjects. From a different direction Gärdenfors [4] provided a persuasive account of natural predicates to resolve paradoxes of induction like Goodman’s “Grue” predicate [5]. Gärdenfors proposed that “quality dimensions” arising from human cognition and perception impose topologies on concepts such that the ones that appear “natural” to us are convex in these topologies. We show that these two cognitive principles — prototypes and predicate convexity — are equivalent to unimodal (convex) fuzzy characteristic functions for sets. Then we examine the case when the fuzzy set characteristic function is not convex, in particular when it is multi-modal. We argue that this is an indication that the fuzzy concept should really be regarded as a super concept in which the decomposed components are subconcepts in an ontological taxonomy. (shrink)

Music is an abstract art form that uses sound as its means of expression. It has deeply affected our lives. This paper proposes a method for extracting segment features from nonmultiple cluster music files. We divide each piece of music into multiple segments and extract the features of each segment. The specific process includes nonmultiple cluster music file note extraction, main melody extraction, segment division, and segment feature extraction. The segment feature is extracted from a segment of a piece of (...) music, contains the main melody and accompaniment information of the segment, and can reflect the sequence relationship of the notes. This paper proposes a performance style conversion network based on recurrent neural network and convolutional neural network. The bidirectional recurrent neural network based on Gated Recurrent Unit is used to extract different styles of note feature vector sequences, and the extracted note feature vector sequence is used to predict the intensity of a specific style, and the intensity changes of different styles of nonmultiple cluster music are better learned. Through the comparison, the multiclassification strategy of “one-to-the-rest” is selected, and the fuzzy recurrent neural network is applied to the shortcomings of the unrecognizable area. Finally, according to the feature extraction method and the principle of the classifier algorithm studied in this paper, a music style classification system is implemented in the MATLAB environment. Experimental simulation shows that this system can effectively classify music performance styles. (shrink)

Two different generalizations of Brouwer–Zadeh posets (BZ posets) are introduced. The former (called pre-BZ poset) arises from topological spaces, whose standard power set orthocomplemented complete atomic lattice can be enriched by another complementation associating with any subset the set theoretical complement of its topological closure. This complementation satisfies only some properties of the algebraic version of an intuitionistic negation, and can be considered as, a generalized form of a Brouwer negation. The latter (called degenerate BZ poset) arises from the so-called (...) special effects on a Hilbert space. It is shown that the standard Brouwer negation for effect operators produces a degenerate BZ poset with respect to the order induced from the partial sum operation. (shrink)

Since the world is full of indeterminacy, the Neutrosophics found their place into contemporary research. We now introduce for the first time the notions of Neutrosophic Crisp Sets and Neutrosophic Topology on Crisp Sets. We develop the 2012 notion of Neutrosophic Topological Spaces and give many practical examples. Neutrosophic Science means development and applications of Neutrosophic Logic, Set, Measure, Integral, Probability etc., and their applications in any field. It is possible to define the neutrosophic measure and consequently the neutrosophic (...) integral and neutrosophic probability in many ways, because there are various types of indeterminacies, depending on the problem we need to solve. Indeterminacy is different from randomness. Indeterminacy can be caused by physical space, materials and type of construction, by items involved in the space, or by other factors. In 1965 [51], Zadeh generalized the concept of crisp set by introducing the concept of fuzzy set, corresponding to the situation in which there is no precisely defined set;there are increasing applications in various fields, including probability, artificial intelligence, control systems, biology and economics. Thus, developments in abstract mathematics using the idea of fuzzy sets possess sound footing. In accordance, fuzzy topological spaces were introduced by Chang [12] and Lowen [33]. After the development of fuzzy sets, much attention has been paid to the generalization of basic concepts of classical topology to fuzzy sets and accordingly developing a theory of fuzzy topology [1-58]. In 1983, the intuitionistic fuzzy set was introduced by K. Atanassov [55, 56, 57] as a generalization of the fuzzy set, beyond the degree of membership and the degree of non-membership of each element. In 1999 and 2002, Smarandache [71, 72, 73, 74] defined the notion of Neutrosophic Sets, which is a generalization of Zadeh’s fuzzy set and Atanassov's intuitionistic fuzzy set. Some neutrosophic concepts have been investigated by Salama et al. [61-70]. Forwarding the study of neutrosophic sets, this book consists of seven chapters, targeting to:  generalize the previous studies in [1-59], and[91-94] so to define the neutrosopic crisp set and neutrosophic set concepts;  discuss their main properties; A. A. Salama & Florentin Smarandache  introduce and study some concepts of neutrosophic crisp and neutrosophic topological spaces and deduce their properties;  deduce many types of functions and give the relationships between different neutrosophic topological spaces, which helps to build new properties of neutrosophic topological spaces;  stress once more the importance of Neutrosophic Ideal as a nontrivial extension of neutrosophic set and neutrosophic logic [71, 72, 73, 74];  propose applications on computer sciences by using neutrosophic sets. (shrink)

Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, (...) so that ignorance of their nature is profound. (shrink)

“Neutrosophics Knowledge” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. The submitted papers should be professional, in good English and Arabic, containing a brief review of a problem and obtained results. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well (...) as their interactions with different ideational spectra. (shrink)

A hypergroup, as a generalization of the notion of a group, was introduced by F. Marty in 1934. The first book in hypergroup theory was published by Corsini. Nowadays, hypergroups have found applications to many subjects of pure and applied mathematics, for example, in geometry, topology, cryptography and coding theory, graphs and hypergraphs, probability theory, binary relations, theory of fuzzy and rough sets and automata theory, physics, and also in biological inheritance.

We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of morphological dilations and erosions, and of there compositions, as opening and closing. An extension to the fuzzy (...) case is also proposed. Then we show how this can be interpreted for spatial reasoning by using qualitative symbolic representations of spatial relationships (topological and metric ones) derived from mathematical morphology. This allows to establish some links between numerical and symbolic representations of spatial knowledge. (shrink)

Metrics and their weaker forms are used to measure the difference between two data. There are many metrics that are available but not desired by a practitioner. This paper recommends in a plausible reasoning manner an easy-to-understand method to construct desired distance-like measures: to fuse easy-to-obtain pseudo-semi-metrics, pseudo-metrics, or metrics by making full use of well-known t-norms, t-conorms, aggregation operators, and similar operators. The simple reason to do this is that data for a real world problem are sometimes from multiagents. (...) A distance-like notion, called weak interval-valued pseudo-metrics, is defined by using known notions of pseudo-semi-metrics, pseudo-metrics, and metrics; this notion is topologically good and shows precision, flexibility, and compatibility than single pseudo-semi-metrics, pseudo-metrics, or metrics. Propositions and detailed examples are given to illustrate how to fabricate an expected or demanded WIVP-metric in practical problems, and WIVP-metric and its special cases are characterized by using axioms. Moreover, some WIVP-metrics pertinent to quantitative logic theory or interval-valued fuzzy graphs are constructed, and fixed point theorems and common fixed point theorems in weak interval-valued metric spaces are also presented. Topics and strategies for further study are also put forward concretely and clearly. (shrink)

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...) the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown’s primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard’s gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation, generates the matrix logic which supersedes the classical logic of connectives and which has for particular subtheories fuzzy and quantum logics. Thus, from a primitive distinction in the vacuum plane and the axioms of the calculus of distinction, we can derive by incorporating paradox, the world conception succinctly described above. (shrink)

In “Topology of Balasaguni’s Kutadgu Bilig: Thinking the Between,” Onur Karamercan focuses on the philosophical dimension of Kutadgu Bilig, a poetic work of Yūsuf Balasaguni, an 11th century Central Asian thinker, poet, and statesman. Karamercan pays special attention to the meaning of betweenness and, in the first step of his argument, discusses the hermeneutic and topological implications of the between, distingushing the dynamic sense of betweenness from a static sense of in-betweenness. He then moves on to analyze Balasaguni’s notion (...) of language, which he interprets as an early critique of the instrumental account of language and, by examining several selected fragments from Kutadgu Bilig, illustrates Balasaguni’s designation of language as an inexhaustible phenomenon. In the process, he also points to the possible parallels between Balasaguni’s and Heidegger’s ideas of language. In the final section of the article, building on his argument, Karamercan thematizes the margins of Turkic languages and of Islamic philosophy, suggesting that they need to be reexamined. He problematizes the very meaning of Asia itself by decentering what he calls “its internal East–West antagonism” and puts forth instead a framework based on in-betweenness reinterpreted from a topological perspective, proposing it as an alternative view which might help us make sense of the hermeneutic neighborhoods of Asian philosophies. (shrink)

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to (...) understand the true nature and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

Intuitionistic fuzzy aggregation techniques -- Intuitionistic fuzzy clustering algorithms.

This book is a collection of contributions written by philosophers and scientists active in different fields, such as mathematics, logics, social sciences, computer sciences and linguistics. They comment on and discuss various parts of and subjects and propositions introduced in the Handbook of Analytical Philosophy of Medicine from Kadem Sadegh-Zadeh, published by Springer in 2012. This volume reports on the fruitful exchange and debate that arose in the fuzzy community upon the publication of the Handbook. This was not only (...) very much appreciated by the community but also seen as a critical starting point for beginning a new discussion. The results of this discussion, which involved many different perspectives from science and the humanities and was warmly encouraged by Kadem Sadegh-Zadeh himself, are accurately reported in this volume, which is intended to be a critical companion to Kadem Sadegh-Zadeh ́s handbook. Rudolf Seising is currently an adjunct researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain) and a college lecturer at the Faculty of History and Arts, at the Ludwig Maximilians University of Munich (Germany). Marco Elio Tabacchi is currently the Scientific Director of the Italian National Research & Survey Organization Demopolis, and a research assistant in the Soft Computing Group at University of Palermo (Italy). (shrink)

part 1. Fuzzy logic theory 1 -- part 2. Applications and advanced topics of fuzzy logic.

ABSTRACT The Gödel–Dummett logic and Łukasiewicz one are two main many-valued logics used by the fuzzy logic community. Our goal is a quantitative comparison of these two. In this paper, we will mostly consider the 3-valued Gödel–Dummett logic as well as the 3-valued Łukasiewicz one. We shall concentrate on their implicational-negation fragments which are limited to formulas formed with a fixed finite number of variables. First, we investigate the proportion of the number of true formulas of a certain length (...) n to the number of all formulas of such length built with exactly one variable. Then, we investigate such proportion for satisfiable formulas. Second, we generalise our investigation on formulas written with $ k\ge 1 $ k ≥ 1 variables. The primary goal of the paper is the research on the asymptotic behaviour of these fractions when the length n tends to infinity. If such limits exists, they are real numbers between 0 and 1, which are called the density of truth or the density of SAT. To compare the density of truth and the density of satisfiable formulas for both fragments of 3-valued Gödel–Dummett's and Łukasiewicz's logics we use the powerful theory of analytic combinatorics. This paper is a natural continuation of the previous brief conference note by Kostrzycka and Zaionc (2020) as well as enriched with some previous results from Kostrzycka and Zaionc (2003). In the conference note we computed analytically the density of truth and the density of SAT (with a determined precision) for 3-valued Łukasiewicz's logic restricted to a language with only one variable. In Kostrzycka and Zaionc (2003) we computed the same values for exactly the same fragment of the 3-valued Gödel–Dummett logic. This paper answers the more general questions of the existence of density of truth and density of SAT for both many-valued logics with an arbitrary finite number of variables. Therefore this paper gives an an interesting picture of two main families of finite-valued fuzzy logics problems treated quantitatively. This picture is taken from the perspective of classical logic. It shows that unexpectedly there is quantitatively a little distance between these two approaches. (shrink)

갈등은 일차적으로 개인(주관)의 심리문제일 것이지만, 결국은 사회(주체)의 정치적 문제가 된다. 그리고 이 정치적 문제는 갈등의 제거가 아니라 갈등의 승인에서 가능하다. 이는 갈등에 대한 정치적 논의가 사회적 현실에 대한 “탈구와 재구성”의 역학, 즉 ‘해방의 변증법’을 수반하는 ‘갈등의 위상학’을 통해 이루어져야 한다는 것을 의미한다. 주체에 억압된 욕망, 부연하자면 ‘존재론적 욕망’으로 회귀하며 “내재성”의 논리에 입각해 갈등의 ‘위상학’(topology)을 선명히 가리킨 것은 현대의 철학, 특히 후설 이후 메를로퐁티와 하이데거, 그리고 라캉과 들뢰즈의 철학이었다. 이 글은, 이들에 함축된 ‘시(詩)적 인식’의 위상학적 양상을 메를로퐁티의 관점으로 수렴하는 자리에서, (...) 갈등이 갖는 해방의 변증법적 의의를 짚은 후, 우리사회에서 폭발하는 갈등이 위기가 아니라 사실은 〈외재적 초월의 유토피아적 허구를 넘는 ‘내재적 초월’의 현실에 입각해 정치적 상상력을 재정립할 기회〉의 한 계기임을 제시할 것이다. (shrink)

The spatial organization of the genome is intimately linked to its biological function, yet our understanding of higher order genomic structure is coarse, fragmented and incomplete. In the nucleus of eukaryotic cells, interphase chromosomes occupy distinct.

This hands-on guide offers clear explanations of fuzzy logic along with practical uses and detailed examples. Written by an award-winning engineer and experienced author, Fuzzy Logic: Applications in Artificial Intelligence, Big Data, and Machine Learning is aimed at improving competence and skills in students and professionals alike. Inside, you will discover how to apply fuzzy logic and migrate to a new man-machine relationship in the context of pervasive digitization and big data across emerging technologies. The book lays (...) out real-world applications in intelligent energy systems with demand response, smart homes, electrification of transportation, supply chain efficiencies, smart cities, e-commerce, education, healthcare, and decarbonization. (shrink)

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an (...) interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

Hobbes emphasized that the state of nature is a state of war because it is characterized by fundamental and generalized distrust. Exiting the state of nature and the conflicts it inevitably fosters is therefore a matter of establishing trust. Extant discussions of trust in the philosophical literature, however, focus either on isolated dyads of trusting individuals or trust in large, faceless institutions. In this paper, I begin to fill the gap between these extremes by analyzing what I call the (...) class='Hi'>topology of communities of trust. Such communities are best understood in terms of interlocking dyadic relationships that approximate the ideal of being symmetric, Euclidean, reflexive, and transitive. Few communities of trust live up to this demanding ideal, and those that do tend to be small (between three and fifteen individuals). Nevertheless, such communities of trust serve as the conditions for the possibility of various important prudential epistemic, cultural, and mental health goods. However, communities of trust also make possible various problematic phenomena. They can become insular and walled-off from the surrounding community, leading to distrust of out-groups. And they can lead their members to abandon public goods for tribal or parochial goods. These drawbacks of communities of trust arise from some of the same mecha-nisms that give them positive prudential, epistemic, cultural, and mental health value – and so can at most be mitigated, not eliminated. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

This unique compendium presents a comprehensive and self-contained theory of material development under imperfect information and its applications. The book describes new approaches to synthesis and selection of materials with desirable characteristics. Such approaches provide the ability of systematic and computationally effective analysis in order to predict composition, structure and related properties of new materials. The volume will be a useful advanced textbook for graduate students. It is also suitable for academicians and practitioners who wish to have fundamental models in (...) new material synthesis and selection. (shrink)

Although machine intelligence is increasingly employed in healthcare, the realm of decision-making in medical ethics remains largely unexplored from a technical perspective. We propose an approach based on fuzzy cognitive maps (FCMs), which builds on Beauchamp and Childress’ prima-facie principles. The FCM’s weights are optimized using a genetic algorithm to provide recommendations regarding the initiation, continuation, or withdrawal of medical treatment. The resulting model approximates the answers provided by our team of medical ethicists fairly well and offers a high (...) degree of interpretability. Possible applications of such a system include informal guidance on medical ethics dilemmas as well as educational purposes. (shrink)

Drawing from Andean cosmological, mythological and aesthetic lineages, this paper is about the possibility of a phenomenology of things at catastrophic ends. In this regard, I approach things under the sway of a (de)formative emptiness. In the first part, I develop a relational ontology on the basis of the Andean notion of pacha or cosmos, which provides a phenomenological frame for a determination of “place,” “world” and “topology.” I also contrast an elemental topology of the cosmos configured by (...) ouranic sunlight with an elemental catastrophism that overturns it. In the second part, I study a chronological series of artifacts in an Andean aesthetic lineage in order to attempt a phenomenology of “things” (utensils, buildings, mountains) that “spectrally” hover in overturns of the cosmos (pachakuti). (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

We provide three innovations to recent debates about whether topological or “network” explanations are a species of mechanistic explanation. First, we more precisely characterize the requirement that all topological explanations are mechanistic explanations and show scientific practice to belie such a requirement. Second, we provide an account that unifies mechanistic and non-mechanistic topological explanations, thereby enriching both the mechanist and autonomist programs by highlighting when and where topological explanations are mechanistic. Third, we defend this view against some powerful mechanist objections. (...) We conclude from this that topological explanations are autonomous from their mechanistic counterparts. (shrink)

Fuzzy logic is finding increased application in the control of real-world processes and in the work with and the manipulation of inexact knowledge. Two of the major attractions of fuzzy logic are: it permits one to express problems in (familiar) linguistic terms and it can be applied where the numerical mathematical model of a system may be too complex or impossible to build using conventional techniques. This book, written in an easily accessible style, assumes that students have a (...) solid background in embedded systems including basic logic design and C/C programming. (shrink)

The notions of health, illness, and disease are fuzzy-theoretically analyzed. They present themselves as non-Aristotelian concepts violating basic principles of classical logic. A recursive scheme for defining the controversial notion of disease is proposed that also supports a concept of fuzzy disease. A sketch is given of the prototype resemblance theory of disease.

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