In the real word, in most cases, everything (an attribute, event, proposition, theory, idea, person, object, action, etc.) is evaluated in general by many sources (called experts), not only one. The more sources evaluate a subject, the better accurate result (after fusioning all evaluations). That’s why, in this paper, we straightforwardly extend the Refined Neutrosophic Set to the MultiNeutrosophic Set, and we show that the last two are isomorphic. A MultiNeutrosophic Set is a Neutrosophic Set whose all elements’ (...) degrees of truth/indeterminacy/falsehood are evaluated by many (Multi) sources. Afterwards, we introduce a total order on the set of n-plets of the form (p, r, s), we build the operators on the (p, r, s)-plets, and show several applications of the MultiNeutrosophic Sets. Several particular cases of the MultiNeutrosophic Sets are presented: such as MultiFuzzy Set, MultiIntuitionistic Fuzzy Set, MultiPicture Fuzzy Set, and other Multi(Fuzzy Extension) Set. (shrink)

The goal of this short note is to expand the concepts of ‘pluralism’, ‘neutrosophy’, ‘refined neutrosophy’, ‘refined neutrosophic set’, ‘multineutrosophic set’, and ‘plithogeny’ (Smarandache 2002, 2013, 2017, 2019, 2021, 2023a, 2023b, 2023c), into a larger category that I will refer to as MultiAlism (or MultiPolar). As a straightforward generalization, I propose the conceptualization of a MultiPolar System (different from a PluriPolar System), which is formed not only by multiple elements that might be random, or contradictory, or adjuvant, but also (...) by accepting features from more than one basic system (UniPolar, BiPolar, TriPolar, or PluriPolar systems). PluriAlism is a closed dynamic system without neutralities nor indeterminacies, while MultiAlism is an open dynamic system with neutralities and indeterminacies. PluriAlism is a uni-system (formed by elements from a single system), while MultiAlism is a MultiSystem (formed by elements from many systems). (shrink)

O objetivo deste artigo é apresentar a analogia básica entre arquitetura e retórica antiga a partir dos tratados De Architectura, de Vitrúvio, e o De Oratore, de Cícero. A analogia se verifica na definição do artífice, dos gêneros e partes das técnicas e dos fins de cada uma delas. Para tanto, tomaram-se como referência as fontes do tratado vitruviano, que menciona a influência de Varrão na gramática, de Lucrécio na filosofia e de Cícero no método oratório. A analogia com Cícero (...) serve tanto para conferir autoridade ao modelo de arquiteto vitruviano quanto para diferenciar a arquitetura das demais ciências, sobretudo a filosofia, objeto de debate na obra ciceroniana. (shrink)

Study, with text of the Yogasūtra of Patañjali, text on Yoga philosophy.

This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. "Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics." --The American Mathematical Monthly.

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, (...) and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account. (shrink)

In many ways set theory lies at the heart of modern mathematics, and it does powerful work both philosophical and mathematical – as a foundation for the subject. However, certain philosophical problems raise serious doubts about our acceptance of the axioms of set theory. In a detailed and original reassessment of these axioms, Sharon Berry uses a potentialist approach to develop a unified determinate conception of set-theoretic truth that vindicates many of our intuitive expectations regarding set theory. Berry further defends (...) her approach against a number of possible objections, and she shows how a notion of logical possibility that is useful in formulating Potentialist set theory connects in important ways with philosophy of language, metametaphysics and philosophy of science. Her book will appeal to readers with interests in the philosophy of set theory, modal logic, and the role of mathematics in the sciences. (shrink)

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of (...) the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments. (shrink)

This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

In Reasons and Persons, Derek Parfit cannot find a theory of well-being that solves the Non-Identity Problem, the Repugnant Conclusion, the Absurd Conclusion, and all forms of the Mere Addition Paradox. I describe a “Quasi-Maximizing” theory that solves them. This theory includes (i) the denial that being better than is transitive and (ii) the “Conflation Principle,” according to which alternative B is hedonically better than alternative C if it would be better for someone to have all the B-experiences. (i) entails (...) that Quasi-Maximization is not a maximizing theory, but (ii) ensures that its evaluations will often coincide with such theories. (shrink)

Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, elaborating a suggestion from Wright.

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.

Conservative agriculture practice adoption literature advocates that adoption is caused by many factors comprising cognitive, social, economic, personal, and CAP-related factors. Evaluating the adoption of CAPs as the outcome is complex and challenging with regression-based models as the systemic interdependencies of the factors offer diverse or varying results. Farmer production and environmental orientations as cognitive stances are notable interpreters of CAP adoption. The appetite level for risk-taking, innovativeness, and trust facilitates the adoption of CAPs. However, a causal-predictive technique should be (...) used to investigate the adoption of CAP. Hence, this study engages in a configuration approach using a fuzzy-set qualitative comparative analysis to analyze the patterns of different types of farmers' orientations, personal level of trust on extension services, and innovativeness risk-taking attitude on the intention to adopt CAPs. The analysis is based on the 155-farmer data collected employing a structured interview from Pakistan. The results suggest that a higher level of environment orientation and innovativeness is sufficient to increase the intention to adopt CAPs. Moreover, a higher intention to adopt CAPs is achieved with a lower production orientation, a higher personal level of innovativeness, and a risk-taking attitude of the farmer. The innovativeness can help to develop the intention to adopt the CAPs among the environment and production-oriented farmers. Causal solutions offer a unique understanding that the farmers' environment and production orientation can combine to suggest inclined to adopt CAPs by having an attitude of innovativeness and risk-taking. The causal solutions achieved significant predictive validity in the holdout samples. Policy and farmer-level suggestions were made to raise the intention to adopt CAPs among the farmers. (shrink)

This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...) are also presented. The equivalence results among systems of truth and classes obtained in this article are summarized in Theorem 104 , Theorem 107 and Theorem 108. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...) other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

For the modern set theorist the empty set Ø, the singleton {a}, and the ordered pair 〈x, y〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement, and Choice (...) are broached in the formal elaboration of the ‘set of’f {} operation. So it is surprising that, while these notions are unproblematic today, they were once sources of considerable concern and confusion among leading pioneers of mathematical logic like Frege, Russell, Dedekind, and Peano. In the development of modern mathematical logic out of the turbulence of 19th century logic, the emergence of the empty set, the singleton, and the ordered pair as clear and elementary set-theoretic concepts serves as amotif that reflects and illuminates larger and more significant developments in mathematical logic: the shift from the intensional to the extensional viewpoint, the development of type distinctions, the logical vs. the iterative conception of set, and the emergence of various concepts and principles as distinctively set-theoretic rather than purely logical. Here there is a loose analogy with Tarski's recursive definition of truth for formal languages: The mathematical interest lies mainly in the procedure of recursion and the attendant formal semantics in model theory, whereas the philosophical interest lies mainly in the basis of the recursion, truth and meaning at the level of basic predication. Circling back to the beginning, we shall see how central the empty set, the singleton, and the ordered pair were, after all. (shrink)