• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to calibrate (...) some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (shrink)

Background: There are no universally agreed rules of healthcare ethics. Ethical decisions and standards tend to be linked to professional codes of practice when dealing with complex issues. Objectives: This paper aims to explore the ethical complexities on who should decide to give infants born on the borderline of viability lifesaving treatment, parents or the healthcare professionals. Method: The paper is a discussion using the principles of ethics, professional codes of practice from the UK, Nursing Midwifery Council and UK legal (...) case law and statute. Healthcare professionals' experiences that influence parental decision are also considered. Findings & Discussion: There are considerable barriers to an effective discussion taking place in an environment where clinical decisions have to be made quickly once the baby is born. This is compounded by the need and respect for parental autonomy and the difficulties they face when making a best interest's decision knowing that this could cause more harm than good for their infant child and balancing any decision they make with quality of life. Conclusion: On deciding whether to give lifesaving treatment born at the borderline of viability, it should be a joint decision between the parents and the neonatal team. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

This paper is a culmination of our new foundations for recursive analysis through recursive topology as reported in Kalantari and Welch 125; 98 87). While in those papers we developed groundwork for an approach to point free analysis and applied recursion theory, in this paper we blend techniques of recursion theory with those of topology to establish new findings. We present several new techniques different from existing ones which yield interesting results. Incidental to our work is a unifying explanation (...) of various schools of study for recursive analysis. (shrink)

The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the (...) mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Godel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field. (shrink)

Modern scientific theories of emotional behavior, almost without exception, trace their origin to Charles Darwin, and his publications On the Origin of Species (1859) and The Expression of the Emotions in Man and Animals (1872). The most famous evolutionary dilemma Darwin acknowledged as a challenge to his theory of natural selection was the incomplete sub Cambrian fossil record. However, Darwin struggled with two other rarely referenced theoretical and scientific dilemmas that confounded his theories about emotional behavior. These included (1) the (...) origin of social instincts (e.g., altruism, empathy, reciprocity and cooperation) and the reasons for their conservation in evolution and (2) the peripheral control of heart rate vis-a-vis emotional behavior outside of consciousness. Darwin acknowledged that social instincts are critical to the survival of some species, but had difficulty aligning them with his theory of natural selection in humans. Darwin eventually proposed that heart rate and emotions are controlled via one’s intellect and cortical mechanisms, and that instinctive behavior is genetically-programmed and inherited. Despite ongoing efforts, these two theoretical dilemmas are debated to this day. Simple testable hypotheses have yet to emerge for the biological mechanisms underlying instinctive behavior or the way heart rate is controlled in infants. In this paper, we review attempts to resolve ¬these issues over the past 160 years. We posit that research and theories that supported Darwin’s individualistic brain-centric and genetic model have become an “orthodox” Western view of emotional behavior, one that produced the prevailing behavioral construct of attachment as developed by John Bowlby. We trace research and theories that challenged this orthodoxy at various times, and show how these challenges were repeatedly overlooked, rejected, or misinterpreted. We review two new testable theories, emotional connection theory and calming cycle theory, which we argue resolve the two dilemmas We show emerging scientific evidence from physiology and a wide variety of other fields, as well from clinical trials among prematurely born infants, that supports the two theories. Clinical implications of the new theories and possible new ways to assess risk and intervene in emotional, behavioral and developmental disorders are discussed. (shrink)

After an introduction to the major issues confronting intellectuals, this book explores the various aspects of the intellectual's role including: * philosophers and academics who have tried to define the function of the intellectual * how intellectuals have assumed the status of the conscience of the nation and the voice of the oppressed * the interaction of intellectuals with Marxism * the place of the intellectual in American society Covering regions as diverse as Israel, Algeria, Britain, Ireland, central Europe and (...) America, this collection considers the question of whether the intellectual can still lay claim to the language of truth. In answering, this study tells us much about the modern world in which we live. _Coverage includes the following thinkers:_ Gramsci, Weber, Yeats, Auden, Levy, Mailer, Walzer, Marx and many more. (shrink)

In this paper we develop a point-free approach to the study of topological spaces and functions on them, establish platforms for both and present some findings on recursive points. In the first sections of the paper, we obtain conditions under which our approach leads to the generation of ideal objects with which mathematicians work. Next, we apply the effective version of our approach to the real numbers, and make exact connections to the classical approach to recursive reals. In the succeeding (...) sections of the paper, we introduce machinery to produce functions on topological spaces and find succinct conditions which will be effectivized in our sequel. (shrink)

In this article, we consider music and noise in terms of vibrational and transferable energy as well as from the evolutionary significance of the hearing system of Homo sapiens. Music and sound impinge upon our body and our mind and we can react to both either positively or negatively. Much depends, in this regard, on the frequency spectrum and the level of the sound stimuli, which may sometimes make it possible to set music apart from noise. There are, however, two (...) levels of description: the physical-acoustic description of the sound and the subjective-psychological reactions by the listeners. Starting from a vibrational approach to sound and music, we first investigate how sound may activate the sense of touch and the vestibular system of the inner ear besides the sense of hearing. We then touch upon distinct issues such as the relation between low-frequency sounds and annoyance, the harmful effect of loud sound and noise, the direct effects of overstimulation with sound, the indirect effects of unwanted sounds as related to auditory neurology, and the widespread phenomenon of liking loud sound and music, both from the point of view of behavioral and psychological aspects. (shrink)

We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...) can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus. (shrink)

The Infinite Time Turing Machine model [8] of Hamkins and Kidder is, in an essential sense, a "Σ₂-machine" in that it uses a Σ₂ Liminf Rule to determine cell values at limit stages of time. We give a generalisation of these machines with an appropriate Σ n rule. Such machines either halt or enter an infinite loop by stage ζ(n) = df μζ(n)[∃Σ(n) > ζ(n) L ζ(n) ≺ Σn L Σ(n) ], again generalising precisely the ITTM case. The collection of (...) such machines taken together computes precisely those reals of the least model of analysis. (shrink)

Moral distress (MD) is well-documented within the nursing literature and occurs when constraints prevent a correct course of action from being implemented. The measured frequency of MD has increased among nurses over recent years, especially since the COVID-19 Pandemic. MD is less understood among nurse leaders than other populations of nurses. A qualitative systematic review was conducted with the aim to synthesize the experiences of MD among nurse leaders. This review involved a search of three databases (Medline, CINAHL, and APA (...) PsychINFO) which resulted in the retrieval of 303 articles. PRISMA review criteria guided authors during the article review and selection process. Following the review, six articles were identified meeting review criteria and quality was assessed using the Critical Appraisal Skills Programme (CASP) Checklist for qualitative studies. No ethical review was required for this systematic review. The six studies included in this review originated from the United States, Brazil, Turkey, and Iran. Leadership roles ranged from unit-based leadership to executive leadership. Assigned quality scores based upon CASP criteria ranged from 6 to 9 (moderate to high quality). Three analytical themes emerged from the synthesis: (1) moral distress is consuming; (2) constrained by the system; and (3) adapt to overcome. The unique contributors of MD among nurse leaders include the leadership role itself and challenges navigating moral situations as they arise. The nurse leader perspective should be considered in the development of future MD interventions. (shrink)

We develop the concepts of recursively nowhere dense sets and sets that are recursively of first category and study closed sets of points in light of Baire's Category Theorem. Our theorems are primarily concerned with exdomains of recursive quantum functions and hence with avoidable points . An avoidance function is a recursive function which can be used to expel avoidable points from domains of recursive quantum functions. We define an avoidable set of points to be an arbitrary subset of the (...) avoidable points of a single avoidance function, and we study an effective union of such sets which we call a piecemeal avoidable set. We note that each of ‘the set of recursive points’ and ‘the set of avoidable points’ is of first category but not recursively of first category. We show an exdomain exists which is recursively nowhere dense, as well as one that is nowhere dense but not recursively nowhere dense. After establishing that every exdomain is recursively of first category, we prove that given any fixed exdomain, there is another exdomain, which while dense in the underlying space, is disjoint from the fixed exdomain. Finally, we show how to build a recursive sequence of recursive quantum functions that have mutually disjoint, dense exdomains. (shrink)

This paper continues our study of computable point-free topological spaces and the metamathematical points in them. For us, a point is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a sharp filter. A function fF from points to points is generated by a function F from basic open sets to basic open sets such that sharp filters map to sharp filters. We restrict our study to functions that have at (...) least all computable points in their domains.We follow Turing's approach in stating that a point is computable if it is the limit of a computable sharp filter; we then define the Turing degree Deg of a general point x in an analogous way. Because of the vagaries of the definition, a result of J. Miller applies and we note that not all points in all our spaces have Turing degrees; but we also show a certain class of points do. We further show that in ℝn all points have Turing degrees and that these degrees are the same as the classical Turing degrees of points defined by other researchers.We also prove the following: For a point x that has a Turing degree and lies either on a computable tree T or in the domain of a computable function fF, there is a sharp filter on T or in dom converging to x and with the same Turing degree as x. Furthermore, all possible Turing degrees occur among the degrees of such points for a given computable function fF or a complete, computable, binary tree T. For each x ∈ dom for which x and fF have Turing degrees, Deg) ≤ Deg. Finally, the Turing degrees of the sharp filters convergent to a given x are closed upward in the partial order of all Turing degrees. (shrink)

We give the proof of a theorem of Jensen and Zeman on the existence of a global □ sequence in the Core Model below a measurable cardinal κ of Mitchell order ) equal to κ++, and use it to prove the following theorem on mutual stationarity at n.Let ω1 denote the first uncountable cardinal of V and set to be the class of ordinals of cofinality ω1.TheoremIf every sequence n m. In particular, there is such a model in which for (...) all sufficiently large m<ω, the class of measurables λ with oM≥ωm is, in V, stationary below m+2. (shrink)

Background Unit-based critical care nurse leaders (UBCCNL) play a role in exemplifying ethical leadership, addressing moral distress, and mitigating contributing factors to moral distress on their units. Despite several studies examining the experience of moral distress by bedside nurses, knowledge is limited regarding the UBCCNL’s experience. Research aim The aim of this study was to gain a deeper understanding of the lived experiences of Alabama UBCCNLs regarding how they experience, cope with, and address moral distress. Research design A qualitative descriptive (...) design and inductive thematic analysis guided the investigation. A screening and demographics questionnaire and a semi-structured interview protocol were the tools of data collection. Participant and research context Data were collected from 10 UBCCNLs from seven hospitals across the state of Alabama from February to July 2023. Ethical considerations This study was approved by the Institutional Review Board at the University of Alabama in Huntsville. Informed consent was obtained from participants prior to data collection. Findings UBCCNLs experience moral distress frequently due to a variety of systemic and organizational barriers. Feelings of powerlessness tended to precipitate moral distress among UBCCNLs. Despite moral distress resulting in increased advocacy and empathy, UBCCNLs may experience a variety of negative responses resulting from moral distress. UBCCNLs may utilize internal and external mechanisms to cope with and address moral distress. Conclusions The UBCCNL’s experience of moral distress is not dissimilar from bedside staff; albeit, moral distress does occur as a result of the responsibilities of leadership and the associated systemic barriers that UBCCNLs are privier to. When organizations allocate resources for addressing moral distress, they should be convenient to leaders and staff. The UBCCNL perspective should be considered in the development of future moral distress measurement tools and interventions. Future research exploring the relationship between empathy and moral distress among nurse leaders is needed. (shrink)

Framed in psychological terms, the basic question of linguistic theory is what is stored in memory, and in what form. Traditionally, what is stored is divided into grammar and lexicon, where grammar contains the rules and the lexicon is an unstructured list of exceptions. We develop an alternative view in which rules of grammar are simply lexical items that contain variables, and in which rules have two functions. In their generative function, they are used to build novel structures, just as (...) in traditional generative linguistics. In their relational function, they capture generalizations over stored items in the lexicon, a role not seriously explored in traditional linguistic theory. The result is a highly structured lexicon with rich patterns among stored items. We further explore the possibility that this sort of structuring is not specific to language, but appears in other cognitive domains as well, such as the structure of physical objects, of music, and of geographical and social knowledge. The differences among cognitive domains do not lie in this overall texture, but in the materials over which stored relations are defined. The challenge is to develop theories of representation in these other domains comparable to that for language. (shrink)

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

Prior research has studied the antecedents of beliefs regarding ethics and social responsibility (ESR). However, few studies have examined how individual well-being may be related to such beliefs. In this exploratory study, we assessed the relationship between perceived importance of ESR – both individually and of one's company – and indicators of physical and psychological well-being. Results demonstrated that perceived importance of ESR was associated with three aspects of well-being: exuberance for life, sleep problems, and job stress. The results are (...) discussed in terms of future directions for research, and the need for a conceptual framework connecting individual and organizational perceptions of ESR and outcomes of well-being. (shrink)

This study investigated whether perspective-taking reduces belief bias independently of argument strength. Belief bias occurs when individuals evaluate belief-consistent arguments more favourably than belief-inconsistent arguments. Undergraduates read arguments that varied with respect to belief-consistency and strength about the topic of climate change. After participants read each argument, those in the perspective-taking condition rated the argument's strength from a perspective of a climate scientist and then from their own perspectives, whereas those in the no perspective-taking condition only rated the arguments from (...) their own perspectives. Perspective-taking eliminated belief bias for weak arguments, but not for strong arguments. Theoretical and practical implications of the results are discussed, and directions for future research are provided. (shrink)

We consider the following question of Kunen: Does Con(ZFC + ∃M a transitive inner model and a non-trivial elementary embedding j: M $\longrightarrow$ V) imply Con (ZFC + ∃ a measurable cardinal)? We use core model theory to investigate consequences of the existence of such a j: M → V. We prove, amongst other things, the existence of such an embedding implies that the core model K is a model of "there exists a proper class of almost Ramsey cardinals". Conversely, (...) if On is Ramsey, then such a j, M are definable. We construe this as a negative answer to the question above. We consider further the consequences of strengthening the closure assumption on j to having various classes of fixed points. (shrink)

Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.

After decades of single issue movements and identity politics on the U.S. left, the series of large demonstrations beginning in 1999 in Seattle have led many to wonder if activist politics can now come together around a common theme of global justice. This book pursues the prospects for progressive political movements in the 21st century with case studies of ten representative movements, including the anti-globalization forces, environmental interest groups, and new takes on the peace movement.

The blind bandit -- Zuko alone -- The chase -- Bitter work -- The library.

Timothy Williamson has argued that the safety condition on knowledge places certain limits on iterations of knowledge. But at the same time, Williamson claims that interpersonal iterations of knowledge aren’t so restricted as to rule out ordinary cases. The present authors show that Williamson’s discussion misconstrues the challenge to iterated interpersonal knowledge. The proper argument against interpersonal iterations is rather what the authors call a third-person argument that does not share the major weaknesses of the argument Williamson considers. The challenge (...) that the safety condition poses to interpersonal iterations of knowledge therefore seems robust, even in ordinary cases. But the authors also identify an underlying assumption that their argument relies on, and they show that Williamson’s original argument as well as his argument against intrapersonal iterations of knowledge rely on analogous assumptions. In assessing the extent of the clash between safety and iterated knowledge, the focus must be on the viability of these assumptions. (shrink)

El propósito de este artículo es realizar un análisis de las principales nociones que Wittgenstein elabora en este proceso de transición. La pregunta por resolver será, entonces, cómo Wittgenstein estructura su nueva visión del lenguaje. Para darle respuesta, en el inicio del artículo se trabajará una breve observación respecto al ansia de pureza cristalina, que, de algún modo, fue el plan que marcaba la pauta en la filosofía del Tractatus logico-philosophicus. A continuación, desde la discutida noción del significado como uso, (...) se abordarán los principales elementos que constituyen la nueva concepción del lenguaje del segundo Wittgenstein, a saber: el criterio definidor, los juegos de lenguaje, las formas de vida y los parecidos de familia. Por último, se analizará la relación que esta nueva concepción de lenguaje mantiene con las reglas y con el hecho de seguir una regla. (shrink)

The tension between organizational values and the operation of aged care as a business is often characterized as the “mission versus margin” dilemma. It is common across the industry in both not-for-profit and for-profit organizations. However, in for-profit aged care facilities, there is no question about the intention to make a profit or the purpose of the profits. This is not so clear in not-for-profit aged care organizations. This article explores the tension through the examination of a detailed case study (...) of one of the larger not-for-profit social service organizations—All Saints Christian Care. It analyses the culture and managerial decisions though the lens of the political philosophy value pluralism. Finally, based on the value-plural theory, recommendations are made that would create greater operational transparency in not-for-profit aged care service. (shrink)