We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ (...) over $\mathsf {RCA}_0$. For each fixed $k \geq 3$, the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$. The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$. Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$, by $\mathsf {ADS}$, and by $\mathsf {SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$. (shrink)

Digital technologies have become a crucial factor in nursing. Given the fact that many tasks could also be done by robots or AI systems, the place for the nurse in this scenario is unclear. In what way and to what extent will the implementation of ever more sophisticated technology affect nursing practice? It is the aim of this paper to analyse the potential challenges of nursing practice in the digital age. The analysis is conducted through the lens of new materialism, (...) a set of theoretical models that understand the relationship between humans and technology as dynamic and performative. According to this view, there is no prefixed essence of technology. Rather, the meaning of technology is enacted in concrete practice. The analysis shows that in past debates on technology use in nursing, the nurses’ role has been defined as guardians of humanity, defending the patient against the dehumanizing effects of technology. This role has been transferred to the digital age, where it is the duty of nurses to cushion the negative effects of digital technology. As an alternative to this outdated role, nurses should be included in processes of technology design and policymaking. Enabling nursing professionals to shape the circumstances of a digitally enhanced holistic practice may empower their status within the healthcare system and also benefit the patient by contributing to a more person‐centred care. (shrink)

The paper provides a conceptual distinction between evidence assessment criteria and standards of proof. Evidence must be assessed in order to check whether it satisfies a relevant standard of proof, and the assessment is operated with some criterion; so both criteria and standards are necessary for fact-finding. In addition to this conceptual point, the article addresses three main questions: Why do some scholars and decision-makers take assessment criteria as standards of proof and vice versa? Why do systems differ as to (...) criteria and standards? How can a system work if it neglects one of these things? The answers to the first and second question come from the historical and procedural differences between the systems. The answer to the third focuses on the functional connection between criteria and standards. (shrink)

In March 2019, the German Gemeinsamer Bundesausschuss (G‑BA; Federal Joint Committee) presented the result of the method assessment process on non-invasive prenatal testing (NIPT). The aim of this method assessment process was to decide whether NIPT should become a publicly funded procedure of routine prenatal care. The G‑BA decided in favor of NIPT, making the implementation of NIPT very likely, provided that other healthcare and political institutions also agree. This development could be interpreted as empowering from the perspective of reproductive (...) autonomy, since NIPT allows pregnant women to obtain valuable information on the health of the fetus in a fast and easy manner and without the risks of invasive methods. However, the routinization of NIPT also implies ethical challenges. Will the routinization lead to a normalization of prenatal quality control? Will it lead to an expansion to women outside the high-risk group? What would be the ethical implications of such a development? How should physicians, geneticists, and patients deal with the increased amount of obtainable information? What are the implications for choice and decision-making in the prenatal care context? In this paper, we analyze the ethical aspects of the routinization of NIPT, focusing on information and the counseling process, the burden of choice, and the threats to reproductive autonomy by societal interests linked to NIPT. (shrink)

Theoria, Volume 88, Issue 4, Page 733-742, August 2022.

AgeTech involves the use of emerging technologies to support the health, well-being and independent living of older adults. In this paper we focus on how AgeTech based on artificial intelligence (AI) may better support older adults to remain in their own living environment for longer, provide social connectedness, support wellbeing and mental health, and enable social participation. In order to assess and better understand the positive as well as negative outcomes of AI-based AgeTech, a critical analysis of ethical design, digital (...) equity, and policy pathways is required. A crucial question is how AI-based AgeTech may drive practical, equitable, and inclusive multilevel solutions to support healthy, active ageing. In our paper, we aim to show that a focus on equity is key for AI-based AgeTech if it is to realize its full potential. We propose that equity should not just be an extra benefit or minimum requirement, but the explicit aim of designing AI-based health tech. This means that social determinants that affect the use of or access to these technologies have to be addressed. We will explore how complexity management as a crucial element of AI-based AgeTech may potentially create and exacerbate social inequities by marginalising or ignoring social determinants. We identify bias, standardization, and access as main ethical issues in this context and subsequently, make recommendations as to how inequities that stem form AI-based AgeTech can be addressed. (shrink)

The paper defends the theoretical strength and consistency of Rawls's constructivism, showing its ability to articulate and convincingly weave together several key ethical ideas; yet it questions the political relevance of this admirable normative architecture. After having illustrated Rawls's conception of moral agency and practical reason, the paper tackles two criticisms raised by Scheffler. First the allegation of naturalism based on Rawls's disdain of common sense ideas on desert is rebutted. It is then shown that, contrary to Scheffler's contention, Rawls (...) takes proper account of our moral sentiments in the process of constructing his normative theory. Finally, the second criticism is assessed, namely the inability of Rawls's theory to increase consent around liberal policies. Despite disagreement with details of Scheffler's argument, it is suggested that the failure of recent normative liberal theories to have a political impact belies their inability to take into proper consideration the reality of politics. A more realistic appraisal of political life and of historical events and developments are called for if political philosophy wants to be something more than an academic exercise. (shrink)

Reid’s rejection of the “theory of ideas” implies that sensations are not copies of external qualities such as extension and figure. Reid also says that not even the order of sensations is spatial. However, in his early manuscripts Reid did not deny that sensations are arranged spatially. He simply denied that our ideas of extension and figure are copied from any single atomic sensation. Only subsequently did Reid explicitly reject the view that sensations are arranged spatially. The question of the (...) spatiality of color sensation was a central concern of early interpreters of Reid, like Dugald Stewart, John Fearn, and William Hamilton. In particular, John Fearn thought that the denial of the spatiality of color sensations is the result of Reid’s commitment to the immateriality of the soul. Against Reid’s view, Fearn argued that the perception of visible figure necessarily implies the spatiality of color sensations. (shrink)

In normal observers, gazing at one’s own face in the mirror for a few minutes, at a low illumination level, triggers the perception of strange faces, a new visual illusion that has been named ‘strange-face in the mirror’. Individuals see huge distortions of their own faces, but they often see monstrous beings, archetypal faces, faces of relatives and deceased, and animals. In the experiment described here, strange-face illusions were perceived when two individuals, in a dimly lit room, gazed at each (...) other in the face. Inter-subjective gazing compared to mirror-gazing produced a higher number of different strange-faces. Inter-subjective strange-face illusions were always dissociative of the subject’s self and supported moderate feeling of their reality, indicating a temporary lost of self-agency. Unconscious synchronization of event-related responses to illusions was found between members in some pairs. Synchrony of illusions may indicate that unconscious response–coordination is caused by the illusion–conjunction of crossed dissociative strange-faces, which are perceived as projections into each other’s visual face of reciprocal embodied representations within the pair. Inter-subjective strange-face illusions may be explained by the subject’s embodied representations and the other’s visual face binding. Unconscious facial mimicry may promote inter-subjective illusion–conjunction, then unconscious joint-action and response–coordination. (shrink)

In his writings about hypergeometric functions Gauss succeeded in moving beyond the restricted domain of eighteenth-century functions by changing several basic notions of analysis. He rejected formal methodology and the traditional notions of functions, complex numbers, infinite numbers, integration, and the sum of a series. Indeed, he thought that analysis derived from a few, intuitively given notions by means of other well-defined concepts which were reducible to intuitive ones. Gauss considered functions to be relations between continuous variable quantities while he (...) regarded integration and summation as appropriate operations with limits. He also regarded infinite and infinitesimal numbers as a façon de parler and used inequalities in order to prove the existence of certain limits. He took complex numbers to have the same legitimacy as real quantities. However, Gauss’s continuum was linked to a revised form of the eighteenth-century notion of continuous quantity: it was not reducible to a set of numbers but was immediately given. (shrink)

In this note a T1 formal space is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of a formal space, and prove that the class of points of a weakly set-presentable formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulate separation properties for constructive topological spaces , strengthening separation properties discussed elsewhere. Finally we relate (...) the properties for ct-spaces with corresponding properties of formal spaces. (shrink)

We consider the ways humans engage in social epistemic actions, to guide each other's attention, prediction, and learning processes towards salient information, at the timescale of online social interaction and joint action. This parallels the active guidance of other's attention, prediction, and learning processes at the longer timescale of niche construction and cultural practices, as discussed in the target article.

To be successful, the research agenda for a novel control view of cognition should foresee more detailed, computationally specified process models of cognitive operations including higher cognition. These models should cover all domains of cognition, including those cognitive abilities that can be characterized as online interactive loops and detached forms of cognition that depend on internally generated neuronal processing.

In a recent article on Reid’s theory of single and double vision, James Van Cleve considers an argument against direct realism presented by Hume. Hume argues for the mind-dependent nature of the objects of our perception from the phenomenon of double vision. Reid does not address this particular argument, but Van Cleve considers possible answers Reid might have given to Hume. He finds fault with all these answers. Against Van Cleve, I argue that both appearances in double vision could be (...) considered visible figures of the object, and show how this solution might preserve Reid’s direct realism. However, this solution is not compatible with the single appearance of an object predicted by Reid’s theory of single and double vision. This consequence will appear evident once we consider the critique of Reid’s theory of single and double vision formulated by William Charles Wells (1757-1817). Wells argues that Reid’s theory is either incomplete or incompatible with other claims made by Reid. It is incomplete since it fails to specify the unique direction in which we the object in single vision; if it not incomplete and is compatible with the law of monocular direction given by Reid, then it is incompatible with Reid’s claim that we do not perceive immediately distance by sight. (shrink)

Prema najekstremnijem obliku pravnoga realizma sudske odluke ovise o tome što su suci jeli za doručak. Nejasno je je li itko od američkih pravnih realista takvo što zaista i tvrdio. Ponekad se to ekstremno stajalište pripisuje Jeromeu Franku, što nije iznenađujuće s obzirom da se Franka obično smatra najradikalnijim, najskeptičnijim i najciničnijim među tim realistima. Tvrdi se zapravo da su kritičari američkog pravnog realizma promovirali «frankifikaciju» toga pokreta upravo kako bi ga učini..

Die Möglichkeiten der Reproduktionsmedizin erweitern sich ständig. Bei einigen Maßnahmen assistierter Reproduktion ist es oft unklar, ob eine Indikation vorliegt oder ob diese Maßnahmen als wunscherfüllend anzusehen sind. Die Unterscheidung zwischen medizinisch indizierter Maßnahme und wunscherfüllender Behandlung hängt von dem hier verwendeten Konzept der Indikation ab. Daher kommt dem Konzept der Indikation auf dem Gebiet der Reproduktionsmedizin ein besonderer Stellenwert zu. Dabei fällt auf, dass die Abgrenzung zwischen medizinisch indizierter Behandlung und Wunschbehandlung nicht allein klinisch begründet ist, sondern implizit oder (...) explizit normative Urteile enthält. Der sprachlich-kommunikative Aspekt spielt hierbei eine zentrale Rolle. Der übliche Sprachgebrauch von „indiziert“ suggeriert ein Urteil, das allein auf empirisch-klinischen Fakten basiert, und verdeckt die normativen Urteile, die in das Konzept der Indikation einfließen. Ziel des vorliegenden Beitrags ist es, den normativen Gehalt der Indikation in der Reproduktionsmedizin zu analysieren. Grundlage ist die eingehende Betrachtung des Konzepts der Indikation und der besonderen Stellung der Indikation in der Reproduktionsmedizin. Aus dieser Betrachtung ergibt sich, dass der normative Gehalt der Indikation von einem soziokulturellen Skript bezüglich Elternschaft geprägt ist, das sich v. a. im Leistungsrecht niederschlägt. Dieses Skript enthält gesellschaftliche Anschauungen, Normen und Rollenbilder und kann als „gute Elternschaft“ bezeichnet werden. Das Skript der guten Elternschaft wirkt als Regulativ, das durch leistungsrechtliche Vorgaben über den Zugang zu reproduktionsmedizinischen Maßnahmen bestimmt. Es basiert auf traditionellen heteronormativen Ehe- und Familienkonzepten und sieht Elternschaft für heterosexuelle, verheiratete Paare vor. Somit ergibt sich der Widerspruch, dass Verfahren der Reproduktionsmedizin, die den Raum für die Fortpflanzung jenseits traditionell-heteronormativer Konzepte öffnen, von ebenjenen Konzepten legitimiert und limitiert werden. (shrink)

Fr. Sala attempts in this article to provide readers and students of Lonergan with a clear, precise, and condensed presentation of his conception of method in theology in today’s context. He does this by sketching the most important stages in the evolution of Lonergan’s thought. The core of this presentation is the analysis of the “human subject in its subjectivity.” Lonergan deals primarily not with the content of theological science but with the operations theologians perform in constructing theology. He endeavors (...) to clarify this subjectivity in all its dimensions. Having given us an analysis of Lonergan’s Verbum articles, Sala goes on to present Lonergan’s Insight under three headings: knowledge, objectivity, and reality. This done, he proceeds to summarize Method in Theology under these headings: the religious dimension of the subject, the structure of theological method, the specific theological principle of a method in theology, and the authentic subject as the foundation for theological reflection.The article is a masterly presentation of a vast area of research and a good introduction to Lonergan’s works.This article appeared in Theologie und Philosophie 63 (1988) 34-59 and was titled: “B. Lonergans Methode der Theologie: Ein Theologe hinterfugt seinen eigenen Verstand.” Von Giovanni B. Sala, S.J. (shrink)

This highly influential anti-Machiavellian text is an important primary source for the understanding of early modern political thought.

Acknowledgements -- Intimation -- Dressed to communicate, or not -- Storytelling as intimation: the model presented -- Storytelling as intimation, the model defended and refined -- Situational irony, the world made intimative -- Bibliography -- Index.

The discourse on escaping is primarily directed towards the who of escape. The question of what and how of escaping in its cultural-anthropological significance is usually neglected. The present paper claims to overcome this inadequacy by exploring escape eo ipso and as a spatial-theoretical phenomenon. For this purpose, it is necessary to rethink escape as a triple articulated phenomenological topology based on three vectors: escape as a start, escape as a transition and escape as a destination/refuge. The escape-vectors play the (...) role of symbolic and basic structures which are connected with linguistic and cognitive paradigms. Among the basic figures of escaping, this paper examines escape as a separation, as a non-place and as a fugue; these correspond in turn to the environmental metaphors, first, of the earth as exile, secondly, of the sea and the desert, and finally of the earth as asylum. The multilayered topology of escaping is reconstructed in the interdisciplinary field of spatial theory, of etymology, literature and political philosophy. By examining its spatial-philosophical characteristics, escape emerges as a dynamic phenomenon that can reshape essential concepts and inverse traditional categories of politics. For that reason, escaping determines a philosophically “inverted world” and consequently constitutes an essential source for the future development of cultural-political systems. (shrink)

In some of his philosophical and scientific works Charles S. Peirce emphasized the economic constraints put upon scientific research. The process of generation, selection and testing of hypotheses, as well as the collection of data and information, is subject to time and resource constraints. Working scientists must individuate the most promising hypotheses and lines of research given the amount of resources at disposal. To this effect they have to estimate in particular the resources needed for testing, and what the acceptability (...) standards require. To put this into economic terms, they have to estimate the expected benefits of research compared with its expected costs. Those who allocate research funds... (shrink)