Sensing sociality in dogs: what may make an interactive robot social?

This study investigated whether dogs would engage in social interactions with an unfamiliar robot, utilize the communicative signals it provides and to examine whether the level of sociality shown by the robot affects the dogs’ performance. We hypothesized that dogs would react to the communicative signals of a robot more successfully if the robot showed interactive social behaviour in general (towards both humans and dogs) than if it behaved in a machinelike, asocial way. The experiment consisted of an interactive phase followed by a pointing session, both with a human and a robotic experimenter. In the interaction phase, dogs witnessed a 6-min interaction episode between the owner and a human experimenter and another 6-min interaction episode between the owner and the robot. Each interaction episode was followed by the pointing phase in which the human/robot experimenter indicated the location of hidden food by using pointing gestures (two-way choice test). The results showed that in the interaction phase, the dogs’ behaviour towards the robot was affected by the differential exposure. Dogs spent more time staying near the robot experimenter as compared to the human experimenter, with this difference being even more pronounced when the robot behaved socially. Similarly, dogs spent more time gazing at the head of the robot experimenter when the situation was social. Dogs achieved a significantly lower level of performance (finding the hidden food) with the pointing robot than with the pointing human; however, separate analysis of the robot sessions suggested that gestures of the socially behaving robot were easier for the dogs to comprehend than gestures of the asocially behaving robot. Thus, the level of sociality shown by the robot was not enough to elicit the same set of social behaviours from the dogs as was possible with humans, although sociality had a positive effect on dog–robot interactions.     

Socratic Trees

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction.     

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ mbC

Studia Logica - The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency $$\mathsf {mbC}$$ . As a proof-theoretical basis we employ the...     

A note on orthogonality of subspaces in Euclidean geometry

We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.     

Michael J. Dodds,O.P. Unlocking Divine Action: Contemporary Science & Thomas Aquinas

Abstract

Philosopher and theologian William Lane Craig has argued for the past-finitude of the world, employing contemporary cosmology in support of the Kalam cosmological argument for the existence of a First Cause. However, his argument has gained little traction in the world of interdisciplinary theology. In what follows, we present Craig's argument and entertain potential objections from the perspective of interdisciplinarians. Finally, we argue that, in spite of the potential objections raised by contemporary theologians, Craig's argument remains theologically pertinent—provided his conclusion is framed within the more modest methodology of a best explanation.     

Relationships between right-wing authoritarianism, terrorism threat, and attitudes towards restrictions of civil rights: a comparison among four European countries

The present study tested the role of right-wing authoritarianism (RWA), terrorist threat, and sociopolitical 'climate' as predictors of support for governmental anti-terrorism policies and actions. Two dimensions of analysis were defined: the presence versus absence of al-Qaeda attacks, and adherence to surveillance versus anti-surveillance mainstream politics. In order to study the influence of these two contextual dimensions on the expression of attitudes, we selected four European countries that fall into these two dimensions--Poland, Belgium, Spain, and the UK. Results from our study provide support for the contention that attitudes towards restrictions of civil rights are related to RWA independently of the cultural context. Moreover, in the UK sample, we found that the threat of terrorism increases acceptance of limitations of civil liberties, but only among people who hold authoritarian beliefs. However, in Spain, the other country that experienced terrorist attacks, this moderation effect was not found which is interpreted in terms of differences in the sociopolitical climate in both countries. As predicted, we did not find such moderation effect in countries in which threat is relatively low (Poland and Belgium). The results are discussed with reference to the conceptual framework based on the importance of fear experiences, security-focused policies, as well as the specific cultural context in the study of reaction to terrorist threat.     

Measurement invariance of the Phubbing Scale across 20 countries

Mobile phone addiction is a robust phenomenon observed throughout the world. The social aspect of mobile phone use is crucial; therefore, phubbing is a part of the mobile phone addiction phenomenon. Phubbing is defined as ignoring an interlocutor by glancing at one's mobile phone during a face-to-face conversation. The main aim of this study was to investigate how the Phubbing Scale (containing 10 items) might vary across countries, and between genders. Data were collected in 20 countries: Belarus, Brazil, China, Croatia, Ecuador, India, Israel, Italy, Netherlands, Pakistan, Poland, Portugal, Serbia, Slovakia, Slovenia, Spain, Turkey, UK, Ukraine and USA. The mean age across the sample (N = 7696, 65.8% women, 34.2% men) was 25.32 years (SD = 9.50). The cross-cultural invariance of the scale was investigated using multigroup confirmatory factor analyses (MGCFA) as well as the invariance analyses. Additionally, data from each country were assessed individually via confirmatory factor analyses (CFAs). We obtained two factors, based on only eight of the items: (a) communication disturbances and (b) phone obsession. The 8 items Phubbing Scale.     

THE METAPHYSICS OF DOWNWARD CAUSATION: REDISCOVERING THE FORMAL CAUSE

The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find it difficult to prove that higher‐order properties can be causally significant without violating the causal laws that operate at lower physical levels. They also face the problem of circularity and incoherence in their explanation. In our article we show that these problems can be overcome only if DC is understood in terms of formal rather than physical (efficient) causality. This breakdown of causal monism in science opens a way to the retrieval of the fourfold Aristotelian notion of causality.