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)

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 examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All ${\Pi_2}$ consequences of ZFC are provable in LZFC. LZFC strongly extends Kripke-Platek (KP) set theory minus Δ0-Collection and minus ${\in}$ -induction scheme. ZFC+ “there is an (...) inaccessible cardinal” proves the consistency of LZFC. In LZFC we focus on models rather than cardinals, a transitive model being considered as the analogue of an inaccessible cardinal. Pushing this analogy further we define α-Mahlo models and ${\Pi_1^1}$ -indescribable models, the latter being the analogues of weakly compact cardinals. Also localization axioms of the form ${Loc({\rm ZFC}+\phi)}$ are considered and their global consequences are examined. Finally we introduce the concept of standard compact cardinal (in ZFC) and some standard compactness results are proved. (shrink)

In this paper, we develop primitive recursive analogues of regular cardinals by using ordinal representation systems for KPi and KPM. We also define primitive recursive analogues of inaccessible and hyperinaccessible cardinals. Moreover, we characterize the primitive recursive analogue of the least (uncountable) regular cardinal.

Pantheism claims: (1) there exists an all-inclusive unity; and (2) that unity is divine. I review three current and scientifically viable ontologies to see how pantheism can be developed in each. They are: (1) materialism; (2) Platonism; and (3) class-theoretic Pythagoreanism. I show how each ontology has an all-inclusive unity. I check the degree to which that unity is: eternal, infinite, complex, necessary, plentiful, self-representative, holy. I show how each ontology solves the problem of evil (its theodicy) and provides for (...) salvation (its soteriology). I conclude that Platonism and Pythagoreanism have the most divine all-inclusive unities. They support sophisticated contemporary pantheisms. (Published Online February 17 2004). (shrink)

A god is a cosmic designer-creator. Atheism says the number of gods is 0. But it is hard to defeat the minimal thesis that some possible universe is actualized by some possible god. Monotheists say the number of gods is 1. Yet no degree of perfection can be coherently assigned to any unique god. Lewis says the number of gods is at least the second beth number. Yet polytheists cannot defend an arbitrary plural number of gods. An alternative is that, (...) for every ordinal, there is a god whose perfection is proportional to it. The n -th god actualizes the best universe(s) in the n -th level of an axiological hierarchy of possible universes. Despite its unorthodoxy, ordinal polytheism has many metaphysically attractive features and merits more serious study. (shrink)

Ordinal polytheism is motivated by the cosmological and design arguments. It is also motivated by Leibnizian–Lewisian modal realism. Just as there are many universes, so there are many gods. Gods are necessary concrete grounds of universes. The god-universe relation is one-to-one. Ordinal polytheism argues for a hierarchy of ranks of ever more perfect gods, one rank for every ordinal number. Since there are no maximally perfect gods, ordinal polytheism avoids many of the familiar problems of monotheism. It links theology with (...) counterpart theory, mathematics and computer science. And it entails that the system of universes has an attractive axiological structure. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V′) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V′) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V′) is provable in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V′).

The paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof-theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of β-model reflection in second order arithmetic. Further, this leads to a characterization of the reals recursively computable in the superjump functional.

Abstract.This paper is the second in a series of three culminating in an ordinal analysis of Π12-comprehension. Its objective is to present an ordinal analysis for the subsystem of second order arithmetic with Δ12-comprehension, bar induction and Π12-comprehension for formulae without set parameters. Couched in terms of Kripke-Platek set theory, KP, the latter system corresponds to KPi augmented by the assertion that there exists a stable ordinal, where KPi is KP with an additional axiom stating that every set is contained (...) in an admissible set. (shrink)

Abstract.This paper is the first in a series of three which culminates in an ordinal analysis of Π12-comprehension. On the set-theoretic side Π12-comprehension corresponds to Kripke-Platek set theory, KP, plus Σ1-separation. The strength of the latter theory is encapsulated in the fact that it proves the existence of ordinals π such that, for all β>π, π is β-stable, i.e. Lπ is a Σ1-elementary substructure of Lβ. The objective of this paper is to give an ordinal analysis of a scenario of (...) not too complicated stability relations as experience has shown that the understanding of the ordinal analysis of Π12-comprehension is greatly facilitated by explicating certain simpler cases first.This paper introduces an ordinal representation system based on ν-indescribable cardinals which is then employed for determining an upper bound for the proof–theoretic strength of the theory KPi+ ∀ρ ∃ππ is π+ρ-stable, where KPi is KP augmented by the axiom saying that every set is contained in an admissible set. (shrink)

En este artículo se examinan algunas implicaciones del naturalismo matemático de P. Maddy como una concepción filosófica que permite superar las dificultades del ficcionalismo y el realismo fisicalista en matemáticas. Aparte de esto, la mayor virtud de tal concepción parece ser que resuelve el problema que plantea para la aplicabilidad de la matemática el no asumir la tesis de indispensabilidad de Quine sin comprometerse con su holismo confirmacional. A continuación, sobre la base de dificultades intrínsecas al programa de Maddy, exploramos (...) un camino naturalista mejor motivado, el enfoque cognitivista corporeizado, y sugerimos que él permite explicar de manera adecuada la postulación de ciertos cardinales grandes, en particular, la aceptación de conjuntos no-construibles. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

ABSTRACT We shall defend three philosophical theses about the extent of intrinsic justification based on various technical results. We shall present a set of theorems which indicate intriguing structural similarities between a family of “weak” reflection principles roughly at the level of those considered by Tait and Koellner and a family of “strong” reflection principles roughly at the level of those of Welch and Roberts, which we claim to lend support to the view that the stronger reflection principles are intrinsically (...) justified as well as the weaker ones. We consider connections with earlier work of Marshall. (shrink)

In this paper, we sketch the development of two important themes of modern set theory, both of which can be regarded as growing out of work of Kurt Gödel. We begin with a review of some basic concepts and conventions of set theory.§0. The ordinal numbers were Georg Cantor's deepest contribution to mathematics. After the natural numbers 0, 1, …, n, … comes the first infinite ordinal number ω, followed by ω + 1, ω + 2, …, ω + ω, (...) … and so forth. ω is the first limit ordinal as it is neither 0 nor a successor ordinal. We follow the von Neumann convention, according to which each ordinal number α is identified with the set {ν ∣ ν α} of its predecessors. The ∈ relation on ordinals thus coincides with <. We have 0 = ∅ and α + 1 = α ∪ {α}. According to the usual set-theoretic conventions, ω is identified with the first infinite cardinal ℵ0, similarly for the first uncountable ordinal number ω1 and the first uncountable cardinal number ℵ1, etc. We thus arrive at the following picture:The von Neumann hierarchy divides the class V of all sets into a hierarchy of sets Vα indexed by the ordinal numbers. The recursive definition reads: ;Vλ = ∪v<λVv for limit ordinals λ. We can represent this hierarchy by the following picture. (shrink)

Subtle cardinals were first introduced in a paper by Jensen and Kunen [JK]. They show that ifκis subtle then ◇κholds. Subtle cardinals also play an important role in [B1], where Baumgartner proposed that certain large cardinal properties should be considered as properties of their associated normal ideals. He shows that in the case of ineffables, the ideals are particularly useful, as can be seen by the following theorem,κis ineffable if and only ifκis subtle andΠ½-indescribableandthe subtle andΠ½-indescribable ideals cohere, i.e. they (...) generate a proper, normal ideal.In this paper we examine properties of subtle cardinals and consider methods of forcing that destroy the property of subtlety while maintaining other properties. The following is a list of results.1) We relativize the following two facts about subtle cardinals:i) ifκisn-subtle then {α<κ:αis notn-subtle} isn-subtle, andii) ifκis -subtle then {α<κ:αisn-subtle} is in the -subtle filter to subsets ofκ:i′) ifAis ann-subtle subset ofκthen {α ϵ A:A∩αis notn-subtle} isn-subtle, andii′) ifAis an -subtle subset ofκthen {α ϵ A:A∩αisn-subtle} is -subtle.2) We show that although a stationary limit of subtles is subtle, a subtle limit of subtles is not necessarily 2-subtle.3) In §3 we use the technique of forcing to turn a subtle cardinal into aκ-Mahlo cardinal that is no longer subtle.4) In §4 we extend the results of §3 by showing how to turn an -subtle cardinal into ann-subtle cardinal that is no longer -subtle. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

I formulate the Zermelo-Russell paradox for naive set theory. A sketch is given of Zermelo’s solution to the paradox: the cumulative type structure. A careful analysis of the set formation process shows a missing component in this solution: the necessity of an assumed imaginary jump out of an infinite universe. Thus a set is formed by a suitable combination of concrete and imaginary operations all of which can be made or assumed by a Turing machine. Some consequences are drawn from (...) this improved analysis of the concept of set, for the theory of sets and for the philosophy and foundations of mathematics. (shrink)

Second-order arithmetic and class theory are second-order theories of mathematical subjects of foundational importance, namely, arithmetic and set theory. Despite the similarity in appearance, there turned out to be significant mathematical dissimilarities between them. The present paper studies various principles in class theory, from such a comparative perspective between second-order arithmetic and class theory, and presents a few new dissimilarities between them.

We prove that if V = L then there is a $\Pi _{1}^{1}$ maximal orthogonal (i.e., mutually singular) set of measures on Cantor space. This provides a natural counterpoint to the well-known theorem of Preiss and Rataj [16] that no analytic set of measures can be maximal orthogonal.

A structure is locally finite if every finitely generated substructure is finite; local sentences are universal sentences all models of which are locally finite. The stretching theorem for local sentences expresses a remarkable reflection phenomenon between the finite and the infinite models of local sentences. This result in part requires strong axioms to be proved; it was studied by the second named author, in a paper of this Journal, volume 53. Here we correct and extend this paper; in particular we (...) show that the stretching theorem implies the existence of inaccessible cardinals, and has precisely the consistency strength of Mahlo cardinals of finite order. And we present a sequel due to the first named author: (i) decidability of the spectrum $\operatorname{Sp}(\varphi)$ of a local sentence φ, below ω ω ; where $\operatorname{Sp}(\varphi)$ is the set of ordinals α such that φ has a model of order type α (ii) proof that $\operatorname{beth}_\omega = \sup\{\operatorname{Sp}(\varphi): \varphi \text{local sentence with a bounded spectrum}\}$ (iii) existence of a local sentence φ such that $\operatorname{Sp}(\varphi)$ contains all infinite ordinals except the inaccessible cardinals. (shrink)

Adding higher types to set theory differs from adding inaccessible cardinals, in that higher type arguments apply to all sets rather than just ordinary ones. Levy's reflection axiom is justified, by considering the principle that we can pretend that the universe is a set, together with methods of Gaifman [8]. We reprove some results of Gaifman, and some facts about Levy's reflection axiom, including the fact that adding higher types yields no new theorems about sets. Some remarks on standard models (...) are made. An obvious strengthening of Levy's axiom to higher types is considered, which implies the existence of indescribable cardinals. Other remarks about larger cardinals are made; some questions of Gloede [9] are settled. Finally we argue that the evidence for V = L is strong, and that CH is certainly true. MSC: 03E30, 03E55. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

An account of scientific representation in terms of partial structures and partial morphisms is further developed. It is argued that the account addresses a variety of difficulties and challenges that have recently been raised against such formal accounts of representation. This allows some useful parallels between representation in science and art to be drawn, particularly with regard to apparently inconsistent representations. These parallels suggest that a unitary account of scientific and artistic representation is possible, and our article can be viewed (...) as laying the groundwork for such an account—although, as we shall acknowledge, significant differences exist between these two forms of representation. (shrink)

In Part I of this series, we presented the microscopic approach to Souslin-tree constructions, and argued that all known ⋄-based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of ⋄. In particular, we obtain a new weak sufficient condition for the existence of Souslin trees at the level of a strongly inaccessible cardinal. We (...) also present a new construction of a Souslin tree with an ascent path, thereby increasing the consistency strength of such a tree's nonexistence from a Mahlo cardinal to a weakly compact cardinal. Section 2 of this paper is targeted at newcomers with minimal background. It offers a comprehensive exposition of the subject of constructing Souslin trees and the challenges involved. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper I question this claim. I show that there is a kind of maximality (namely absoluteness) on which large cardinal axioms come out as restrictive relative to a formal notion of restrictiveness. Within this framework, I argue that large cardinal axioms can still play many of (...) their usual foundational roles. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...) an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. (shrink)

This collection serves as an introduction to the concept of subjective fact, which plays a central role in some of the author's philosophical writings. The collection contains two book chapters and a paper. The first chapter (Chapter 2 of From Brain to Cosmos) begins with an informal characterization of the concept of subjective fact. Then it fleshes out this concept with examples, gives a more precise characterization, and addresses some potential weaknesses of the concept. This chapter shows how subjective fact (...) is related to key ideas in the philosophy of mind, such as intentionality. The second chapter (Chapter 3) is a detailed study of the concept of “instance of seeming” that was introduced in Chapter 2. Chapter 3 ends with some remarks on the modal logic of subjective facts. The paper, also by the book’s author, answers some potential questions about the ideas in the two included chapters. (shrink)

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.

This document consists primarily of an excerpt (chapter 14) from the author’s book From Brain to Cosmos. In that excerpt, the author uses the concept of subjective fact developed earlier in the book to address a question about consciousness: which physical systems (organisms or machines) are conscious? (This document depends heavily upon the concept of subjective fact developed in From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to (...) Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 13) from the author’s book From Brain to Cosmos. In that excerpt, the author presents a study of the notion of truth using the concept of subjective fact developed earlier in the book. The author argues that mind-body materialism is compatible with certain forms of metaphysical idealism. The chapter closes with some remarks on relativism with regard to truth. (This document depends heavily upon the concept of subjective fact developed in From Brain (...) to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of excerpts (chapters 5 and 10-12) from the author’s book From Brain to Cosmos. These excerpts address several traditional problems about the histories of conscious subjects, using the concept of subjective fact that the author developed earlier in the book. Topics include the persistence of conscious subjects through time, the unity or disunity of the self, and the possibility of splitting conscious subjects. (These excerpts depend heavily upon the author’s concept of subjective fact as developed in (...) From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of that book first. See the last page of this document for details on how to obtain those chapters.). (shrink)

This document consists primarily of an excerpt (chapter 4) from the author’s book From Brain to Cosmos. That excerpt presents a study of a specific problem about knowledge: the logical justification of one’s knowledge of the immediate past. (This document depends heavily upon the concept of subjective fact that the author developed in chapters 2 and 3 of From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read those chapters first. See the last page of this (...) document for details on how to obtain those chapters.). (shrink)