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)

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)

Il passaggio dalle tradizioni metaforiche ai diversi linguaggi come momento per individuare gli oggetti di cui è possibile parlare in campo politico.

What does it mean “knowing through art”? This paper develops an approach of radical cognitivism, suggesting a new way of integrating aesthetics and cognitive sciences.

I propose that artworks represent a specific and homogeneous ontological kind, grounded in a common ontological core. I call this common core ‘non-universalizable embodied meaning’, and I argue that this common core explains how artworks unfold their ontological identity at the physical, intentional, and social levels on the basis of an original and irreducible mode of material embodiment and cultural emergence; this common core functions as the constitutive rule of art and institutes an axiological normativity, that is, normativity based on (...) aesthetic value; it has a central role both in the theoretical definition of art and in the identification, recognition, and fruition of the individual artworks; it enables artistic creativity, historical transformations of art, and the current, multifaceted state of art. (shrink)

In this paper, we report on the development of The Sustainable Port video game, which aims to simulate the complex dynamics and decisions occurring in the present and future development of a port area considering environmental aspects (CO2 emissions) and profit. To evaluate if this game fulfills its purpose, we asked 75 students and 34 employees at the Port of Rotterdam (PoR) to play The Sustainable Port. Our results show that PoR employees score higher than students suggesting a transfer between (...) real-life experience of being an employee in the port and performance in the game. Furthermore, port participants reported that The Sustainable Port can be successfully used to start discussions about the future of the Port of Rotterdam and to raise awareness about the complexity characterizing the decision-making processes occurring in a port environment. Our results, taken together, provide evidence of the effectiveness of The Sustainable Port in simulating dynamics occurring in port development and give us optimism about future applications. (shrink)

Gianluca Di Muzio develops a novel objection to theism.

Analyzing and evaluating legal case reports are labor-intensive tasks for judges and lawyers, who usually base their decisions on report abstracts, legal principles, and commonsense reasoning. Thus, summarizing legal documents is time-consuming and requires excellent human expertise. Moreover, public legal corpora of specific languages are almost unavailable. This paper proposes a transfer learning approach with extractive and abstractive techniques to cope with the lack of labeled legal summarization datasets, namely a low-resource scenario. In particular, we conducted extensive multi- and cross-language (...) experiments. The proposed work outperforms the state-of-the-art results of extractive summarization on the Australian Legal Case Reports dataset and sets a new baseline for abstractive summarization. Finally, syntactic and semantic metrics assessments have been carried out to evaluate the accuracy and the factual consistency of the machine-generated legal summaries. (shrink)

The author proposes that the anonymous letter dated May 19, 1641, which Mersenne delivered to Descartes, should be attributed to Thomas Hobbes. Although the text is known, it is usually considered not so much in itself as for Descartes’s two replies, which contain important clarifications on the proof of God’s existence. Hobbes’ hand is revealed by various thematic, conceptual, and lexical analogies and, above all, by the presence of two doctrines characteristic of his thought: 1) the denial of the existence (...) of intellectual ideas; 2) the assertion that the nature of God can only be described by the proposition “God exists”. Attribution to Hobbes of the May 19 th 1641 letter throws new light on the debate that followed Descartes’s Meditations as well as on Mersenne’s role. (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.