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 standard Pawlak approach to rough set theory, as an approximation space consisting of a universe U and an equivalence (indiscernibility) relation R U x U, can be equivalently described by the induced preclusivity ("discernibility") relation U x U \ R, which is irreflexive and symmetric.We generalize the notion of approximation space as a pair consisting of a universe U and a discernibility or preclusivity (irreflexive and symmetric) relation, not necessarily induced from an equivalence relation. In this case the "elementary" (...) sets are not mutually disjoint, but all the theory of generalized rough sets can be developed in analogy with the standard Pawlak approach. On the power set of the universe, the algebraic structure of the quasi fuzzy-intuitionistic "classical" (BZ) lattice is introduced and the sets of all "closed" and of all "open" definable sets with the associated complete (in general nondistributive) ortholattice structures are singled out. (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)

Over the years, the urban heat vulnerability has evolved as a pressing global concern for researchers and policymakers alike. Numerous studies have aimed at mitigating the adverse effects of urban heat vulnerability on public health and safety. However, the critical task of selecting the most fitting indicator for urban heat islands in public spaces is not emphasized in the existing studies, considering the diverse indices available. Beyond identification, studies that delve into the prioritization of these indices and the determination (...) of optimal variables along with their respective weights are scanty. The present study attempts to address these gaps in urban heat vulnerability research through the lens of natural solutions. The study employs a fuzzy analytical hierarchy approach to ascertain the weights of selected criteria, providing a nuanced understanding of the multifaceted factors influencing their applicability. Real-time impact estimation using the fuzzy technique for order of preference by similarity to ideal solutions enhances the practicality of the findings. The results reveal a set of pivotal characteristics crucial for constructing a robust heat vulnerability index, facilitating the prioritization of selected criteria. The implementation of this hybrid methodology culminates in a streamlined, precise, and practical tool for evaluating heat vulnerability in hot urban public spaces. These findings contribute valuable insights to the academic discourse and offer a tangible resource for policymakers and practitioners. The proactive approach provides a roadmap for addressing impending challenges related to urban heat vulnerability, marking a positive step toward creating resilient and sustainable urban environments. (shrink)

Multisource information systems and multigranulation intuitionistic fuzzy rough sets are important extended types of Pawlak’s classical rough set model. Multigranulation intuitionistic fuzzy rough sets have been investigated in depth in recent years. However, few studies have considered this combination of multisource information systems and intuitionistic fuzzy rough sets. In this paper, we give the uncertainty measure for multisource intuitionistic fuzzy information system. Against the background of multisource intuitionistic fuzzy information system, (...) each information source is regarded as a granularity level. Considering the different importance of information sources, we assign different weights to them. Firstly, the paper proposes an optimal source selection method. Secondly, we study the weighted generalized, weighted optimistic, and weighted pessimistic multigranularity intuitionistic fuzzy rough set models and uncertainty measurement methods in the multisource intuitionistic fuzzy information system, and we further study the relationship between the three models and related properties. Finally, an example is given to verify the validity of the models and methods. (shrink)

We present the interval-valued intuitionistic fuzzy ordered weighted cosine similarity measure in this paper, which combines the interval-valued intuitionistic fuzzy cosine similarity measure with the generalized ordered weighted averaging operator. The main advantage of the IVIFOWCS measure provides a parameterized family of similarity measures, and the decision maker can use the IVIFOWCS measure to consider a lot of possibilities and select the aggregation operator in accordance with his interests. We have studied some of its main (...) properties and particular cases such as the interval-valued intuitionistic fuzzy ordered weighted arithmetic cosine similarity measure and the interval-valued intuitionistic fuzzy maximum cosine similarity measure. The IVIFOWCS measure not only is a generalization of some similarity measure, but also it can deal with the correlation of different decision matrices for interval-valued intuitionistic fuzzy values. Furthermore, we present an application of IVIFOWCS measure to the group decision-making problem. Finally the existing similarity measures are compared with the IVIFOWCS measure by an illustrative example. (shrink)

The correlation coefficient between two variables plays an important role in statistics. Also, the accuracy of relevance assessment depends on information from a set of discourses. The data collected from numerous statistical studies are full of exceptions. The Pythagorean fuzzy hypersoft set is a parameterized family that deals with the subattributes of the parameters and an appropriate extension of the Pythagorean fuzzy soft set. It is also the generalization of the intuitionistic fuzzy hypersoft set, which is (...) used to accurately assess insufficiency, anxiety, and uncertainties in decision-making. The PFHSS can accommodate more uncertainties compared to the IFHSS, and it is the most substantial methodology to describe fuzzy information in the decision-making process. The core objective of the this study is to develop the notion and features of the correlation coefficient and the weighted correlation coefficient for PFHSS and to introduce the aggregation operators such as Pythagorean fuzzy hypersoft weighted average and Pythagorean fuzzy hypersoft weighted geometric operators under the PFHSS scenario. A prioritization technique for order preference by similarity to the ideal solution under PFHSS based on correlation coefficients and weighted correlation coefficients is presented. Through the developed methodology, a technique for solving multiattribute group decision-making problem is planned. Also, the importance of the developed methodology and its application in indicating multipurpose antivirus mask throughout the COVID-19 pandemic period is presented. A brief comparative analysis is described with the advantages, effectiveness, and flexibility of numerous existing studies that demonstrate the effectiveness of the proposed method. (shrink)

The general framework of this paper is a reformulation of Hilbert’s program using the theory of locales, also known as formal or point-free topology [P.T. Johnstone, Stone Spaces, in: Cambridge Studies in Advanced Mathematics, vol. 3, 1982; Th. Coquand, G. Sambin, J. Smith, S. Valentini, Inductively generated formal topologies, Ann. Pure Appl. Logic 124 71–106; G. Sambin, Intuitionistic formal spaces–a first communication, in: D. Skordev , Mathematical Logic and its Applications, Plenum, New York, 1987, pp. 187–204]. Formal (...) topology presents a topological space, not as a set of points, but as a logical theory which describes the lattice of open sets. The application to Hilbert’s program is then the following. Hilbert’s ideal objects are represented by points of such a formal space. There are general methods to “eliminate” the use of points, close to the notion of forcing and to the “elimination of choice sequences” in intuitionist mathematics, which correspond to Hilbert’s required elimination of ideal objects. This paper illustrates further this general program on the notion of valuations. They were introduced by Dedekind and Weber [R. Dedekind, H. Weber, Theorie des algebraischen Funktionen einer Veränderlichen, J. de Crelle t. XCII 181–290] to give a rigorous presentation of Riemann surfaces. It can be argued that it is one of the first example in mathematics of point-free representation of spaces [N. Bourbaki, Eléments de Mathématique. Algèbre commutative, Hermann, Paris, 1965, Chapitre 7]. It is thus of historical and conceptual interest to be able to represent this notion in formal topology. (shrink)

Recently, research on uncertainty modeling is progressing rapidly and many essential and breakthrough stud ies have already been done. There are various ways such as fuzzy, intuitionistic and neutrosophic sets to handle these uncertainties. Although these concepts can handle incomplete information in various real-world issues, they cannot address all types of uncertainty such as indeterminate and inconsistent information. Also, plithogenic sets as a generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets, which is a set (...) whose elements are characterized by many attributes’ values. In this paper, our aim is to demonstrate and review the history of fuzzy, intuitionistic and neutrosophic sets. For this purpose, we divided the paper as: section 1. History of Fuzzy Sets, section 2. History of Intuitionistic Fuzzy Sets and section 3. History of Neutrosophic Theories and Applications, section 4. History of Plithogenic Sets. (shrink)

In this paper, we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), which is a set whose elements are characterized by many attributes (parameters)’ values. An attribute value v has a corresponding (fuzzy, intuitionistic fuzzy, or neutrosophic) degree of appurtenance d(x,v) of the element x, to the set P, with respect to some given criteria. In order to obtain a better accuracy for the plithogenic aggregation operators in the (...) plithogenic set, and for a more exact inclusion (partial order), a (fuzzy, intuitionistic fuzzy, or neutrosophic) contradiction (dissimilarity) degree is defined be-tween each attribute value and the dominant (most important) attribute value. The plithogenic intersection and union are linear combinations of the fuzzy operators tnorm and tconorm, while the plithogenic complement, inclusion (inequality), equality are influenced by the attribute values contradiction (dissimilarity) degrees. This article offers some examples and applications of these new concepts in our everyday life. (shrink)

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)

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)

The aim of this manuscript is to introduce the \((\alpha,\beta)\)-hesitant fuzzy set and apply it to semigroups. In this paper, as a generalization of the concept of hesitant fuzzy sets to semigroup theory, the concept of \((\alpha,\beta)\)-hesitant fuzzy subsemigroups of semigroups is introduced, and related properties are discussed. Furthermore, we define and study \((\alpha,\beta)\)-hesitant fuzzy ideals on semigroups. In particular, we investigate the structure of \((\alpha,\beta)\)-hesitant fuzzy ideal generated by a hesitant fuzzy ideal (...) in a semigroup. In addition, we also introduce the concepts of \((\alpha,\beta)\)-hesitant fuzzy semiprime sets of semigroups, and characterize regular semigroups in terms of \((\alpha,\beta)\)-hesitant fuzzy left ideals and \((\alpha,\beta)\)-hesitant fuzzy right ideals. Finally, several characterizations of regular and intra-regular semigroups by the properties of \((\alpha,\beta)\)-hesitant ideals are given. (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. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

We define a class of productive σ-ideals of subsets of the Cantor space 2 ω and observe that both σ-ideals of meagre sets and of null sets are in this class. From every productive σ-ideal I we produce a σ-ideal I κ , of subsets of the generalized Cantor space 2 κ . In particular, starting from meagre sets and null sets in 2 ω we obtain meagre sets and null sets in 2 κ , respectively. Then (...) we investigate additivity, covering number, uniformity and cofinality of I κ . For example, we show that non(I = non(I ω 1 ) = non(I ω 2 ). Our results generalizes those from [5]. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

In the topological semantics, quantified intuitionistic logic, QH, is known to be strongly complete not only for the class of all topological spaces but also for some particular topological spaces — for example, for the irrational line, ${\Bbb P}$, and for the rational line, ${\Bbb Q}$, in each case with a constant countable domain for the quantifiers. Each of ${\Bbb P}$ and ${\Bbb Q}$ is a separable zero-dimensional dense-in-itself metrizable space. The main result of the current article (...) generalizes these known results: QH is strongly complete for any zero-dimensional dense-in-itself metrizable space with a constant domain of cardinality ≤ the space’s weight; consequently, QH is strongly complete for any separable zero-dimensional dense-in-itself metrizable space with a constant countable domain. We also prove a result that follows from earlier work of Moerdijk: if we allow varying domains for the quantifiers, then QH is strongly complete for any dense-in-itself metrizable space with countable domains. (shrink)

We investigate several ideal versions of the pseudointersection number \(\mathfrak {p}\), ideal slalom numbers, and associated topological spaces with the focus on selection principles. However, it turns out that well-known pseudointersection invariant \(\mathtt {cov}^*({\mathcal I})\) has a crucial influence on the studied notions. For an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal J})\) introduced by Borodulin-Nadzieja and Farkas (Arch. Math. Logic 51:187–202, 2012), and an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J})\) introduced by Repický (Real Anal. Exchange 46:367–394, 2021), we have $$\begin{aligned} \min (...) \{\mathfrak {p}_\mathrm {K}({\mathcal I}),\mathtt {cov}^*({\mathcal I})\}=\mathfrak {p},\qquad \min \{\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}\le \mathtt {cov}^*({\mathcal I}), \end{aligned}$$ respectively. In addition to the first inequality, for a slalom invariant \(\mathfrak {sl_e}({\mathcal I},{\mathcal J})\) introduced in Šupina (J. Math. Anal. Appl. 434:477–491, 2016), we show that $$\begin{aligned} \min \{\mathfrak {p}_\mathrm {K}({\mathcal I}),\mathfrak {sl_e}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}=\mathfrak {p}. \end{aligned}$$ Finally, we obtain a consistency that ideal versions of the Fréchet–Urysohn property and the strictly Fréchet–Urysohn property are distinguished. (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)

In this book the authors introduce and study the following notions: Neutrosophic Crisp Points, Neutrosophic Crisp Relations, Neutrosophic Crisp Sets, Neutrosophic Set Generated by (Characteristic Function), alpha-cut Level for Neutrosophic Sets, Neutrosophic Crisp Continuous Function, Neutrosophic Crisp Compact Spaces, Neutrosophic Crisp Nearly Open Sets, Neutrosophic Crisp Ideals, Neutrosophic Crisp Filter, Neutrosophic Crisp Local Functions, Neutrosophic Crisp Sets via Neutrosophic Crisp Ideals, Neutrosophic Crisp L-Openness and Neutrosophic Crisp L-Continuity, Neutrosophic Topological Region, Neutrosophic Closed Set and Neutrosophic Continuous Function, (...) etc. They compute the distances between neutrosophic sets and extend it to Neutrosophic Hesitancy Degree. The authors also generalize the Crisp Topological Space and Intuitionistic Topological Space to the notion of Neutrosophic Crisp Topological Space. At the end, they present applications to Neutrosophic Database, and show a security scheme based on Public Key Infrastructure (PKI) using Neutrosophic Logic Manipulation. The authors utilize neutrosophic sets in order to analyze social networks data conducted through learning activities, and for the Geographical Information Systems (GIS) they employ fundamental concepts and properties of a Neutrosophic Spatial Region. Keywords: Neutrosophic Crisp Points; Neutrosophic Crisp Relations; Neutrosophic Crisp Sets; Neutrosophic Crisp Continuous Function; Neutrosophic Crisp Compact Spaces; Neutrosophic Crisp Nearly Open Sets; Neutrosophic Crisp Ideals; Neutrosophic Crisp Filter; Neutrosophic Crisp Local Functions; Neutrosophic Crisp Sets via Neutrosophic Crisp Ideals; Neutrosophic Crisp L-Openness and Neutrosophic Crisp L-Continuity; Neutrosophic Topological Region; Neutrosophic Closed Set and Neutrosophic Continuous Function; Neutrosophic Hesitancy Degree; Neutrosophic Crisp Topological Space; Neutrosophic Database; Neutrosophic Logic Manipulation; Neutrosophic Spatial Region. (shrink)

The purpose of my paper is to interpret kant 's transcendental idealism by looking at his claim that space is "nothing but" ideal. My position is that if we grant to kant the thesis that space is an "a priori" condition for knowing objects, Then it follows that our notion of space can only refer to the character of our experience, Not to properties of things as they may be "in themselves." and this, I argue, Yields a sense of the (...) ideality of space. (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. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

In the Critique of Pure Reason Kant argues for a position he calls transcendental idealism. And although it comes as no surprise to claim that Kant was an idealist, it is far from clear how this idealism should be understood. Traditionally, Kant’s idealism has been understood as a version of phenomenalism. ‘Objects of experience’ are constructions of mental data caused by mind independent reality. This reading has been labeled the ‘ontological’ interpretation since on this view ‘objects of experience’ are ontologically (...) dependent on our minds and ontologically distinct from the world outside of our minds. And, corresponding to the supposed ‘two worlds’ of objects, it is thought that Kant allows for two perspectives from which objects can be described. Human descriptions are limited to the mere collections of sense data while God can describe the set of objects outside our mind as they really are ‘in themselves.’. (shrink)

There is a second way in which the question is capable of a twofold interpretation. One might begin with a priori concepts which have no empirical reference and ask how they can apply to objects. Or, one might deny the dichotomy between the a priori and experience and inquire how synthetic a priori judgments about experience can be accounted for. Initially Kant regarded the problem of schematism in the former way as that of bringing together two divorced realms. From this (...) standpoint it is assumed: a) that a priori concepts are generated by mind independently of experience, and b) that objects are given in intuition However, Kant came to see that if the problem is stated in this way it is insoluble. Only a pre-established harmony would guarantee that a priori concepts apply to objects. He attempted to break down this dualism between intuition and thought, between objects and concepts by showing that the knowledge of objects requires both intuition and thought. Unfortunately the original statement of the problem recurs alongside of the revised formulation at many places in the Critique. A close study of the development of Kant's thought makes it sufficiently clear that it is the latter statement of the problem which alone represents his mature insight and is consonant with his transcendental method of proof. (shrink)

The article seeks to challenge the standard accounts of how to view the difference between Husserl and Frege on the nature of ideal objects and meanings. It does so partly by using Derrida’s deconstructive reading of Husserl to open up a critical space where the two approaches can be confronted in a new way. Frege’s criticism of Husserl’s philosophy of mathematics (that it was essentially psychologistic) was partly overcome by the program of transcendental phenomenology. But the original challenge to the (...) prospect of a fulfilled intuition of idealities remained and was in fact encountered again from within the transcendental analysis by Husserl himself in his last writings on geometry and language. According to the two standard and conflicting accounts, Husserl either changed his earlier psychologistic program as a result of Frege’s criticism, or he was in fact never challenged by it in the first place. The article shows instead how Husserl continued to struggle with the problem of the constitution of ideal objects, and how his quest led him to a point where his analyses anticipate a more dialectical and deconstructive conclusion, eventually made explicit by Derrida. It also shows not only how this development constitutes a philosophical continuity from the original dispute with Frege, but also how Frege’s critique in a certain respect could be read as an anticipation of Derrida’s deconstructive elaboration of Husserl’s phenomenology. (shrink)

The measurement of one or more observables can be considered to yield sample points which are in general fuzzy sets. Operationally these fuzzy sample points are the outcomes of calibration procedures undertaken to ensure the internal consistency of a scheme of measurement. By introducing generalized probability measures on σ-semifields of fuzzy events, one can view a quantum mechanical state as an ensemble of probability measures which specify the likelihood of occurrence of any specific fuzzy sample (...) point at some instant. These sample points are the possible outcomes of any infinitely rapid succession of measurements at that instant of any sequence of observables of the system. (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 (...) class='Hi'>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)

As Friedman has argued, Kant's argument for the ideality of space turns on the nondeductive character of geometrical reasoning in Euclid's system. Since geometry can be axiomatized, this argument fails. But ("pace" Russell) Leibniz's argument based on the unreality of constitutive relations is not thereby answered as well. I argue that what is needed in response to Leibniz is a properly post-Kantian conception of concepts as inferentially articulated. This conception, I suggest, is based on the same fundamental insight that underlies (...) the axiomatization of geometry. (shrink)

Shepard has argued that a universal law should govern generalization across different domains of perception and cognition, as well as across organisms from different species or even different planets. Starting with some basic assumptions about natural kinds, he derived an exponential decay function as the form of the universal generalization gradient, which accords strikingly well with a wide range of empirical data. However, his original formulation applied only to the ideal case of generalization from a single encountered stimulus to a (...) single novel stimulus, and for stimuli that can be represented as points in a continuous metric psychological space. Here we recast Shepard's theory in a more general Bayesian framework and show how this naturally extends his approach to the more realistic situation of generalizing from multiple consequential stimuli with arbitrary representational structure. Our framework also subsumes a version of Tversky's set-theoretic model of similarity, which is conventionally thought of as the primary alternative to Shepard's continuous metric space model of similarity and generalization. This unification allows us not only to draw deep parallels between the set-theoretic and spatial approaches, but also to significantly advance the explanatory power of set-theoretic models. Key Words: additive clustering; Bayesian inference; categorization; concept learning; contrast model; features; generalization; psychological space; similarity. (shrink)

A variant of realizability for Heyting arithmetic which validates Church’s thesis with uniqueness condition, but not the general form of Church’s thesis, was introduced by Lifschitz (Proc Am Math Soc 73:101–106, 1979). A Lifschitz counterpart to Kleene’s realizability for functions (in Baire space) was developed by van Oosten (J Symb Log 55:805–821, 1990). In that paper he also extended Lifschitz’ realizability to second order arithmetic. The objective here is to extend it to full intuitionistic Zermelo–Fraenkel set theory, IZF. The (...) machinery would also work for extensions of IZF with large set axioms. In addition to separating Church’s thesis with uniqueness condition from its general form in intuitionistic set theory, we also obtain several interesting corollaries. The interpretation repudiates a weak form of countable choice, ACω,ω, asserting that a countable family of inhabited sets of natural numbers has a choice function. ACω,ω is validated by ordinary Kleene realizability and is of course provable in ZF. On the other hand, a pivotal consequence of ACω,ω, namely that the sets of Cauchy reals and Dedekind reals are isomorphic, remains valid in this interpretation. Another interesting aspect of this realizability is that it validates the lesser limited principle of omniscience. (shrink)

On the basis of the combination of single-valued neutrosophic sets and hesitant fuzzy sets, this article proposes a single-valued neutrosophic hesitant fuzzy set as a further generalization of the concepts of fuzzy set, intuitionistic fuzzy set, single-valued neutrosophic set, hesitant fuzzy set, and dual hesitant fuzzy set. Then, we introduce the basic operational relations and cosine measure function of SVNHFSs. Also, we develop a single-valued neutrosophic hesitant fuzzy weighted averaging operator and a (...) single-valued neutrosophic hesitant fuzzy weighted geometric operator and investigate their properties. Furthermore, a multiple-attribute decision-making method is established on the basis of the SVNHFWA and SVNHFWG operators and the cosine measure under a single-valued neutrosophic hesitant fuzzy environment. Finally, an illustrative example of investment alternatives is given to demonstrate the application and effectiveness of the developed approach. (shrink)

This paper explores some of the constructive dimensions and specifics of human theoretic cognition, combining perspectives from (Husserlian) genetic phenomenology and distributed cognition approaches. I further consult recent psychological research concerning spatial and numerical cognition. The focus is on the nexus between the theoretic development of abstract, idealized geometrical and mathematical notions of space and the development and effective use of environmental cognitive support systems. In my discussion, I show that the evolution of the theoretic cognition of space apparently follows (...) two opposing, but in truth, intrinsically aligned trajectories. On the epistemic plane, which is the main focus of Husserl’s genetic phenomenological investigations, theoretic conceptions of space are progressively constituted by way of an idealizing emancipation of spatial cognition from the concrete, embodied intentionality underlying the human organism’s perception of space. As a result of this emancipation, it ultimately becomes possible for the human mind to theoretically conceive of and posit space as an ideal entity that is universally geometrical and mathematical. At the same time, by synthesizing a range of literature on spatial and mathematical cognition, I illustrate that for the theoretic mind to undertake precisely this emancipating process successfully, and further, for an ideal and objective notion of geometrical and mathematical space to first of all become fully scientifically operative, the cognitive support provided by a range of specific symbolic technologies is central. These include lettered diagrams, notation systems, and more generally, the technique of formalization and require for their functioning various cognitively efficacious types of embodiment. Ultimately, this paper endeavors to understand the specific symbolic-technological dimensions that have been instrumental to major shifts in the development of idealized, scientific conceptions of space. The epistemic characteristics of these shifts have been previously discussed in genetic phenomenology, but without devoting sufficient attention to the constructive role of symbolic technologies. At the same time, this paper identifies some of the irreducible phenomenological and epistemic dimensions that characterize the functioning of the historically situated, embodied and distributed theoretic mind. (shrink)

A remarkable philosophical affinity may be observed between the intuitionistic conception of mathematics and the transformational generative approach to the study of language: both disciplines profess a mentalistic ontology, both posit an idealized subject, and both insist on their autonomy with respect to other disciplines. This philosophical parallel is formalized in terms of a generalization of the intuitionistic notion of creative subject; resulting are the foundations of a unified theory of mental acts based on intuitionistic logic — (...) capturing, inter alia, similarities between proof acts and speech acts. As an application of the theory, it is then shown how the notion of mental act may provide for an insightful formalization of various hypotheses pertaining to the linguistic dependence or relativity of mathematics. (shrink)

This concise book introduces nonphysicists to the core philosophical issues surrounding the nature and structure of space and time, and is also an ideal resource for physicists interested in the conceptual foundations of space-time theory. Tim Maudlin's broad historical overview examines Aristotelian and Newtonian accounts of space and time, and traces how Galileo's conceptions of relativity and space-time led to Einstein's special and general theories of relativity. Maudlin explains special relativity using a geometrical approach, emphasizing intrinsic space-time structure rather than (...) coordinate systems or reference frames. He gives readers enough detail about special relativity to solve concrete physical problems while presenting general relativity in a more qualitative way, with an informative discussion of the geometrization of gravity, the bending of light, and black holes. Additional topics include the Twins Paradox, the physical aspects of the Lorentz-FitzGerald contraction, the constancy of the speed of light, time travel, the direction of time, and more.Introduces nonphysicists to the philosophical foundations of space-time theory Provides a broad historical overview, from Aristotle to Einstein Explains special relativity geometrically, emphasizing the intrinsic structure of space-time Covers the Twins Paradox, Galilean relativity, time travel, and more Requires only basic algebra and no formal knowledge of physics. (shrink)

This book offers a reconstruction of the debate on non-Euclidean geometry in neo-Kantianism between the second half of the nineteenth century and the first decades of the twentieth century. Kant famously characterized space and time as a priori forms of intuitions, which lie at the foundation of mathematical knowledge. The success of his philosophical account of space was due not least to the fact that Euclidean geometry was widely considered to be a model of certainty at his time. However, such (...) later scientific developments as non-Euclidean geometries and Einstein’s general theory of relativity called into question the certainty of Euclidean geometry and posed the problem of reconsidering space as an open question for empirical research. The transformation of the concept of space from a source of knowledge to an object of research can be traced back to a tradition, which includes such mathematicians as Carl Friedrich Gauss, Bernhard Riemann, Richard Dedekind, Felix Klein, and Henri Poincaré, and which finds one of its clearest expressions in Hermann von Helmholtz’s epistemological works. Although Helmholtz formulated compelling objections to Kant, the author reconsiders different strategies for a philosophical account of the same transformation from a neo-Kantian perspective, and especially Hermann Cohen’s account of the aprioricity of mathematics in terms of applicability and Ernst Cassirer’s reformulation of the a priori of space in terms of a system of hypotheses. This book is ideal for students, scholars and researchers who wish to broaden their knowledge of non-Euclidean geometry or neo-Kantianism. (shrink)

We illustrate the application of the conceptual analysis (CA) method outlined in Part I by the example of quantum mechanics. In the present part the Hilbert space structure of conventional quantum mechanics is deduced as a consequence of postulates specifying further idealized concepts. A critical discussion of the idealizations of quantum mechanics is proposed. Quantum mechanics is characterized as a “statistically complete” theory and a simple and elegant formal recipe for the construction of the fundamental mathematical apparatus of quantum mechanics (...) is formulated. Our analysis may also lead to a criticism of quantum mechanics as a “strongly idealized” theory. A critical analysis of the fundamental structure of quantum mechanics seems an indispensable and natural starting point for the construction of new theories. A major technical problem in a more general application of the CA method is the lack of mathematical representation theorems for more general algebraic structures. (shrink)

A \(\sigma \) -ideal \(\mathcal {I}\) on a Polish group \((X,+)\) has the Smital Property if for every dense set _D_ and a Borel \(\mathcal {I}\) -positive set _B_ the algebraic sum \(D+B\) is a complement of a set from \(\mathcal {I}\). We consider several variants of this property and study their connections with the countable chain condition, maximality and how well they are preserved via Fubini products. In particular we show that there are \(\mathfrak {c}\) many maximal invariant \(\sigma (...) \) -ideals with Borel bases on the Cantor space \(2^\omega \). (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent (...) to one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent (...) to one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object. Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

Place-based policies tackle grand socio-economic challenges through differentiated, context-sensitive interventions. However, they often run the risk of under- or mis-performing. This work studies how grand challenges translate from policy to cross-sector partnerships through place. By focusing on the place-based policy of regional smart specialization (RIS3), I investigate how the setup of science and technology parks mediates the practices of the actors in the translation chain: a transnational policymaker (macro), a regional broker (meso), and a local partnership which served as prototype (...) for the regional policy (micro level). I document two types of practices—emplacement and space configuration—enacted at each level, and show how their interplay transformed the grand challenge from a cautious ideal at the macro level which balances risk and responsibility, to an optimistic and risk-prone approach at the partnership level. The study contributes to the policy and cross-sector partnerships literatures by documenting a two-sided effect of place-based policy and a consequent risk of ethical reversal, from an early attractor bringing partners together to a later accomplice keeping the partners together despite evident signs of failure. By adopting a strong multimodal approach, I also distinguish four types of multimodal outcomes—ideal type, prototype, virtual model, and lived artifact—which perform the two-sided effect and bring about the risk of reversal. Practical implications include a redistribution of the burden of failure from the CSPs implementing the grand challenges to the institutional fields in which these are bred. (shrink)

Intuitionistic fuzzy aggregation techniques -- Intuitionistic fuzzy clustering algorithms.

Wonderfully clear, scholarly, and well argued, Kant’s Intuitionism offers a bold new interpretation of the thesis of the Transcendental Aesthetic. Falkenstein reads Kant as a “formal intuitionist.” That is, he takes Kant to have maintained that the forms of intuition, space, and time were given along with sensations. They were neither preexisting representations, nor intellectual or imaginative constructions out of sensations. In this context “given” contrasts with “constructed”; subjects’ representations of space and time derived from their sensory constitutions. When subjects’ (...) senses were stimulated, that produced sensations with intensities varying according to the stimulus; because of the subjects’ constitutions, the intensity values were ordered after one another in time and adjacent to one another in space. Falkenstein characterizes space and time as “presentational orders” of sensations. (shrink)

The interpretation and justification of Earman’s symmetry principles (stating that any spacetime symmetry should be a dynamical symmetry and vice-versa) are controversial. This is directly connected to the question of how certain structures in physical theories acquire a spatiotemporal character. In this paper I address these issues from a perspective (arguably functionalist) that relates the classical discussion about the measurement and geometrical determination of space with a characterization of the notion of dynamical symmetry in which its application to subsystems that (...) act as measuring devices plays an essential role. I argue that in order to reformulate and justify Earman’s principles, and to provide a general account of the chronogeometrical character of some structures, the existence of a coordination between two notions of congruence, one mathematical and one dynamical, must be assumed for the interpretation of physical theories. This coordination provides the basis on which we can understand space-time in physical theories as the codification (representation) of certain features of the access ideal observers have to experience. (shrink)