I manoscritti dell'abate Galiani.--Catalogo sistematico dei manoscritti dell'abate Galiani.--Intorno al terzo dei Libri della Biccherna.--Due recensioni.--Groce, B. I manoscritti dell'abate Galiani.--Nicolini, B. Profilo di Fausto Nicolini archivista.

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

A dichotomy result of Sevenster (2014) [29] completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence they contain. On one hand, prefixes that contain “Henkin” or “signalling” patterns were shown to characterize fragments of IF logic that capture NP-complete problems; all the remaining prefixes were shown instead to be essentially first-order. In the present paper we develop the machinery which is needed in order to extend the results of Sevenster to non-prenex, regular (...) IF sentences. This involves shifting attention from quantifier prefixes to a (rather general) class of syntactical tree prefixes. We partially classify the fragments of regular IF logic that are thus determined by syntactical trees; in particular, a) we identify four classes of tree prefixes that are neither signaling nor Henkin, and yet express NP-complete problems and other second-order concepts; and b) we give more general criteria for checking the first-orderness of an IF sentence. (shrink)

We analyze the expressive resources of \ logic that do not stem from Henkin quantification. When one restricts attention to regular \ sentences, this amounts to the study of the fragment of \ logic which is individuated by the game-theoretical property of action recall. We prove that the fragment of prenex AR sentences can express all existential second-order properties. We then show that the same can be achieved in the non-prenex fragment of AR, by using “signalling by disjunction” instead of (...) Henkin or signalling patterns. We also study irregular IF logic and analyze its correspondence to regular IF logic. By using new methods, we prove that the game-theoretical property of knowledge memory is a first-order syntactical constraint also for irregular sentences, and we identify another new first-order fragment. Finally we discover that irregular prefixes behave quite differently in finite and infinite models. In particular, we show that, over infinite structures, every irregular prefix is equivalent to a regular one; and we present an irregular prefix which is second order on finite models but collapses to a first-order prefix on infinite models. (shrink)

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of Independence-Friendly (IF) sentences; we give a syntactical criterion to decide whether a sentence beginning with such prefix exists, such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences.

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

The interpretation of the idea of the good in Plato takes advantage of the analysis of the literary representation of communication of good in the Platonic dialogues, in particular in the Symposium and Republic.

Questo contributo considera e analizza specifici elementi pagani celtici nella Navigatio sancti Brendani, soprattutto attraverso la comparazione con il genere epico tradizionale degli immrama e delle echtrai. Il proposito è quello di dimostrare la continuità di alcuni tradizionali concetti religiosi irlandesi sull’escatologia e la visione dell’aldilà in questi testi, particolarmente nell’ambito delle funzioni religiose espresse nelle figure di Brendano, di Barinto e degli dèi irlandesi del mare Manannán e Mongán. Attraverso le osservazioni svolte, si può stabilire che questa continuità funzionale (...) non è basata su un passivo lavoro di ricezione, ma è generata da un autentico sforzo di comprensione degli elementi cruciali che hanno determinato l’originalità e la sostanza della struttura escatologica della Navigatio. (shrink)

Given current data, only a few binary Boolean operators are expressed in lexically simple fashion in the world's languages: and, or, nor. These do not occur in every combination, for example, nor is not observed by itself. To explain these cross‐linguistic patterns, we propose an encoding of Boolean operators as update procedures to accept or reject information in a context. We define a measure of conceptual simplicity for such updates, on which attested operators are conceptually simpler than the remaining Booleans. (...) Moreover, we show that language evolution selects for the attested lexical inventories by minimizing the complexity of using a lexical inventory compositionally to convey precise information. (shrink)

Cet article constitue l'un des éléments d'un dossier comparatif international sur le traitement médiatique de l'attentat survenu à la gare d'Atocha à Madrid en mars 2004. Centré sur l'Italie et basé sur l'étude d'un corpus des quatre principaux quotidiens, il analyse les orientations du discours développé par cette presse dans les jours qui ont suivi cet événement. Il montre, qu'après un moment de compassion devant les conséquences dramatiques de l'attentat, ces titres se sont déterminés sur la base d'une analogie entre (...) la situation politique espagnole et la situation italienne et ceci en raison des positions identiques de leurs gouvernements quant au conflit en Irak. Des divergences de tons et d'attitude sont observables entre ces différents journaux, mais on assiste globalement à une forme de banalisation et de «nationalisation» de l'événement progressivement replié sur la scène nationale.This article is one of a comparative study on the international media coverage of the attack in Atocha train station in Madrid in March 2004. Centered on Italy and based on the study of a corpus of four major dailies, it analyzes the stand taken by the press in the days following the event. It shows, after a moment of compassion for the tragic consequences of the attack, these securities are determined on the basis of an analogy between the Spanish political situation and the situation in Italy and this because of the identical positions of their governments about the conflict in Iraq. Differences of tone and attitude are observable between these newspapers, but there is generally a form of trivialization and "nationalization" of the event gradually declined on the national scene. (shrink)