How do people understand science? How do they feel about science, how do they relate to it, what do they hope from it and what do they fear about it? Science of the People: Understanding and using science in everyday contexts helps answer these questions as the result of painstaking interviewing by Professor Joan Solomon of all and sundry in a fairly atypical small town. The result is a unique overview of how a very wide range of adults, united (...) only by local geography, relate to science. Many of the findings run contrary to what is widely believed about how science is learnt and about how people view it. Chapters include:An Approach to AwarenessPublics for Science?Ethics and ActionInterpretation and ChangeJoan Solomon, who sadly died before this book could be published, enjoyed an international reputation in science education. After a long career teaching science in secondary schools she moved into the university sector and ending up holding chairs of science education at the Open University, King's College London and the University of Plymouth. She was a world leader in her subject and inspired classroom teachers and wrote a number of very influential papers with some of them. She produced many important books, booklets and other resources to help science teachers and science educators get to grips with the history and philosophy of science and the teaching of energy, amongst other topics. This book is essential reading for those involved in Science education and educational policy. (shrink)

John Ziman, like most other scientists, learnt about the social nature of science by becoming a scientist. He travelled through the various stages of passing examinations, having articles that he had written reviewed by peers, and applying for academic posts. Better still he was made a Fellow of the Royal Society because of the problems he had solved-- at least for the time being-- in several landmark papers. There was little written about the social nature of science at this time (...) so when he was asked to give a talk on the radio in 1960 he chose the title 'Science is Social' and began as follows: I am going to try to justify the following proposition 'A scientific truth is statement that has been publicly accepted by the experts'. (shrink)

ACKNOWLEDGEMENTS I would like to thank the following: Professor DW Harding for suggesting inquiry into Binet's work and for allowing use of his own ideas in ...

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)

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)

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)

Gender, ‘race’, poverty, health and discourses of health reform in the context of globalization: a postcolonial feminist perspective in policy researchIn this paper, I draw on extant literature and my empirical work to discuss the impact of globalization and healthcare reform on the lives of women — those from countries of the South as well as of the North. First, I review briefly the economic hardships identified in different sectors of the population that have been attributed to how globalization is (...) now working. Second, I examine what these global processes mean for health, with particular focus on poverty, gender, racialization and health. Third, I reflect on how nurse scientists might develop research agendas in the 21st century that would foster social transformation and social justice for all people. The position taken here is not an indictment of globalization. Rather, I argue that globalization is a fact in all of our lives. There are positive aspects of globalization. There are also negative aspects which we must collectively address, given that the issues identified can have deleterious consequences for the world’s poor, women in particular. I suggest that, to construct knowledge for practice and praxis, research agendas of the future should be inclusive of subaltern voices. I argue that drawing on a postcolonial feminist epistemology might help us to define such agendas, and express the multilayered sociopolitical contexts of health and illness in advocacy with policy‐makers. (shrink)

Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σn-reflecting cardinals, Σn-correct cardinals and Σn-extendible cardinals are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in any forcing extension arising from nontrivial strategically <κ-closed forcing Q∈Vθ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q} \in V_\theta}$$\end{document}, the cardinal κ will exhibit none of the large cardinal properties with target θ or larger. (shrink)

We introduce the large-cardinal notions of ξ-greatly-Mahlo and ξ-reflection cardinals and prove (1) in the constructible universe, L, the first ξ-reflection cardinal, for ξ a successor ordinal, is strictly between the first ξ-greatly-Mahlo and the first Π1ξ-indescribable cardinals, (2) assuming the existence of a ξ-reflection cardinal κ in L, ξ a successor ordinal, there exists a forcing notion in L that preserves cardinals and forces that κ is (ξ+1)-stationary, which implies that the consistency strength of the existence of a (ξ+1)-stationary (...) cardinal is strictly below a Π1ξ-indescribable cardinal. These results generalize to all successor ordinals ξ the original same result of Mekler–Shelah [A. Mekler and S. Shelah, The consistency strength of every stationary set reflects, Israel J. Math.67(3) (1989) 353–365] about a 2-stationary cardinal, i.e. a cardinal that reflects all its stationary sets. (shrink)

Recent events around the globe reflect the tensions and ethical dilemmas of the postmodern, postcolonial and neocolonial world that have far reaching implications for health, well-being, and human suffering. As we consider what is at stake, and what this means for local lives and human relationships, we need to examine whether the theories we draw on are adequate to further our understanding of health, and the social and material conditions of human suffering. In this paper I begin to explore the (...) question, ‘Can postcolonial feminist theories provide an inclusive scholarship that would further our understanding of human suffering and open up a path to healing?’ At issue here is whether this scholarship adds another dimension to a praxis-oriented nursing science. (shrink)

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent to the existence of (...) a $\Sigma _n$ -strong cardinal (Definition 5.1). Hence, $\mathrm {WVP}$ is equivalent to the existence of a $\Sigma _n$ -strong cardinal for all $n<\omega $. (shrink)

We strengthen a result of Harrington and Shelah by showing that, unless ω1 is an inaccessible cardinal in L, a relatively weak fragment of Martin's axiom implies that there exists a δ13 set of reals without the property of Baire.

We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as $\alpha$-strongly compact and $C^{(n)}$-extendible cardinals.

This study considers the potential for influencing business students to become ethical managers by directing their undergraduate learning environment. In particular, the relationship between business students’ academic cheating, as a predictor of workplace ethical behavior, and their approaches to learning is explored. The three approaches to learning identified from the students’ approaches to learning literature are deep approach, represented by an intrinsic interest in and a desire to understand the subject, surface approach, characterized by rote learning and memorization without understanding, (...) and strategic approach, associated with competitive students whose motivation is the achievement of good grades by adopting either a surface or deep approach. Consistent with the hypothesized theoretical model, structural equation modeling revealed that the surface approach is associated with higher levels of cheating, while the deep approach is related to lower levels. The strategic approach was also associated with less cheating and had a statistically stronger influence than the deep approach. Further, a significantly positive relationship reported between deep and strategic approaches suggests that cheating is reduced when deep and strategic approaches are paired. These findings suggest that future managers and business executives can be influenced to behave more ethically in the workplace by directing their learning approaches. It is hoped that the evidence presented may encourage those involved in the design of business programs to implement educational strategies which optimize students’ approaches to learning towards deep and strategic characteristics, thereby equipping tomorrow’s managers and business executives with skills to recognize and respond appropriately to workplace ethical dilemmas. (shrink)

We study the preservation under projective ccc forcing extensions of the property of L(ℝ) being a Solovay model. We prove that this property is preserved by every strongly-̰Σ₃¹ absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for Σ₃¹ absolutely-ccc forcing notions. We extend these results to the higher projective classes of ccc posets, and to the class of all projective ccc posets, using definably-Mahlo cardinals. As a consequence we obtain an exact (...) equiconsistency result for generic absoluteness under projective absolutely-ccc forcing notions. (shrink)

Este artículo analiza el prólogo de 1812 a la Ciencia de la lógica (WdL) y responde a los planteos: ¿de qué trata esta obra?, ¿qué hay de lógico en la expresión “lógica”?, ¿es ”lógica” un nombre sustituto para “metafísica” o, más bien, la WdL es la inauguración de una disciplina completamente nueva y que dista de la metafísica en el sentido tradicional? Concluyo que la lógica es aquí el desarrollo del concepto expresada como libertad social.

At least since the seventeenth century, the strange combination of epistemological certainty and ontological power that characterizes mathematics has made it a major focus of philosophical, social, and cultural negotiation. In the eighteenth century, all of these factors were at play as mathematical thinkers struggled to assimilate and extend the analysis they had inherited from the seventeenth century. A combination of educational convictions and historical assumptions supported a humanistic mathematics essentially defined by its flexibility and breadth. This mathematics was an (...) expression of l’esprit humain, which was unfolding in a progressive historical narrative. The French Revolution dramatically altered the historical and educational landscapes that had supported this eighteenth‐century approach, and within thirty years Augustin Louis Cauchy had radically reconceptualized and restructured mathematics to be rigorous rather than narrative. (shrink)

In describing and explaining the sexes, medicine and science participated in the delineation of what was "feminine" and what was "masculine" in the Middle Ages. Hildegard of Bingen and Albertus Magnus, among others, writing about gynecology, the human constitution, fetal development, or the naturalistic dimensions of divine Creation, became increasingly interested in issues surrounding reproduction and sexuality. Did women as well as men produce procreative seed? How did the physiology of the sexes influence their healthy states and their susceptibility to (...) disease? Who derived more pleasure from sexual intercourse, men or women? The answers to such questions created a network of flexible concepts which did not endorse a single model of male-female relations, but did affect views on the health consequences of sexual abstinence for women and men and on the allocation of responsibility for infertility - problems with much social and religious significance in the Middle Ages. Sometimes at odds with, and sometimes in accord with other forces in medieval society, medicine and natural philosophy helped to construct a set of notions that divided significant portions of the world - from the behavior of animals to the operations of astrological signs - into "masculine" and "feminine." Even cases that seemed to exist outside the definitions of this duality, for example, hermaphrodite features or homosexual behavior, were brought under control by the application of gendered labels, such as "masculine women.". (shrink)

Inspired by a mathematical ecology of thearre (M. Dinu) and the eco-grammar systems (E. Csuhaj-Varju et al.), this paper gives a brief analysis of simple cellular automata games in order to demonstrate their primary semiotic features. In particular, the behaviour of configurations in Conway's game of life is compared to several general features of Uexküll's concept of Umwelt. It is concluded that ecological processes have a fundamental semiotic dimension.

Este artículo presenta una explicación del sentido común moderno a partir de una reconstrucción de lecturas críticas de Marx y Schumpeter. Se defiende que nuestro sentido común está estrechamente relacionado con la tecnología y que esta comporta fetichismo y funcionalidad. El artículo tiene cuatro partes. Primeramente, expongo las consideraciones generales que requiere una aproximación filosófica al sentido común y concreto la filosofía de la historia en la que baso mi análisis. Segundo, argumento que el sentido común moderno es indisociable de (...) la moral y la política y ambas lo son de posibles conflictos de tipo radical en cuanto al ser humano y su historia. Tercero, comento por qué estos posibles conflictos tienen que ver con lo que Marx llama en El capital la maquinaria capitalista y desarrollo esta idea desde la teoría de los paradigmas tecnoeconómicos. Finalmente, sostengo que esta teoría neoschumpeteriana debe ser criticada desde la filosofía, así como adoptada para una teoría y práctica críticas del sentido común moderno, el cual tiene en las gestiones de la COVID-19 un punto culminante. (shrink)

Why do sociological theorists remain uninterested in and resistant to feminist theory? Notwithstanding indications of increasing openness to feminist theory, journals and texts on sociological theory reflect a continuing pattern of neglect. I identify reasons for this pattern, including tensions resulting from the introduction of gender as a central analytical category: Not only does gender challenge the dichotomous categories that define sociology's boundaries and identity, it also displaces the discipline's central problematic of modernity. The significance of this displacement is apparent (...) when the discipline's responses to feminist and postmodernist theory are compared. I discuss the relevance of feminist theoretical work to contemporary issues in sociological theory, with specific attention to the synthetic nature of feminist theorizing, to work on rethinking power, resistance, and oppression, and to efforts to effect a conceptual shift from "either/or" to "both/and" thinking and to establish new grounds for assessing knowledge claims. (shrink)

We explore the consistency strength of Σ 3 1 and Σ 4 1 absoluteness, for a variety of forcing notions.

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)

We study the projective posets and their properties as forcing notions. We also define Martin's axiom restricted to projective sets, MA, and show that this axiom is weaker than full Martin's axiom by proving the consistency of ZFC + ¬lCH + MA with “there exists a Suslin tree”, “there exists a non-strong gap”, “there exists an entangled set of reals” and “there exists κ < 20 such that 20 < 2k”.

This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standpoint. In addition to clarifying the relation between Kleene’s and Troelstra’s minimal formal theories of numbers and number-theoretic sequences, we propose some modified choice principles and other function existence axioms which may be of use in reverse constructive analysis. Specifically, we consider the function comprehension principles assumed by the two minimal theories EL and M, introduce an axiom schema CFd asserting that every decidable property (...) of numbers has a characteristic function, and use it to describe a precise relationship between the minimal theories. We show that the axiom schema AC00 of countable choice can be decomposed into a monotone choice schema AC00m (which guarantees that every Cauchy sequence has a modulus) and a bounded choice schema BC00. We relate various (classically correct) axiom schemas of continuous choice to versions of the bar and fan theorems, suggest a constructive choice schema AC1/2,0 (which incidentally guarantees that every continuous function has a modulus of continuity), and observe a constructive equivalence between restricted versions of the fan theorem and correspondingly restricted bounding axioms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${AB_{1/2,0}^{2^{\mathbb{n}}}}$$\end{document}. We also introduce a version WKL!! of Weak König’s Lemma with uniqueness which is intermediate in strength between WKL and the decidable fan theorem FTd. (shrink)

We consider several kinds of partition relations on the set ${\mathbb{R}}$ of real numbers and its powers, as well as their parameterizations with the set ${[\mathbb{N}]^{\mathbb{N}}}$ of all infinite sets of natural numbers, and show that they hold in some models of set theory. The proofs use generic absoluteness, that is, absoluteness under the required forcing extensions. We show that Solovay models are absolute under those forcing extensions, which yields, for instance, that in these models for every well ordered partition (...) of ${\mathbb{R}^\mathbb{N}}$ there is a sequence of perfect sets whose product lies in one piece of the partition. Moreover, for every finite partition of ${[\mathbb{N}]^{\mathbb{N}} \times \mathbb{R}^{\mathbb{N}}}$ there is ${X \in [\mathbb{N}]^{\mathbb{N}}}$ and a sequence ${\{P_{k} : k \in \mathbb{N}\}}$ of perfect sets such that the product ${[X]^{\mathbb{N}} \times \prod_{k}^{\infty}P_{k}}$ lies in one piece of the partition, where ${[X]^{\mathbb{N}}}$ is the set of all infinite subsets of X. The proofs yield the same results for Borel partitions in ZFC, and for more complex partitions in any model satisfying a certain degree of generic absoluteness. (shrink)

From Kosovo to Québec, Ireland to East Timor, nationalism has been a recurrent topic of intense debate. It has been condemned as a source of hatred and war, yet embraced for stimulating community feeling and collective freedom. Joan Cocks explores the power, danger, and allure of nationalism by examining its place in the thought of eight politically engaged intellectuals of the nineteenth and twentieth centuries: the antagonist of capital, Karl Marx; the critics of imperialism Rosa Luxemburg, Hannah Arendt, and (...) Frantz Fanon; the liberal pluralist Isaiah Berlin; the neonationalist Tom Nairn, and the post-colonial writers, V. S. Naipaul and Edward Said. Cocks not only sheds new light on the complexities of nationalism but also reveals the tensions that have inspired and troubled intellectuals who have sought to lead lives between detached criticism and political passion.In lively, conversational prose, Cocks assesses their treatment of questions such as the mythology of national identity, the right to national self-determination, and the morality of nationalist violence. While ultimately critical of nationalism, she engages sympathetically even with its defenders. By illuminating the links that distinguished minds have drawn between thought and action on nationalism in politics, this stimulating work provides a rich foundation from which we ourselves might think or act more wisely when confronting a phenomenon that, in fundamental and perplexing ways, has shaped our world. (shrink)

If A ⊆ ω1, then there exists a cardinal preserving generic extension [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ][x ] of [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ] by a real x such that1) A ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ] and A is Δ1HC in [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ];2) x is minimal over [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ], that is, if a set Y belongs to [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][x ], then either x ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A, Y ] or Y (...) ∈ [MATHEMATICAL DOUBLE-STRUCK CAPITAL L][A ].The forcing we use implicitly provides reshaping of the given set A. (shrink)

This paper addresses the progressive, feminist critique of same-sex marriage as articulated by Claudia Card. Although agreeing with Card that the institution of marriage as we know it is profoundly morally flawed in its origins and effects, Callahan disagrees with Card's suggestion that queer activists in the United States should not be working for the inclusion of same-sex couples in the institution.