Ioannis G. Ntagkas

The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ, then either HOD is “close” to V or HOD is “far” from V. The question is whether the future will lead to the first or the second side of the dichotomy. Is HOD “close” to V, or “far” from V? There is a program aimed at establishing the first alternative—the “close” side of the HOD Dichotomy. This is the program of inner model theory. In recent years the third author has provided evidence that there is an ultimate inner model—Ultimate-L—and he has isolated a natural conjecture associated with the model—the Ultimate-L Conjecture. This conjecture implies that that the first alternative holds—HOD is “close” to V. This is the future in which pattern prevails. In this paper we introduce a very different program, one aimed at establishing the second alternative—the “far” side of the HOD Dichotomy. This is the program of large cardinals beyond choice. Kunen famously showed that if AC holds then there cannot be a Reinhardt cardinal. It has remained open whether Reinhardt cardinals are consistent in ZF alone. It turns out that there is an entire hierarchy of choiceless large cardinals of which Reinhardt cardinals are only the beginning, and, surprisingly, this hierarchy appears to be highly ordered and amenable to systematic investigation, as we shall show in this paper. The point is that if these choiceless large cardinals are consistent then the Ultimate-L Conjecture must fail. This is the future where chaos prevails.

The independence results in set theory invite the search for new and justified axioms. In Chapter 1 I set the stage by examining three approaches to justifying the axioms of standard set theory and argue that the approach via reflection principles is the most successful. In Chapter 2 I analyse the limitations of ZF and use this analysis to set up a mathematically precise minimal hurdle which any set of new axioms must overcome if it is to effect a significant reduction in incompleteness. In Chapter 3 I examine the standard method of justifying new axioms---reflection principles---and prove a result which shows that no reflection principle can overcome the minimal hurdle and yield a significant reduction in incompleteness. In Chapter 4 I introduce a new approach to justifying new axioms---extension principles---and show that such principles can overcome the minimal hurdle and much more, in particular, such principles imply PD and that the theory of second-order arithmetic cannot be altered by set size forcing. I show that in a sense these principles are inevitable. In Chapter 5 I close with a brief discussion of meta-mathematical justifications stemming from the work of Woodin. These touch on the continuum hypothesis and other questions which are beyond the reach of standard large cardinals

Gödel initiated the program of finding and justifying axioms that effect a significant reduction in incompleteness and he drew a fundamental distinction between intrinsic and extrinsic justifications. Reflection principles are the most promising candidates for new axioms that are intrinsically justified. Taking as our starting point Tait’s work on general reflection principles, we prove a series of limitative results concerning this approach. These results collectively show that general reflection principles are either weak ) or inconsistent. The philosophical significance of these results is discussed

In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 $ -statement with this feature in the sense that any other $\Sigma _1^2 $ -statement with this feature is Ω-equivalent to CH over ZFC. It is natural to look for other strengthenings of ZFC that have an even greater degree of Ω-completeness. For example, one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for all of third-order arithmetic. Going further, for each specifiable segment $V_\lambda $ of the universe of sets (for example, one might take $V_\lambda $ to be the least level that satisfies there is a proper class of huge cardinals), one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for the theory of $V_\lambda $ . If such theories exist, extend one another, and are unique in the sense that any other such theory B with the same level of Ω-completeness as A is actually Ω-equivalent to A over ZFC, then this would show that there is a unique Ω-complete picture of the successive fragments of the universe of sets and it would make for a very strong case for axioms complementing large cardinal axioms. In this paper we show that uniqueness must fail. In particular, we show that if there is one such theory that Ω-implies CH then there is another that Ω-implies¬CH

The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH and that there is not currently a convincing case to the effect that a given statement is absolutely undecidable

In this paper we investigate strong logics of first and second order that have certain absoluteness properties. We begin with an investigation of first order logic and the strong logics ω-logic and β-logic, isolating two facets of absoluteness, namely, generic invariance and faithfulness. It turns out that absoluteness is relative in the sense that stronger background assumptions secure greater degrees of absoluteness. Our aim is to investigate the hierarchies of strong logics of first and second order that are generically invariant and faithful against the backdrop of the strongest large cardinal hypotheses. We show that there is a close correspondence between the two hierarchies and we characterize the strongest logic in each hierarchy. On the first-order side, this leads to a new presentation of Woodin's Ω-logic. On the second-order side, we compare the strongest logic with full second-order logic and argue that the comparison lends support to Quine's claim that second-order logic is really set theory in sheep's clothing.

In this paper I examine Feferman’s reasons for maintaining that while the statements of first-order number theory are “completely clear'” and “completely definite,”' many of the statements of analysis and set theory are “inherently vague'” and “indefinite.”' I critique his four central arguments and argue that in the end the entire case rests on the brute intuition that the concept of subsets of natural numbers—along with the richer concepts of set theory—is not “clear enough to secure definiteness.” My response to this final, remaining point will be that the concept of “being clear enough to secure definiteness” is about as clear a case of an inherently vague and indefinite concept as one might find, and as such it can bear little weight in making a case against the definiteness of analysis and set theory.

Gödel argued that his incompleteness theorems imply that either “the mind cannot be mechanized” or “there are absolutely undecidable sentences.” In the precursor to this paper I examined the early arguments for the first disjunct. In the present paper I examine the most sophisticated argument for the first disjunct, namely, Penrose’s new argument. It turns out that Penrose’s argument requires a type-free notion of truth and a type-free notion of absolute provability. I show that there is a natural such system, DTK. I prove a series of results which show that Gödel’s disjunction is provable in the system, Penrose’s argument is invalid in the system, there can be no proof or refutation of either disjunct in the system, the independence results are robust in that they persist when one strengthens the principles governing absolute provability, and there are reasons to believe that the situation will not improve under any plausible alteration of the underlying theory of truth.

In this paper I address the question of whether the incompleteness theorems imply that “the mind cannot be mechanized,” where this is understood in the specific sense that “the mathematical outputs of the idealized human mind do not coincide with the mathematical outputs of any idealized finite machine.” Gödel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the effect that either “the mind cannot be mechanized” or “mathematical truth outstrips the idealized human mind.” Others, most notably, Lucas and Penrose, have claimed more—they have claimed that the incompleteness theorems actually imply the first disjunct. I will show that by sharpening the fundamental concepts involved and articulating the background assumptions governing them, one can prove Gödel’s disjunction, one can show that the arguments of Lucas and Penrose fail, and one can see what likely led proponents of the first disjunct astray.

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach.

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods.

The conceptual structure of orthodox quantum mechanics has not provided a fully satisfactory and coherent description of natural phenomena. With particular attention to the measurement problem, we review and investigate two unorthodox formulations. First, there is the model advanced by GRWP, a stochastic modification of the standard Schrödinger dynamics admitting statevector reduction as a real physical process. Second, there is the ontological interpretation of Bohm, a causal reformulation of the usual theory admitting no collapse of the statevector. Within these two seemingly quite different approaches, we discuss in a comparative manner, several points: The meaning of the state vector, the status of quantum probability, the legitimacy of attributing macro objective properties to physical systems, and the possibility of retrieving the classical limit. Finally, we consider aspects of non-locality and relevant difficulties with formulating a relativistic generalization of the two approaches.

This paper examines the problem of founding irreversibility on reversible equations of motion from the point of view of the Brussels school's recent developments in the foundations of quantum statistical mechanics. A detailed critique of both their 'subdynamics' and 'transformation' theory is given. It is argued that the subdynamics approach involves a generalized form of 'coarse-graining' description, whereas, transformation theory cannot lead to truly irreversible processes pointing to a preferred direction of time. It is concluded that the Brussels school's conception of microscopic temporal irreversibility, as such, is tacitly assumed at the macroscopic level. Finally a logical argument is provided which shows, independently of the mathematical formalism of the theory concerned, that statistical reasoning alone is not sufficient to explain the arrow of time

The present study attempts to provide a consistent and coherent account of what the world could be like, given the conceptual framework and results of contemporary quantum theory. It is suggested that standard quantum mechanics can, and indeed should, be understood as a realist theory within its domain of application. It is pointed out, however, that a viable realist interpretation of quantum theory requires the abandonment or radical revision of the classical conception of physical reality and its traditional philosophical presuppositions. It is argued, in this direction, that the conceptualization of the nature of reality, as arising out of our most basic physical theory, calls for a kind of contextual realism. Within the domain of quantum mechanics, knowledge of 'reality in itself', 'the real such as it truly is' independent of the way it is contextualized, is impossible in principle. In this connection, the meaning of objectivity in quantum mechanics is analyzed, whilst the important question concerning the nature of quantum objects is explored

Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker’s argument or Bell’s inequality. Depending on the mode of assignment of states to physical systems – unit state vectors versus non-idempotent density operators – we distinguish between strong/relational and weak/deconstructional forms of quantum nonseparability. The origin of the latter is traced down and discussed at length, whereas its relation to the all important concept of potentiality in forming a coherent picture of the puzzling entangled interconnections among spatially separated systems is also considered. Finally, certain philosophical consequences of quantum non-separability concerning the nature of quantum objects, the question of realism in quantum mechanics, and possible limitations in revealing the actual character of physical reality in its entirety are explored.

In the present study we attempt to incorporate the philosophical dialogue about physical reality into the instructional process of quantum mechanics. Taking into account that both scientific realism and constructivism represent, on the basis of a rather broad spectrum, prevalent philosophical currents in the domain of science education, the compatibility of their essential commitments is examined against the conceptual structure of quantum theory. It is argued in this respect that the objects of science do not simply constitute ‘personal constructions’ of the human mind for interpreting nature, as individualist constructivist consider,neither do they form products of a ‘social construction’, as sociological constructivist assume; on the contrary, they reflect objective structural aspects of the physical world. A realist interpretation of quantum mechanics, we suggest, is not only possible but also necessary for revealing the inner meaning of the theory’s scientific content. It is pointed out, however, that a viable realist interpretation of quantum theory requires the abandonment or radical revision of the classical conception of physical reality and its traditional metaphysical presuppositions. To this end, we put forward an alternative to the traditional realism interpretative scheme, which is in harmony with the findings of present-day quantum theory, and which, if adequately introduced into the instructional process of contemporary physics, is expected to promote the conceptual reconstruction of the learners towards an appropriate view of nature.

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences

Standard quantum mechanics undeniably violates the notion of separability that classical physics accustomed us to consider as valid. By relating the phenomenon of quantum nonseparability to the all-important concept of potentiality, we effectively provide a coherent picture of the puzzling entangled correlations among spatially separated systems. We further argue that the generalized phenomenon of quantum nonseparability implies contextuality for the production of well-defined events in the quantum domain, whereas contextuality entails in turn a structural-relational conception of quantal objects, viewed as carriers of dispositional properties. It is finally suggested that contextuality, if considered as a conditionalization preparation procedure of the object to be measured, naturally leads to a separable concept of reality whose elements are experienced as distinct, well-localized objects having determinate properties. In this connection, we find it necessary to distinguish the meaning of the term reality from the criterion of reality for us. The implications of the latter considerations for the notion of objectivity in quantum mechanics are also discussed.

La sémantique sous-jacente à la structure propositionnelle de la mécanique quantique des espaces de Hilbert implique une ambiguïté intrinsèque concernant l'impossibilité d'assigner des valeurs de vérité définies à toutes les propositions ayant trait à un système quantique sans générer de contradiction de type Kochen-Specker. Bien que ledit résultat de Kochen-Specker interdise une assignation globale et absolue des valeurs de vérité aux propositions de la mécanique quantique, il n'exclut pas les assignations contextuelles. À cet égard, le théorème d'unicité de Bub-Clifton est utilisé pour montrer que le caractère défini des valeurs de vérité est restauré de façon cohérente pour un sous-ensemble déterminé de propositions, défini par l'état du système quantique considéré et une observable préférée appropriée. Il est suggéré que le choix le plus naturel pour cette dernière, en particulier vis-à-vis du problème de l'assignation de valeurs de vérité en mécanique quantique, est que ce soit l'observable sur le point d'être mesurée qui ait une valeur déterminée. On fournit ainsi une conception de la vérité de la correspondance contextuelle qui est appropriée au domaine quantique du discours. La conception de la vérité qui en résulte est compatible avec une conception réaliste de la vérité, qui nie qu'il puisse exister un contexte de référence universel ou un point d'appui archimédien à partir duquel la totalité des faits de la nature puisse être évaluée logiquement.

In this paper, I propose to analyse two objections raised by Turner Jr in his paper “On Two Reasons Christian Theologians Should Reject The Intermediate State” in order to show that the intermediate state is an incoherent theory. As we shall see, the two untoward consequences that he mentions do not imply a metaphysical or logical contradiction. Consequently, I shall defend an Intermediate State and I shall propose briefly one metaphysical conception of the human being able to reply to Turner Jr’s objections.

In “What’s So Bad about Scientism?” (Mizrahi 2017), I argue that Weak Scientism, the view that “Of all the knowledge we have, scientific knowledge is the best knowledge” (Mizrahi 2017, 354; emphasis in original) is a defensible position. That is to say, Weak Scientism “can be successfully defended against objections” (Mizrahi 2017, 354). In his response to Mizrahi (2017), Christopher Brown (2017) provides more objections against Weak Scientism, and thus another opportunity for me to show that Weak Scientism is a defensible position, which is what I will do in this reply. In fact, I think that I have already addressed Brown’s (2017) objections in Mizrahi (2017), so I will simply highlight these arguments here.

Many contemporary epistemologists take rational inference to be a conscious action performed by the thinker (Boghossian 2014; 2018; Valaris 2014; Malmgren 2018). It is tempting to think that rational evaluability requires responsibility, which in turn requires conscious action. In that case, unconscious cognition involves merely associative or otherwise arational processing. This paper argues instead for deep rationalism: unconscious inference often exhibits the same rational status and richly structured logical character as conscious inference. The central case study is rationalization, in which people shift their attitudes in logically structured, reason-responsive ways in response to evidence of their own incompetence or immorality. These attitude shifts are irrational in a way that reflects on the thinker. Thus rationally evaluable inference extends downward into the unconscious. Many take the sole aim of belief to be truth (Velleman 2000) or knowledge (Williamson 2000), but the prevalence of rationalization suggests that belief updating often aims instead at preserving our positive conceptions of ourselves—that is, belief updating is part of a psychological immune system (Gilbert 2006; Mandelbaum 2019). This paper argues that the psychological immune system comprises a suite of distinct cognitive mechanisms, some (ir)rational and some arational, which are united by a common function of avoiding the maladaptive predomination of negative affect and maintaining stable motivation. Other aspects of the psychological immune system include (i) a domain-general positive bias in evaluative attitudes and (ii) “terror management,” i.e., the systematic strengthening of meaning-conferring beliefs to avoid death anxiety. The multiplicity of processes underlying the psychological immune system point toward an irrational but adaptive function of cognition to keep us motivated in a world rife with negativity and death.