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)

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.

This book evaluates how the pragmatist notion of habit can influence current debates at the crossroads between philosophy, cognitive sciences, neurosciences, and social theory. It deals with the different aspects of the pragmatic turn involved in 4E cognitive science and traces back the roots of such a pragmatic turn to both classical and contemporary pragmatism. Written by renowned philosophers, cognitive scientists, neuroscientists, and social theorists, this volume fills the need for an interdisciplinary account of the role of 'habit'. Researchers interested (...) in the philosophy of mind, cognitive science, neuroscience, psychology, social theory, and social ontology will need this book to fully understand the pragmatist turn in current research on mind, action and society. (shrink)

This thought-provoking book analyses the process of labour commodification, through which the individual’s ability to earn a basic living becomes dependent on the conditions of the market relationship. Building on the premise that the separation of a group of individuals from the means of production is an intrinsic element of capitalism, Fausto Corvino theorises that this implies a form of domination in a neo-republican sense. -/- Proposing an original theory of global justice denoted as a minimum de-commodification of labour (...) power, this book explains the ways in which this cosmopolitan principle resists the criticisms that are commonly advanced against classic theories of global justice and charts a theory falling between the neo-republican and labour republican approaches. It stimulates the debate on, and moral critique of, capitalism and the obstacles it poses to individual freedoms, with a focus on exploitation and domination. -/- Global Justice, Markets and Domination will be a key resource for students and scholars researching capitalism and analytical Marxism, political economics and human rights. It will also be of benefit to those interested in theories of global and distributive justice and the economic implications of the neo-republican theory of freedom as non-domination. (shrink)

Globalisation has come under severe pressure at the exact moment when some of those we used to regard as the winners of the global market have started to lose from it. Or, in other words, globalisation is going through the most serious drawback since the post-war era just when divergent growth between countries has inverted its trend, thus becoming convergent. In this article I argue that convergent globalisation poses a serious theoretical challenge to the idea of global justice. More precisely, (...) the recent equalisation in the international distribution of wealth, together with the technological developments in automation and communication, render classic models of global justice obsolete. For the struggle for a more just globalisation is now realigned on the national level and sees deployed on the one side those who control enough capital to cut down on labour costs, and on the other one those others who are redundant in production. (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)

El artículo propone analizar el proceso de construcción histórica de memoria, verdad y justicia en Argentina a través de la categoría “ecología de saberes” elaborado por Boaventura de Sousa Santos. Por medio de un estudio cronológico en el cual se busca resaltar la amalgama de militancias, estrategias y consignas elaboradas por los organismos de derechos humanos a lo largo de las distintas vicisitudes históricas del país (años 1976-2023), se enfatiza en la dimensión epistémica y emancipadora de las resistencias encaradas por (...) los organismos. Por último, se reflexiona acerca de las potencialidades de un uso contrahegemónico de la memoria en el contexto del Sur Global. (shrink)

We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, higher order definition of team quantifier. We show that Engström’s definitions can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engström’s quantifiers only range over the latter. We further argue that Engström’s definitions (...) are just embeddings of the first-order generalized quantifiers into team semantics, and fail to capture an adequate notion of team-theoretical generalized quantifier, save for the special cases in which the quantifiers are applied to flat formulas. We also raise several doubts concerning the meaningfulness of the monotone/nonmonotone distinction in this context. In the appendix we develop some proof theory for Engström’s quantifiers. (shrink)

The end of the twentieth century marks the slow disintegration of both the Marxist and capitalist socioeconomic theories, inasmuch as both have proven inadequate to meet basic issues of human existence. Their inadequacy rests on the tendency to use the criteria of extrinsic rewards, quantification, production, and consumption to evaluate human personhood and human activity. What is needed is a third alternative to these two systems, one that is based on intrinsic rewards and cultivates internal values rather than production, consumption, (...) and quantification. Religious communities have traditionally been such an alternative and seem to represent an ordered nucleus of information that can counter the inadequacies of Marxism and capitalism. To carry out this function, religions must (1) minimize the trivial differences that set belief systems against one another; (2) support bimodal cultural evolution that allows the old and the new to coexist; and (3) discover the unifying factors that cut across human groups. (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 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 end of the twentieth century marks the slow disintegration of both the Marxist and capitalist socioeconomic theories, inasmuch as both have proven inadequate to meet basic issues of human existence. Their inadequacy rests on the tendency to use the criteria of extrinsic rewards, quantification, production, and consumption to evaluate human personhood and human activity. What is needed is a third alternative to these two systems, one that is based on intrinsic rewards and cultivates internal values rather than production, consumption, (...) and quantification. Religious communities have traditionally been such an alternative and seem to represent an ordered nucleus of information that can counter the inadequacies of Marxism and capitalism. To carry out this function, religions must (1) minimize the trivial differences that set belief systems against one another; (2) support bimodal cultural evolution that allows the old and the new to coexist; and (3) discover the unifying factors that cut across human groups. (shrink)

In 1582, Carlo Sigonio published a text entitled De Republica Hebraeorum. It used the format of the De repubblica Athenensium manual. The question of the political structure in ancient Israel had already been addressed before, but Siconio was the first to adopt a systematic approach. However, he did not know Hebrew and so used the translation of the Septuagint, giving rise to not a few problems.

Natural languages exhibit manysemantic universals, that is, properties of meaning shared across all languages. In this paper, we develop an explanation of one very prominent semantic universal, the monotonicity universal. While the existing work has shown that quantifiers satisfying the monotonicity universal are easier to learn, we provide a more complete explanation by considering the emergence of quantifiers from the perspective of cultural evolution. In particular, we show that quantifiers satisfy the monotonicity universal evolve reliably in an iterated learning paradigm (...) with neural networks as agents. (shrink)

Cognitive Science, Volume 46, Issue 7, July 2022.