This article addresses paucity in literature on the conceptualising of the true nature of a Protestant revival. Through a literary review and document study, the article aims to compile a Protestant revival evaluation criterion to assess protestant revivals. This was done by integrating the distinctives of Evangelical revivals throughout history as described by prominent scholars such as Armstrong, Cairns, Edwards, Lloyd-Jones and Sprague in general. In addition, various past and present examples and exponents of true and juxtaposing anti-revivals were investigated (...) and beacons set for sustainable revival. From the PREC, three levels were established by which to assess revivals: individuals, the church and surrounding communities. For the case study, information was gleaned from multiple sources, including interviews, documents, sermons, newsletters, observations and research reports. Applying the PREC in a case study, demonstrates how it operates as a valuable tool; in this case, the revival among the Zulus in KwaSizabantu, South Africa. (shrink)

Given the complexity of teams involved in creating AI-based systems, how can we understand who should be held accountable when they fail? This paper reports findings about accountable AI from 26 interviews conducted with stakeholders in AI drawn from the fields of AI research, law, and policy. Participants described the challenges presented by the distributed nature of how AI systems are designed, developed, deployed, and regulated. This distribution of agency, alongside existing mechanisms of accountability, responsibility, and liability, creates barriers for (...) effective accountable design. As agency is distributed across the socio-technical landscape of an AI system, users without deep knowledge of the operation of these systems become disempowered, unable to challenge or contest when it impacts their lives. In this context, accountability becomes a matter of building systems that can be challenged, interrogated, and, most importantly, adjusted in use to accommodate counter-intuitive results and unpredictable impacts. Thus, accountable system design can work to reconfigure socio-technical landscapes to protect the users of AI and to prevent unjust apportionment of risk. (shrink)

Ethical decision-making is essential to professionalism in engineering. For that reason, ethics is a required topic in an ABET approved engineering curriculum and it must be a foundational strand that runs throughout the entire curriculum. In this paper the curriculum approach that is under development at the Padnos School of Engineering (PSE) at Grand Valley State University will be described. The design of this program draws heavily from the successful approach used at the service academies — in particular West Point (...) and the United States Naval Academy. As is the case for the service academies, all students are introduced to the “Honor Concept” (which includes an Honor Code) as freshmen. As an element of professionalism the PSE program requires 1500 hours of co-op experience which is normally divided into three semesters of full-time work alternated with academic semesters during the last two years of the program. This offers the faculty an opportunity to teach ethics as a natural aspect of professionalism through the academic requirements for co-op. In addition to required elements throughout the program, the students are offered opportunities to participate in service projects which highlight responsible citizenship. These elements and other parts of the approach will be described. “Train up a child in the way he should go and when he is old he will not depart from it.” King Solomon. (shrink)

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in (...) the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms using ∧, ∨, ∀, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model-consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (shrink)

We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes the (...) sentences preserved under sandwiches of Kripke models. We also define several intuitionistic formula hierarchies analogous to the classical formula hierarchies $\forall_n (= \Pi^0_n)$ and $\exists_n (=\Sigma^0_n)$ , and we show how our generalized syntactic preservation theorems specialize to these hierarchies. Each of these theorems implies the corresponding classical theorem in the case where the Kripke models force classical logic. (shrink)

From classical, Fraïissé-homogeneous, ($\leq \omega$)-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.

The article examines entire dispute courses in family interaction with regard to argumentation. The approach is an interdisciplinary one integrating both linguistic conversation analysis and empirical psychology, and leads to a typology of dispute courses. Research is guided by the presupposition that the presentation of an argument depends on two systems, a cognitive one and a motivational one, and that both systems are reflected in the realization of the interaction.Six types of dispute courses were detected and grouped in the dichotomy (...) of more constructive and more destructive courses where the latter were divided again into courses disturbed in topical progress or disturbed in interpersonal relationships. The types were evaluated through quantitative methods referring to an exhausting coding of the utterances in the material used. Quantitative evaluations yield a synopsis of the different dispute courses concerning the kind of mutual interaction control, the argumentation itself, and the argumentation levels of the participants. (shrink)

What were the impacts of the Covid‐19 pandemic on trust in public health information, and what can be done to rebuild trust in public health authorities? This essay synthesizes insights from science and technology studies, information studies, and bioethics to explore sociotechnical factors that may have contributed to the breakdown of trust in public health information during the Covid‐19 pandemic. The field of science and technology studies lays out the dynamic nature of facts, helping to explain rapid shifts in public (...) health messaging during Covid‐19 and reasons they produced a lack of trust in public health authorities. The information field looks at how facts are sociotechnically constructed through systems of classification, illustrating how extrascientific factors influence public health authorities. Putting these perspectives alongside bioethics principles raises additional factors to consider. The goal of this essay is to learn from past failures to point toward a brighter future where trust in public health authorities can be rebuilt, not on faith, but rather through striving for calibrated trust within which, through a virtuous circle, trust is validated. (shrink)

Contrairement à trop d'idées reçues ou de préjugés insidieux, Hegel n'est pas plus le père de l'Etat fasciste qu'il n'est à l'origine du totalitarisme communiste : ce qu'il s'est efforcé de développer dans ses Fondements de la philosophie du droit, c'est une philosophie politique et non pas une politique expérimentale, voire une utopie. Eugène Fleischmann, qui a également analysé la Logique du maître de léna, donne ici un commentaire, paragraphe par paragraphe, des Fondements de la philosophie du droit, en (...) montrant que Hegel s'est employé à comprendre la vie politique à partir de la philosophie et nom de justifier une politique effective par une idéologie empruntant les termes de la tradition philosophique. (shrink)

Although at first glance it may seem an unlikely alliance, frogs and cyberfrogs certainly benefit from an unusual friendship that connects the virtual world of dissection simulation and the physical realm of nonhuman animal advocacy.This paper focuses on the symbiotic relationship of dissection simulation designers and animal advocates. Dissection simulation manufacturers benefit from this relationship through the purchasing and promotion of their products by animal advocacy organizations, and also they benefit from policy changes that encourage the use of dissection simulations (...) as alternatives to dissection. Reciprocally,animal advocacy organizations benefit by saving animal lives, gaining a new tool for convincing teachers to stop dissecting, and demonstrating that they are a pro-technology movement. The knowledges and values embedded in cyberfrogs make them both boundary objects and cyborgs. (shrink)

Departing from the debate about the importance of gender ideology in the integration of Muslim minorities in Western Europe, this article studies the association between Islamic religiosity and gender ideology among second-generation Turkish and Moroccan men and women in Belgium. Islamic religiosity is conceptualized as consisting of religious identification, religious practices, and belief orthodoxy. The comparability of this model across genders and national origin groups is tested with recently collected survey data. The association between Islamic religiosity and gender ideology is (...) analyzed with regard to gender and ethnic differences. Taking a number of control variables into account, the analysis reveals no significant differences between national origin groups. More importantly, Islamic religiosity is found to be only weakly negatively associated with gender egalitarianism; this association is somewhat stronger for men than for women. These results challenge the alleged strong connection between Islamic religiosity and traditional gender ideology and highlight the importance of taking gender differences into account when studying religiosity among Muslim minorities in Europe. (shrink)

The heart of design studio teaching is traditionally linked to one-on-one teaching activities and to the exchange of feedback prompting many design educators to think it does not lend itself to onl...

At its heart, design is a studio-based discipline, which makes it difficult for design educators to adopt technology-driven changes into an online teaching and learning environment. Globally, few universities offer online undergraduate degree design courses, despite an overall growth in online higher degree curricula. Anecdotal evidence and limited research studies exploring the design educators’ view lament the potential loss of direct interactions between educator and design students in an online learning environment making it impossible to offer design education online. However, (...) the attitude of design students towards online learning is largely underexplored. Given that today’s design students are considered tech-savvy, and there is a growing student demand for flexible study options, it would seem that design students would embrace online delivery options. The aim of this study is to explore the perception of undergraduate design students towards the idea of studying design online and whether or not blended learning could provide a transitional middle ground to a fully online design course. This study also touches on any student reservations about online delivery and identifies the barriers to study design online. (shrink)

An honor code is certainly a good place to start teaching engineering students about ethics, but teaching students to live honorably requires far more effort than memorizing a code of ethics statement or applying it just to academic performance. In the School of Engineering at Grand Valley State University, we have followed the model provided by the United States Military Academy at West Point. For our students this involves an introduction to the Honor Code as part of a larger Honor (...) Concept at the very beginning of their studies and then making it an integral part of their preparation as engineers. The challenge is significant because the culture at large does not support living with an Honor Concept. This paper will begin with a discussion of the cultural context in which we must teach, because that context has changed significantly in the years since many faculty members were students themselves. The rest of the paper will detail the approach that we have taken to teach ethics as an engineer’s way of life. “The shortest and surest way to live with honor in the world is to be in reality what we would appear to be. All human virtues increase and strengthen themselves by the practice and experience of them.”. (shrink)