We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.

We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.

In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF.

This study explored the relationship between both overall television viewing and romantic youth drama viewing, as well as of females’ concerns about boys’ attractiveness expectations on the one hand, and body image dissatisfaction on the other. Participants were 411 adolescent girls who completed self-report measures on body dissatisfaction, television viewing, and concerns about appearance expectations. Our results indicated that there was both a direct and indirect relationship between romantic youth drama viewing and body satisfaction. Girls who spent more time watching (...) romantic youth drama displayed lower levels of body satisfaction. In addition, romantic youth drama viewing had a significant positive impact on concerns about boys’ attractiveness expectations, which had an indirect effect on body satisfaction. (shrink)

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)

6 and 14 recently proposed taxonomies that distinguish between four processing states, based on bottom-up stimulus strength and top-down attentional amplification. The aim of the present study was to empirically test these processing states using the priming paradigm. Our results showed that attention and stimulus strength significantly modulated priming effects: either receiving top-down attention or possessing sufficient bottom-up strength was a prerequisite for a stimulus to elicit priming. When both top-down attention and sufficient bottom-up strength were present, the priming effect (...) was boosted. The origins of the observed priming effects also varied between different processing states. We can conclude that our empirical study using the priming paradigm confirmed the presence of four processing states, which displayed a differential pattern of response priming effects and differential origins of the response priming effects. (shrink)

This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set of over thousand articles (...) published in leading journals and conference proceedings in the C&IE field was constructed. With the help of various computer algorithms, key terms were identified in the titles and abstracts of the articles and co-occurrence frequencies of these key terms were calculated. Based on the co-occurrence frequencies, the term map was constructed. This was done using a computer program called VOSviewer. The term map provides a visual representation of the C&IE field and, more specifically, of the organization of the field around three main concepts, namely privacy, ethics, and the Internet. (shrink)

When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...) an analysis of how technology can contribute to the solution of so-called moral overload or moral dilemmas. Such dilemmas typically create a moral residue that is the basis of a second-order principle that tells us to reshape the world so that we can meet all our moral obligations. We can do so, among other things, through guided technological innovation. (shrink)

We provide a description and informal analysis of the commonalities in moral discourse concerning issues in the field of information and communications technology, present a logic model (DEAL) of this type of moral discourse that makes use of recent research in deontic, epistemic, and action logic, and indicate – drawing upon recent research in computer implementations of modal logic – how information systems may be developed that implement the proposed formalization.

Van den Dries, L. and J. Holly, Quantifier elimination for modules with scalar variables, Annals of Pure and Applied Logic 57 161–179. We consider modules as two-sorted structures with scalar variables ranging over the ring. We show that each formula in which all scalar variables are free is equivalent to a formula of a very simple form, uniformly and effectively for all torsion-free modules over gcd domains . For the case of Presburger arithmetic with scalar variables the result takes a (...) still simpler form, and we derive in this way the polynomial-time decidability of the sets defined by such formulas. (shrink)

This contribution focusses on some of the digital theological expressions of Stephan Joubert from an auto-ethnographic angle. Orientating from a practical theology perspective, I have chosen the social media platform Twitter, and more specifically the @stephanjoubert domain, as source to chart some significant tweet expressions for the purpose of describing the character and value of an aphoristic theology. In order to do so, I have used some randomly selected tweets of Stephan Joubert, spanning the period 2020–2021, which express aspects of (...) a relevant contemporary ecclesiology. Against the backdrop of the disastrous impact of the COVID-19 pandemic as well as some important dates on the Christian calendar, I specifically emphasise the significance of the formulation of an aphoristic theology using amongst other markers of simplicity, contextuality and relevance.Contribution: I conclude the reflection with some critical-evaluative remarks on the significance of aphoristic expressions for the development of a meaningful contemporary ecclesiology and theology. (shrink)

The aim of this study was to construct a closed-end measure of moral reasoning on interpersonal violence and to explore the relationship between television exposure and children's use of moral reasoning strategies. Participants were 377 elementary school children in fourth to sixth grade who completed questionnaires containing measures on moral reasoning and violent and non-violent television viewing. The reliability and validity of the CEMRIV as a scale of moral reasoning are discussed. Regression analyses indicated that exposure to violent television content (...) was positively related to a preference for authority-based reasoning on interpersonal violence. Violent television exposure was also a significant predictor of the preference for approval-oriented reasoning about prosocial dilemmas. Furthermore, non-violent television viewing was positively associated with a preference for perspective-based moral reasoning. These findings provide support for a mental model approach. (shrink)

Social media makes an important contribution to a rapidly changing world in which various domains of meaning are described anew. The evolving nature and dynamic character of social media therefore provides for a rich praxis terrain with which to interact from a practical theological orientation. More specifically associated with the theme of this contribution, the social media sphere also provides an excellent space not only to rethink but also to reenact expressions of dignity in society. The research is facilitated from (...) a practical theological orientation, with particular focus on a normative dimension as embodied in aspects of dignity. Through the use of an interdisciplinary approach and methodology, some contours of dignity specifically associated with South African politics as well as the so-called Charlie Hebdo attacks in 2015 in Paris expressed on the social media platform, Twitter, are described and discussed. From this empirical analysis, description and discussion, a practical theological reflection is offered in which aspects of dignity associated with a normativity function are described. Some practical theological perspectives contributing to future relevant tweeting on dignity are also formulated and provided in conclusion. (shrink)

This study bases itself in the epistemological and methodological development of a broad and interdisciplinary dialogue where various voices in the form of different domains converse in order to establish an integrated whole. The research contributes to the actual corporative question regarding spirituality in the workplace, specifically aimed at the individual in the middle-career phase. This phase is characterised as a re-evaluation period aimed at personal and professional growth. A shift in emphasis to the meaning and sense of work is (...) linked to spiritual intelligence as spirituality can be described and understood as a type of intelligence. The study shows that the middle-career experience provides opportunity for an altered future view. Lifestyle coaching serves as facilitating process and offers guidance in answering existential questions which are included in the spiritual. The probable outcome promises to add meaning as a manifesting component in a dynamic and transforming life strategy. (shrink)

Mental models influence how individuals think and act in relation to their external environment and have been identified as leverage points to address sustainability challenges. Given the importance of mental models, a new tool to assess mental models has been developed: the Mental Model Mapping Tool. M-Tool was designed to have a standardized format and to be user-friendly for low literacy populations, using pictograms and audio instructions. In this paper, we evaluate M-Tool’s application in two studies with Tanzanian fishers. In (...) Study 1, we investigated M-tool’s convergent validity compared to standard interviewing methods. Study 2 investigated M-Tool’s construct validity by relating mental model complexity to participants’ education level, a relationship that has been well established. The findings show that mental models produced with M-Tool are more complex than mental models obtained through interviewing techniques; model composition is similar across the two methods; and participants with higher levels of education tend to produce more complex mental models with M-Tool than participants with lower levels of education, in line with previous research. These findings suggest that M-Tool can successfully capture mental models among diverse participants. This tool offers researchers and practitioners an instrument to map and compare perceptions of challenges across groups. (shrink)

An biographical Twitter-theology. Due to the increasing challenges created by an evolving digital world, traditional expressions of the Christian faith could become irrelevant for a fast-paced world. Through an autobiographical orientation, a search for meaningful personal expressions of the Christian faith on Twitter is traced and mapped down. Facilitated through a practical-theological inquiry and employing a qualitative empirical research methodology, personal aphorisms of the Christian faith on Twitter are traced down and presented as possible examples of a relevant digital autobiographical (...) theology. Through the contribution of these empirical realities, new hermeneutical outcomes and a strategic involvement are facilitated. The creation, development and meaning of new theological formulations and articulations are explored and described through these expressions. In the tracing of and in the mapping down of these new expressions of faith, demarcations of a possible lived spirituality in the digital sphere are sounded out and verbalised. Through the documentation of these new and relevant articulations of the language of faith, a contribution is made to a meaningful digital autobiographical theology. (shrink)

As part of the search for relevant and contextual articulations of theology, this article provides an overview of a comprehensive research project that explored, described and analysed Christian motifs on Twitter. Based on the brief overview of the project, perspectives for the formulation of a Twitter theology are presented from a practical theological orientation. Two central markers are indicated and described as primary drivers of a Twitter theology: the first marker places its focus on the relationship, dynamics and functioning of (...) aspects of authority and normativity in facilitating a Twitter theology. The second marker puts particular emphasis on the value and significance of using aphoristic formulations in the elucidation of a comprehensible Twitter theology. The article presents important strategic perspectives on the practice of a Twitter theology, as well as the formulation of a relevant contextual theology. (shrink)