In this book, Phillip Wiebe examines religious, spiritual, and mystical experiences, assessing how these experiences appear to implicate a spiritual order. Despite the current prevalence of naturalism and atheism, he argues that experiences purporting to have a religious or spiritual significance deserve close empirical investigation. Wiebe surveys the broad scope of religious experience and considers different types of evidence that might give rise to a belief in phenomena such as spirits, paranormal events, God, and an afterlife. He demonstrates that there (...) are different explanations and interpretations of religious experiences, both because they are typically personal accounts, and they suggest a reality that is often unobservable. Wiebe also addresses how to evaluate evidence for theories that postulate unobservables in general, and a Theory of Spirits in particular. Calling for more rigorous investigation of these phenomena, Wiebe frames the study of religious experience among other accepted social sciences that seek to understand religion. (shrink)

Throughout her work, Audre Lorde maintains that her self-preservation in the face of oppression depends on acting from the recognition and valorization of her feelings as a deep source of knowledge. This claim, taken as a portrayal of agency, poses challenges to standard positions in ethics, epistemology, and moral psychology. This article examines the oppositional agency articulated by Lorde’s thought, locating feeling, poetry, and the power she calls “the erotic” within her avowed project of self-preservation. It then explores the implications (...) of taking seriously Lorde’s account, particularly for theorists examining ethics and epistemology under nonideal social conditions. For situations of sexual intimacy, for example, Lorde’s account unsettles prevailing assumptions about the role of consent in responsibility between sexual partners. I argue that obligations to solicit consent and respect refusal are not sufficient to acknowledge the value of agency in intimate encounters when agency is oppositional in the way Lorde describes. (shrink)

In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin's Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown.

This paper investigates connections between procreative ethics and the ethics of suicide and euthanasia. While there are good reasons for distinguishing between lives worth starting and lives worth continuing, I argue that those reasons provide no reason for denying that there is a relationship between procreative and end of life ethics. Regarding euthanasia/assisted suicide, we might think it too demanding to ask parents to help euthanize their terminally ill, suffering child, but had the parents not procreated, thereby exposing their child (...) to life's risks, their child wouldn't need euthanizing. If you need help killing yourself, shouldn't your parents, who got you into life in the first place – without your consent – help you out of it? Yet knowing that your parents would help you kill yourself may increase your desire to die. A conundrum. Regarding suicide, the fact that we are forced into life should bolster the right to suicide, even for reasons that others might find wanting. The ways in which we are brought into life have moral implications for the ways in which we are entitled to get out of it. (shrink)

Closed Loop medical devices such as Closed Loop Deep Brain Stimulation and Brain Computer Interface are some of the emerging neurotechnologies. New generations of implantable brain–computer interfaces have recently gained success in human clinical trials. These implants detect specific neuronal patterns and provide the subject with information to respond to these patterns. Further, Closed Loop brain devices give control to the subject so that he can respond and decide on a therapeutic goal. Although the implants have improved subjects’ quality of (...) life, their use has raised varied ethical concerns. The aim of this study is to provide an overview of the ethical implications specific to the therapeutic goals of closed loop brain implants. The authors analyze the related work qualitatively and quantitatively so as to help readers in understanding the various ethical implications of closed loop brain implants. (shrink)

GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated. Connections between GE algebras and other classes of algebras of logic are studied. The implicative and positive implicative properties are discussed. It is shown that the class of positive implicative GE algebras (resp. the class of implicative aGE algebras) coincides with the class of (...) generalized Tarski algebras (resp. the class of Tarski algebras). It is proved that for any aGE algebra the property of implicativity is equivalent to the commutative property. Moreover, several examples to illustrate the results are given. Finally, the interrelationships between some classes of implicative and positive implicative algebras are presented. (shrink)

An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...) on how neuroscience is studied is also investigated (with the notion that brains do not passively build models, but instead support the guidance of action). A review of its implications in robotics and engineering includes a discussion of the application of enactive control principles to couple action and perception in robotics as well as the conceptualization of system design in a more holistic, less modular manner. Practical applications that can impact the human condition are reviewed (e.g., educational applications, treatment possibilities for developmental and psychopathological disorders, the development of neural prostheses). All of this foreshadows the potential societal implications of the pragmatic turn. The chapter concludes that an action-oriented approach emphasizes a continuum of interaction between technical aspects of cognitive systems and robotics, biology, psychology, the social sciences, and the humanities, where the individual is part of a grounded cultural system. (shrink)

Algorithms silently structure our lives. Algorithms can determine whether someone is hired, promoted, offered a loan, or provided housing as well as determine which political ads and news articles consumers see. Yet, the responsibility for algorithms in these important decisions is not clear. This article identifies whether developers have a responsibility for their algorithms later in use, what those firms are responsible for, and the normative grounding for that responsibility. I conceptualize algorithms as value-laden, rather than neutral, in that algorithms (...) create moral consequences, reinforce or undercut ethical principles, and enable or diminish stakeholder rights and dignity. In addition, algorithms are an important actor in ethical decisions and influence the delegation of roles and responsibilities within these decisions. As such, firms should be responsible not only for the value-laden-ness of an algorithm but also for designing who-does-what within the algorithmic decision. As such, firms developing algorithms are accountable for designing how large a role individual will be permitted to take in the subsequent algorithmic decision. Counter to current arguments, I find that if an algorithm is designed to preclude individuals from taking responsibility within a decision, then the designer of the algorithm should be held accountable for the ethical implications of the algorithm in use. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

An investigation is made into how the foundations of statistical mechanics are affected once we treat classical mechanics as an approximation to quantum mechanics in certain domains rather than as a theory in its own right; this is necessary if we are to understand statistical-mechanical systems in our own world. Relevant structural and dynamical differences are identified between classical and quantum mechanics (partly through analysis of technical work on quantum chaos by other authors). These imply that quantum mechanics significantly affects (...) a number of foundational questions, including the nature of statistical probability and the direction of time. (shrink)

Responses to the COVID-19 pandemic prompted people and institutions to turn to online virtual environments for a wide variety of social gatherings. In this perspectives article, we draw upon our previous work and interviews with Ghanaian Christian leaders to consider implications of this shift. Specifically, we propose that the shift from physical to virtual interactions mimics and amplifies the neoliberal individualist experience of abstraction from place associated with Eurocentric modernity. On the positive side, the shift from physical to virtual environments (...) liberates people to selectively pursue the most fulfilling interactions, free from constraints of physical distance. On the negative side, the move from physical to virtual space necessitates a shift from material care and tangible engagement with the local community to the psychologization of care and pursuit of emotional intimacy in relations of one’s choosing—a dynamic that further marginalizes people who are already on the margins. The disruptions of the pandemic provide an opportunity to re-set social relations, to design ways of being that better promote sustainable collective well-being rather than fleeting personal fulfillment. (shrink)

There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.

This paper investigates the implicative conditional, a connective intended to describe the logical behavior of an empirically defined class of natural language conditionals, also named implicative conditionals, which excludes concessive and some other conditionals. The implicative conditional strengthens the strict conditional with the possibility of the antecedent and of the contradictory of the consequent. $${p\Rightarrow q}$$ p ⇒ q is thus defined as $${\lnot } \Diamond {(p \wedge \lnot q) \wedge } \Diamond {p \wedge } \Diamond {\lnot q}$$ ¬ ◊ (...) ( p ∧ ¬ q ) ∧ ◊ p ∧ ◊ ¬ q. We explore the logical properties of this conditional in a reflexive normal Kripke semantics, provide an axiomatic system and prove it to be sound and complete for our semantics. The implicative conditional validates transitivity and contraposition, which we take to be integral parts of reasoning and communication. But it only validates restricted versions of strengthening the antecedent, right weakening, simplification, and rational monotonicity. Apparent counterexamples to some of these properties are explained as due to contextual factors. Finally, the implicative conditional avoids the paradoxes of material and strict implication, and validates some connexive principles such as Aristotle’s theses and weak Boethius’ thesis, as well as some highly entrenched principles of conditionals, such as conjunction of consequents, disjunction of antecedents, modus ponens, cautious monotonicity and cut. (shrink)

It generally agreed that the requirement of formal general covariance is a condition of the well-formedness of a spacetime theory and not a restriction on its content. Physicists commonly take the substantive requirement of general covariance to mean that the laws exhibit diffeomorphism invariance and that this invariance is a gauge symmetry. This latter requirement does place restrictions on the content of a spacetime theory. The present paper explores the implications of these restrictions for interpreting the ideology and ontology of (...) classical general relativity theory and loop quantum gravity. (shrink)

How does causation in the physical world relate to implication in logic? This article presents implication as fundamentally a relation of inclusion between propositions. Given this, it is argued that an event cannot “causally imply” another, also given the laws of nature. Then, by applying the notion of inclusion to physical objects, a relation “within the possibilities of” is developed, which generates a partial order on sets of entities and is independent of time. Based on this, it is shown that (...) changes of physical objects in time (at any rate, a great many of them) imply, and thus counterfactually depend on, what we call “causes” – an asymmetric dependence which is robust despite the perspectival nature of the concept of “cause”. (shrink)

Vulnerability and politics are among the relevant and key topics of discussion in the Ethiopian healthcare context. Attempts by the formal bioethics structure in Ethiopia to deliberate on ethical issues relating to vulnerability and politics in healthcare have been limited, even though the informal analysis of bioethical issues has been present in traditional Ethiopian communities. This is reflected in religion, social values, and local moral underpinnings. Thus, the aim of this paper is to discuss the bioethical implications of vulnerability and (...) politics for healthcare in Ethiopia and to suggest possible ways forward. First, we will briefly introduce what has been done to develop bioethics as a field in Ethiopia and what gaps remain concerning its implementation in healthcare practice. This will give a context for our second and main task – analyzing the healthcare challenges in relation to vulnerability and politics and discussing their bioethical implications. In doing so, and since these two concepts are intrinsically broad, we demarcate their scope by focusing on specific issues such as poverty, gender, health governance, and armed conflicts. Lastly, we provide suggestions for the ways forward. (shrink)

David Bohm is one of the foremost scientific thinkers of today and one of the most distinguished scientists of his generation. His challenge to the conventional understanding of quantum theory has led scientists to reexamine what it is they are going and his ideas have been an inspiration across a wide range of disciplines. _Quantum Implications_ is a collection of original contributions by many of the world' s leading scholars and is dedicated to David Bohm, his work and the issues (...) raised by his ideas. The contributors range across physics, philosophy, biology, art, psychology, and include some of the most distinguished scientists of the day. There is an excellent introduction by the editors, putting Bohm's work in context and setting right some of the misconceptions that have persisted about the work of David Bohm. (shrink)

In this paper a look is taken at the relatively new area of culturing neural tissue and embodying it in a mobile robot platform—essentially giving a robot a biological brain. Present technology and practice is discussed. New trends and the potential effects of and in this area are also indicated. This has a potential major impact with regard to society and ethical issues and hence some initial observations are made. Some initial issues are also considered with regard to the potential (...) consciousness of such a brain. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

A series of imitation games involving 3-participant (simultaneous comparison of two hidden entities) and 2-participant (direct interrogation of a hidden entity) were conducted at Bletchley Park on the 100th anniversary of Alan Turing’s birth: 23 June 2012. From the ongoing analysis of over 150 games involving (expert and non-expert, males and females, adults and child) judges, machines and hidden humans (foils for the machines), we present six particular conversations that took place between human judges and a hidden entity that produced (...) unexpected results. From this sample we focus on features of Turing’s machine intelligence test that the mathematician/code breaker did not consider in his examination for machine thinking: the subjective nature of attributing intelligence to another mind. (shrink)

The Implications of Immanence develops a philosophy of life in opposition to the notion of “bio-power,” which reduces the human to the question of power over what Giorgio Agamben terms “bare life,” mere biological existence. Breaking with all biologism or vitalism, Lawlor attends to the dispersion of death at the heart of life, in the “minuscule hiatus” that divides the living present, separating lived experience from the living body and, crucially for phenomenology, inserting a blind spot into a visual field.Lawlor (...) charts here a post-phenomenological French philosophy. What lies beyond phenomenologyis “life-ism,” the positive working out of the effects of the “minuscule hiatus” in a thinking that takes place on a “plane of immanence,” whose implications cannot be predicted. Life-ism means thinking life and death together, thinking death as dispersed throughout life. In carefully argued and extensively documented chapters, Lawlor sets out the surpassing of phenomenology and the advent of life-ism in Merleau-Ponty, Derrida, and Foucault, with careful attention to the writings by Husserl and Heidegger to which these thinkers refer.A philosophy of life has direct implications for present-day political and medical issues. The book takes its point of departure from the current genocide in Darfur and provides conceptual tools for intervening in such issues as the AIDS epidemic and life-support for the infirm. Indeed, the investigations contained in The Implications of Immanence are designed to help us emerge once and for all out of the epoch of bio-power.“Lawlor’s novel way of treating the concept of life is stimulating, original, and necessary for the social well being of our time.”—Fred Evans, Duquesne University“The Implications of Immanence continues the most promising, rigorous, and fruitful ongoing research project among scholars of twentieth-century philosophy. . . .A wonderful new book.”—John Protevi, Louisiana State University. (shrink)

I modify Grice's theory of conversational implicature so as to accommodate acts of implicating propositions by asking questions, acts of implicating questions by asserting propositions, and acts of implicating questions by asking questions. I describe the relations between a declarative sentence's semantic content (the proposition it semantically expresses), on the one hand, and the propositions that a speaker locutes, asserts, and implicates by uttering that sentence, on the other. I discuss analogous relations between an interrogative sentence's semantic content (the question (...) it semantically expresses), and the questions that a speaker locutes, asks, and implicates by uttering that sentence. (shrink)

In “Risk Based Passenger Screening in Aviation Security: Implications and Variants of a New Paradigm”, Sebastian Weydner-Volkmann describes the current paradigm shift from ‘traditional’ forms of screening to ‘risk based passenger screening’ (RBS) in aviation security. This paradigm shift is put in the context of the wider historical development of risk management approaches. Through a discussion of Michel Foucault, Herfried Münkler and Ulrich Beck, Weydner-Volkmann analyses the shortcomings of such approaches in public security policies, which become especially evident in the (...) aviation security context. As he shows, the turn towards methods of RBS can be seen as an attempt to address a trade-off ‘trilemma’ between the effective provision of security, the implied costs for industry and passengers, and the ethical, legal and societal implications of the screening procedures. In order to analyse foreseeable outcomes of embracing RBS, he differentiates three prototypical variants of the new paradigm on the basis of their main referent and rationale. For each variant, he then subsequently assesses the implications for the ‘trilemma’, after having unveiled the criteria of analysis that will necessarily have to be followed within a serious appraisal of RBS methods. (shrink)

The importance of fairness in machine learning models is widely acknowledged, and ongoing academic debate revolves around how to determine the appropriate fairness definition, and how to tackle the trade-off between fairness and model performance. In this paper we argue that besides these concerns, there can be ethical implications behind seemingly purely technical choices in fairness interventions in a typical model development pipeline. As an example we show that the technical choice between in-processing and post-processing is not necessarily value-free and (...) may have serious implications in terms of who will be affected by the specific fairness intervention. The paper reveals how assessing the technical choices in terms of their ethical consequences can contribute to the design of fair models and to the related societal discussions. (shrink)

Reductionism has dominated science and philosophy for centuries. Complexity has recently shown that interactions—which reductionism neglects—are relevant for understanding phenomena. When interactions are considered, reductionism becomes limited in several aspects. In this paper, I argue that interactions imply nonreductionism, non-materialism, non-predictability, non-Platonism, and non-Nihilism. As alternatives to each of these, holism, informism, adaptation, contextuality, and meaningfulness are put forward, respectively. A worldview that includes interactions not only describes better our world, but can help to solve many open scientific, philosophical, and (...) social problems caused by implications of reductionism. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

Implicating, as it is conceived in recent pragmatics, amounts to conveying a (propositional) content without saying it – a content providing no contribution to the truth-conditions of the proposition expressed by the sentence uttered. In this sense, implicating is a notion closely related to the work of Paul Grice (1913-1988) and of his precursors, followers and critics. Hence, the task of this article is to introduce and critically examine the explicit/implicit distinction, the Gricean notion of implicature (conventional and conversational) and (...) its recent developments and connections with the speaker's intentions, communicative responsibility and rationality. (shrink)

Recent developments in cosmology indicate that every history having a non-zero probability is realized in infinitely many distinct regions of spacetime. Thus, it appears that the universe contains infinitely many civilizations exactly like our own, as well as infinitely many civilizations that differ from our own in any way permitted by physical laws. We explore the implications of this conclusion for ethical theory and for the doomsday argument. In the infinite universe, we find that the doomsday argument applies only to (...) effects which change the average lifetime of all civilizations, and not those which affect our civilization alone. 1. Introduction2. Physics background2.1The number of possible histories is finite2.2The universe is infinite2.3Every possible history occurs an infinite number of times3. Frequency and probability4. Inflation contrasted4.1Modal realism4.2Actualism4.3Eternal recurrence5. Ethical implications6. Universal doomsday6.1Application to our civilization in particular6.2Universal vs. particular dooms6.3Practical applications7. Concluding remarks. (shrink)

Corporeality of human beings should be taken seriously and be included in their self-understanding as the ‘nature we are ourselves’. Such an ecophenomenological account has important normative implications. Firstly, I argue that the instrumental value of nature can be particularly well justified based on an ecophenomenological approach. Secondly, sentience is inseparable from corporeality. Therefore, insofar as it is a concern of the ecophenomenological approach to take corporeality and its implications seriously, sentient beings deserve direct moral consideration. Thirdly, it can strengthen (...) the so-far underestimated category of eudaimonic values of nature, which can be best developed through an ecophenomenological reconstruction. Taken together, ecophenomenology is vital for environmental ethics and helps us to leave behind its widespread ‘centrism’. Ecophenomenology should therefore, both methodically and philosophically, be included in the discussion of environmental ethical problems. (shrink)

Humberstone asks whether every theorem of BCI provably implies $\phi\to\phi$ for some formula $\phi$. Meyer conjectures that the axiom $\mathbf{B}$ does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.

The Komori–Kashima problem, that asks whether the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

As one of the most influential commentators on the role of modern philosophy, Richard Rorty's work impacted all areas of philosophical inquiry, including business ethics. Rorty's post-foundational approach to "moral imagination" can inform how we teach business ethics in a diverse and philosophically eclectic manner. A summary of Rorty's critique of philosophy, ethics, and applied ethics will be followed by a discussion of the implications for a critical pedagogy and the pragmatic use of an expansive philosophical lexicon in a business (...) ethics course. (shrink)

Introduction : from victims and perpetrators to implicated subjects -- The transmission belt of domination : theorizing the implicated subject -- On (not) being a descendant : implicated subjects and the legacies of slavery -- Progress, progression, procession : William Kentridge's implicated aesthetic -- From Gaza to Warsaw : multidirectional memory and the perpetuator -- Under the sign of suitcases : the Holocaust internationalism of Marceline Loridan-Ivens -- "Germany is in Kurdistan" : Hito Steyerl's images of implication -- Conclusion : (...) transfiguring implication : eleven theses. (shrink)

This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. Furthermore, we (...) provide some philosophical upshots like, e.g., a discussion on the relevance of the above operation in relationship with G. Polya’s logic of plausible inference, and some characterization results on weak and strong connexivity. (shrink)

For \(n\in \omega \), the weak choice principle \(\textrm{RC}_n\) is defined as follows: _For every infinite set_ _X_ _there is an infinite subset_ \(Y\subseteq X\) _with a choice function on_ \([Y]^n:=\{z\subseteq Y:|z|=n\}\). The choice principle \(\textrm{C}_n^-\) states the following: _For every infinite family of_ _n_-_element sets, there is an infinite subfamily_ \({\mathcal {G}}\subseteq {\mathcal {F}}\) _with a choice function._ The choice principles \(\textrm{LOC}_n^-\) and \(\textrm{WOC}_n^-\) are the same as \(\textrm{C}_n^-\), but we assume that the family \({\mathcal {F}}\) is linearly orderable (...) (for \(\textrm{LOC}_n^-\) ) or well-orderable (for \(\textrm{WOC}_n^-\) ). In the first part of this paper, for \(m,n\in \omega \) we will give a full characterization of when the implication \(\textrm{RC}_m\Rightarrow \textrm{WOC}_n^-\) holds in \({\textsf {ZF}}\). We will prove the independence results by using suitable Fraenkel-Mostowski permutation models. In the second part, we will show some generalizations. In particular, we will show that \(\textrm{RC}_5\Rightarrow \textrm{LOC}_5^-\) and that \(\textrm{RC}_6\Rightarrow \textrm{C}_3^-\), answering two open questions from Halbeisen and Tachtsis (Arch Math Logik 59(5):583–606, 2020). Furthermore, we will show that \(\textrm{RC}_6\Rightarrow \textrm{C}_9^-\) and that \(\textrm{RC}_7\Rightarrow \textrm{LOC}_7^-\). (shrink)