This is the Editorial of the Research Topic (Special Issue) in Frontiers in Psychology and Frontiers in Neurorobotics: Intrinsic motivations and open-ended development in animals, humans, and robots.

The extended mind view and the embodied-grounded view of cognition and language are typically considered as rather independent perspectives. In this paper we propose a possible integration of the two views and support it proposing the idea of “Words As social Tools” (WAT). In this respect, we will propose that words, also due to their social and public character, can be conceived as quasi-external devices that extend our cognition. Moreover, words function like tools in that they enlarge the bodily space (...) of action thus modifying our sense of body. To support our proposal, we review the relevant literature on tool-use and on words as tools and report recent evidence indicating that word use leads to an extension of space close to the body. In addition, we outline a model of the neural processes that may underpin bodily space extension via word use and may reflect possible effects on cognition of the use of words as external means. We also discuss how reconciling the two perspectives can help to overcome the limitations they encounter if considered independently. (shrink)

The effects of striatal dopamine (DA) on behavior have been widely investigated over the past decades, with “phasic” burst firings considered as the key expression of a reward prediction error responsible for reinforcement learning. Less well studied is “tonic” DA, where putative functions include the idea that it is a regulator of vigor, incentive salience, disposition to exert an effort and a modulator of approach strategies. We present a model combining tonic and phasic DA to show how different outflows triggered (...) by either intrinsically or extrinsically motivating stimuli dynamically affect the basal ganglia by impacting on a selection process this system performs on its cortical input. The model, which has been tested on the simulated humanoid robot iCub interacting with a mechatronic board, shows the putative functions ascribed to DA emerging from the combination of a standard computational mechanism coupled to a differential sensitivity to the presence of DA across the striatum. (shrink)

Traditionally, research on affordances and emotions follows two separate routes. For the first time, this article explicitly links the two phenomena by investigating whether, in a discrimination task, the motivational states induced by emotional images can modulate affordances-related motor response elicited by dangerous and neutral graspable objects. The results show faster RTs: for both neutral and dangerous objects with neutral images; for dangerous objects with pleasant images; for neutral objects with unpleasant images. Overall, these data support a significant effect of (...) emotions on affordances. The article also proposes a brain neural network underlying emotions and affordance interplay. (shrink)

Eye movement desensitization and reprocessing therapy is a well-established therapeutic method to treat post-traumatic stress disorder. However, how EMDR exerts its therapeutic action has been studied in many types of research but still needs to be completely understood. This is in part due to limited knowledge of the neurobiological mechanisms underlying EMDR, and in part to our incomplete understanding of PTSD. In order to model PTSD, we used a biologically inspired computational model based on firing rate units, encompassing the cortex, (...) hippocampus, and amygdala. Through the modulation of its parameters, we fitted real data from patients treated with EMDR or classical exposure therapy. This allowed us to gain insights into PTSD mechanisms and to investigate how EMDR achieves trauma remission. (shrink)

We prove that every quasi-Hopfian finitely presented structure _A_ has a _d_- \(\Sigma _2\) Scott sentence, and that if in addition _A_ is computable and _Aut_(_A_) satisfies a natural computable condition, then _A_ has a computable _d_- \(\Sigma _2\) Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable _d_- \(\Sigma _2\) Scott sentences. In particular, we show that every (...) right-angled Coxeter group of finite rank has a computable _d_- \(\Sigma _2\) Scott sentence, as well as any strongly rigid Coxeter group of finite rank. Finally, we show that the free projective plane of rank 4 has a computable _d_- \(\Sigma _2\) Scott sentence, thus exhibiting a natural example where the assumption of quasi-Hopfianity is used (since this structure is not Hopfian). (shrink)

PurposeOriginating in the USA and Northern Europe, Free and Open Source Software (FOSS) found on the internet its fertile environment. In more recent years, FOSS is becoming an increasingly important element in strategies for development and implementation of information and communication technologies also in developing countries. Mainstream research on FOSS has catered to the underlying principles or freedom, open organizational forms, and on its economical aspects. The purpose of this paper is to shed new light on the actual consequences of (...) FOSS, often left in the background.Design/methodology/approachThe paper examines where FOSS principles' assumptions are likely to be more evident: in contexts of developing countries, which are geographically and organizationally far from the original environment of FOSS. A mixed methodology characterizes this work: quantitative and qualitative methods bring readers' attention to unusual empirical settings and downplayed organizational processes of information technology (IT) implementation and adoption.FindingsThe consequences of FOSS on IT implementation and actual use are ambivalent. It is argued that FOSS adoption does not happen spontaneously, neither by decree, and that the relevance of open technologies as public goods remains in the different role of local actual technical and organizational capabilities, and environment conditions.Originality/valueSuch a focus complements existing studies on the economical relevance of FOSS, which are not the focus of this paper. (shrink)

In this paper, we report on an experiment with The Walking Dead (TWD), which is a narrative-driven adventure game with morally charged decisions set in a post-apocalyptic world filled with zombies. This study aimed to identify physiological markers of moral decisions and non-moral decisions using infrared thermal imaging (ITI). ITI is a non-invasive tool used to capture thermal variations due to blood flow in specific body regions that might be caused by sympathetic activity. Results show that moral decisions seem to (...) elicit a significant decrease in temperature in the chin region 20 seconds after participants are presented with a moral decision. However, given the small sample involved, and the lack of significance in other regions, future studies might be needed to confirm the results obtained in this work. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of theories, (...) among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of theories, (...) among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.

In the 1960s, influential thinkers defined design as a rational problem-solving approach to deal with the challenges of sustainable human development. In 2009, a design consultant and a business academic selected some of these ideas and successfully branded them with the term “design thinking.” As a result, design thinking has developed into a stream of innovation management research discussing how to innovate faster and better in competitive markets. This article aims to foster a reconsideration of the purposes of design thinking (...) moving forward, in view of the sustainable development challenges intertwined with accelerating innovation in a perpetual economic growth paradigm. To this end, we use a problematization method to challenge innovation management research on design thinking. As part of this method, we first systematically collect and critically analyze the articles in this research stream. We uncover a prominent focus on economic impact, while social and environmental impacts remain largely neglected. To overcome this critical limitation, we integrate design thinking with responsible innovation theorizing. We develop a framework for responsible design thinking, explaining how to apply this approach beyond a private interest and competitive advantage logic, to address sustainable development challenges, such as climate change, resource depletion, poverty, and injustice. The framework contributes to strengthening the practical relevance of design thinking and its theoretical foundations. To catalyze this effort, we propose an agenda for future research. (shrink)

Inquisitive first order logic is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic. In this paper we define the \—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem (...) for fragments of the logic. (shrink)

This study aimed to evaluate if eye blinks can be used to discriminate players with different performance in a session of Nintendo Entertainment System (NES) Tetris. To that end, we developed a state-of-the-art method for blink extraction from EAR measures, which is robust enough to be used with data collected by a low-grade webcam such as the ones widely available on laptop computers. Our results show a significant decrease in blink rate per minute (blinks/m) during the first minute of playing (...) Tetris. After having defined 3 groups of proficiency based on in-game performance (Novices, Intermediates, and Experts) we found out that expert players display a significantly lower decrease in blinks/m compared to novices during the first minute of gameplay, which shows that Tetris players' proficiency can be detected by looking at eye blinks/m variations during the early phase of a game session. This difference in blinks/m is observed throughout the entire game session, which supports the general conclusion that proficient Tetris players have a lower decrease in blinks/m, even when playing more difficult levels. Finally, we offer some interpretations of this effect and the relationship that our results may have with the visual cognitive workload experienced during the gameplay. (shrink)