The year 1897 saw the publication of the first of the modern logical paradoxes. It was published by Cesare Burali-Forti, the Italian mathematician whose name it has come to bear. Burali-Forti's own formulation of the paradox was not altogether satisfactory, as he had confused well-ordered sets as defined by Cantor with what he himself called “perfectly ordered sets”. However, he soon realized his mistake, and published a note admitting the error and making the correction. He (...) concluded the note with the observation that his result could be established on the basis of the correct definition of well-ordered set as easily as for the “perfectly ordered sets” for which it had first been obtained. We shall reproduce his results in their corrected form. (shrink)

In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 1895, and that he offered his solution to it in his famous 1899 letter to Dedekind. This account, however, leaves it something of a mystery why Cantor never discussed the paradox in his writings. Far from regarding the foundations of set theory to be shaken, he showed no apparent concern over the (...) paradox and its implications whatever. Against this account, I will argue here that in fact Cantor never saw any paradox at all, but that his conception of set at that time, and already as far back as 1883, was one in which the paradoxes cannot arise. (shrink)

Philip Jourdain put this question to Frege in a letter of 28 January 1909. Frege had, indeed, next to nothing to say about ordinals, and in this respect Bob Hale has followed the master. As I hope this chapter will show, though, the topic is worth addressing. The natural abstraction principle for ordinals combines with full, impredicative second-order logic to engender a contradiction, the so-called Burali-Forti Paradox. I shall contend that the best solution involves a retreat to (...) a predicative logic. Such a retreat has implications for other neo-Fregean theories, including the cardinal arithmetic on which Hale has focused. The discussion will touch on a topic which has been at the centre of Hale’s more recent work—namely, the interpretation of plural and higher-order quantifiers. (shrink)

After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( (...) 1930 ) to secure ordinal representability of arbitrary well-orderings through relativization of quantification to set-theoretic models is reviewed and found wanting. The natural modal-structural recasting provides, it is claimed, a good repair. (shrink)

Russell’s paradox is purely logical in the following sense: a contradiction can be formally deduced from the proposition that there is a set of all non-self-membered sets, in pure first-order logic—the first-order logical form of this proposition is inconsistent. This explains why Russell’s paradox is portable—why versions of the paradox arise in contexts unrelated to set theory, from propositions with the same logical form as the claim that there is a set of all non-self-membered sets. Burali- (...) class='Hi'>Forti’s paradox, like Russell’s paradox, is portable. I offer the following explanation for this fact: Burali-Forti’s paradox, like Russell’s, is purely logical. Concretely, I show that if we enrich the language \ of first-order logic with a well-foundedness quantifier W and adopt certain minimal inference rules for this quantifier, then a contradiction can be formally deduced from the proposition that there is a greatest ordinal. Moreover, a proposition with the same logical form as the claim that there is a greatest ordinal can be found at the heart of several other paradoxes that resemble Burali-Forti’s. The reductio of Burali-Forti can be repeated verbatim to establish the inconsistency of these other propositions. Hence, the portability of the Burali-Forti’s paradox is explained in the same way as the portability of Russell’s: both paradoxes involve an inconsistent logical form—Russell’s involves an inconsistent form expressible in \ and Burali-Forti’s involves an inconsistent form expressible in \. (shrink)

L'historiographie des paradoxes ensemblistes attribue classiquement la "découverte" du paradoxe du plus grand ordinal au mathématicien italien Burali-Forti. Un examen attentif de ses démonstration et revirement révèle qu'il n'en est rien. Nous tenterons de dégager l'impact de la publication des Principles de Russell sur la constitution de cette version historiographique officielle, avant d'aborder la question de la définition des paradoxes et ce qui peut en motiver une conception restrictive.

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about (...) sets. We contend, furthermore, that some hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali-Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic. (shrink)

Reasonning in naive set theory (with unlimited comprehension), we derive a paradox (a formal contradiction) which can be seen as a variant of the Burali-Forti paradox.

We present an order-theoretic analysis of set-theoretic paradoxes. This analysis will show that a large variety of purely set-theoretic paradoxes (including the various Russell paradoxes as well as all the familiar implementations of the paradoxes of Mirimanoff and Burali-Forti) are all instances of a single limitative phenomenon.

We present a semi-formal foundational theory of sorts, akin to sets, named librationism because of its way of dealing with paradoxes. Its semantics is related to Herzberger’s semi inductive approach, it is negation complete and free variables (noemata) name sorts. Librationism deals with paradoxes in a novel way related to paraconsistent dialetheic approaches, but we think of it as bialethic and parasistent. Classical logical theorems are retained, and none contradicted. Novel inferential principles make recourse to theoremhood and failure of theoremhood. (...) Identity is introduced à la Leibniz-Russell, and librationism is highly non-extensional. Π 1 1 -comprehension with ordinary Bar-Induction is accounted for (to be lifted). Power sorts are generally paradoxical, and Cantor’s Theorem is blocked as a camouflaged premise is naturally discarded. (shrink)

We are familiar with various set-theoretical paradoxes such as Cantor's paradox, Burali-Forti's paradox, Russell's paradox, Russell-Myhill paradox and Kaplan's paradox. In fact, there is another new possible set-theoretical paradox hiding itself in Wittgenstein’s Tractatus. From the Tractatus’s Picture theory of language we can strictly infer the two contradictory propositions simultaneously: the world and the language are equinumerous; the world and the language are not equinumerous. I call this antinomy the world-language paradox. (...) Based on a rigorous analysis of the Tractatus, with the help of the technical resources of Cantor’s naive set theory and Zermelo-Fraenkel set theory with the axiom of choice, I outline the world-language paradox and assess the unique possible solution plan, i.e., the mathematical plan utilizing ‘infinity’. I conclude that Wittgenstein cannot solve the hidden set-theoretical paradox of the Tractatus successfully unless he gives up his finitism. (shrink)

Graham Priest (1994) has argued that the following paradoxes all have the same structure: Russell’s Paradox, Burali-Forti’s Paradox, Mirimanoff’s Paradox, König’s Paradox, Berry’s Paradox, Richard’s Paradox, the Liar and Liar Chain Paradoxes, the Knower and Knower Chain Paradoxes, and the Heterological Paradox. Their common structure is given by Russell’s Schema: there is a property φ and function δ such that..

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add Zermelo's (...) choice function. This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...) worlds for certain weak set theories. Second, the paradox of Burali-Forti shows that according to the Zermelo-Fraenkel set theory ZF, junky worlds are possible. Finally, it is shown that set theories are not the only sources for designing plausible models of junky worlds: Topology (and possibly other "algebraic" mathematical theories) may be used to construct models of junky worlds. In sum, junkyness is a relatively widespread feature among possible worlds. (shrink)

This work is, in large part, a series of refutations; it is also the author's Ph.D. thesis. First to be refuted is Russell's vicious circle principle as a general remedy for the solution of the paradoxes. The author rejects the classification of paradoxes into syntactic and semantic, since in his view there are no purely syntactic paradoxes. The distinction in logic between the uninterpreted syntactical aspect of a system and the system when given a determinate interpretation is held to be (...) untenable. Tarski's distinction between object-language and meta-language and his concept of semantically closed language are considered irrelevant for the solution of the Liar paradox. The author claims that the usual versions of the Liar paradox have the same structure as the Barber paradox, viz., [S ↔ ~S]. The author solves the Liar paradox by pointing out that it does not have a proper reference. Cantor's diagonal argument for the indenumerability [[sic]] of the real numbers is labeled as unsatisfactory. Since the diagonal number is dependent upon the real numbers in the constructed list, the author claims that this makes the diagonal number to be of a different nature and status than the real numbers in the list; thus we have what the author calls the dependence fallacy. The author also refuses to accept Cantor's nested interval proof of the indenumerability [[sic]] of the real numbers. Within the proof, two infinite sequences are constructed, each of which converges to a limit. Because the proof does not give a "definite rule of convergence," the author is not satisfied that the infinite sequences converge. Also rejected is Cantor's theorem. Other paradoxes analyzed are the Berry, Richard, heterological, "Richardian", Russell, Cantor, and Burali-Forti paradoxes.--T. G. N. (shrink)

The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of (...) choice—a result hitherto unestablished. It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof. (shrink)

A number of authors have recently weighed in on the issue of whether it is coherent to have bound variables that range over absolutely everything. Prima facie, it is difficult, and perhaps impossible, to coherently state the “relativist” position without violating it. For example, the relativist might say, or try to say, that for any quantifier used in a proposition of English, there is something outside of its range. What is the range of this quantifier? Or suppose we ask the (...) relativist if there are some things that cannot appear in the range of any bound variable. The likely response would be along these lines: “No. For each object o, it possible to include o in the range of quantifiers, but one cannot quantify over everything at once.” This sentence contains unrestricted quantifiers, or so it seems, pending some clever move from a relativist. On the other hand, in the context of set theory, the reasoning behind the Burali-Forti paradox strongly suggests that there are well-orderings strictly longer than the collection of all ordinals. And set theorists regularly do transfinite recursions and transfinite reductions along such well-orderings. The relativist simply points out that one can always define new ordinals, and thus expand the range of one’s bound variables. The purpose of this paper is to explore the iterative framework, proposed in Zermelo’s 1930 paper, “Über Grenzzahlen und Mengenbereiche” (“On boundary numbers and domains of sets”), in order to shed light on these issues, and see what is involved in resolving them. (shrink)

El presente escrito presenta las ventajas y desventajas de la formalización matemática como una herramienta para el análisis de argumentos complejos o difusos en la filosofía. De tal forma, aquí se encuentra un recorrido histórico de algunas consideraciones del papel de las matemáticas en la búsqueda del conocimiento. Posterior a ello, se muestra cómo por medio de la teoría de conjuntos y laabstracción matemática, es posible proponer una reinterpretación de algunos textos filosóficos. Para lograr este objetivo, se presenta, a manera (...) de ejemplo, la formalización de los conceptos de “Dios”, “error” y “Creación” dados por Descartes en su libro las Meditaciones de la filosofía primera, este ejercicio permiteproponer una paradoja en donde se evidencia una posible falencia en la delimitación del concepto de Dios. Con todo ello, se demuestra por qué los enfoques matemáticos deben ser promovidos en los estudios filosóficos. (shrink)

Tento článek se zabývá dvěma aritmetickými systémy - konkrétně systémem, který představil R. Dedekind a systémem, který vytvořil G. Frege - a paradoxy, které se zde vyskytují - tedy Burali-Fortiho paradoxem (což je vůbec první fomrulace moderního paradoxu), Cantorovým paradoxem a Russellovým paradoxem. Hlavním cílem je ukázat, co mají tyto paradoxy společného a zdůvodnit, že ačkoli se tyto paradoxy vyskytují v různých systémech, mají společné znaky. Na základě studia uvedených systémů, paradoxů i různých řešení těchto paradoxů, autorka dospívá k (...) tvrzení, že zkoumané paradoxy vznikají na stejném základě, a to na základě problému nehierarchizovanosti.V dodatku tohoto článku navíc čtenář nalezne dva zajímavé historické exkurzy. První z nich předkládá v historicky autentické podobě odvození Burali-Fortiho paradoxu Druhý exkurz je věnován Russellovu paradoxu a představuje jej nejen v podobě, jak jej vyjádřil B. Russell, ale také ve formulaci G. Frega. (shrink)

Tento článek se zabývá dvěma aritmetickými systémy - konkrétně systémem, který představil R. Dedekind a systémem, který vytvořil G. Frege - a paradoxy, které se zde vyskytují - tedy Burali-Fortiho paradoxem (což je vůbec první fomrulace moderního paradoxu), Cantorovým paradoxem a Russellovým paradoxem. Hlavním cílem je ukázat, co mají tyto paradoxy společného a zdůvodnit, že ačkoli se tyto paradoxy vyskytují v různých systémech, mají společné znaky. Na základě studia uvedených systémů, paradoxů i různých řešení těchto paradoxů, autorka dospívá k (...) tvrzení, že zkoumané paradoxy vznikají na stejném základě, a to na základě problému nehierarchizovanosti.V dodatku tohoto článku navíc čtenář nalezne dva zajímavé historické exkurzy. První z nich předkládá v historicky autentické podobě odvození Burali-Fortiho paradoxu Druhý exkurz je věnován Russellovu paradoxu a představuje jej nejen v podobě, jak jej vyjádřil B. Russell, ale také ve formulaci G. Frega. (shrink)

On investigating a theorem that Russell used in discussing paradoxes of classes, Graham Priest distills a schema and then extends it to form an Inclosure Schema, which he argues is the common structure underlying both class-theoretical paradoxes (such as that of Russell, Cantor, Burali-Forti) and the paradoxes of ?definability? (offered by Richard, König-Dixon and Berry). This article shows that Russell's theorem is not Priest's schema and questions the application of Priest's Inclosure Schema to the paradoxes of ?definability?.1 1?Special (...) thanks to Francesco Orilia for criticisms of an early draft of this article. (shrink)

Such contradictions arise “at the limits of thought” in the following sense: we have reason to set boundaries to certain conceptual processes, which, however, turn out to actually cross those boundaries. The boundaries cannot be crossed, yet they can, for they are crossed. For example, Kant regarded noumena as beyond the limit of the conceivable, yet he made judgments about them, so he did conceive of them. For another example, Russell’s theory of types cannot be expressed, yet he does express (...) it. And so on, from Aristotle’s notion of prime matter to Derrida’s différance. The boundaries that cannot be but are crossed may concern iteration, expression, cognition, or conception. In most cases, a single argument pattern is operative, according to Priest. He calls it the Inclosure Schema [=IS]. It is a contradiction-generating mechanism that works as follows: suppose we define a set Ω, on the basis of a condition φ ); suppose that Ω exists and that it has property ψ. Next, suppose we can define a function δ such that, for any subset x of Ω that has property ψ, we have both δ ∉ x and δ ∈ Ω. As Ω is a subset of itself and it has ψ by hypothesis, a contradiction follows: both δ ∈ Ω and δ ∉ Ω. The two sides of the contradiction—or perhaps the operations by which they are established—are called Closure and Transcendence. ). For example, take Burali Forti’s paradox that is greater than all members of On, and therefore not an ordinal). Here Ω = On, and δ is the function that assigns to x the least ordinal greater than all members of x is both an ordinal—δ ∈ Ω, “Closure”—and not a member of x ). The condition φ is just the property of being an ordinal. (shrink)

The starting point of this work is the existence of historical paradoxes in the set theory. These are: Russell's paradox, applied to the set W, Cantor's, for the set U, and Burali-Forti's, of the set Omega. A systematic analysis aimed at the simplification and the refining of such paradoxes showed that: there exist at least eight contradictory expressions instead of three; another contradictory set is suggested by an extension of Burali-Forti's paradox; almost all of (...) the contradictions apply to more than one paradoxical set. (shrink)

The starting point of this work is the existence of historical paradoxes in the set theory. These are: Russell's paradox, applied to the set W, Cantor's, for the set U, and Burali-Forti's, of the set Omega. A systematic analysis aimed at the simplification and the refining of such paradoxes showed that: (i) there exist at least eight contradictory expressions instead of three; (ii) another contradictory set is suggested by an extension of Burali-Forti's paradox; (iii) (...) almost all of the contradictions apply to more than one paradoxical set. (shrink)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

The expansion of the older population suggests that there will be significant numbers in need of care and support in their own home environment. Yet, little is known about the kind of situations professionals are faced with and how they intervene in the living environment of older people. Qualitative data were collected over a period of 1.5 years from a multi-disciplinary community-based geriatric team in the Netherlands, and participant observations carried out. Forty-two cases discussed within the team meetings were analysed. (...) Results demonstrate that providing care to older people is a dynamic process and revolves around various paradoxes as experienced by professionals. This is illustrated by presenting three paradoxes that emerged within the data: respecting autonomy versus preserving safety; the care needs of the care recipients versus the capacity of their informal carers to cope; and holding a formal orientation versus a tailored orientation on tasks. Providing care in the home environment of older people requires from professionals a continuous anticipation of (un)expected evolutions in situations of their care recipients. In order to optimally support older people professionals need ‘professional discretion’. They must be supported to systematically reflect on and legitimize their intervention strategies. (shrink)

Despite the fact that the sociological notion ‘individualization’ contains the most heterogeneous phenomena, the article develops an interpretation of the fate of individualization in Western capitalism today. After having differentiated three different meanings of that notion with the help of Georg Simmel, the position is defended that the claims to individual self-realization, which have rapidly multiplied in the Western societies of thirty or forty years ago, have become so much a feature of the institutionalized expectations inherent in social reproduction that (...) the particular goals of such claims are lost and they are transmuted into a support of the system’s legitimacy. The result of this paradoxical reversal, where the processes which once promised an increase of qualitative freedom are henceforth altered into an ideology of de-institutionalization, is the emergence in individuals of a number of symptoms of inner emptiness, of feeling oneself to be superfluous, and of absence of purpose. (shrink)

Jean Baudrillard, the misfit. Jean Baudrillard, who told us that the Gulf Warnever happened, who drew our attention to the perils of a civilization thatchoses to lead a virtual existence in an arena of images and simulacra - this isthe Baudrillard we are mostly familiar with. But Jean Baudrillard, thechampion of appearances? Baudrillard, more-feminist-than-the-feminists?This Baudrillard remains buried in the stacks of a prolific career spanningover forty years and involving some of the most radical systematicdeconstructions of Western culture, society and politics. (...) Baudrillard hasprimarily been heralded as an enemy of the world of images, the surfacesuperficiality of consumer culture; it stands as no surprise, then, that in mosttheoretical assessments of his work there is little mention of Seduction , a text aimed at restoring a great amount of value to the surface ofthings.1While apostles of Baudrillard such as Norman K. Denzin tend tooffer brief and, in this writer’s opinion, erroneous summaries of seduction’s‘potential of unmasking the order of appearances’ , Seduction hasyet to be understood as a praise for the world of appearances, play, andreversibility, as encouragement for the resistance of the orders of law certainty, and production. 2 In the following pages, I hope to introduce readers to a fascinating but often overlooked text of Baudrillard’s and, in doing so, to demonstrate that Baudrillard’s text offers a unique and yet unexplored insight into the dichotomous and contradictory nature of cinema - this medium which as an instrument of popular culture acts according to the modern logic of production, but as a form owes more to the transformative and playful semiology of the pre-modern. (shrink)

Of Zeno’s book of forty paradoxes, it was the first that attracted Socrates’ attention. This is the paradox of the like and the unlike. On contemporary assessments, this paradox is largely considered to be Zeno’s weakest surviving paradox. All of these assessments, however, rely heavily on reconstructions of the paradox. It is only relative to these reconstructions that there is nothing paradoxical involved, or that there is some rather obvious mistake being made. This paper puts forward (...) and defends a novel interpretation of this paradox, according to which the concept of a unit plays a central role. There is every reason to think the paradox turns on the concept of a unit: after the presentation of the paradox the text of the Parmenides immediately turns to a discussion of units, and the concept of a unit is also central to the Greek conception of a plurality. If this interpretation is correct then the paradox that Zeno presented was the same as one discussed and solved in Frege’s Grundlagen. (shrink)

As long as we care about suffering in the world, says political philosopher Simona Forti, we are compelled to inquire into the question of evil. But is the concept of evil still useful in a postmodern landscape where absolute values have been leveled and relativized by a historicist perspective? Given our current unwillingness to judge others, what signposts remain to guide our ethical behavior? Surveying the nineteenth- and twentieth-century Western philosophical debates on evil, Forti concludes that it is (...) time to leave behind what she calls "the Dostoevsky paradigm": the dualistic vision of an omnipotent monster pitted against absolute, helpless victims. No longer capable of grasping the normalization of evil in today's world—whose structures of power have been transformed—this paradigm has exhausted its explanatory force. In its place, Forti offers a different genealogy of the relationship between evil and power, one that finally calls into question power's recurrent link to transgression. At the center of contemporary evil she posits the passive attitude towards rule-following, the need for normalcy, and the desire for obedience nurtured by our contemporary mass democracies. In our times, she contends, evil must be explored in tandem with our stubborn desire to stay alive at all costs as much as with our deep need for recognition: the new modern absolutes. A courageous book, New Demons extends an original, inspiring call to ethical living in a biopolitical age. (shrink)

It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle . The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles hold in Hyperuniverses. (...) Hyperuniverses are structures which arose independently in Non-well-founded Set Theory and in Mathematical Semantics of Concurrent Programming Languages and are hitherto the only existing models of GPC. Hyperuniverses are naturally endowed with a κ-compact uniform κ-topology and are uniformly isomorphic to their exponential space, i.e. the space of their closed subsets endowed with the Exponential Uniformity. (shrink)