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)

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)

Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...) statements and questions can be expressed in InqBQ about the number of individuals satisfying a given predicate. As special cases, we show that several variants of the question how many individuals satisfy α(x) are not expressible in InqBQ, both in the general case and in restriction to finite models. (shrink)

This article provides an algebraic study of the propositional system $\mathtt {InqB}$ of inquisitive logic. We also investigate the wider class of $\mathtt {DNA}$ -logics, which are negative variants of intermediate logics, and the corresponding algebraic structures, $\mathtt {DNA}$ -varieties. We prove that the lattice of $\mathtt {DNA}$ -logics is dually isomorphic to the lattice of $\mathtt {DNA}$ -varieties. We characterise maximal and minimal intermediate logics with the same negative variant, and we prove a suitable version of Birkhoff’s classic variety (...) theorems. We also introduce locally finite $\mathtt {DNA}$ -varieties and show that these varieties are axiomatised by the analogues of Jankov formulas. Finally, we prove that the lattice of extensions of $\mathtt {InqB}$ is dually isomorphic to the ordinal $\omega +1$ and give an axiomatisation of these logics via Jankov $\mathtt {DNA}$ -formulas. This shows that these extensions coincide with the so-called inquisitive hierarchy of [9].1. (shrink)

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...) of finite problems. In addition to the algebraic characterization of H(B), we give a topological characterization of H(B) in terms of the recently introduced choice-free duality for Boolean algebras using so-called upper Vietoris spaces (UV-spaces). In particular, while a Boolean algebra B is realized as the Boolean algebra of compact regular open elements of a UV-space dual to B, we show that H(B) is realized as the algebra of compact open elements of this space. This connection yields a new topological semantics for inquisitive logic. (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)

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 comprehensive textbook is devoted to classical and quantum cosmology, with particular emphasis on modern approaches to quantum gravity and string theory and on their observational imprint. It covers major challenges in theoretical physics such as the big bang and the cosmological constant problem. An extensive review of standard cosmology, the cosmic microwave background, inflation and dark energy sets the scene for the phenomenological application of all the main quantum-gravity and string-theory models of cosmology. Born of the author's teaching experience (...) and commitment to bridging the gap between cosmologists and theoreticians working beyond the established laws of particle physics and general relativity, this is a unique text where quantum-gravity approaches and string theory are treated on an equal footing. As well as introducing cosmology to undergraduate and graduate students with its pedagogical presentation and the help of 45 solved exercises, this book, which includes an ambitious bibliography of about 3500 items, will serve as a valuable reference for lecturers and researchers. (shrink)

Uno dei principali problemi nello studio della mente e della sua "collocazione" consiste nell'identificazione del corretto Livello di Astrazione a cui le varie descrizioni fenomeniche e le corrispondenti ipotesi esplicative possono essere sviluppate e confrontate. L'articolo contribuisce all'attuale dibattito metodologico in filosofia della mente analizzando due nozioni fondative, quella di modello e quella di simulazione, sulla base del concetto di Livello di Astrazione. L'ambito è quello del Metodo delle Astrazioni, proposto in Floridi e Sanders [2003]. Il Metodo delle Astrazioni si (...) basa su una particolare branca dell'informatica teorica, quella dei Metodi Formali (Roever e Engelhardt [1998]; Woodcock e Davies [1996]), dove la matematica discreta è utilizzata per descrivere analiticamente le specifiche del comportamento di sistemi che elaborano informazioni. I sistemi sono descritti in termini di osservabili e regole di transizione, cioè come sistemi di transizione. Le descrizioni comportano l'utilizzo di variabili che rappresentano osservabili nella realtà, astraendo da altri eventuali osservabili. L'idea di fondo del Metodo delle Astrazioni è che tale processo di filtraggio sia ineliminabile in qualsiasi accesso alla realtà. Il tentativo di sondare un sistema in maggiore profondità produce una maggiore astrazione delle teorie e degli oggetti teorici che descrivono tale sistema. Il Metodo delle Astrazioni si presenta quindi come uno strumento per organizzare e chiarificare le varie teorie che intendono fornire una spiegazione della realtà o della conoscenza. La principale tesi dell'articolo è che "modello" e "simulazione" non possano essere pensati come nozioni a sé stanti, ma che la loro natura possa essere chiarita nei termini di tipi di relazioni tra sistemi di transizione. Nello specifico, si argomenta che la relazione di simulazione è una relazione tra gli osservabili di sistemi di transizione, mentre il modello è una relazione tra le regole di transizione di questi sistemi. Dati questi due nuovi tipi di relazioni, è possibile arricchire con ulteriori strutture di analisi il Metodo delle Astrazioni, estendendo la sua applicabilità. Queste strutture sono discusse nell'articolo come "Reti di Astrazione". (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)

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)

L'opera di Primo Levi presenta un caso straordinariamente ricco e in qualche modo enigmatico di intertestualità. Con questo volume si è cercato di tracciare i lineamenti di una mappa immaginaria, uno schema degli innesti, intertesti e trapianti che collegano l'opera leviana ai libri altrui.

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)

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é...

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)

We argue that legal argumentation, as the subject matter as well as a special subfield of Argumentation Studies (AS), has to be examined by making skilled use of the full panoply of tools such as argumentation and story schemes which are at the forefront of current work in AS. In reviewing the literature, we make explicit our own methodological choices (particularly regarding the place of normative deliberation in practical reasoning) and then illustrate the implications of such an approach through the (...) analysis of a case study in the English law of evidence. We argue that a clear distinction must be drawn between practical argumentation and stories. Because of the institutional separation between legal judgment and fact-finding in common-law jury trials, we argue for the combination of argument and story-based analysis. (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.

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)

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.