In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 12.1 (2004) 89-93 [Access article in PDF] Richard Shusterman, Performing Live: Aesthetic Alternatives for the Ends of Art (New York: Cornell University Press, 2000) Performing Live can be ascribed to post-modern American pragmatism in its widest expression. The author's intention is to revalue aesthetic experience, as well as to expand its realm to the extent where such experience also encompasses areas alien to traditional (...) aesthetics (for example, popular art or the somatic arts of self-improvement), reaching "the art of living" and reclaiming life itself as performance.After the introduction, titled "Aesthetic Renewal for the Ends of Art: An Overture," the text is organized in two main parts: "Aesthetic Experience and Popular Art" and "Soma, Self, and Society." Along with its ambitious title, the book's organization and structure promise a consistency of approach and narrative that somewhat dissolves during the reading. Shusterman recognizes that the stylistic problems that arise from a compilation of articles spanning ten years, mixing newly written and revised articles, but appeals to the reader's appreciation of the "quality of the mix" (11). Despite this feature, he is a lucid and thoughtful communicator and his writing style is excellent.In order to propose new or revitalized alternatives for the ends of art, Shusterman [End Page 89] explores the crisis in traditional visions of art, pointing to the compartmentalization and lack of credibility in current artistic thought and practice. Hegel, Walter Benjamin, Gianni Vattimo, and Arthur Danto provide him with the philosophical arguments accounting for the modern "exhaustion" of art. He supports a dialectical approach, both naturalistic and historicist, and builds a solid case for the possibility of alternatives in aesthetic thought and experience. He proposes two alternatives in his introduction: The two most prominent sites for today's aesthetic alternatives are clearly the mass-media popular arts and the complex cluster of disciplines devoted to bodily beauty and the art of living as expressed in today's preoccupation with aesthetic lifestyles. (7) It is unclear why these alternatives are "clearly" "the two most prominent." The author does not build a case for this assumption or for the "newness" of these alternatives. The "compilation style" mentioned above and this lack of justification for one of the most original elements in the book make this text often read as a philosophical drafting board. Keeping these characteristics in mind and also critically pondering the degrees of success in the enterprise, the reader must give Shusterman credit for taking risks while suggesting concrete examples for an experiential, holistic philosophy. In this sense, he mentions (in a different context) that "all of us [are caught] between conceptual history and futuristic speculation" (145), and he takes to heart this situation and its challenges.The first chapter in Performing Live aims to redeem or revalue the concept of aesthetic experience. For Shusterman, the loss of "felt experience" in art makes the interest in this concept utterly relevant for art's survival. He traces the lineage of this aesthetic philosophy to John Dewey, Monroe Beardsley, Nelson Goodman, and Arthur Danto. Besides focusing on these authors, his analysis revisits some of the main currents of thought in Western philosophy on the topic (for example, Plato, Hume, Kant, Dickie, Adorno, Benjamin, Gadamer). He concludes that a pragmatic approach to aesthetics, applying the concept of aesthetic experience directionally (as a means towards the actual experience rather than as a definable concept), can provide new paths for revitalizing art. Throughout the text this concept is also used expansively. The post-modern justification of the proposed aesthetics, by allowing the extension of aesthetic experience to embrace "the art of living," can leave the reader wondering if Shusterman has not simply turned Kierkegaard's existentialist stages to self-realization upside down.The second chapter is an open defense of popular art, carried out by contesting the main complaints found in current art criticism. Shusterman's defense is not directed to the products of popular art, but against the claim that popular art is aesthetically "worthless." His definition of "popular art... (shrink)

Cardinal Etchegaray argues here that the dialogue between church and state, with both parties rooted in sometimes conflicting absolute claims and values, has become more recently a wider-ranging dialogue between the church and a pluralist, relativist liberal society. The very definition of “liberal society” is open to argument, and the church may find elements to commend or oppose in any given definition. Since the nineteenth century the church has often found itself in opposition to various ideas of “liberty,” especially (...) those that represent an idolatry of absolute rights that push aside Christian spiritual and moral concerns. Now that liberalism has become the pervasive model for society, the church finds it may more easily express its critique, with the aim of making society more conducive to allowing people to become fully human. Indeed, the church provides a necessary check on the excesses of liberal society, particularly those of capitalism and democratic populism. Its essential point is the transcendent dimension of the human person—our connection with the divine. The pursuit of economic and political ends needs to be governed by a concern for the ethical, itself founded on the divine. Liberal society will only live up to its own highest aspirations through promoting self-mastery and an awareness that humanity’s freedom is ultimately found only in God. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 12.1 (2004) 89-93 [Access article in PDF] Richard Shusterman, Performing Live: Aesthetic Alternatives for the Ends of Art (New York: Cornell University Press, 2000) Performing Live can be ascribed to post-modern American pragmatism in its widest expression. The author's intention is to revalue aesthetic experience, as well as to expand its realm to the extent where such experience also encompasses areas alien to traditional (...) aesthetics (for example, popular art or the somatic arts of self-improvement), reaching "the art of living" and reclaiming life itself as performance.After the introduction, titled "Aesthetic Renewal for the Ends of Art: An Overture," the text is organized in two main parts: "Aesthetic Experience and Popular Art" and "Soma, Self, and Society." Along with its ambitious title, the book's organization and structure promise a consistency of approach and narrative that somewhat dissolves during the reading. Shusterman recognizes that the stylistic problems that arise from a compilation of articles spanning ten years, mixing newly written and revised articles, but appeals to the reader's appreciation of the "quality of the mix" (11). Despite this feature, he is a lucid and thoughtful communicator and his writing style is excellent.In order to propose new or revitalized alternatives for the ends of art, Shusterman [End Page 89] explores the crisis in traditional visions of art, pointing to the compartmentalization and lack of credibility in current artistic thought and practice. Hegel, Walter Benjamin, Gianni Vattimo, and Arthur Danto provide him with the philosophical arguments accounting for the modern "exhaustion" of art. He supports a dialectical approach, both naturalistic and historicist, and builds a solid case for the possibility of alternatives in aesthetic thought and experience. He proposes two alternatives in his introduction: The two most prominent sites for today's aesthetic alternatives are clearly the mass-media popular arts and the complex cluster of disciplines devoted to bodily beauty and the art of living as expressed in today's preoccupation with aesthetic lifestyles. (7) It is unclear why these alternatives are "clearly" "the two most prominent." The author does not build a case for this assumption or for the "newness" of these alternatives. The "compilation style" mentioned above and this lack of justification for one of the most original elements in the book make this text often read as a philosophical drafting board. Keeping these characteristics in mind and also critically pondering the degrees of success in the enterprise, the reader must give Shusterman credit for taking risks while suggesting concrete examples for an experiential, holistic philosophy. In this sense, he mentions (in a different context) that "all of us [are caught] between conceptual history and futuristic speculation" (145), and he takes to heart this situation and its challenges.The first chapter in Performing Live aims to redeem or revalue the concept of aesthetic experience. For Shusterman, the loss of "felt experience" in art makes the interest in this concept utterly relevant for art's survival. He traces the lineage of this aesthetic philosophy to John Dewey, Monroe Beardsley, Nelson Goodman, and Arthur Danto. Besides focusing on these authors, his analysis revisits some of the main currents of thought in Western philosophy on the topic (for example, Plato, Hume, Kant, Dickie, Adorno, Benjamin, Gadamer). He concludes that a pragmatic approach to aesthetics, applying the concept of aesthetic experience directionally (as a means towards the actual experience rather than as a definable concept), can provide new paths for revitalizing art. Throughout the text this concept is also used expansively. The post-modern justification of the proposed aesthetics, by allowing the extension of aesthetic experience to embrace "the art of living," can leave the reader wondering if Shusterman has not simply turned Kierkegaard's existentialist stages to self-realization upside down.The second chapter is an open defense of popular art, carried out by contesting the main complaints found in current art criticism. Shusterman's defense is not directed to the products of popular art, but against the claim that popular art is aesthetically "worthless." His definition of "popular art... (shrink)

Assuming large cardinals we produce a forcing extension of V which preserves cardinals, does not add reals, and makes the set of points of countable V cofinality in κ+ nonstationary. Continuing to force further, we obtain an extension in which the set of points of countable V cofinality in ν is nonstationary for every regular ν ≥ κ+. Finally we show that our large cardinal assumption is optimal.

The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $\aleph _{0}$ and smaller or equal than $\mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $\omega $ such that the intersection of any two of its elements is finite. A MAD family (...) is a maximal almost disjoint family. An ultrafilter $\mathcal {U}$ on $\omega $ is called a P-point if every countable $\mathcal {B\subseteq U}$ there is $X\in $ $\mathcal {U}$ such that $X\setminus B$ is finite for every $B\in \mathcal {B}.$ This kind of ultrafilters has been extensively studied, however there is still a large number of open questions about them.In the preliminaries we recall the principal properties of filters, ultrafilters, ideals, MAD families and cardinal invariants of the continuum. We present the construction of Shelah, Mildenberger, Raghavan, and Steprāns of a completely separable MAD family under $\mathfrak {s\leq a}.$ None of the results in this chapter are due to the author.The second chapter is dedicated to a principle of Sierpiński. The principle $\left $ of Sierpiński is the following statement: There is a family of functions $\left \{ \varphi _{n}:\omega _{1}\longrightarrow \omega _{1}\mid n\in \omega \right \} $ such that for every $I\in \left [ \omega _{1}\right ] ^{\omega _{1}}$ there is $n\in \omega $ for which $\varphi _{n}\left [ I\right ] =\omega _{1}.$ This principle was recently studied by Arnie Miller. He showed that this principle is equivalent to the following statement: There is a set $X=\left \{ f_{\alpha }\mid \alpha \alpha $ then $f_{\beta }\cap g$ is infinite. Miller showed that the principle of Sierpiński implies that non $\left =\omega _{1}.$ He asked if the converse was true, i.e., does non $\left =\omega _{1}$ imply the principle $\left $ of Sierpiński? We answer his question affirmatively. In other words, we show that non $\left =\omega _{1}$ is enough to construct an $\mathcal {IE}$ -Luzin set. It is not hard to see that the $\mathcal {IE}$ -Luzin set we constructed is meager. This is no coincidence, because with the aid of an inaccessible cardinal, we construct a model where non $\left =\omega _{1}$ and every $\mathcal {IE}$ -Luzin set is meager.The third chapter is dedicated to a conjecture of Hrušák. Michael Hrušák conjectured the following: Every Borel cardinal invariant is either at most non $\left $ or at least cov $\left $. Although the veracity of this conjecture is still an open problem, we were able to obtain some partial results: The conjecture is false for “Borel invariants of $\omega _{1}^{\omega }$ ” nevertheless, it is true for a large class of definable invariants. This is part of a joint work with Michael Hrušák and Jindřich Zapletal.In the fourth chapter we present a survey on destructibility of ideals and MAD families. We prove several classic theorems, but we also prove some new results. For example, we show that every almost disjoint family of size less than $\mathfrak {c}$ can be extended to a Cohen indestructible MAD family is equivalent to $\mathfrak {b=c}$. A MAD family $\mathcal {A}$ is Shelah–Steprāns if for every $X\subseteq \left [ \omega \right ] ^{<\omega }\setminus \left \{ \emptyset \right \} $ either there is $A\in \mathcal {I}\left $ such that $s\cap A\neq \emptyset $ for every $s\in X$ or there is $B\in \mathcal {I}\left $ that contains infinitely many elements of X $ denotes the ideal generated by $\mathcal {A}$ ). This concept was introduced by Raghavan which is connected to the notion of “strongly separable” introduced by Shelah and Steprāns. We prove that Shelah–Steprāns MAD families have very strong indestructibility properties: Shelah–Steprāns MAD families are indestructible for “many” definable forcings that does not add dominating reals. According to the author’s best knowledge, this is the strongest notion that has been considered in the literature so far. In spite of their strong indestructibility, Shelah–Steprāns MAD families can be destroyed by a ccc forcing that does not add unsplit or dominating reals. We also consider some strong combinatorial properties of MAD families and show the relationships between them.The fifth chapter is one of the most important chapters in the thesis. A MAD family $\mathcal {A}$ is called $+$ -Ramsey if every tree that branches into $\mathcal {I}\left $ -positive sets has an $\mathcal {I}\left $ -positive branch. Michael Hrušák’s first published question is the following: Is there a $+$ -Ramsey MAD family? It was previously known that such families can consistently exist. However, there was no construction of such families using only the axioms of ZFC. We solve this problem by constructing such a family without any extra assumptions.In the fourth and fifth chapters, we introduce several notions of MAD families, in the sixth chapter we prove several implications and non implications between them. We construct several MAD families with different properties.In the seventh chapter we build models without P -points. We show that there are no P -points after adding Silver reals either iteratively or by the side by side product. These results have some important consequences: The first one is that is its possible to get rid of P -points using only definable forcings. This answers a question of Michael Hrušák. We can also use our results to build models with no P -points and with arbitrarily large continuum, which was also an open question. These results were obtained with David Chodounský.prepared by Osvaldo Guzmán GonzálezE-mail : [email protected] : https://arxiv.org/abs/1810.09680. (shrink)

A cardinal κ is tall if for every ordinal θ there is an embedding j: V → M with critical point κ such that j > θ and Mκ ⊆ M. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a (...) strong cardinal. Any tall cardinal κ can be made indestructible by a variety of forcing notions, including forcing that pumps up the value of 2κ as high as desired. (shrink)

We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness of (...) these two-cardinal derived topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Holy and White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context. (shrink)

Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Principle. Husserl, and later Parsons, objected that there is no such close connection, that our most primitive conception of cardinality arises from our grasp of the practice of counting. Some empirical work on children's development of a concept of number has sometimes been thought to point in the same direction. I argue, however, that (...) Frege was close to right, that our concept of cardinal number is closely connected with a notion like that of one-one correspondence, a more primitive notion we might call just as many. (shrink)

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. (shrink)

Despite the recent claims of some prominent Catholic philosophers, I argue that Cardinal Newman's writings are in fact largely compatible with the contemporary movement in the philosophy of religion known as Reformed Epistemology, and in particular with the work of Alvin Plantinga. I first show how the thought of both Newman and Plantinga was molded in response to the "evidentialist" claims of John Locke. I then examine the details of Newman's response, especially as seen in his Essay in Aid (...) of A Grammar of Assent, suggesting that many of Newman's central ideas closely mirror Plantinga's. Finally, I argue that ifNewman and Plantinga part ways at any point, it is with respect to the basicality of specifically Christian (as opposed to theistic) belief. (shrink)

We show that the predicate “x is the power set of y” is ‐definable, if V = L[E] is an extender model constructed from a coherent sequences of extenders, provided that there is no inner model with a Woodin cardinal. Here is a predicate true of just the infinite cardinals. From this we conclude: the validities of second order logic are reducible to, the set of validities of the Härtig quantifier logic. Further we show that if no L[E] model (...) has a cardinal strong up to one of its ℵ‐fixed points, and, the Löwenheim number of this logic, is less than the least weakly inaccessible δ, then (i) is a limit of measurable cardinals of K, and (ii) the Weak Covering Lemma holds at δ. (shrink)

The first international Newman Conference took place in Luxembourg from July 23rd till July 28th, 1956. Many representatives of various countries of Europe were present. Apart from the well nigh perfect organization, it was undoubtedly this common sympathy and admiration for Cardinal Newman that explains the extremely pleasant atmosphere that prevailed throughout these days. It was not, however, a dolce far niente, because every day was filled with addresses and lectures which in various ways and from differing points (...) of view tried to estimate the importance of Newman for the modern age. Some lecturers looked back into the history of the Cardinal and showed how in fact his works still held their message, couched in terms and modes of thinking that are in harmony with the deepest needs and desires of modern man. Others went farther and indicated lines along which a still more profound influence of Newman could be expected in the future. The whole of the conference consequently was something of a stocktaking showing the capital realized and the promises for the future. (shrink)

We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.

For each natural number n, let C(n) be the closed and unbounded proper class of ordinals α such that Vα is a Σn elementary substructure of V. We say that κ is a C(n)-cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C(n). By analyzing the notion of C(n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show that, starting at the (...) level of superstrong cardinals and up to the level of rank-into-rank embeddings, C(n)-cardinals form a much finer hierarchy. The naturalness of the notion of C(n)-cardinal is exemplified by showing that the existence of C(n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C(n)-extendible cardinals. (shrink)

Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...) statements and questions can be expressed in InqBQ about the number of individuals satisfying a given predicate. As special cases, we show that several variants of the question how many individuals satisfy α(x) are not expressible in InqBQ, both in the general case and in restriction to finite models. (shrink)

I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j:V→M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j: V \to M}$$\end{document} such that M is closed under sequences of length sup{j|f:κ→κ}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sup\{{j\,|\,f: \kappa \to \kappa}\}}$$\end{document}. (...) Some of the other cardinals analyzed include the super-high-jump cardinals, almost-high-jump cardinals, Shelah-for-supercompactness cardinals, Woodin-for-supercompactness cardinals, Vopěnka cardinals, hypercompact cardinals, and enhanced supercompact cardinals. I organize these cardinals in terms of consistency strength and implicational strength. I also analyze the superstrong cardinals, which are weaker than supercompact cardinals but are related to high-jump cardinals. Among the results, I highlight the following. Vopěnka cardinals are the same as Woodin-for-supercompactness cardinals.There are no excessively hypercompact cardinals.Furthermore, I prove some results relating high-jump cardinals to forcing, as well as analyzing Laver functions for super-high-jump cardinals. (shrink)

It is proved in (without the axiom of choice) that for all infinite cardinals and all natural numbers, where is the cardinality of the set of permutations with exactly non‐fixed points of a set which is of cardinality.

For a set x, let ${\cal S}\left$ be the set of all permutations of x. We prove in ZF several results concerning this notion, among which are the following: For all sets x such that ${\cal S}\left$ is Dedekind infinite, $\left| {{{\cal S}_{{\rm{fin}}}}\left} \right| < \left| {{\cal S}\left} \right|$ and there are no finite-to-one functions from ${\cal S}\left$ into ${{\cal S}_{{\rm{fin}}}}\left$, where ${{\cal S}_{{\rm{fin}}}}\left$ denotes the set of all permutations of x which move only finitely many elements. For all sets (...) x such that ${\cal S}\left$ is Dedekind infinite, $\left| {{\rm{seq}}\left} \right| < \left| {{\cal S}\left} \right|$ and there are no finite-to-one functions from ${\cal S}\left$ into seq, where seq denotes the set of all finite sequences of elements of x. For all infinite sets x such that there exists a permutation of x without fixed points, there are no finite-to-one functions from ${\cal S}\left$ into x. For all sets x, $|{[x]^2}| < \left| {{\cal S}\left} \right|$. (shrink)

We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman’s neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. The paper is (...) dedicated to the memory of Jim Baumgartner whose seminal joint paper :109–129, 1987) with Saharon Shelah provided a critical mass in the theory in question. A new result which we obtain as a side product is the consistency of the existence of a function \ with the appropriate \-version of property \ for regular \ satisfying \. (shrink)

Let P be any one of the following combinatorial properties: weak P-pointness, weak (semi-) Q-pointness, weak (semi-)selectivity, ω-closedness. We deal with the following two questions: (1) What is the least cardinal κ such that there exists an ideal with κ many generators that does not have the property P? (2) Can one extend every ideal with the property P to a prime ideal with the property P?

We give an analysis over a variation of causal sets where the light cone of an event is represented by finitely branching trees with respect to any given arbitrary dynamics. We argue through basic topological properties of Cantor space that under certain assumptions about the universe, spacetime structure and causation, given any event x, the number of all possible future worldlines of x within the many-worlds interpretation is uncountable. However, if all worldlines extending the event x are ‘eventually deterministic’, then (...) the cardinality of the set of future worldlines with respect to x is exactly ℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _0$$\end{document}, i.e., countably infinite. We also observe that if there are countably many future worldlines with respect to x, then at least one of them must be necessarily ‘decidable’ in the sense that there is an algorithm which determines whether or not any given event belongs to that worldline. We then show that if there are only finitely many worldlines in the future of an event x, then they are all decidable. We finally point out the fact that there can be only countably many terminating worldlines. (shrink)

Say that κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}’s measurability is destructible if there exists a κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. It then follows that A1={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below λδ} is unbounded (...) in κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. On the other hand, under the same hypotheses, A2={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ′s measurability is indestructible when forcing with either Add or Add} is unbounded in κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document} as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document} or A2=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \emptyset}$$\end{document}. In each of these models, both of which have restricted large cardinal structures above κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, every measurable cardinal δ which is not a limit of measurable cardinals is δ+ strongly compact, and there is an indestructibly supercompact cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}. In the model in which A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document}, every measurable cardinal δ which is not a limit of measurable cardinals is <λδ strongly compact and has its <λδ strong compactness indestructible when forcing with δ-directed closed partial orderings having rank below λδ. The choice of the least beth fixed point above δ is arbitrary, and other values of λδ are also possible. (shrink)

There are long-standing doubts about whether data from subjective scales—for instance, self-reports of happiness—are cardinally comparable. It is unclear how to assess whether these doubts are justified without first addressing two unresolved theoretical questions: how do people interpret subjective scales? Which assumptions are required for cardinal comparability? This paper offers answers to both. It proposes an explanation for scale interpretation derived from philosophy of language and game theory. In short: conversation is a cooperative endeavour governed by various maxims (Grice (...) 1989); because subjective scales are vague and individuals want to make themselves understood, scale interpretation is a search for a focal point (Schelling 1960). A specific focal point it hypothesised; if this hypothesis is correct, subjective data will be cardinally comparable. Four individually necessary and jointly sufficient conditions for cardinal comparability are specified. The paper then argues this hypothesis can be empirically be tested, makes an initial attempt to do so using subjective well-being data, and concludes it is supported. Numerous areas for further research are identified including, at the end of the paper, how certain tests could be used to ‘correct’ subjective data if they are not cardinal. (shrink)

In this very readable and interesting book Mr. Weatherby explores the thesis that Newman, while remaining true to Catholic doctrinal orthodoxy, nevertheless, compromised philosophically with the subjectivism, relativism, and individualism inherent in modern thought. Mr. Weatherby further claims that Newman treated these premises of modern thought as though "they were capable of synthesis with Catholic dogma." In coming to this position, Newman rejected the fifteen hundred-year old idea of a unified Christian society and accepted instead the fragmentation on which modern (...) culture is based. To develop his main point, Weatherby divides his book into four parts. Part One, "Newman and the Old Orthodoxy," reveals Newman’s divergence philosophically from the Caroline theological tradition and the Metaphysical poets. Newman did not deny that the Creation reflects the mind of God, but he personally could not find it. He was forced, therefore, to look for the "Paradise within" since he was unable to find God’s Paradise without. In Part Two, "The Spirit Afloat," after examining Newman’s Idealism and his relation to the Alexandrian Fathers, who were essentially mystic and idealist, Weatherby shows that Newman was a man of his times in that he had a much greater affinity with the Romantic poets than with the Metaphysical poets or those of the Middle Ages and Renaissance. These latter expressed metaphorically their full accord with the Thomist and Caroline outlook that God’s operations were visible in every detail of nature and that man by reason can proceed from the order and beauty of the visible world to a knowledge of God. The Romantics, on the other hand, with their more subjective view of life and nature, stressed not so much the external reality as man’s individual apprehension of it. The Romantics’ dominant impulse was their search for the "Paradise within." In Part Three, "Newman’s Modernism: A Theology of Safeguards," a study of Newman’s orthodox subjectivism, individualism, and relativism is presented, and Weatherby uses William R. Ingel’s words on Newman to point out that "one side of religion was based on principles which, when logically drawn out, must lead away from Catholicism in the direction of an individualistic religion of experience, and a substitution of history for dogma which makes all truth relative and all values fluid." Weatherby in Part Four, "The Consequences," articulates his criticism of Newman’s stand. It is, he claims, too radical one. Although Weatherby takes care not to call Newman a revolutionary—only a radical in his thinking—he points out that had Newman followed his anti-traditional mode of thought to its logical conclusion, political and social revolution could have resulted. Weatherby claims that Newman attempts to escape from the revolutionary consequences of his philosophy in that his "radicalism is never translated into religious or political activism." One of the strengths of Mr. Weatherby’s book is the great thoroughness with which he supports his stand. He gives specific and numerous examples and quotations from Newman’s works and from those of the other writers and philosophers he is using to make his point. This method, while admirable on the whole, occasionally results in repetition since Weatherby makes certain to give a summary after each comparison that is made.—M. L. F. (shrink)

When we are faced with a choice among acts, but are uncertain about the true state of the world, we may be uncertain about the acts’ “choiceworthiness”. Decision theories guide our choice by making normative claims about how we should respond to this uncertainty. If we are unsure which decision theory is correct, however, we may remain unsure of what we ought to do. Given this decision-theoretic uncertainty, meta-theories attempt to resolve the conflicts between our decision theories...but we may be (...) unsure which meta-theory is correct as well. This reasoning can launch a regress of ever-higher-order uncertainty, which may leave one forever uncertain about what one ought to do. There is, fortunately, a class of circumstances under which this regress is not a problem. If one holds a cardinal understanding of subjective choiceworthiness, and accepts certain other criteria, one’s hierarchy of metanormative uncertainty ultimately converges to precise definitions of “subjective choiceworthiness” for any finite set of acts. If one allows the metanormative regress to extend to the transfinite ordinals, the convergence criteria can be weakened further. Finally, the structure of these results applies straightforwardly not just to decision-theoretic uncertainty, but also to other varieties of normative uncertainty, such as moral uncertainty. (shrink)

In 1995 we gave a new simple principle of combinatorial set theory and showed that it implies the existence of a nontrivial elementary embedding from a rank into itself, and follows from the existence of a nontrivial elementary embedding from V into M, where M contains the rank at the first fixed point above the critical point. We then gave a “diamondization” of this principle, and proved its relative consistency by means of a standard forcing argument.

Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is (...) consistent for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that κ is extendible, there is an extendible Laver sequence at κ. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals. (shrink)

We study the degree of (weak) Q-pointness, and that of (weak) P-pointness, of ideals on a regular infinite cardinal.

The continuum function αmaps to2α on regular cardinals is known to have great freedom. Let us say that F is an Easton function iff for regular cardinals α and β, image and α<β→F≤F. The classic example of an Easton function is the continuum function αmaps to2α on regular cardinals. If GCH holds then any Easton function is the continuum function on regular cardinals of some cofinality-preserving extension V[G]; we say that F is realised in V[G]. However if we also wish (...) to preserve measurable cardinals, new restrictions must be put on F. We say that κ is F-hypermeasurable iff there is an elementary embedding j:V→M with critical point κ such that H)Vsubset of or equal toM; j will be called a witnessing embedding. We will show that if GCH holds then for any Easton function F there is a cofinality-preserving generic extension V[G] such that if κ, closed under F, is F-hypermeasurable in V and there is a witnessing embedding j such that j≥F, then κ will remain measurable in V[G]. (shrink)

An interview with the professor and philosopher Emmanuel Falque, in the context of his passage through the University of Coimbra, in the context of the Journée Internationale d’études philosophiques, which will take place on 26 May 2022, at the Faculty of Letters, entitled: «L’im‑pensable : Aux confins de la phénoménalité». In this interview, In this interview, our author coming to his entire philosophical project, from its origins to his most recent scientific production. The philosopher tells us about the provenance of (...) his thought through his main philosophical works and his existential interpretation and phenomenological reading of patristic and medieval philosophy as well as his debates with phenomenology and contemporary philosophy, particularly French philosophy. Here the epistemological and metaphysical question between philosophy and theology, literature and aesthetics, psychoanalysis and phenomenology is also addressed; the concept of «corps épandu», the corporeality or the embodiment as the cardinal point of human finitude and its incessant search to think our «humanity in common». Emmanuel Falque also presents us in this interview the genesis and the fundamental idea of Hors phénomène, as the central axis of his global philosophical project, but also as the revelation of a certain «turning point», inflexion or even of «radicalization» of his démarche, as well as its possible consequences to rethink aesthetics, ethics, politics and theology. The French thinker also talks to us here about the future of philosophy and the new horizons of his reflection (the new triptych...), about the authors and figures in the history of thought (philosophers or others) who have influenced and impacted his own philosophical‑existential path. Thus, the work of a thinker-philosopher is always an ex-position of himself to others, permanently thinking the world of life, the embodiment of reason in the folds of history. (shrink)

A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. Full Reflection states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than κ having the Mitchell order κ++ it is consistent that Full (...) Reflection holds at every λ ≤ κ and κ is measurable. (shrink)

We consider iterations of general elementary embeddings and, using this notion, point out helices of consistency-wise implications between large large cardinals.Up to now, large cardinal properties have been considered as properties which cannot be accessed by any weaker properties and it has been known that, with respect to this relation, they form a proper hierarchy. The helices we point out significantly change this situation: the same sequence of large cardinal properties occurs repeatedly, changing only the parameters.As results of (...) our investigation of this helical structure, we have new characterizations of extendible cardinals and of Vopěnkan cardinals in terms of elementary embeddings from the universe V, a new large large cardinal property which looks like Shelahness properly between Vopěnkaness and almost hugeness, and a more direct relation between Vopěnkaness and Woodinness than already known.We also consider limits of the helices and relations with the axioms I1–I3. (shrink)

This is an article whose intended scope is to deal with the question of infinity in formal mathematics, mainly in the context of the theory of large cardinals as it has developed over time since Cantor’s introduction of the theory of transfinite numbers in the late nineteenth century. A special focus has been given to this theory’s interrelation with the forcing theory, introduced by P. Cohen in his lectures of 1963 and further extended and deepened since then, which leads to (...) a development and further refinement of the theory of large cardinals ultimately touching, especially in view of the discussion in the last section, on the metatheoretical nature of infinity. The whole undertaking, which takes into account major stages of the research in large cardinals theory, tries to present a defensible argumentation against an ontology of infinity actually rooted in the notion of subjectivity within the world. This means that rather than talking of a general ontology of infinity in the ideal platonic or in the aristotelian sense of potentiality, even in the alternative sense of an ontology of the event in A. Badiou’s sense, one can argue from a subjective point of view about the impossibility of defining cardinalities greater than the first uncountable one \ that would correspond to a distinct existence in real world terms or would be supported by a mathematical intuition in terms of reciprocity with experience. The argumentation from the particular standpoint includes also certain comments on the delimitative character of Gödel’s constructive universe L and the influence of the constructive approach in narrowing the breadth of an ‘ontology’ of infinity. (shrink)

The factorial of a cardinal, denoted by, is the cardinality of the set of all permutations of a set which is of cardinality. We give a condition that makes the cardinal equality provable without the axiom of choice. In fact, we prove in that, for all cardinals, if and there is a permutation without fixed points on a set which is of cardinality, then.

The factorial of a cardinal, denoted by, is the cardinality of the set of all permutations of a set which is of cardinality. We give a condition that makes the cardinal equality provable without the axiom of choice. In fact, we prove in that, for all cardinals, if and there is a permutation without fixed points on a set which is of cardinality, then.

Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal $\kappa$ indestructible under $\kappa$-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe satisfies certain indestructibility properties. Specifically, we show that if K is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the (...) only strongly compact cardinals are the elements of K or their measurable limit points, every $\kappa \in K$ is a supercompact cardinal indestructible under $\kappa$-directed closed forcing, and every $\kappa$ a measurable limit point of K is a strongly compact cardinal indestructible under $\kappa$-directed closed forcing not changing $\wp$. We then derive as a corollary a model for the existence of a strongly compact cardinal $\kappa$ which is not $\kappa^+$ supercompact but which is indestructible under $\kappa$-directed closed forcing not changing $\wp and remains non-$\kappa^+$ supercompact after such a forcing has been done. (shrink)

There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann’s work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be considered from a philosophical (...) point of view. (shrink)

We address three questions raised by Cummings and Foreman regarding a model of Gitik and Sharon. We first analyze the PCF-theoretic structure of the Gitik–Sharon model, determining the extent of good and bad scales. We then classify the bad points of the bad scales existing in both the Gitik–Sharon model and other models containing bad scales. Finally, we investigate the ideal of subsets of singular cardinals of countable cofinality carrying good scales.

Probably the two most famous examples of elementary embeddings between inner models of set theory are the embeddings of the universe into an inner model given by a measurable cardinal and the embeddings of the constructible universeLinto itself given by 0#. In both of these examples, the “target model” is a subclass of the “ground model”. It is not hard to find examples of embeddings in which the target model is not a subclass of the ground model: ifis a (...) generic ultrafilter arising from forcing with a precipitous ideal on a successor cardinalκ, then the ultraproduct of the ground model viacollapsesκ. Such considerations suggest a classification of how close the target model comes to “fitting inside” the ground model.Definition 1.1. LetMandNbe inner models of ZFC, and letj:M→Nbe an elementary embedding. Theco-critical pointofjis the least ordinalλ, if any exist, such that there isX⊆λ, X∈NbutX∉M. Such anXis called anew subsetofλ.It is easy to see that the co-critical point ofj:M→Nis a cardinal inN. (shrink)

Cardinal Mercier’s Manual of Modern Scholastic Philosophy is a standard work, prepared at the Higher Institute of Philosophy, Louvain, mainly for the use of clerical students in Catholic Seminaries. Though undoubtedly elementary, it contains a clear, simple, and methodological exposition of the principles and problems of every department of philosophy, and its appeal is not to any particular class, but broadly human and universal. Volume I includes a general introduction to philosophy and sections on cosmology, psychology, criteriology, and metaphysics (...) or ontology. (shrink)

For a cardinal, we write for the cardinality of the set of permutations with finitely many non‐fixed points of a set which is of cardinality. We investigate the relationships between and for an arbitrary infinite cardinal in (without the axiom of choice). It is proved in that for all infinite cardinals, and we show that this is the best possible result.