In the post-colonial era, the incarnation has become an important model for cross-cultural missionary presence. Though this model improves on Eurocentric and colonial models, it is deficient because it is unrealistic, potentially paternalistic, inappropriate in the light of globalization and post-modern understandings of culture, and because it doesn’t sufficiently respect the particularity of the incarnation of Christ. This article proposes an alternative model of the role of the cross-cultural missionary as a guest and argues that it is more appropriate on (...) precisely these counts. (shrink)

Though the Christian faith has in recent years increasingly shown itself to be a truly African religion, a variety of African authors such as Kä Mana, George Kinoti, Hannah Kinoti, August Shutte and Efoé Julien Penoukou have noted that sub-Saharan Africa is facing a moral crisis. This article explores this crisis in as far as it is caused by difficulties in the reception of the Christian ethic by African Christian communities. It points out that this crisis is visible in double (...) morality, immorality and legalism. It shows that it is both caused by rapid social change in contemporary Africa and by the way the Christian ethic was introduced with a lack of attention for the relationship between worldview and ethics, the social impact of changing cultural practices and the importance of virtue ethics. In this way it also points to the shape Christian moral education for present-day Africa should take. (shrink)

The science and faith debate is dominated by Western voices. In order to enrich this debate, the authors study the discourses of different groups of Christian academics and master's students in francophone Africa. This article describes the process of reconstructing and analyzing the discourse of a group of master's students from Abidjan (Ivory Coast) with the help of group model building and focus groups. Three characteristic features that emerge from this discourse include the foundational position of faith, the central role (...) of truth, and the ambiguous connotations of the term “science” in this context. The reconstructed discourse is then brought into conversation with the North Atlantic debate, with a special focus on the concept of scientism. (shrink)

Awareness, care and preventative action regarding HIV/aids, and those affected by it, is growing in the evangelical Christian Community in French-speaking Sub-Saharan Africa. Yet, even though the issues seem to be addressed through teaching and preaching in the churches, the real issues, questions and struggles of the people are not discussed. This article describes some of the most important outcomes of a qualitative research in this people group, looking at the values and beliefs around sexuality and community and what impact (...) they have on current HIV/aids prevention practices and strategies. This description highlights the seeming discrepancy between people’s values and their daily lives, the role community can play – as both a community of grace and a countercultural yet contextually relevant community, and the role of leaders, grass-root communities and partnership processes in strategy development. This article argues for a contextual relevant approach in which the specific evangelical worldview is encountered as a possible strength, rather than a problem. (shrink)

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory. In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as (...) more general sheaf extensions. As a result, methods from our earlier work can be applied to show that this extension satisfies various derived rules, such as a derived compactness rule for Cantor space and a derived continuity rule for Baire space. Finally, we show that this extension is robust in the sense that it is also reflected by the model constructions from algebraic set theory just mentioned. (shrink)

A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key is (...) to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. (shrink)

In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, respectively. In this paper we study how adding the principle of countable saturation to these systems affects their proof-theoretic strength. We will show that adding countable saturation to our intuitionistic system does not increase its proof-theoretic strength, while adding it to the classical system increases the strength from first- to (...) full second-order arithmetic. (shrink)

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category EFF one can identify a class of discrete fibrations which is closed under push forward along arbitrary fibrations (in other words, this (...) class is polymorphic or closed under impredicative quantification) and satisfies propositional resizing. This class does not have a univalent representation, but if one restricts to those discrete fibrations whose fibres are propositions in the sense of Homotopy Type Theory, then it does. This means that, modulo the usual coherence problems, it can be seen as a model of the Calculus of Constructions with a univalent type of propositions. We will also build a more complicated path category in which the class of discrete fibrations whose fibres are sets in the sense of Homotopy Type Theory has a univalent representation, which means that this will be a model of the Calculus of Constructions with a univalent type of sets. (shrink)

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...) for the class of small maps. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category with small (...) maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main technical contribution of this paper is that it shows in detail that such categories can always be conservatively embedded in categories that are exact. These exactness properties play a crucial rôle in showing that predicative categories with small maps contain models of set theory and that they are closed under sheaves and realizability. We will prove the former statement in this paper as well, leaving a proof of the closure properties to the papers on realizability and sheaves as mentioned above. (shrink)

We present a version of arithmetic in all finite types based on a systematic use of an internally definable notion of observational equivalence for dealing with equalities at higher types. For this system both intensional and extensional models are possible, the deduction theorem holds and the soundness of the Dialectica interpretation is provable inside the system itself.

Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.

We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.

Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for an (...) internal site. (shrink)

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

Classical apologetic strategies are in dire straits, according to some experts, particularly in a postmodern, post-Western, post-Enlightenment, and post-Christian world. Benno van den Toren confronts these questions head-on while proposing a methodologically sophisticated and theologically robust rationale for a dialogically oriented Christian apologetics. Christian Apologetics as Cross-Cultural Dialogue invites conversation about epistemological, dialogical, ecclesiological, eschatological, and christological matters, all of which suggest that a new paradigm of apologetics may be on the horizon for evangelical philosophy and theology. Those (...) who disagree will need to make their case against the arguments in this book. (shrink)

Este artículo sostiene que Platón constituye un interlocutor fructífero para la Teoría crítica. Desde un diálogo con Axel Honneth, argumentaremos primero que la metodología de crítica social desarrollada en la República posee elementos constructivo-racionales y reconstructivo-hermenéuticos. Luego, enfatizaremos dos conceptos prefigurados en dicha obra que, mediante Hegel, yacen en el trasfondo de la Teoría crítica, a saber: holismo y patología social. Ello nos permitirá articular, como conclusión, una “dialéctica de la justicia” que, en el sentido de Adorno & Horkheimer, recorre (...) la obra de Honneth. (shrink)

Suppose “chicken” eggs could be produced by quasi‐chickens—genetically engineered humps of living chicken‐flesh that do nothing but lay eggs. Would there be anything amiss with that? Animal ethicists invoke the notion of animal integrity in order to give intellectual content to the intuition that there would be. On inspection, ‘integrity’ isn't everything its proponents want it to be. Yet there's enough in it to make reasoned argument possible.

Much has been said about the need for improving the current definitions of scientific authorship, but an aspect that is often overlooked is how to formulate and communicate these definitions to ensure that they are comprehensible and useful for researchers, notably researchers active in international research consortia. In light of a rapid increase in international collaborations within natural sciences, this article uses authorship of this branch of sciences as an example and provides suggestions to improve the comprehensibility of the definitions (...) of authorship in natural sciences. It assesses whether the definition of authorship provided by the European Code of Conduct for Research Integrity can deal with current issues and problems of scientific authorship. Notably, problems that are experienced in project groups with researchers coming from multiple countries. Using theories developed by Jürgen Habermas and Robert Merton, a normative framework is developed to articulate ethical authorship in natural sciences. Accordingly, enriching the current definition of authorship with normative elements and using discipline-specific metaphors to communicate them are introduced as possible ways of improving the comprehensibility of the definition of authorship in international environments. Finally, this article provides a proposal to be considered in the future revisions of the European Code of Conduct for Research Integrity. (shrink)

Increasing public concern for the welfare of fish species that human beings use and exploit has highlighted the need for better understanding of the cognitive status of fish and of their ability to experience negative emotions such as pain and fear. Moreover, studying emotion and cognition in fish species broadens our scientific understanding of how emotion and cognition are represented in the central nervous system and what kind of role they play in the organization of behavior. For instance, on a (...) macro neuro-architecture level the brains of fish species look dramatically different from those of mammals, while such a dramatic difference does not (always) occur at the level of emotion- and cognition-related behavior. Here, therefore, we discuss the evidence of emotion and cognition in fish species related to underlying neuro-architecture and the role that emotion and cognition play in the organization of behavior. To do so we use a framework encompassing a number of steps allowing a systematic approach to these issues. Emotion and cognition confer on human and non-human animals the capacity to compliment and/or override immediate reflexes to stimuli and so allow a large degree of flexibility in behavior. Systematic research on behavior that in mammals is indicative of emotion and cognition has been conducted in only a few fish species. The data thus far indicate that in these species brain-behavior relationships are not fundamentally different from those observed in mammals. Furthermore, data from other studies show evidence that behavior patterns related to emotion and cognition vary between fish species as well within fish species, related to sex and life history stage for example. From a welfare perspective, knowledge of such variability will potentially help us to design optimal living conditions for fish species kept by humans. (shrink)

Introduction for 'New Developments in Cognitive Science of Religion - The Rationality of Religious Belief' forthcoming with Springer. We discuss the philosophical debate over Cognitive Science of Religion and give an outline of the book.

In recent years, facial difference is increasingly on the public and academic agenda. This is evidenced by the growing public presence of individuals with an atypical face, and the simultaneous emergence of research investigating the issues associated with facial variance. The scholarship on facial difference approaches this topic either through a medical and rehabilitation perspective, or a psycho-social one. However, having a different face also encompasses an embodied dimension. In this paper, we explore this embodied dimension by interpreting the stories (...) of individuals with facial limb absence against the background of phenomenological theories of the body, illness and disability. Our findings suggest that the atypical face disrupts these individuals’ engagement with everyday projects when it gives rise to disruptive perceptions, sensations, and observations. The face then ceases to be the absent background to perception, and becomes foregrounded in awareness. The disruptions evoked by facial difference call for adjustments: as they come to terms with their altered face, the participants in our study gradually develop various new bodily habits that re-establish their face’s absence, or relate to its disruptive presence. It is through these emergent habits that facial difference comes to be embodied. By analyzing the everyday experiences of individuals with facial limb absence, this article provides a much-needed exploration of the embodied aspects of facial difference. It also exemplifies how a phenomenological account of illness and disability can do justice both to the impairments and appearance issues associated with atypical embodiment. (shrink)

The concept of Smart Healthy Age-Friendly Environments (SHAFE) emphasises the comprehensive person-centred experience as essential to promoting living environments. SHAFE takes an interdisciplinary approach, conceptualising complete and multidisciplinary solutions for an inclusive society. From this approach, we promote participation, health, and well-being experiences by finding the best possible combinations of social, physical, and digital solutions in the community. This initiative emerged bottom-up in Europe from the dream and conviction that innovation can improve health equity, foster caring communities, and sustainable development. (...) Smart, adaptable, and inclusive solutions can promote and support independence and autonomy throughout the lifespan, regardless of age, gender, disabilities, cultural differences, and personal choices, as well as promote happier and fairer living places. The New European Bauhaus initiative gathers “beautiful, sustainable, and inclusive projects and ideas” to inspire a positive transformation around us. The New European Bauhaus 2024 Festival took place between 9-13 April. “Designing the perfect New European Bauhaus neighbourhood: New European Bauhaus meets SHAFE” was a Satellite Event of the Festival, held as an online workshop, organised by the SHAFE Foundation on April 9th, 2024. At the event, a group of 50 participants with a multidisciplinary background discussed how to meet the challenges of the European Garcia family to enable them to live in a perfect neighbourhood. The White Paper presents the findings of the participants with the New European Bauhaus inspiring projects and ideas to house the European Garcia family in their neighbourhood. The White Paper recommends developers, designers, planners, and policymakers to include person-centred design of social and physical environments and technologies. Although awareness of person-centred design is growing, many initiatives still hamper the inclusion of citizens or end-users throughout the development of products and services. (shrink)

It is widely thought that the cognitive science of religion may have a bearing on the epistemic status of religious beliefs and on other topics in philosophy of religion. Epistemologists have used theories from CSR to argue both for and against the rationality of religious beliefs, or they have claimed that CSR is neutral vis-à-vis the epistemic status of religious belief. However, since CSR is a rapidly evolving discipline, a great deal of earlier research on the topic has become dated. (...) Furthermore, most of the debate on the epistemic consequences of CSR has not taken into account insights from the philosophy of science, such as explanatory pluralism and explanatory levels. This volume overcomes these deficiencies. This volume brings together new philosophical reflection on CSR. It examines the influence of CSR theories on the epistemic status of religious beliefs; it discusses its impact on philosophy of religion; and it offers new insights for CSR. The book addresses the question of whether or not the plurality of theories in CSR makes epistemic conclusions about religious belief unwarranted. It also explores the impact of CSR on other topics in philosophy of religion like the cognitive consequences of sin and naturalism. Finally, the book investigates what the main theories in CSR aim to explain, and addresses the strengths and weaknesses of CSR. (shrink)

In this volume we present the proceedings from the fourth international Leuven Encounters in Systematic Theology (LEST IV, November 5-8, 2003), which focussed ...

This study assessed whether real-life stimulus material can elicit conscious and unconscious priming. A typical masked priming paradigm was used, with brand logo primes. We used a rigorous method to assess participants’ awareness of the subliminal information. Our results show that shortly presented and masked brand logos have the power to prime their brand names and, remarkably, words associated to the brand . However, this only occurred when the logos could be categorized clearly above the consciousness threshold. Once the primes (...) were presented close to the consciousness threshold, no subliminal influences on behavior were observed. (shrink)

Surveys carried out among palliative care physicians have shown that most participants do not support euthanasia and assisted suicide. Belgium, however, is one of the few countries in the world in which voluntary euthanasia is allowed by law. The potential influence of this legal dimension thus warranted a study of the attitudes of Belgian palliative care physicians toward euthanasia and assisted suicide. To this end, an anonymous self-administered questionnaire in Dutch was sent to all physicians working in Flemish palliative care. (...) 99 physicians responded .A majority of the physicians who responded are of the opinion that voluntary euthanasia can be ethically justified . Most physicians believe, nonetheless, that non-voluntary euthanasia is always unethical . More than three quarters of the respondents favour the inclusion of a ‘palliative filter’ in the law on euthanasia. Using a traditional cluster algorithm, the following three clusters were obtained: staunch advocates of euthanasia , opponents of euthanasia , and an intermediate group . There were no significant differences between the clusters on the level of gender, age, and years of experience in palliative care. A statistically significant association exists, however, between the euthanasia clusters and the religious or ideological clusters we had obtained in an earlier study. Church attending respondents are least likely to be staunch advocates of euthanasia. The majority of the physicians favour legalisation on assisted suicide. There is no significant association between the euthanasia clusters and attitudes toward assisted suicide.We conclude that although most Flemish palliative care physicians agree that there may be circumstances in which a euthanasia request is justified, they also strongly believe in the effects of good palliative care and want the ‘palliative filter’ to be included in the law on euthanasia. Religion and worldview are an important factor determining attitudes towards euthanasia. (shrink)

We propose a method to associate a coalitional interval game with each strategic game. The method is based on the lower and upper values of finite two-person zero-sum games. Associating with a strategic game a coalitional interval game we avoid having to take either a pessimistic or an optimistic approach to the problem. The paper makes two contributions to the literature: It provides a theoretical foundation for the study of coalitional interval games and it also provides, studies, and characterizes a (...) natural method of associating coalitional interval games with strategic games. (shrink)

We report on the small-scale (0.5 13 h - 1M, a large-scale bias of ~2.0 and a satellite fraction of 12 ± 2 per cent. Thus, these galaxies occupy haloes with average masses in between those of the higher redshift BOSS CMASS sample and the original SDSS I/II luminous red galaxy sample © 2012 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society © doi:10.1093/mnras/sts314.

Research skills are important for university graduates, but little is known about undergraduates’ motivation for research. In this study, self-efficacy beliefs and intrinsic motivation for several research activities were measured three times during an undergraduate research project. In order to promote self-efficacy for writing and collaboration, a collaboration script was developed and tested on half of the students. Twelve students were interviewed three times to gather in-depth information about motivational and self-efficacy beliefs. All measures except intrinsic motivation for research increased (...) significantly during the project. Interview results suggest that enactive mastery and positive social interdependence promoted self-efficacy. Feelings of relatedness seemed to promote intrinsic motivation for writing. Lack of autonomy and low perceived relevance may explain why motivation for research remained stable. The script had no impact on self-efficacy beliefs. Relatedness,... (shrink)

This intervention study examined the effects of a career crafting training on physicians' perceptions of their job crafting behaviors, career self-management, and employability. A total of 154 physicians working in two hospitals in a large Dutch city were randomly assigned to a waitlist control group or an intervention group. Physicians in the intervention group received an accredited training on career crafting, including a mix of theory, self-reflection, and exercises. Participants developed four career crafting goals during the training, to work on (...) in the subsequent weeks, after which a coaching conversation took place over the phone. Physicians in the control group received no intervention. A pre- and post-test 8 weeks later measured changes in job crafting and career self-management and employability of 103 physicians that completed the pre- and post-test. RM ANOVAs showed that the intervention enhanced perceptions of career self-management and job crafting behavior to decrease hindering job demands. No support was found for the effect of the intervention on other types of job crafting and employability. This study offers novel insights into how career crafting can be enhanced through training, as this is the first empirical study to examine a career crafting intervention. HR managers can use the outcomes to develop tailored career policies and career development practices. (shrink)

The South African government’s COVID-19 pandemic risk mitigation strategies significantly limited social contact, which necessitated a novel approach to existing face-to-face career guidance practices. The Grade 9 Career Guidance Project, originally developed as a group-based career development intervention, required radical adaptation into a self-directed, manualized format to offer career guidance to Grade 9 learners from low-income communities amid a global pandemic. The adaptation and continuation of the project was deemed essential as secondary school learners in low-income communities have limited career (...) guidance support. Furthermore, a close collaboration with the teachers at eight resource-constrained South African secondary schools was vital for successful implementation. To assess the success of the adaptation to a self-directed format, a mixed-methods design was employed, and Life Orientation teachers’ evaluative feedback was solicited. Favorable quantitative results were obtained; majority of teachers agreed that learners enjoyed the booklet and that it was deemed an adequate substitute to the previous contact-based format of the Career Guidance Project. This was also confirmed by the qualitative findings revealing teachers’ satisfaction with the booklet’s content, specifically that the booklet is complementary to the Life Orientation curriculum. Qualitative findings identified specific contextual barriers that contributed to some learners struggling to use the booklet optimally. The results suggest that it is feasible and acceptable to implement a self-directed career guidance intervention among secondary school learners amid a global pandemic. Teachers recommended ways to integrate the booklet, resources, and contact sessions as a preferred way forward. These findings have important implications for similar resource-constrained settings that may not have readily access to in-person career guidance and counseling human development. (shrink)