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)

The recent edition, established in 2005 by Giuseppina Matino, of the Panegyricus on Emperor Anastasius by Procopius from Gaza gives the opportunity to discuss about the ecdotical methods until now adopted for the constitutio textus of Procopian works. The errors present in the Italian translation show the complexity of the text often rich in images and figures.

L'articolo si propone di mostrare come il sermo esegetico bernardiano sia volto all'amplificazione della dimensione emotiva, amplificazione che determina un'emergenza di senso rispetto al normale livello di comunicazione: la parola, nell'ermeneutica di Bernardo, non è segno linguistico il cui significato sia univocamente coglibile dall'intelletto, ma, caricandosi della sua materialità, dilata e moltiplica retoricamente gli echi emotivi che può produrre, dischiudendo nella dimensione affettiva la sua verità. Lo stile retorico di Bernardo viene quindi analizzato attraverso l'elaborazione di una metodologia di lettura (...) che, riproducendo graficamente la struttura sintattica di alcuni passi dei Sermones super Cantica Canticorum e ispirandosi al principio guida della priorità degli affetti , consente di sottoporre a verifica l'ipotesi iniziale. (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)

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.

Staging, writing, editing – war. In the sequence of these three acts, the path of this essay unfolds. From the play La guerre de Troie n’aura pas lieu we get the idea that war is a spectral presence hovering everywhere. As difficult as it is to see, it appears inescapable. Its ambivalence questions the human gaze itself in its in-ability to see war coming, even when the signs are more than evident. The analysis of the regimes of visibility that, yesterday (...) as today, superintend the event of a conflict constitutes the point of arrival of this interrogation. (shrink)

The different experience of unemployment and of poverty in the two main Western economic systems (roughly, Europe and the US) demonstrates that a simple economic approach to these problems does not exist. In this paper I deal with the question of the impact of technological change on productive activities, employment and income distribution.The main idea is the following: technological progress may lead to an impoverishment of the disadvantaged people in a free-market society, as a consequence of their inability to adjust (...) their skills to the new requirements of the labour market. By contrast, a just society, grounded on moral principles, recognizes that the distributive criterion has to take into account not only individual contributions to production, but also the relative needs of the individuals. In that context, everyone should be better off after a technological change, since it is fair that everyone gains some advantage from a generalized improvement in the productive conditions of society. A policy that adopts this perspective should provide an effective guard against the danger of social exclusion that strikes modern societies. (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)

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.

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)

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)

Individuals differ in their ability to feel their own and others’ internal states, with those that have more autistic and less empathic traits clustering at the clinical end of the spectrum. However, when we consider semantic competence, this group could compensate with a higher capacity to imagine the meaning of words referring to emotions. This is indeed what we found when we asked people with different levels of autistic and empathic traits to rate the degree of imageability of various kinds (...) of words. But this was not the whole story. Individuals with marked autistic traits demonstrated outstanding ability to imagine theoretical concepts, i.e., concepts that are commonly grasped linguistically through their definitions. This distinctive characteristic was so pronounced that, using tree-based predictive models, it was possible to accurately predict participants’ inclination to manifest autistic traits, as well as their adherence to autistic profiles – including whether they fell above or below the diagnostic threshold – from their imageability ratings. We speculate that this quasi-perceptual ability to imagine theoretical concepts represents a specific cognitive pattern that, while hindering social interaction, may favor problem solving in abstract, non-socially related tasks. This would allow people with marked autistic traits to make use of perceptual, possibly visuo-spatial, information for “higher” cognitive processing. (shrink)

Nella conferenza su Le cinéma et la nouvelle psychologie Merleau-Ponty introduce una singolare, ma decisiva notazione sull’arte filmica, legandola alla nozione di “ritmo”. Tale nozione dà avvio a una riflessione sull’immagine e sul rapporto tra l’immagine e lo sguardo dello spettatore al cinema. Nel presente articolo, l’uso che Merleau-Ponty ne fa e il senso di questa operazione saranno letti in riferimento alla riflessione di Émile Benveniste sul ritmo e ad alcune annotazioni contenute nei corsi di Merleau-Ponty al Collège de France, (...) di qualche anno successivi alla conferenza, su Le monde sensible et le monde de l’expression e quello sulle Recherches sur l’usage littéraire du langage. Dans le texte de sa conférence sur Le cinéma et la nouvelle psychologie, Merleau-Ponty introduit une lecture, singulière mais décisive, de l’art filmique, en la rapprochant de la notion de « rythme ». Cette notion engage une réflexion sur l’image et sur le rapport entre l’image et le regard du spectateur au cinéma. Dans cet article, l’utilisation que Merleau-Ponty en fait et le sens de cette opération seront lus à partir de la réflexion d’Émile Benveniste sur le rythme et à partir de certaines notes présentes dans les cours de Merleau-Ponty au Collège de France sur Le monde sensible et le monde de l’expression et sur les Recherches sur l’usage littéraire du langage, qui suivent de quelques années la conférence.In the text of his lecture on “Film and the new psychology,” Merleau-Ponty introduces a singular and decisive reading of filmic art, approaching the notion of “rhythm.” This notion engages in a reflection on image and on the relation between the image and the gaze of the spectator at the cinema. In this article, Merleau-Ponty’s actual usage of this notion and the meaning of this operation will be read starting from the reflection of Émile Benveniste on rhythm as well as certain notes presented in Merleau-Ponty’s courses at the Collège de France on The sensible world and the world of expression and Research on the literary usages of language, that follow some years after the lecture. (shrink)

Compared to other philosophies of special sciences, the scope, object, and definition of the philosophy of political science remain vague. This article traces this vagueness to the changing subject matter of political science throughout its history, but argues that all social sciences are subject to radical changes in what count as their defining characteristics. Accordingly, the only legitimate definition of “philosophy of political science” is “the philosophical study of whatever happens to conventionally fall within the scope of political science at (...) a given moment.” Moving from this assumption, this article makes the case for a unified philosophy of social science. (shrink)

In this study, we predict the different levels of performance in a Nintendo Entertainment System (NES) Tetris session based on the score and the number of matches played by the players. Using the first 45 seconds of gameplay, a Random Forest Classifier was trained on the five keys used in the game obtaining a ROC_AUC score of 0.80. Further analysis revealed that the number of down keys (forced drop) and the number of left keys (left translation) are the most relevant (...) keys in this task, showing that by merely including the data from these two keys our Random Forest Classifier reached a ROC_AUC score of 0.83.We conclude that the keylogger data during the early phases of a game session can be successfully used to predict performance in longer sessions of Tetris. (shrink)

Although the field of psychiatry has witnessed the proliferation of studies on Gene x Environment (GxE) interactions, still limited is the knowledge we possess of GxE interactions regarding developmental disorders. In this perspective paper, we discuss why GxE interaction studies are needed to broaden our knowledge of developmental disorders. We also discuss the different roles of hazardous versus self-generated environmental factors and how these types of factors may differentially engage with an individual’s genetic background in predicting a resulting phenotype. Then, (...) we present exemplar studies that highlight the role of GxE in predicting atypical developmental trajectories as well as provide insight regarding treatment outcomes. Supported by these examples, we explicate the need to move beyond merely examining statistical interactions between genes and the environment, and to investigate specific genetic susceptibility and environmental contexts that drive developmental disorders. We propose that further parsing of genetic and environmental components is required to fully understand the unique contribution of each factor to the etiology of developmental disorders. Finally, with a greater appreciation of the complexities of GxE interaction, this discussion will converge upon the potential implications for clinical and translational research. (shrink)

The discourse regarding intentionality and interpretation in analytic philosophy of art, although ample and lively, has concerned itself almost exclusively with the literary medium. Starting from a paper published by Hans Maes, I discuss the complications that may arise in straightforwardly applying current intentionalist strategies to the realm of the contemporary visual arts. I first present a detailed account of the difference between hypothetical intentionalism and moderate actual intentionalism which will help to better understand the nature of Maes’s arguments in (...) his paper. I then argue that the characteristics which shape the approach of moderate actual intentionalism cannot be accommodated by certain contemporary visual artworks. I will demonstrate how in certain contemporary artworks, should a viewer be interested in accepting actual intentions within her interpretation, she will have to do so with an extreme intentionalist posture rather than a moderate actual one. (shrink)

Gianluca Di Muzio develops a novel objection to theism.

La convinzione che la corretta comprensione della filosofia di Giordano Bruno sia imprescindibile dal tempo e dal luogo in cui il testo venne scritto è il principio ispiratore dell’originale metodo di ricerca di Guido del Giudice. Questa antologia, che raccoglie per la prima volta tutte le epistole dedicatorie delle opere latine, giunge a coronamento di un lavoro decennale dell’autore.

Plutarque nous raconte [VP I.1, 12.4.4–5] que le grand Varron s’adressa un jour à un certain Tarutius, connu pour ses talents de mathématicien et d’astrologue, pour déterminer le jour et l’heure de la naissance de Romulus « de la même manière que l’on tire l’analyse des problèmes géométriques» [ὥσπερ αἱ τῶν γεωμετρικῶν ὑφηγοῦνται προβλημάτων ἀναλύσεις]. Or, puisque dans la science astrologique ancienne on pouvait prédire, en prenant le jour et l’heure de la naissance d’un homme, ce que lui ré...

Daily rhythms are a ubiquitous feature of living systems. Generally, these rhythms are not just passive consequences of cyclic fluctuations in the environment, but instead originate within the organism. In mammals, including humans, the master pacemaker controlling 24‐hour rhythms is localized in the suprachiasmatic nuclei of the hypothalamus. This circadian clock is responsible for the temporal organization of a wide variety of functions, ranging from sleep and food intake, to physiological measures such as body temperature, heart rate and hormone release. (...) The retinal circadian clock was the first extra‐SCN circadian oscillator to be discovered in mammals and several studies have now demonstrated that many of the physiological, cellular and molecular rhythms that are present within the retina are under the control of a retinal circadian clock, or more likely a network of hierarchically organized circadian clocks that are present within this tissue. BioEssays 30:624–633, 2008. © 2008 Wiley Periodicals, Inc. (shrink)