Over the last few decades, our theories of fundamental physics have become increasingly detached from empirical data. Recently, Richard Dawid has argued that the progressive separation of theory from experiment is concomitant with a number of changes in the methodology of the discipline. More precisely, Dawid has argued that the new methods of fundamental physics amount to a form of non-empirical confirmation, and that physical theories may therefore be confirmed even in the absence of empirical data. In this paper, I (...) critically engage with Dawid's views on non-empirical physics. My main target is the excessively central role that, in my view, the notion of non-empirical confirmation plays on Dawid's analysis. I will therefore argue that, while non-empirical methods may legitimately be employed in physics, those are not always deployed with the purpose of confirming scientific theories. Non-empirical arguments may also be used in order to ground pragmatic choices regarding what theories deserve to be further developed—and this is an aspect of the work that non-empirical methods perform that cannot be solely understood in terms of Dawid's notion of non-empirical confirmation. I support these claims by making use of a case-study from the early history of particle physics. The case-study concerns a theory of the strong force that J. J. Sakurai introduced in 1960. As we shall see, both the genesis of Sakurai's theory as well as the arguments that he used to defend it provide direct support for my own views on the role that non-empirical methods play in physics. Finally, I conclude the paper by introducing a notion that I believe is useful in making sense of the manner in which the pragmatic and the epistemic dimensions of non-empirical reasoning relate to each other, namely the notion of a cognitive attitude. -/- . (shrink)

In lieu of an abstract, here is a brief excerpt of the content:166 HUME'S INTEREST IN NEWTON AND SCIENCE Many writers have been forced to examine — in their treatments of Hume's knowledge of and acquaintance with scientific theories of his day — the related questions of Hume's knowledge of and acquaintance with Isaac Newton and of the nature and extent of Newtonian influences upon Hume's thinking. Most have concluded that — in some sense — Hume was acquainted with and (...) influenced by Newton's thought in particular and scientific thought in general. The genesis of this paper is the recent point of view put forward by Peter Jones which challenges the many permutations of this almost ritualistic standard line by removing Hume entirely from the Newtonian and the scientific scenes of thought. Jones argues that Hume knew less about Newton and science, and needed to know less about Newton and 2 science, than he believes is required by the above interpretation. Indeed, Jones argues that Hume's fundamental assumptions, which, according to Jones, derive ultimately from a form of Ciceronian humanism, drive a "wedge" between Newton's thought and that of 3 Hume. Even Hume's introductory remarks in the Treatise about his universal "science of man" are, for Jones, a declaration of independence from the materialistic trend (as Jones sees it) of Newtonian 4 science and not, as so many commentators have maintained — however tenuously or strongly evidence for linkage of Hume's project with Newtonian or scientific thought. Jones baldly argues that Hume totally lacked interest in science in general and in Newton and Newtonian science in particular. Following J. H. Burton's observation that Hume's work is surprisingly free from the "opinions" of contemporary scientists, 167 Jones states there is no evidence that Hume ever studied science at the University of Edinburgh or that he "pursued" scientific studies of any formal sort. Regarding Newtonian scientific thought, he emphasizes the paucity of specifically Newtonian scientific textbooks in the early eighteenth century 7 which might have been available for Hume to study and argues that nowhere in Hume's writings is there evidence of precise and detailed knowledge of Newton's science beyond what is available in Q Chamber's Cyclopaedia. Jones acknowledges that, in the Introduction to the Treatise, Hume utilizes a "general version" of Newton's "Regulae Philosophandi" from the beginning of Book III of Newton's Principia. Nevertheless, in Jones' view, Hume's fundamentally humanistic orientation separates him completely from g any Newtonian influence. Finally, according to Jones, Hume does not betray the least bit of knowledge of Newton's mathematics and its role in Newton's experimental methodology. On this evidence Jones grounds his central claim of Hume's "total lack of interest in contemporary science." What references there are to Newton and to science in Hume's works Jones finds "traceable to essentially literary predecessors such as Fontenelle or Montesquieu, or to standard works of theologians ] 2 or free-thinkers." The absence of clearly direct references to what Jones feels are scientific works results both from Hume's "total lack of interest in science" and from his commitment to a form of Ciceronian humanism which is "inimical" to what Jones finds to be the obvious materialistic tendencies of 13 science in the early modern period. Jones' account of the Ciceronian and French contexts of Hume's thought is excellent. But his claim that Hume had no interest whatsoever in science 168 is simply too strong and finally forces us to view science in Hume's day as equivalent to science in our own time, a manifestly anachronistic point of view. Throughout this paper, my argument will be conditioned by my view that Hume's interest in science cannot be separated from his epistemology or his religious scepticism. Hume's interest in science was precisely that of a man of letters of the eighteenth century vitally engaged in determining the proper use of scientific methodology in establishing the limits of the secular science of man once it has 14 been freed from the fetters of theology. Hume's interest in theological and epistemological issues inevitably gave rise to a strong interest on his part in the science of his day and in Newton's contributions... (shrink)

The French philosopher and intellectual historian Pierre Hadot (1922-2010) is known primarily for his conception of philosophy as spiritual exercise, which was an essential reference for the later Foucault. An aspect of his work that has received less attention is a set of methodological reflections on intellectual history and on the relationship between philosophy and history. Hadot was trained initially as a philosopher and was interested in existentialism as well as in the convergence between philosophy and poetry. Yet he chose (...) to become a historian of philosophy and produced extensive philological work on neo-Platonism and ancient philosophy in general. He found a philosophical rationale for this shift in his encounter with Wittgenstein's philosophy in the mid-1950s (Hadot was one of Wittgenstein's earliest French readers and interpreters). For Hadot, ancient philosophy must be understood as a series of language games, and each language game must be situated within the concrete conditions in which it happened. The reference to Wittgenstein therefore supports a strongly contextualist and historicist stance. It also supports its exact opposite: presentist appropriations of ancient texts are entirely legitimate, and they are the only way ancient philosophy can be existentially meaningful to us. Hadot addresses the contradiction by embracing it fully and claiming that his own practice aims at a coincidence of opposites (a concept borrowed from the Heraclitean tradition). For Hadot the fullest and truest way of doing philosophy is to be a philosopher and a historian at the same time. (shrink)

The Axiom of Strong Condensation, first introduced by Woodin in [14], is an abstract version of the Condensation Lemma ofL. In this paper, we construct a set-sized forcing to obtain Strong Condensation forH. As an application, we show that “ZFC + Axiom of Strong Condensation +”is consistent, which answers a question in [14]. As another application, we give a partial answer to a question of Jech by proving that “ZFC + there is a supercompact cardinal + any (...) ideal onω1which is definable overH is not precipitous” is consistent under sufficient large cardinal assumptions. (shrink)

Feng Youlan emphasizes the concept of “creativity” in his article “Explanation of Mencius’ Chapter on Strong, Moving Vital Force”, in particular highlighting the problem whether the “ strong, moving vital force” is “innate” or “acquired”. Cheng Hao and Zhu Xi believed the “ strong, moving vital force” was endowed by Heaven, so was therefore innate; “nourishment” cleared fog and allowed one to “recover one’s original nature”. Mencius’ theory on “the good of human nature” is (...) illustrated in the concept of integrated “original endowment”. So Cheng Hao and Zhu Xi’s theory of “recovering the original nature” proposed that the “ strong, moving vital force” was innate, which is in complete agreement with Mencius and of which there is ample evidence in Mencius. However, “nature” is “created by the accumulation of righteousness”. Namely, it is the completion and presentation of the process of creation and transformation of human beings. Only when we consider both Cheng Hao and Zhu Xi’s theory and Feng Youlan’s theory can we fully understand Mencius’ theory of “the nourishment of the strong, moving vital force”, which is of great theoretical and academic value in accurately understanding Mencius and the Confucian theory of mind-nature. (shrink)

The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...) by Cantor, Turing, Gödel, and the advances, such as the Forcing techniques introduced by Paul Cohen and later investigators, b) Knowledge Hierarchies & Mapping Exercises, c) Discussions of IJ Good’s Speculations Concerning the First Ultraintelligent Machine, AGI, and Super- intelligence. Results suggest variability between major models like ChatGPT-4, Llama-3, Cohere, Sonnet and Opus. Results also point to strong dependence on users’ preexisting knowledge and skill bases. The paper should be viewed as ’raw data’ rather than a polished authoritative reference. (shrink)

Findings from prior research show that there is a general tendency to discipline top sales performers more leniently than poor sales performers for engaging in identical forms of unethical selling behavior. In this study, the authors attempt to uncover moderating factors that could override this general tendency and bring about more equal discipline for top sales performers and poor sales performers. Surprisingly, none were found. A company policy stating that the behavior in question was unacceptable nor a repeated pattern of (...) unethical behavior offset the general tendency to treat top sales performers more leniently than poor sales performers. In an attempt to dig deeper to find a significant moderating effect, two follow-up experiments were conducted. In the first follow-up experiment, a specific training program designed to communicate top management's desire to treat ethical matters equally based on the severity of the act had no effect on equalizing the discipline between top sales performers and poor sales performers. In the second follow-up experiment, a stronger company policy that specified a prescribed level of punishment also failed to equalize the discipline. A superior sales performance record appears to induce more lenient forms of discipline, despite the presence of other factors and managerial actions that are specifically instituted to produce more equal forms of discipline. The answer to the question posed in the article title is, "apparently very strong!". (shrink)

Starting with a model in which κ is the least inaccessible limit of cardinals δ which are δ+ strongly compact, we force and construct a model in which κ remains inaccessible and in which, for every cardinal γ < κ, □γ+ω fails but □γ+ω, ω holds. This generalizes a result of Ben-David and Magidor and provides an analogue in the context of strong compactness to a result of the author and Cummings in the context of supercompactness.

I provide indestructibility results for large cardinals consistent with V = L, such as weakly compact, indescribable and strongly unfoldable cardinals. The Main Theorem shows that any strongly unfoldable cardinal κ can be made indestructible by <κ-closed. κ-proper forcing. This class of posets includes for instance all <κ-closed posets that are either κ -c.c, or ≤κ-strategically closed as well as finite iterations of such posets. Since strongly unfoldable cardinals strengthen both indescribable and weakly compact cardinals, the Main Theorem therefore makes (...) these two large cardinal notions similarly indestructible. Finally. I apply the Main Theorem forcing extension preserving all strongly unfoldable cardinals in which every strongly unfoldable cardinal κ is indestructible by <κ-closed. κ-proper forcing. (shrink)

We prove three theorems which show that it is relatively consistent for any strong cardinal κ to be fully Laver indestructible under κ-directed closed forcing.

Traditionally, forces are causes of a special sort. Forces have been conceived to be the direct or immediate causes of things. Other sorts of causes act indirectly by producing forces which are transmitted in various ways to produce various effects. However, forces are supposed to act directly without the mediation of anything else. But forces, so conceived, appear to be occult. They are mysterious, because we have no clear conception of what they are, as opposed to what they are postulated (...) to do; and they seem to be hidden from direct observations. There is, therefore, strong initial motivation for trying to eliminate forces from physics. Furthermore, as we shall explain, powerful arguments can be mounted to show that theories with forces can always be recast as theories without them. Hence it seems that forces should be eliminated, in the interests of simplicity. We argue, however, that forces should not be eliminated--just differently construed. For the effect of elimination is to leave us without any adequate account of the causal relationships forces were postulated to explain. And this would remain the case, even if forces could be identified with some merely dispositional properties of physical systems. In our view, forces are species of the causal relation itself, and as such have a different ontological status from the sorts of entities normally considered to be related as causes to effects. (shrink)

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been (...) class='Hi'>strong enough! However, with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: [email protected]: https://theses.hal.science/tel-03209264. (shrink)

This book provides the reader with a detailed and captivating account of the story where, for the first time, physicists ventured into proposing a new force of nature beyond the four known ones - the electromagnetic, weak and strong forces, and gravitation - based entirely on the reanalysis of existing experimental data. Back in 1986, Ephraim Fischbach, Sam Aronson, Carrick Talmadge and their collaborators proposed a modification of Newton's Law of universal gravitation. Underlying this proposal were three tantalizing (...) pieces of evidence: 1) an energy dependence of the CP (particle-antiparticle and reflection symmetry) parameters, 2) differences between the measurements of G, the universal gravitational constant, in laboratories and in mineshafts, and 3) a reanalysis of the Eötvos experiment, which had previously been used to show that the gravitational mass of an object and its inertia mass were equal to approximately one part in a billion. The reanalysis revealed that, contrary to Galileo's position, the force of gravity was in fact very slightly different for different substances. The resulting Fifth Force hypothesis included this composition dependence and also added a small distance dependence to the inverse-square gravitational force. Over the next four years numerous experiments were performed to test the hypothesis. By 1990 there was overwhelming evidence that the Fifth Force, as initially proposed, did not exist. This book discusses how the Fifth Force hypothesis came to be proposed and how it went on to become a showcase of discovery, pursuit and justification in modern physics, prior to its demise. In this new and significantly expanded edition, the material from the first edition is complemented by two essays, one containing Fischbach's personal reminiscences of the proposal, and a second on the ongoing history and impact of the Fifth Force hypothesis from 1990 to the present. <. (shrink)

Small forcing always ruins the indestructibility of an indestructible supercompact cardinal. In fact, after small forcing, any cardinal $\kappa$ becomes superdestructible--any further <$\kappa$--closed forcing which adds a subset to $\kappa$ will destroy the measurability, even the weak compactness, of $\kappa$. Nevertheless, after small forcing indestructible cardinals remain resurrectible, but never strongly resurrectible.

Using the lottery preparation, we prove that any strongly unfoldable cardinal $\kappa$ can be made indestructible by all.

Forced to Fail traces the long legal history of first racial segregation, and then racial desegregation in America. The authors explain how rapidly changing demographics and family structure in the United States have greatly complicated the project of top-down government efforts to achieve an "ideal" racial balance in schools. It describes how social capital—a positive outcome of social interaction between and among parents, children, and teachers—creates strong bonds that lead to high academic achievement.

Primitive awareness leading to consciousness can be explained as a manifestation of internal forces between charge and mass. These internal forces, related to the weak and strong forces, balance the external forces of gravity-inertia and electricity-magnetism and thereby accommodate outside influences by adjusting the internal structure of material from which we are composed. Such accommodation is the physical implementation of a model of the external physical world and qualifies as Vitiello's double held inside ourselves. We experience this accommodation as (...) the conscious experience in front of our noses. Neural pulse traffic is interpreted as unconscious signal processing activity happening between this internal accommodation and our external interface of sensors and actuators. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

We study the preservation of the property of being a Solovay model under proper projective forcing extensions. We show that every strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of under strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of under projective strongly-proper forcing notions is consistent relative to the existence of a -Mahlo cardinal. We also show that the consistency strength of the absoluteness of under (...) forcing extensions with σ-linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal. (shrink)

Small forcing always ruins the indestructibility of an indestructible supercompact cardinal. In fact, after small forcing, any cardinal κ becomes superdestructible--any further <κ--closed forcing which adds a subset to κ will destroy the measurability, even the weak compactness, of κ. Nevertheless, after small forcing indestructible cardinals remain resurrectible, but never strongly resurrectible.

We show that L absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L absoluteness for proper forcings. By [7], L absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom is equiconsistent with the Bounded Proper Forcing Axiom , which in turn is equiconsistent with a reflecting cardinal. We show that Bounded Martin's Maximum is much stronger than BSPFA (...) in that if BMM holds, then for every X ∈ V , X# exists. (shrink)

The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa $ is strongly compact if and only if the strong tree property holds at $\kappa $, and supercompact if and only if ITP holds at $\kappa $. We present several results motivated by the problem of obtaining the strong tree property and ITP at (...) many successive cardinals simultaneously; these results focus on the successors of singular cardinals. We describe a general class of forcings that will obtain the strong tree property and ITP at the successor of a singular cardinal of any cofinality. Generalizing a result of Neeman about the tree property, we show that it is consistent for ITP to hold at $\aleph _n$ for all $2 \leq n < \omega $ simultaneously with the strong tree property at $\aleph _{\omega +1}$ ; we also show that it is consistent for ITP to hold at $\aleph _n$ for all $3 < n < \omega $ and at $\aleph _{\omega +1}$ simultaneously. Finally, turning our attention to singular cardinals of uncountable cofinality, we show that it is consistent for the strong and super tree properties to hold at successors of singulars of multiple cofinalities simultaneously. (shrink)

The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtained in suitable large cardinals properties.The first example I will treat is the proof that the proper forcing axiom PFA (...) implies the singular cardinal hypothesis SCH, this will easily lead to a new proof of Solovay's theorem that SCH holds above a strongly compact cardinal. I will also outline how some of the ideas involved in these proofs can be used as means to evaluate the “saturation” properties of models of strong forcing axioms like MM or PFA.The second example aims to show that the transfer principle ↠ fails assuming Martin's Maximum MM. Also in this case the result can be translated in a large cardinal property, however this requires a familiarity with a rather large fragment of Shelah's pcf-theory.Only sketchy arguments will be given, the reader is referred to the forthcoming [25] and [38] for a thorough analysis of these problems and for detailed proofs. (shrink)

If are such that δ is indestructibly supercompact and γ is measurable, then it must be the case that level by level inequivalence between strong compactness and supercompactness fails. We prove a theorem which points to this result being best possible. Specifically, we show that relative to the existence of cardinals such that κ1 is λ‐supercompact and λ is inaccessible, there is a model for level by level inequivalence between strong compactness and supercompactness containing a supercompact cardinal in (...) which κ’s strong compactness, but not supercompactness, is indestructible under κ‐directed closed forcing. In this model, κ is the least strongly compact cardinal, and no cardinal is supercompact up to an inaccessible cardinal. (shrink)

We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is forceable, (...) then it is true. Further, if for every real x, $x^{\sharp}$ exists, and the second uniform indiscernible is less than $\omega_2$ , then the same holds for $\Sigma^1_4$ sentences. (shrink)

We continue the study of adequate sets which we began in (Krueger in Forcing with adequate sets of models as side conditions) by introducing the idea of a strongly adequate set, which has an additional requirement on the overlap of two models past their comparison point. We present a forcing poset for adding a club to a fat stationary subset of ω 2 with finite conditions, thereby showing that a version of the forcing posets of Friedman (Set theory: Centre de (...) Recerca Matemàtica, Barcelona, 2003–2004, Trends in Mathematics. Birkhäuser Verlag, 2006) and Mitchell (Trans Am Math Soc 361(2):561601, 2009) for adding a club on ω 2 can be developed in the context of adequate sets. (shrink)

We show that in the [Formula: see text] extension of a certain Chang-type model of determinacy, if [Formula: see text], then the restriction of the club filter on [Formula: see text] Cof[Formula: see text] to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On [Formula: see text]-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].

In "*Must* ...stay ...strong!" (von Fintel & Gillies 2010) we set out to slay a dragon, or rather what we called The Mantra: that epistemic *must* has a modal force weaker than expected from standard modal logic, that it doesn't entail its prejacent, and that the best explanation for the evidential feel of *must* is a pragmatic explanation. We argued that all three sub-mantras are wrong and offered an explanation according to which *must* is strong, entailing, and (...) the felt indirectness is the product of an evidential presupposition carried by epistemic modals. Mantras being what they are, it is no surprise that each of the sub-mantras have been given new defenses. Here we offer them new problems and update our picture, concluding that *must* is (still) strong. (shrink)

The Lévy-Solovay Theorem [8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.

We will construct several models where there are no strongly meager sets of size 2ℵ0.

I argue that scientific and poetic modes of objectivity are perspectival duals: 'views' from and onto basic natural forces, respectively. I ground this analysis in a general account of objectivity, not in terms of either 'universal' or 'inter-subjective' validity, but as receptivity to basic features of reality. Contra traditionalists, bare truth, factual knowledge, and universally valid representation are not inherently valuable. But modern critics who focus primarily on the self-expressive aspect of science are also wrong to claim that our knowledge (...) is or should be ultimately mediated by ourselves. In objective science, we represent nature as a field of phenomena determined by and within explanatorily-basic physical structures that encode the causal impact of elemental physical forces. These causally-basic forces hence ground the possibility of objective scientific theory, even though (I argue) they are systematically excluded from its representational contents. I show how my notions of force and field emerge partly through my effort to naturalize concepts of 'God' and 'Laws' in 17th-century natural philosophy. In science, we use the structure of basic forces' impact to see corresponding objects. We do not see these forces themselves—and this relates to the 'transcendence' of 'God'. I supplement this historical analysis by critiquing standard accounts of objectivity, and by synthesizing elements from neo-Kantian epistemology and current 'structural' realism into a view that I call 'dynamic structuralism'. Finally, I argue that physics systematically relies on passive characterizations of phenomena like inertia and impressed force. Dynamic alternatives that are just as empirically adequate are possible, but they are non-scientific. Poetic objectivity involves a direct presentation of nature as an order of interacting forces. I elaborate first by developing a novel theory of the relation between beauty and sublimity, mediated by a basic category of 'sensory force' (e.g. a 'singing' tone in a beautiful melody). I then describe the interaction between sensory and affective dimensions of aesthetic experience, in relation to an original historical analysis of passion and 'disinterestedness' in Kant, Schiller and Nietzsche. I synthesize these lines of analysis into a critique of the role of 'expression' in art. I also resist 'spectator'-centric aesthetics, in this connection, by developing an account of artistic objectivity in dialogue with Ruskin's critique of the 'pathetic fallacy'. I contrast artistic objectivity with Romantic ideals of self-expression, while elaborating its positive relation to certain currents within Victorian and Modernist aesthetics, including Imagists' stress on 'exteriority'. My project creatively extends Nietzsche's view that philosophical and scientific theories are 'perspectival' expressions of theorists' drives. It is a virtue of Nietzsche's account that he takes the outlet of strong human drives in creative acts of theorizing to be just one among many higher modes of 'will to power' in nature—many of which are totally impersonal. But Nietzsche is still too focused on self-expression or willing one's own power. Objective science involves external forces' 'expression' in and through us, not just 'expressing' our own powers. And Nietzsche's vitalistic 'will to power' must be replaced by a basic ontology that better accommodates inorganic phenomena, like the 'lawful' order of celestial motions. Thus I aim to de-anthropomorphize and 'de-organicize' post-Kantian notions of willful striving and organic development, while preserving for force the primary ontological and evaluative status that theorists from Schiller and Goethe to Schelling and Schlegel to Emerson and Nietzsche attributed to will or to life. (shrink)

Dispositional essentialism, a plausible view about the natures of (sparse or natural) properties, yields a satisfying explanation of the nature of laws also. The resulting necessitarian conception of laws comes in a weaker version, which allows differences between possible worlds as regards which laws hold in those worlds and a stronger version that does not. The main aim of this paper is to articulate what is involved in accepting the stronger version, most especially the consequence that all possible properties exist (...) in all worlds. I also suggest that there is no particularly strong reason for preferring the weaker to the stronger version. For example, Armstrong's instantiation condition on universals entails that according to strong necessitarianism every property is instantiated in all possible worlds. But first we do not need to accept Armstrong's instantiation condition, in part because his arguments for it are forceful only for a contingentist about laws and properties. Secondly, even if we do accept the condition, the consequence that all properties are instantiated is not itself contradictory, so long as any form of necessitarianism holds. Strong necessitarianism is prima facie counter-intuitive. But for that matter so is weak necessitarianism. Accepting either weak or strong necessitarianism requires denying the force of intuition in this area. And indeed we have every reason to deny the force of intuition and its primary source, imagination, concerning modal facts. (shrink)

A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated with arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle, are analyzed, and consequences are presented. Some of these consequences are “exact” versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from (...) related axioms. (shrink)

We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.

La conversion de la France à une politique de « réduction des risques » , est généralement interprétée comme l’indice d’un changement de paradigme en matière de toxicomanie. Il est néanmoins possible de la voir comme une forme de réagencement politique du monde des consommations de drogues, visant à définir de nouveaux seuils, les plus bas possibles, pour l’entrée dans des dispositifs de soin et de service. L’examen des visions du monde sur lesquelles reposent ces équipements politiques, en France comme (...) dans le reste de l’Union européenne, montre d’ailleurs que la vision du monde autonomiste y compose avec d’autres, compensatoires et additives, plus anciennement implantées. C’est sans doute pourquoi on retrouve, à divers niveaux, un véritable décalage entre les mesures volontaristes liées à ces politiques publiques et les contextes dans lesquels elles sont mises en œuvre : qu’il s’agisse des promoteurs, professionnels ou amateurs, ou qu’il s’agisse des destinataires, tout le monde semble s’accommoder d’un fonctionnement minimal de ces dispositifs, vérifiant ainsi une fois de plus la force des liens faibles.The French turn to the so-called « risk reduction policy » , is generally interpreted as a shift of the paradigm of drug addiction policies. One can, nevertheless, see it as a kind of new political layout of the drug addiction field, intended to define new thresholds for one’s entering in the treatment and care devices. When we examine the worldviews which sustain these political equipments , we can see that the autonomist worldview has to come to terms with others, namely : the compensatory and additive ones. That is probably why we can see, at various levels, a real discrepancy between the strong willings supporting the actions promoted by the risk reduction policies, and the contexts in which they take place : would it be the main actors , or the beneficiaries, everyone seems to be satisfied with a minimal functioning of these devices, verifying once again the strength of the weak ties. (shrink)

It is sometimes argued that the study of grammar is irrelevant or unimportant in the business of comparative philosophy, or that it ought to be avoided in favor of methods that presuppose a strongly pragmatic point of view. In this regard, some philosophers have expressed skepticism about whether facts about grammar have anything to offer in the adjudication of competing theories of interpretation or translation. This essay argues that a strongly pragmatic orientation in comparative philosophy invariably overlooks an important role (...) that the study of grammar can play in shedding light on the nature of intention and communicative practice, and that an essential part of the methodology of comparative philosophy should involve a grammatical approach to interpretation and translation. These points are supported by a semantical analysis of passages from Confucius’ Analects that clarifies the relationship between illocutionary force and grammatical mood. (shrink)

A strong antidiamond principle is shown to be consistent with . This principle can be stated as a “P-ideal dichotomy”: every P-ideal on ω1 either has a closed unbounded subset of ω1 locally inside of it, or else has a stationary subset of ω1 orthogonal to it. We rely on Shelah’s theory of parameterized properness for iterations, and make a contribution to the theory with a method of constructing the properness parameter simultaneously with the iteration. Our handling of the (...) application of the iteration theory involves definability of forcing notions in third order arithmetic, analogous to Souslin forcing in second order arithmetic. (shrink)

Forcing with [κ] κ over a model of set theory with a strong partition cardinal, M. Spector produced a generic ultrafilter G on κ such that κ κ /G is not well-founded. Theorem. Let G be Spector-generic over a model M of $ZF + DC + \kappa \rightarrow (\kappa)^\kappa_\alpha, \kappa > \omega$ , for all $\alpha . 1) Every cardinal (well-ordered or not) of M is a cardinal of M[ G]. 2) If A ∈ M[ G] is a well-ordered (...) subset of M, then A ∈ M. Let Φ = κ κ /G. 3) There is an ultrafilter U on Φ such that every member of U has a subset of type Φ, and the intersection of any well-ordered subset of U is in U. 4) Φ satisfies Φ → (Φ) α β for all $\alpha and all ordinals β. 5) There is a linear order Φ' with property 3) above which is not "weakly compact", i.e., $\Phi' \nrightarrow (\Phi')^2$. (shrink)

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa $ for $\kappa $ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of $$\begin{align*}|2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \textrm{ is strong measure zero if and only if } |X| \leq \kappa^+. \end{align*}$$ Furthermore, we also investigate the stronger notion of stationary strong measure zero and show (...) that the equivalence of the two notions is undecidable in ZFC. (shrink)

Ideally, should liberals in a pluralistic society be able to agree to abide by a common legal system such that all their disputes are resolved without resort to illegal force? Rawls believes the answer is “yes.” I explain and defend his answer, but I also conclude, focusing on the example of abortion, that the truth is “not necessarily, not always.” Rawls’s conceptions of reasonable citizens and public reason help explain why there is a strong prima facie duty to (...) forswear illegal force. It is based on the duty to respect others, which requires that one be able to justify one's actions to them insofar as they are reasonable and matters of basic justice are at issue. One cannot justify using illegal force to those who reasonably think a law is just; to them it is a form of disrespect. Nonetheless, if one reasonably thinks that a fundamental injustice is tolerated or even established by the law, then one may be no less reasonable than one has reason to be if one uses illegal force, sacrificing this form of respect to right a greater wrong. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that (...) no version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

We give a characterization of the cofinality of the strong measure zero ideal under the continuum hypothesis and prove that we can force it to a value less than the power of the continuum.

A model in which strongness ofκ is indestructible under κ+ -weakly closed forcing notions satisfying the Prikry condition is constructed. This is applied to solve a question of Hajnal on the number of elements of {λ δ |2 δ <λ}.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We introduce bounded category forcing axioms for well-behaved classes [math]. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe [math] modulo forcing in [math], for some cardinal [math] naturally associated to [math]. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation [math] — to classes [math] with [math]. Unlike projective absoluteness, these higher bounded category (...) forcing axioms do not follow from large cardinal axioms but can be forced under mild large cardinal assumptions on [math]. We also show the existence of many classes [math] with [math] giving rise to pairwise incompatible theories for [math]. (shrink)