This paper presents a general-purpose update semantics for expressions of subjective uncertainty in natural language. First, a set of desiderata are established for how expressions of subjective uncertainty should behave in dynamic, update-based semantic systems; then extant implementations of expressions of subjective uncertainty in such models are evaluated and found wanting; finally, a new update semantics is proposed. The desiderata at the heart of this paper center around the contention that expressions of subjective uncertainty express beliefs which are not persistent, (...) whereas propositions express beliefs that are persistent. I argue that if we make the move of treating updates in a dynamic semantics as Bayesian updates, i.e. as conditionalization, then expressions of subjective uncertainty will behave the way we want them to without altering the way propositions behave. (shrink)

THE DESTINY OF MAN: Beyond Socrates to Programmed PhilosophyThe Destiny of Man tells the scientific story of the world that is based on a Theory of the World: which Unifies knowledge, Simplifies education and creates one culture thus realizing mankind's quest to find his destiny by knowing the worldThe story starts with the first Western scientists, Thales and his colleagues in pre-Hellenic Greece, through the contributions of modern scientists. Conclusion: The world is a programmed system and mankind has discovered its (...) program. This partly realizes the enduring quest of mankind, namely, to find his destiny by knowing the world. The world program enables the following selected transitions among others:- From: To:- Information Understanding- Fragmented language Comprehensive language- Classical philosophy Scientific philosophy- The Age of Specialties The Age of Generalism or Universal Science- 18th century Literary Enlightenment 21st century Scientific Enlightenment- Eclectic education Systematic, axiomatic education- The religious-scientific polemic Its resolution- Fragmented cultures One world culture. (shrink)

Fox, McGee, and Caplan's, in the Summer 1998 issue of CQ, evoked memories and an image.

This paper investigates the semantics of implicit comparatives (Alice is tall compared to Bob) and its connections to the semantics of explicit comparatives (Alice is taller than Bob) and sentences with adjectives in plain positive form (Alice is tall). We consider evidence from two experiments that tested judgments about these three kinds of sentence, and provide a semantics for implicit comparatives from the perspective of degree semantics.

The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elementary embeddings of Boolean ultrapowers. The result is applied to show that the Rudin-Keisler poset of some atomless complete Boolean algebras is nontrivial.

M. E. Rudin proved, under CH, that for each P-point p there exists a P-point q strictly RK-greater than p. This result was proved under ${\mathfrak {p}= \mathfrak {c}}$ by A. Blass, who also showed that each RK-increasing $ \omega $ -sequence of P-points is upper bounded by a P-point, and that there is an order embedding of the real line into the class of P-points with respect to the RK-ordering. In this paper, the results cited above are proved (...) under the assumption that $\mathfrak { b}=\mathfrak {c}$. A. Blass asked in 1973 which ordinals can be embedded in the set of P-points, and pointed out that such an ordinal cannot be greater than $ \mathfrak {c}^{+}$. In this paper it is proved, under $\mathfrak {b}=\mathfrak {c}$, that for each ordinal $\alpha < \mathfrak {c}^{+}$, there is an order embedding of $ \alpha $ into P-points. It is also proved, under $\mathfrak {b}=\mathfrak {c}$, that there is an embedding of the long line into P-points. (shrink)

Ernst Rüdin was the founder of psychiatric genetics and was also a founder of the German racial hygiene movement. Throughout his long career he played a major role in promoting eugenic ideas and policies in Germany, including helping formulate the 1933 Nazi eugenic sterilization law and other governmental policies directed against the alleged carriers of genetic defects. In the 1940s Rüdin supported the killing of children and mental patients under a Nazi program euphemistically called “Euthanasia.” The authors document these crimes (...) and discuss their implications, and also present translations of two publications Rüdin co-authored in 1938 showing his strong support for Hitler and his policies. The authors also document what they see as revisionist historical accounts by leading psychiatric genetic authors. They outline three categories of contemporary psychiatric genetic accounts of Rüdin and his work: those who write about German psychiatric genetics in the Nazi period, but either fail to mention Rüdin at all, or cast him in a favorable light; those who acknowledge that Rüdin helped promote eugenic sterilization and/or may have worked with the Nazis, but generally paint a positive picture of Rüdin’s research and fail to mention his participation in the “euthanasia” killing program; and those who have written that Rüdin committed and supported unspeakable atrocities. The authors conclude by calling on the leaders of psychiatric genetics to produce a detailed and complete account of their field’s history, including all of the documented crimes committed by Rüdin and his associates. (shrink)

We discuss the finite-to-one Rudin-Keisler ordering of ultrafilters on the natural numbers, which we baptize the Rudin-Blass ordering in honour of Professor Andreas Blass who worked extensively in the area. We develop and summarize many of its properties in relation to its bounding and dominating numbers, directedness, and provide applications to continuum theory. In particular, we prove in ZFC alone that there exists an ultrafilter with no Q-point below in the Rudin-Blass ordering.

Resumen: En la primera parte del presente artículo se estudia la naturaleza de los denominados culturemas, entendidos como unidades semióticas cuyo referente es un elemento perteneciente a una cultura dada desconocido o sin equivalente exacto en otras culturas y que, por tanto, es percibida como una especificidad cultural. Igualmente, se analizan los criterios tanto para su clasificación tradicional por contenido referencial como su clasificación por relevancia semiótica en una traducción. En la segunda parte se aplica el método culturo-traductológico para analizar (...) culturemas presentes en la obra de Iván Turguéniev, Rudin, y la forma de transponerlos en las diferentes versiones al español existentes por parte de distintos traductores.: In the first part of this article, the nature of so-called culturemes is studied, understood as semiotic units referring to an element belonging to a given culture which is unknown or without an exact equivalent in other cultures, and which is therefore perceived as a cultural specificity. Additionally, criteria are examined for both their traditional classification by referential content, and their classification by semiotic relevance in a translation. In the second part, the cultural-traductological method is used to analyse culturemes present in Rudin, the work by Iván Turguéniev, and the way of transposing these in the different Spanish versions by different translators. (shrink)

In this paper, we study some new examples of ideals on $$\omega $$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order—known as the weak Rudin–Keisler order—and its structure when restricted to these ideals of maximal Tukey type. Mirroring a result of Fremlin (Note Mat 11:177–214, 1991) on the Tukey order, we also show that there is an analytic P-ideal above all other (...) analytic P-ideals in the weak Rudin–Keisler order. (shrink)

A 2-affable ultrafilter has only finitely many predecessors in the Rudin-Keisler ordering of isomorphism classes of ultrafilters over the natural numbers. If the continuum hypothesis is true, then there is an ℵ 1 -sequence of ultrafilters D α such that the strict Rudin-Keisler predecessors of D α are precisely the isomorphs of the D β 's for $\beta.

We study ultrafilters onω2produced by forcing with the quotient of${\cal P}$(ω2) by the Fubini square of the Fréchet filter onω. We show that such an ultrafilter is a weak P-point but not a P-point and that the only nonprincipal ultrafilters strictly below it in the Rudin–Keisler order are a single isomorphism class of selective ultrafilters. We further show that it enjoys the strongest square-bracket partition relations that are possible for a non-P-point. We show that it is not basically generated (...) but that it shares with basically generated ultrafilters the property of not being at the top of the Tukey ordering. In fact, it is not Tukey-above [ω1]<ω, and it has only continuum many ultrafilters Tukey-below it. A tool in our proofs is the analysis of similar (but not the same) properties for ultrafilters obtained as the sum, over a selective ultrafilter, of nonisomorphic selective ultrafilters. (shrink)

In this article we, given a free ultrafilter p on ω, consider the following classes of ultrafilters:(1) T(p) - the set of ultrafilters Rudin-Keisler equivalent to p,(2) S(p)={q ∈ ω*:∃ f ∈ ω ω , strictly increasing, such that q=f β (p)},(3) I(p) - the set of strong Rudin-Blass predecessors of p,(4) R(p) - the set of ultrafilters equivalent to p in the strong Rudin-Blass order,(5) P RB (p) - the set of Rudin-Blass predecessors of p, (...) and(6) P RK (p) - the set of Rudin-Keisler predecessors of p,and analyze relationships between them. We introduce the semi-P-points as those ultrafilters p ∈ ω* for which P RB (p)=P RK (p), and investigate their relations with P-points, weak-P-points and Q-points. In particular, we prove that for every semi-P-point p its α-th left power α p is a semi-P-point, and we prove that non-semi-P-points exist in ZFC. Further, we define an order ⊴ in T(p) by r⊴q if and only if r ∈ S(q). We prove that (S(p),⊴) is always downwards directed, (R(p),⊴) is always downwards and upwards directed, and (T(p),⊴) is linear if and only if p is selective.We also characterize rapid ultrafilters as those ultrafilters p ∈ ω* for which R(p)∖S(p) is a dense subset of ω*.A space X is M-pseudocompact (for ) if for every sequence (U n ) n < ω of disjoint open subsets of X, there are q ∈ M and x ∈ X such that x=q-lim (U n ); that is, for every neighborhood V of x. The P RK (p)-pseudocompact spaces were studied in [ST].In this article we analyze M-pseudocompactness when M is one of the classes S(p), R(p), T(p), I(p), P RB (p) and P RK (p). We prove that every Frolik space is S(p)-pseudocompact for every p ∈ ω*, and determine when a subspace with is M-pseudocompact. (shrink)

We give a new characterization of the cardinal invariant $\mathfrak {d}$ as the minimal cardinality of a family $\mathcal {D}$ of tall summable ideals such that an ultrafilter is rapid if and only if it has non-empty intersection with all the ideals in the family $\mathcal {D}$. On the other hand, we prove that in the Miller model, given any family $\mathcal {D}$ of analytic tall p-ideals such that $\vert \mathcal {D}\vert <\mathfrak {d}$, there is an ultrafilter $\mathcal {U}$ which (...) is an $\mathscr {I}$ -ultrafilter for all ideals $\mathscr {I}\in \mathcal {D}$ at the same time, yet $\mathcal {U}$ is not a rapid ultrafilter. As a corollary, we obtain that in the Miller model, given any analytic tall p-ideal $\mathscr {I}$, $\mathscr {I}$ -ultrafilters are dense in the Rudin–Blass ordering, generalizing a theorem of Bartoszyński and S. Shelah, who proved that in such model, Hausdorff ultrafilters are dense in the Rudin–Blass ordering. This theorem also shows some limitations about possible generalizations of a theorem of C. Laflamme and J. Zhu. (shrink)

We study the Rudin–Keisler pre-order on Fréchet–Urysohn ideals on $\omega $. We solve three open questions posed by S. García-Ferreira and J. E. Rivera-Gómez in the articles [5] and [6] by establishing the following results: •For every AD family $\mathcal {A},$ there is an AD family $\mathcal {B}$ such that $\mathcal {A}^{\perp } <_{{\textsf {RK}}}\mathcal {B}^{\perp }.$ •If $\mathcal {A}$ is a nowhere MAD family of size $\mathfrak {c}$ then there is a nowhere MAD family $\mathcal {B}$ such that (...) $\mathcal {I}\left $ and $\mathcal {I}\left $ are Rudin–Keisler incomparable.•There is a family $\left \{ \mathcal {B}_{\alpha }\mid \alpha \in \mathfrak {c}\right \} $ of nowhere MAD families such that if $\alpha \neq \beta $, then $\mathcal {I}\left $ and $\mathcal {I}\left $ are Rudin–Keisler incomparable.Here $\mathcal {I}$ denotes the ideal generated by an AD family $\mathcal {A}$.In the context of hyperspaces with the Vietoris topology, for a Fréchet–Urysohn-filter $\mathcal {F}$ we let $\mathcal {S}_{c}\left \right ) $ be the hyperspace of nontrivial convergent sequences of the space consisting of $\omega $ as discrete subset and only one accumulation point $\mathcal {F}$ whose neighborhoods are the elements of $\mathcal {F}$ together with the singleton $\{\mathcal {F}\}$. For a FU-filter $\mathcal {F}$ we show that the following are equivalent: • $\mathcal {F}$ is a FUF-filter.• $\mathcal {S}_{c}\left \right ) $ is Baire. (shrink)

Machine generated contents note: Preface; Introduction; Part I. Global Health, Definitions and Descriptions: 1. What is global health? Solly Benatar and Ross Upshur; 2. The state of global health in a radically unequal world: patterns and prospects Ron Labonte and Ted Schrecker; 3. Addressing the societal determinants of health: the key global health ethics imperative of our times Anne-Emmanuelle Birn; 4. Gender and global health: inequality and differences Lesley Doyal and Sarah Payne; 5. Heath systems and health Martin McKee; Part (...) II. Global Health Ethics, Responsibilities and Justice: Some Central Issues: 6. Is there a need for global health ethics? For and against David Hunter and Angus Dawson; 7. Justice, infectious disease and globalisation Michael Selgelid; 8. International health inequalities and global justice: toward a middle ground Norman Daniels; 9. The human right to health Jonathan Wolff; 10. Responsibility for global health? Allen Buchanan and Matt DeCamp; 11. Global health ethics: the rationale for mutual caring Solly Benatar, Abdallah Daar and Peter Singer; Part III. Analyzing Some Reasons for Poor Health: 12. Trade and health: the ethics of global rights, regulation and redistribution Meri Koivusalo; 13. Debt, structural adjustment and health Jeff Rudin and David Sanders; 14. The international arms trade and global health Salahaddin Mahmudi-Azer; 15. Allocating resources in humanitarian medicine Samia Hurst, Nathalie Mezger and Alex Mauron; 16. International aid and global health Anthony Zwi; 17. Climate change and health: risks and inequities Sharon Friel, Colin Butler and Anthony McMichael; 18. Animals, the environment and global health David Benatar; 19. The global crisis and global health Stephen Gill and Isabella Bakker; Part IV. Shaping the Future: 20. Health impact fund: how to make new medicines accessible to all Thomas Pogge; 21. Biotechnology and global health Hassan Masun, Justin Chakma and Abdallah Daar; 22. Food security and global health Lynn McIntyre and Krista Rondeau; 23. International taxation Gillian Brock; 24. Global health research: changing the agenda Tikki Pang; 25. Justice and research in developing countries Alex John London; 26. Values in global health governance Kearsley Stewart, Gerald T. Keusch and Arthur Kleinman; 27. Poverty, distance and two dimensions of ethics Jonathan Glover; 28. Teaching global health ethics James Dwyer; 29. Towards a new common sense: the need for new paradigms of global health Isabella Bakker and Stephen Gill; Index. (shrink)

We generalize the Bolzano-Weierstrass theorem on ideal convergence. We show examples of ideals with and without the Bolzano-Weierstrass property, and give characterizations of BW property in terms of submeasures and extendability to a maximal P-ideal. We show applications to Rudin-Keisler and Rudin-Blass orderings of ideals and quotient Boolean algebras. In particular we show that an ideal does not have BW property if and only if its quotient Boolean algebra has a countably splitting family.

We study the structure of analytic ideals of subsets of the natural numbers. For example, we prove that for an analytic ideal I, either the ideal {X (Ω × Ω: En X ({0, 1,…,n} × Ω } is Rudin-Keisler below I, or I is very simply induced by a lower semicontinuous submeasure. Also, we show that the class of ideals induced in this manner by lsc submeasures coincides with Polishable ideals as well as analytic P-ideals. We study this class (...) of ideals and characterize, for example, when the ideals in it are Fσ or when they carry a locally compact group topology. We apply these results to Borel partial orders to rederive a theorem of Todorcevic and to Borel equivalence relations to answer a question of Kechris and Louveau. As another application we give a characterization of σ-ideals of μ-zero sets for Maharam submeasures μ on the Cantor set which is to a large extent analogous to a characterization of the meager ideal due to Kechris and the author. (shrink)

Explainable AI (xAI) methods are important for establishing trust in using black-box models. However, recent criticism has mounted against current xAI methods that they disagree, are necessarily false, and can be manipulated, which has started to undermine the deployment of black-box models. Rudin (2019) goes so far as to say that we should stop using black-box models altogether in high-stakes cases because xAI explanations ‘must be wrong’. However, strict fidelity to the truth is historically not a desideratum in science. (...) Idealizations – the intentional distortions introduced to scientific theories and models – are commonplace in the natural sciences and are seen as a successful scientific tool. Thus, it is not falsehood qua falsehood that is the issue. In this paper, I outline the need for xAI research to engage in idealization evaluation. Drawing on the use of idealizations in the natural sciences and philosophy of science, I introduce a novel framework for evaluating whether xAI methods engage in successful idealizations or deceptive explanations (SIDEs). SIDEs evaluates whether the limitations of xAI methods, and the distortions that they introduce, can be part of a successful idealization or are indeed deceptive distortions as critics suggest. I discuss the role that existing research can play in idealization evaluation and where innovation is necessary. Through a qualitative analysis we find that leading feature importance methods and counterfactual explanations are subject to idealization failure and suggest remedies for ameliorating idealization failure. (shrink)

In set theory without the axiom of choice math formula, three-space type results for the Hahn-Banach property are provided. We deduce that for every Hausdorff compact scattered space K, the Banach space C of real continuous functions on K satisfies the continuous Hahn-Banach property in math formula. We also prove in math formula Rudin's theorem: “Radon measures on Hausdorff compact scattered spaces are discrete”.

We continue the study of Rosenthal families initiated by Damian Sobota. We show that every Rosenthal filter is the intersection of a finite family of ultrafilters that are pairwise incomparable in the Rudin-Keisler partial ordering of ultrafilters. We introduce a property of filters, called an \-filter, properly between a selective filter and a \-filter. We prove that every \-ultrafilter is a Rosenthal family. We prove that it is consistent with ZFC to have uncountably many \-ultrafilters such that any intersection (...) of finitely many of them is a Rosenthal filter. (shrink)

Written between 1855 and 1862, the four novels "Rudin", "A Nest o f the Gentry", "On the Eve" and "Fathers and Sons" are generally recognised as Turgenev's most notable contribution to Russian and world literature. Are they primarily social chronicles, as Turgenev suggested, or are they rather to be seen as celebrations of life, of the beauty of love and youthful idealism? Are they paens to the nobility of the human spirit or ironic comments on human folly? The same (...) questions are addressed in the present study, but the question with which it is principally concerned is that of the novels' essential character. (shrink)

The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to (...) the proof is the extraction of a dense subsetεkfrom +which we prove to be a topological Ramsey space. The spacesεk,k≥ 2, form a hierarchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on εkare proved, extending the Pudlák–Rödl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey and Rudin–Keisler structures below${\cal G}_k $. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...) space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito (...) and Steila, by proving that ‐systems of filters do not capture all kinds of set‐generic embeddings. We provide a characterization of supercompactness in terms of short extenders and canonical projections of NS, without any reference to the strength of the extenders; as a corollary, NS can consistently fail to canonically project to arbitrarily strong short extenders. We prove that ω‐cofinal towers of normal ultrafilters, e.g., the kind used to characterize I2 and I3 embeddings, are well‐founded if and only if they are canonical projections of NS. Finally, we provide a characterization of “ is Jónsson” in terms of canonical projections of NS. (shrink)

Some non-normal κ-complete ultrafilters over a measurable κ with special properties are constructed. Questions by A. Kanamori [4] about infinite Rudin-Frolik sequences, discreteness and products are answered.