In spite of all the industrious efforts Peirce scholars have made so far, Peirce’s biography still retains a number of gaps, among which the problem of identity of Peirce’s second wife, Juliette Froissy, stands out most significantly. It is all the more important that, as some scholars suggest, the discovery of any reliable facts about Juliette could provide an explanation to some of the decisions Peirce had made, which irrevocably changed the course of his life, as well as his semiotic (...) theory. By courtesy of Professor Dr. Nathan Houser and the Peirce Edition Project, the writer of the present paper was granted access to the archive materials containing the Max H. Fisch — Maurice Auger correspondence and Victor Lenzen’s notes on Juliette. The paper aims at arranging the dispersed data obtained from these and other sources into a set of several distinct versions, which curiously refer to each other and collectively impose a certain order on some major abductions concerning Juliette’s identity. (shrink)

Emile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum: dividing a spatial region into disjoint pieces need not preserve volume.

The article is concerned with the general characteristics of Aristotle’s theory of a genus-differentia definition. The authors examine the validity of the definitions in the framework of legal language and present some objections against the definitions of per genus proximum et differentia specificam as they are considered by Aristotle. At the same time, through the objections to the position of genus-differentia definition critics, it is proved that in a number of cases Aristotle’s theory is more preferable than the approach offered (...) by Herbert Hart, the proponent of analytical legal philosophy. The argument of Peter Hacker is used to reinstate Aristotle’s genus-differentia definitions. (shrink)

The relationship between logic and ethics is one of the basic and most essential questions of classical philosophical analysis. Since the time of the Pythagoreans, the fundamental unity of the two – whether by means of vague intuition, an elaborate conceptual scheme, or even a carefully crafted lifestyle – has led philosophers to identify truth and virtue. In his critical philosophy Kant put this unity of truth and virtue to extensive and rigorous trial to determine what conditions, if any, a...

The contrast between the strategies of research employed in reductionism and holism masks a radical contradiction between two different scientific philosophies. We concentrate in particular on an analysis of the key philosophical issues which give structure to holistic thought. A first (non-exhaustive) analysis of the philosophical tradition will dwell upon: a) the theory of emergence: each level of organisation is characterised by properties whose laws cannot be deduced from the laws of the inferior levels of organisation (Engels, Morgan); b) clarification (...) of the relations between the “whole” and the “parts” (Woodger, Needham); c) the ontological or epistemological nature of the emergent properties; are they a phenomenological reality or solely an artefact of the state of our knowledge? (Pepper, Henle, Hempel and Oppenheim); d) the proposition of the holistic theoretical and methodological model ( Novikoff, Feibleman). I then go on to examine the differences that exist between the reductionist and the holistic approaches at various levels of analysis: that is to say, the differences which affect their ontologies, methodologies and epistemologies respectively. I attempt to understand the spirit of a holistic approach to ecology by analyzing the major work of E.P. Odum Fundamentals of ecology (1953, 1959, 1971). I set forward what might be meant by the “holistic approach”, which is implicated in all the different levels of organisation at which the problem of “complexity” is debated. Ecology presents itself as an “holistic science” and Odum’s book offers a vision of the world which dates far back in the history of philosophy. By looking at the three different editions of this fundamental text on ecology, we may become aware of the evolution of Odum’s thought. In fact, only in the third and last edition is there a conscious appropriation of the holistic approach (by using the theoretical models of Feibleman who, for his part, refers to Novikoff). However, even when formally referring to the theory of emergence (that is to say the ontological nucleus of every holistic approach), Odum’s systemic analysis presents the same logical errors, which push him back into the reductionist domain. Above all, in his examination of the main concepts of “population”, “community” and “ecosystem”, there is a misunderstanding of the profound difference between “collective properties” and “emergent properties”. Moreover, the cybernetic models of Odum’s systemic analysis (introduced into ecology by Margalef), allowed him to vastly oversimplify his methodological task: in fact, neither how many levels nor which levels of organization are fundamental for the study of each individual level is clearly marked. Finally, Odum analyses the ecosystem as composed of energetic flux and cycles of matter, referring to the trophic-dynamic vision of Lindeman. That is to say, in my opinion, he juxtaposes a reductionistic methodology and epistemology to an holistic ontology. (shrink)

A model of human consciousness is presented here in terms of physics and electronics using Upanishadic awareness. The form of Atman proposed in the Upanishads in relation to human consciousness as oscillating psychic energy-presence and its virtual or unreal energy reflection maya, responsible for mental energy and mental time-space are discussed. Analogy with Fresnel’s bi-prism experimental set up in physical optics is used to state, describe and understand the form, structure and function of Atman and maya, the ingredients of human (...) consciousness. A description of phases of mind in terms of conscious states and transformation of mental energy is given. Four states of consciousness and four modes of language communication and understanding processes are also given. Implications of above scientific awareness of Upanishadic wisdom to the modern scientific fields of physiological psychology, cognitive sciences, mind-machine modeling and natural language comprehension are suggested. -/- . (shrink)

[ENGLISH] This article discusses the potential of synthetic biology to address fundamental questions in the philosophy of biology regarding the nature of life and biological functions. Synthetic biology aims to reduce living organisms to their simplest forms by identifying the minimal components of a cell and also to create novel life forms through genetic reprogramming, biobrick assembly, or novel proteins. However, the technical success of these endeavors does not guarantee their conceptual success in defining life. There is a lack of (...) consensus among researchers on how to define and classify the entities produced in the lab, whether they should be considered living or categorized differently. The criteria for minimal cells and minimal life are subject to arbitrary choices and varying interpretations. The concept of function, crucial to synthetic biology, is also difficult to define. The article highlights the need to consider the minimal set of functions that characterize life before determining the smallest genomes that code for those functions. The arbitrary nature of defining both life and function complicates the understanding and classification of these entities. The article suggests that the traditional dichotomy between the living and the non-living may no longer be valid and that the concept of life itself may not require precise scientific definition. As synthetic biology advances, the article emphasizes the importance of redefining or constructing new categories to encompass the expanding possibilities and creations in the field. The ability to create new life forms raises questions about recognition, identification, and ethical implications, requiring a conceptual and philosophical engagement beyond the technical achievements of synthetic biology. -/- [FRENCH] L'article aborde le potentiel de la biologie synthétique pour répondre à des questions fondamentales de la philosophie de la biologie concernant la nature de la vie et des fonctions biologiques. La biologie synthétique vise à réduire les organismes vivants à leurs formes les plus simples en identifiant les composants minimaux d'une cellule et à créer de nouvelles formes de vie grâce à la reprogrammation génétique, à l'assemblage de biobriques ou à des protéines nouvelles. Cependant, le succès technique de ces approches ne garantit pas leur réussite conceptuelle dans la définition de la vie. Il n'y a pas de consensus parmi les chercheurs sur la façon de définir et de classer les entités produites en laboratoire, qu'elles doivent être considérées comme vivantes ou catégorisées différemment. Les critères des cellules minimales et de la vie minimale sont soumis à des choix arbitraires et à des interprétations variables. La notion de fonction, essentielle en biologie synthétique, est également difficile à définir. L'article met en évidence la nécessité de prendre en compte l'ensemble minimal de fonctions qui caractérisent la vie avant de déterminer les plus petits génomes qui codent ces fonctions. La nature arbitraire de la définition de la vie et de la fonction complique la compréhension et la classification de ces entités. L'article suggère que la dichotomie traditionnelle entre le vivant et le non-vivant pourrait ne plus être valable et que le concept même de vie ne nécessite pas une définition scientifique précise. À mesure que la biologie synthétique progresse, l'article souligne l'importance de redéfinir ou de construire de nouvelles catégories pour englober les possibilités et créations croissantes dans le domaine. La capacité à créer de nouvelles formes de vie soulève des questions de reconnaissance, d'identification et d'implications éthiques, nécessitant une réflexion conceptuelle et philosophique au-delà des avancées techniques de la biologie synthétique. (shrink)

Priority setting in health care is ubiquitous and health authorities are increasingly recognising the need for priority setting guidelines to ensure efficient, fair, and equitable resource allocation. While cost-effectiveness concerns seem to dominate many policies, the tension between utilitarian and deontological concerns is salient to many, and various severity criteria appear to fill this gap. Severity, then, must be subjected to rigorous ethical and philosophical analysis. Here we first give a brief history of the path to today’s severity criteria in (...) Norway and Sweden. The Scandinavian perspective on severity might be conducive to the international discussion, given its long-standing use as a priority setting criterion, despite having reached rather different conclusions so far. We then argue that severity can be viewed as a multidimensional concept, drawing on accounts of need, urgency, fairness, duty to save lives, and human dignity. Such concerns will often be relative to local mores, and the weighting placed on the various dimensions cannot be expected to be fixed. Thirdly, we present what we think are the most pertinent questions to answer about severity in order to facilitate decision making in the coming years of increased scarcity, and to further the understanding of underlying assumptions and values that go into these decisions. We conclude that severity is poorly understood, and that the topic needs substantial further inquiry; thus we hope this article may set a challenging and important research agenda. (shrink)

Critical-set views avoid the Repugnant Conclusion by subtracting some constant from the welfare score of each life in a population. These views are thus sensitive to facts about biographical identity: identity between lives. In this paper, I argue that questions of biographical identity give us reason to reject critical-set views and embrace the total view. I end with a practical implication. If we shift our credences towards the total view, we should also shift our efforts towards ensuring that humanity survives (...) for the long term. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to (...) allow for the existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (shrink)

The purpose of this paper is to introduce new types of neutrosophic crisp sets with three types 1, 2, 3. After given the fundamental definitions and operations, we obtain several properties, and discussed the relationship between neutrosophic crisp sets and others. Also, we introduce and study the neutrosophic crisp point and neutrosophic crisp relations. Possible applications to database are touched upon.

In this contribution, I explore the possibility of characterizing the emergence of time in causal set theory (CST) in terms of the growing block universe (GBU) metaphysics. I show that although GBU seems to be the most intuitive time metaphysics for CST, it leaves us with a number of interpretation problems, independently of which dynamics we choose to favor for the theory —here I shall consider the Classical Sequential Growth and the Covariant model. Discrete general covariance of the CSG dynamics (...) does not allow us to individuate a single history of the universe (defined by a causal history of different causal sets), thereby making the claim that ‘the past exists’ at best problematic. In addition, because the evolution of the universe in CSG dynamics leads to an outward branching causal tree, it becomes impossible to determine a proper ‘line of becoming’, thereby blurring the presentists’ claim that only the present exists. Similarly, the covariant approach runs into the same, if not even more severe problems, since each configuration of the universe would amount to a set of possible causal sets, thereby making the individuation of a single configuration of the universe —and thus the physical interpretation of the theory— implausible. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The Affordable Care Act (ACA) may be the most important health law statute in American history, yet much of the most prominent legal scholarship examining it has focused on the merits of the court challenges it has faced rather than delving into the details of its priority-setting provisions. In addition to providing an overview of the ACA’s provisions concerning priority setting and their developing interpretations, this Article attempts to defend three substantive propositions. First, I argue that the ACA is neither (...) uniformly hostile nor uniformly friendly to efforts to set priorities in ways that promote cost and quality. Second, I argue that the ACA does not take a single, unified approach to priority setting; rather, its guidance varies depending on the aspect of the health care system at issue (Patient Centered Outcomes Research Institute, Medicare, essential health benefits) and the factors being excluded from priority setting (age, disability, life expectancy). Third, I argue that cost-effectiveness can be achieved within the ACA's constraints, but that doing so will require adopting new approaches to cost-effectiveness and priority setting. By limiting the use of standard cost-effectiveness analysis, the ACA makes the need for workable rivals to cost-effectiveness analysis a pressing practical concern rather than a mere theoretical worry. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any (...) loosely constructive way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

In this paper one introduces for the first time the IndetermSoft Set, as extension of the classical (determinate) Soft Set, that deals with indeterminate data, and similarly the HyperSoft Set extended to IndetermHyperSoft Set, where ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, not unique outcome). They are built on an IndetermSoft Algebra that is an algebra dealing with IndetermSoft Operators resulted from our real world. Afterwards, the corresponding Fuzzy / Intuitionistic Fuzzy / Neutrosophic / and other fuzzy-extension IndetermSoft Set & IndetermHyperSoft (...) Set are presented together with their applications. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a ‘structural’ perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

In this paper we introduce the notion of filter on the neutrosophic crisp set, then we consider a generalization of the filter’s studies. Afterwards, we present the important neutrosophic crisp filters. We also study several relations between different neutrosophic crisp filters and neutrosophic topologies. Possible applications to database systems are touched upon.

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that that (...) difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

This Paper combines interval- valued neutrouphic sets and rough sets. It studies roughness in interval- valued neutrosophic sets and some of its properties. Finally we propose a Hamming distance between lower and upper approximations of interval valued neutrosophic sets.

An attempt to vindicate naive set theory by postulating a universal set V which is describable in two distinct description languages: predicative and extensional. The extensional description of a set consists of describing all its elements whereas its predicative description consists of describing what sets it is an element of. -/- Extensionally described V has an uncapturable description length, akin to its cardinality. But predicatively described, in virtue of being the set that is not contained in any set whatsoever, (...) V has a minimal description length, a counterbalance to its cardinality. -/- Descriptive efficiency can genuinely be attributed to V (achieved in a third description language) only if it contains predicatively indiscernible but extensionally discernible sets. (shrink)

In this short note we show that the so-called Ambiguous Set (2019) is a subclass of the Double Refined Indeterminacy Neutrosophic Set (2017) and is a particular case of the Refined Neutrosophic Set (2013). Also, the Ambiguous Set is similar to the Quadripartitioned Neutrosophic Set (2016), and Belnap’s Four-Valued Logic (1975).

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)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

In this paper we define the Soft Set Product as a product of many soft sets and afterwards we extend it to the HyperSoft Set. Similarly, the IndetermSoft Product is extended to the IndetermHyperSoft Set. We also present several applications of the Soft Set Product to Fuzzy (and fuzzy-extensions) Soft Set Product and to IndetermSoft Set and IndetermHyperSoft Set.

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

A decision maker (DM) selects a project from a set of alternatives with uncertain productivity. After the choice, she observes a signal about productivity and decides how much effort to put in. This paper analyzes the optimal decision problem of the DM who rationally filters information to deal with her post-decision cognitive dissonance. It is shown that the optimal effort level for a project can be affected by unchosen projects in her choice set, and the nature of the choice set-dependence (...) is determined by the signal structure. Some comparative statics of choice set-dependence is also provided. Finally, based on the results, the optimal choice set design is also explored. This paper offers a simple framework to explain the experimental finding in psychology that people’s effort level for a project can be enhanced when the project is chosen by themselves rather than by others. (shrink)

Recent work has defended “Euclidean” theories of set size, in which Cantor’s Principle (two sets have equally many elements if and only if there is a one-to-one correspondence between them) is abandoned in favor of the Part-Whole Principle (if A is a proper subset of B then A is smaller than B). It has also been suggested that Gödel’s argument for the unique correctness of Cantor’s Principle is inadequate. Here we see from simple examples, not that Euclidean theories of (...) set size are wrong, but that they must be either very weak and narrow or largely arbitrary and misleading. (shrink)

Both neutrosophic sets theory and rough sets theory are emerging as powerful tool for managing uncertainty, indeterminate, incomplete and imprecise information .In this paper we develop an hybrid structure called “ rough neutrosophic sets” and studied their properties.

How should governments balance saving people from very large individual disease burdens (such as an early death) against saving them from middling burdens (such as erectile dysfunction) and minor burdens (such as nail fungus)? This chapter considers this question through an analysis of a priority-setting proposal in the Netherlands, on which avoiding a multitude of middling burdens takes priority over saving one person from early death, but no number of very small burdens can take priority over avoiding one death. It (...) argues that there is some, albeit imperfect, evidence of substantial public support for such a policy. Furthermore, it provides a principled rationale for it in terms of respect for the person who faces the largest burden. (shrink)

The ``doctrinal paradox'' or ``discursive dilemma'' shows that propositionwise majority voting over the judgments held by multiple individuals on some interconnected propositions can lead to inconsistent collective judgments on these propositions. List and Pettit (2002) have proved that this paradox illustrates a more general impossibility theorem showing that there exists no aggregation procedure that generally produces consistent collective judgments and satisfies certain minimal conditions. Although the paradox and the theorem concern the aggregation of judgments rather than preferences, they invite comparison (...) with two established results on the aggregation of preferences: the Condorcet paradox and Arrow's impossibility theorem. We may ask whether the new impossibility theorem is a special case of Arrow's theorem, or whether there are interesting disanalogies between the two results. In this paper, we compare the two theorems, and show that they are not straightforward corollaries of each other. We further suggest that, while the framework of preference aggregation can be mapped into the framework of judgment aggregation, there exists no obvious reverse mapping. Finally, we address one particular minimal condition that is used in both theorems – an independence condition – and suggest that this condition points towards a unifying property underlying both impossibility results. (shrink)

This work introduces the framework for selecting architecture in 5G networks, considering various technological, performance, economic, and operational factors. With the emergence of 5G technology, the architecture selection process has become pivotal in meeting diverse requirements for ultra-high-speed connectivity, low latency, scalability, and diverse service demands. The evaluation comprehensively analyses different architecture options, including centralized, distributed, cloud-based, and virtualized architectures. Factors such as network performance, scalability, cost-effectiveness, security, and compatibility are considered within a multi-criteria decision-making framework. Findings reveal each architecture (...) option's diverse strengths and limitations, emphasizing the importance of aligning architectural choices with specific use cases, deployment scenarios, and business objectives. We used the concept of multi-criteria decision-making (MCDM) methodology to control the various criteria. We used the single-valued neutrosophic set (SVNS) to deal with vague and inconsistent data. The SVNS is integrated with the hyperSoft set. The proposed methodology uses a single-valued neutrosophic hyperSoft set (SVNHSS) to select the best 5G architecture. We used the VIKOR method as an MCDM method to rank the alternatives. The proposed framework provides stakeholders with a structured methodology to evaluate and prioritize architecture options, facilitating informed decision-making in the complex landscape of 5G network deployments. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Hylomorphically complex objects are things that change their parts or matter or that might have, or have had, different parts or matter. Often ontologists analyze such objects in terms of sets (or functions, understood set-theoretically) or other extensional entities such as mereological fusions or quantities of matter. I urge two reasons for being wary of any such analyses. First, being extensional, such things as sets are ill-suited to capture the characteristic modal and temporal flexibility of hylomorphically complex objects. (...) Secondly, sets are often appealed to because they seem to contain their members. But the idea that sets do contain their members, in the ordinary sense of containment, is a substantive metaphysical position that makes analyses that rely on that idea for their plausibility much more metaphysically committing than is generally thought. (shrink)

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

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)

Proposals for allocating scarce lifesaving resources in the face of the Covid-19 pandemic have aligned in some ways and conflicted in others. This paper attempts a kind of priority setting in addressing these conflicts. In the first part, we identify points on which we do not believe that reasonable people should differ—even if they do. These are (i) the inadequacy of traditional clinical ethics to address priority-setting in a pandemic; (ii) the relevance of saving lives; (iii) the flaws of first-come, (...) first-served allocation; (iv) the relevance of post-episode survival; (v) the difference between age and other factors that affect life-expectancy; and (vi) the need to avoid quality-of-life judgments. In the second part, we lay out some positions on which reasonable people can and do differ. These include (i) conflicts between maximizing benefits and priority to the worst off; (ii) role-based priority; and (iii) whether patients’ existing lifesaving resources should be subject to redistribution. (shrink)

In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set.

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of (...) the natural numbers. (shrink)

Recent discussions of how axioms are extrinsically justified have appealed to abductive considerations: on such accounts, axioms are adopted on the basis that they constitute the best explanation of some mathematical data, or phenomena. In the first part of this paper, I set out a potential problem caused by the appeal made to the notion of mathematical explanation and suggest that it can be remedied once it is noted that all the justificatory work is done by appeal to the theoretical (...) virtues. In the second part of the paper, I appeal to the theoretical virtues account of axiom justification to provide an argument that judgements of theoretical virtuousness, and therefore of extrinsic justification, are subjective in a substantive sense. This tells against a recent claim by Penelope Maddy that such justification is “wholly objective”. (shrink)

Recently theorists have demonstrated a growing interest in the ethical aspects of resource allocation in international non-governmental humanitarian, development and human rights organizations (INGOs). This article provides an analysis of Thomas Pogge's proposal for how international human rights organizations ought to choose which projects to fund. Pogge's allocation principle states that an INGO should govern its decision making about candidate projects by such rules and procedures as are expected to maximize its long-run cost-effectiveness, defined as the expected aggregate moral value (...) of the projects it undertakes divided by the expected aggregate cost of these projects? I critique Pogge's argument on two fronts: (1) I demonstrate that his view is problematic on his own terms, even if we accept the cost-effectiveness framework he employs. (2) I take issue with his overall approach because it generates results which can undermine the integrity of INGOs. Further, his approach mis-characterizes the nature of INGOs, and this mistake is at the root of his problematic view of INGO priority-setting. Ultimately, I argue for a conception of INGOs in which they are understood as ?organizations of principle?, in the sense that they are independent moral agents and so should be permitted a fairly wide sphere of autonomy within reasonable moral constraints. (shrink)

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

This is a short piece of humor (I hope) on nonstandard set theories. An earlier version appeared in Bull. EATCS 45: 146-147 (1991).