In this paper, I develop a view on set-theoretic ontology I call Universe-Indeterminism, according to which there is a unique but indeterminate universe of sets. I argue that Solomon Feferman’s work on semi-constructive set theories can be adapted to this project, and develop a philosophical motivation for a semi-constructive set theory closely based on Feferman’s but tailored to the Universe-Indeterminist’s viewpoint. I also compare the emergent Universe-Indeterminist view to some more familiar views on set-theoretic ontology.

This article attempts a subjectively based approach, in fact one phenomenologically motivated, toward some key concepts of forcing theory, primarily the concepts of a generic set and its global properties and the absoluteness of certain fundamental relations in the extension to a forcing model M[G]. By virtue of this motivation and referring both to the original and current formulation of forcing I revisit certain set-theoretical notions serving as underpinnings of the theory and try to establish their deeper subjectively founded content (...) and also their influence in reaching relative consistency results by the forcing method. In this perspective, the present approach may be seen as offering an alternative view of the consistency results of K. Gödel and P. Cohen in mathematical foundations reaching a subjective level that may be taken as ultimately conditioning the non-decidability of key infinity statements on the level of formal theory. (shrink)

In this article I am going to argue for the possibility of a transcendental source of logic based on a phenomenologically motivated approach. My aim will be essentially carried out in two succeeding steps of reduction: the first one will be the indication of existence of an inherent temporal factor conditioning formal predicative discourse and the second one, based on a supplementary reduction of objective temporality, will be a recourse to a time-constituting origin which has to be assumed as a (...) non-temporal, transcendental subjectivity and for that reason as possibly the ultimate transcendental root of pure logic. In the development of the argumentation and taking into account W.V. Quine’s views in his well-known Word and Object, a special emphasis will be given to the fundamentally temporal character of universal and existential predicative forms, to their status in logical theories in general, and to their underlying role in generating an inherently non-finitistic character reflected, for instance, in the undecidability of certain infinity statements in formal mathematical theories. This is shown also to concern metatheorems of such vital importance as Gödel’s incompleteness theorems in mathematical foundations. Moreover in the course of the discussion the quest for the ultimate limits of predication will lead to the notions of separation and intentional correlation between an ‘observing’ subject and the object of ‘observation’ as well as to the notion of syntactical individuals taken as the irreducible non-analytic nuclei-forms within analytical discourse. (shrink)

A debated issue in the mathematical foundations in at least the last two decades is whether one can plausibly argue for the merits of treating undecidable questions of mathematics, e.g., the Continuum Hypothesis, by relying on the existence of a plurality of set-theoretical universes except for a single one, i.e., the well-known set-theoretical universe V associated with the cumulative hierarchy of sets. The multiverse approach has some varying versions of the general concept of multiverse yet my intention is to primarily (...) address ontological multiversism as advocated, for instance, by Hamkins or Väätänen, precisely for the reason that they proclaim, to the one or the other extent, ontological preoccupations for the introduction of respective multiverse theories. Taking also into account Woodin’s and Steel’s multiverse versions, I take up an argumentation against multiversism, and in a certain sense against platonism in mathematical foundations, mainly on subjectively founded grounds, while keeping an eye on Clarke-Doane’s concern with Benacerraf’s challenge. I note that even though the paper is rather technically constructed in arguing against multiversism, the non-negligible philosophical part is influenced to a certain extent by a phenomenologically motivated view of the matter. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

This article shows how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambiguity in the mathematical structures being axiomatized. Having these mathematical structures precisely defined can make systems more secure because there are fewer ambiguities and holes for cyberattackers to exploit. For example, there are no infinite elements in models for natural numbers to be exploited. On the other hand, the 1st-order theories and (...) computational systems which are not strongly-typed necessarily provide opportunities for cyberattack. Cyberattackers have severely damaged national, corporate, and individual security as well causing hundreds of billions of dollars of economic damage. [Sobers 2019] A significant cause of the damage is that current engineering practices are not sufficiently grounded in theoretical principles. In the last two decades, little new theoretical work has been done that practically impacts large engineering projects with the result that computer systems engineering education is insufficient in providing theoretical grounding. If the current cybersecurity situation is not quickly remedied, it will soon become much worse because of the projected development of Scalable Intelligent Systems by 2025 [Hewitt 2019]. Gödel strongly advocated that the Turing Machine is the preeminent universal model of computation. A Turing machine formalizes an algorithm in which computation proceeds without external interaction. However, computing is now highly interactive, which this article proves is beyond the capability of a Turing Machine. Instead of the Turing Machine model, this article presents an axiomatization of a strongly-typed universal model of digital computation up to a unique isomorphism. Strongly-typed Actors provide the foundation for tremendous improvements in cyberdefense. (shrink)