Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...) key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

We show that the semi-linear ordering principle for continuous functions implies the determinacy of all Wadge and Lipschitz games.

Zygon®, Volume 56, Issue 4, Page 1058-1069, December 2021.

We prove that the determinacy of all Lipschitz games, the determinacy of all Wadge games, and the semi-linear ordering principle for Lipschitz maps are all equivalent.

In this brief discussion, we explicate and evaluate Heyes and colleagues’ deflationary approach to interpreting apparent evidence of domain-specific processes for social percep- tion. We argue that the deflationary approach sheds important light on how functionally specific processes in social perception can be subserved at least in part by domain-general processes. On the other hand, we also argue that the fruitfulness of this approach has been unnecessarily hampered by a contrastive conception of the relationship between domain- general and domain-specific processes. (...) As an alternative, we propose a complementary conception: the identification of domain-general processes that are engaged in instances of social perception can play a positive, structuring role by adding additional constraints to be accounted for in modelling the domain-specific processes that are also involved in such instances. (shrink)

Este artículo presenta un enfoque del problema de la relación entre abducción y percepción en la filosofía de C. S. Peirce, tratando de mostrar la percepción y la abducción, o hipótesis, como procesos creativos capaces de introducir una novedad en el conocimiento. En primer lugar se muestra cómo cada conocimiento, incluso el lógico, está fundamentado en la experiencia de la percepción, y cómo esta presupone una continuidad cosmológica entre la mente y el mundo para poder funcionar. Sucesivamente se pone en (...) evidencia cómo la hipótesis no es nada más que aquel procedimiento que reconoce, como un relámpago, esta continuidad cosmológica de experiencia entre la mente y el mundo. Finalmente, la abducción se configura como un razonamiento que, libremente, obstruye y modifica el flujo continuo de. (shrink)

The theme of conspiracies plays a key role in Machiavelli's writings, in which can be found considerations and analyses on the use of conspiracy as an instrument of conquest of power, and as a technique for political fighting. This volume denies an interpretation in which Machiavelli limited himself to warning against conspiracies, judging them as a dangerous and useless tool. In reality, he elaborated a real phenomenology or anatomy of the conspiracy. His thoughts on this theme represent a practical manual (...) for the "coup d'état" and the violent seizure of power. But as always, they also contain brilliant intuitions on political psychology, the sociology of power, and social anthropology. (shrink)

Alfred North Whitehead famously compares the philosophical method of knowledge acquisition with the process of flying an airplane. Likewise, “shamanic flight” marks stages of cognitive processing in navigation through perceptible and imperceptible worlds. This article focuses on the cosmovision of the Amazon people Huni Kuin, the Whiteheadian method of imaginative rationalization, and the concept of Amerindian perspectivism. This study also investigates shamanism as an experience of knowledge generation. Furthermore, “shamanic flight,” as an ecstatic technique experienced in many diverse Amerindian rituals, (...) will be explored as a method in the discovery and organization of nonhuman alterities. Finally, Amazonian-based shamanic epistemology will be discussed within a “multinaturalist” ontology. (shrink)

Whiteheadian concepts of life, food, "empty" and "occupied space" provide a theoretical basis to unpack an ontogenetic perspective on aging. Focusing on the so-called "Selective Optimization with Compensation " strategy, this work will explore this concept in relation to some scientific evidence in the fields of "epigenetics " and molecular nutrition. Further, the role of caloric restriction in health and longevity will be discussed as a SOC strategy, based on the metabolic theory of aging. SOC strategy applied to the processes (...) of aging, when linked with Whitehead's philosophy of organism, makes it possible for us to think about life as a selective process provided by "empty space. " A continuum within the physical field optimizes a "living society," which evolves in permanent social deficit, by means of compensation by nutritional metabolism. (shrink)

Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that greatly complicate or even prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev-Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure channel (e.g. a (...) confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as of complex security properties that are normally not handled by state-of-the-art security protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange and some of its key security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol. (shrink)

O propósito deste artigo é mostrar a relação entre a experiência perceptiva e o raciocínio abdutivo em C.S. Peirce. Ademais, apresento a abdução como uma expressão lógica, prática e criativa apta a introduzir uma novidade no reino do conhecimento, através de um sistema de signos gráficos. A noção peirciana de experiência está relacionada com a de uma práxis interpretativa e criativa, que não se limita ao recebimento ou registro de dados pré-constituídos passivamente. Nesse sentido, a abdução é o hábito lógico (...) vivo que explica o mundo percebido como um caso particular de um mundo concebível, no qual uma regra geral ou hipótese é efetivo. Apresentarei a abdução como um raciocínio que infere a causa a partir do efeito, o antecedente a partir do consequente, a ordem geral de um fato percebido particular e um “extra comum”. A abdução não apenas estabelece um fato singular, mas torna o fato visível dentro de um novo contexto de relações possíveis. Assim, quando vemos uma figura, nós não vemos somente uma mera figura, mas uma figura “como se” ela fosse o resultado percebido de um sistema geral de relações possíveis. O gesto da mão dá existência à figura e a torna visível para nós, pois ela descobre essas relações que constituem o contexto de interpretação da figura. Nesse aspecto, o gesto gráfico consiste na concretização prática que permite uma interpretação topológica possível do mundo real percebido. (shrink)

Wittgenstein has written a great number of remarks relevant to aesthetical issues: he has questioned the relation between aesthetics and psychology as well as the status of our norms of judgment; he has drawn philosophers attention to such topics as aspect-seeing and aspect-dawning, and has brought insights into the nature of our aesthetic reactions. The examination of this wide range of topics is far from being completed, and the purpose of this book is to contribute to such completion. It gathers (...) both papers discussing some of Wittgenstein s most provocative and intriguing statements on aesthetics, and papers bringing out their implications for art critic and art history, as well as their significance to epistemology and to the study of human mind.". (shrink)

Assuming AD + DC, we characterize the self-dual boldface pointclasses which are strictly larger than the pointclasses contained in them: these are exactly the clopen sets, the collections of all sets of Wadge rank [Formula: see text], and those of Wadge rank [Formula: see text] when ξ is limit.

By recent work on some conjectures of Pillay, each definably compact group G in a saturated o-minimal expansion of an ordered field has a normal "infinitesimal subgroup" G00 such that the quotient G/G00, equipped with the "logic topology", is a compact (real) Lie group. Our first result is that the functor G → G/G00 sends exact sequences of definably compact groups into exact sequences of Lie groups. We then study the connections between the Lie group G/G00 and the o-minimal spectrum (...) G̃ of G. We prove that G/G00 is a topological quotient of G̃. We thus obtain a natural homomorphism ψ* from the cohomology of G/G00 to the (Čech-)cohomology of G̃. We show that if G00 satisfies a suitable contractibility conjecture then $\widetilde{G^{00}}$ is acyclic in Čech cohomology and ψ* is an isomorphism. Finally we prove the conjecture in some special cases. (shrink)

L’articolo intende sondare la fondatezza ontologica di una categoria personologica fondamentale, in particolare in ambito ecclesiologico: il “noi”. Tale ricerca si sviluppa soprattutto nella sua rilevanza trinitaria, a partire dall’apporto offerto dal teologo tedesco Heribert Mühlen, il quale, nella sua opera pneumatologica Der Heilige Geist als Person. In der Trinität, bei der Inkarnation und im Gnadenbund: Ich-Du-Wir, approfondisce questo tema insieme ad altre tre parole-chiave: “io”, “tu”, “tra”.

The topology of definable sets in an o-minimal expansion of a group is not fully understood due to the lack of a triangulation theorem. Despite the general validity of the cell decomposition theorem, we do not know whether any definably compact set is a definable CW-complex. Moreover the closure of an o-minimal cell can have arbitrarily high Betti numbers. Nevertheless we prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated (...) and invariant under elementary extensions and expansions of the language. (shrink)

The axiom of dependent choice ( $\mathsf {DC}$ ) and the axiom of countable choice ( ${\mathsf {AC}}_\omega $ ) are two weak forms of the axiom of choice that can be stated for a specific set: $\mathsf {DC} ( X )$ asserts that any total binary relation on X has an infinite chain, while ${\mathsf {AC}}_\omega ( X )$ asserts that any countable collection of nonempty subsets of X has a choice function. It is well-known that $\mathsf {DC} \Rightarrow (...) {\mathsf {AC}}_\omega $. We study for which sets and under which hypotheses $\mathsf {DC} ( X ) \Rightarrow {\mathsf {AC}}_\omega ( X )$, and then we show it is consistent with $\mathsf {ZF}$ that there is a set $A \subseteq \mathbb {R}$ for which $\mathsf {DC} ( A )$ holds, but ${\mathsf {AC}}_\omega ( A )$ fails. (shrink)

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.

The paper discusses some recent suggestions offered by the so-called sensorimotor (or enactivist) theorists as to the problem of the explanatory gap, that is, the alleged impossibility of accounting for phenomenal consciousness in any scientific theory. We argue in the paper that, although some enactivist theorists’ suggestions appear fresh and eye-opening, the claim that the explanatory gap is (dis)solved is much overstated.

Il saggio si propone di approfondire due tendenze tipiche della musica contemporanea: la prima è il Minimalismo, movimento rappresentato da musicisti come La Monte Young, Philip Glass and Steve Reich, la seconda è la rave music (come la techno), caratteristica della popular culture nell’era postmoderna. Attraverso il pensiero di Adorno, e a partire dalla sua analisi dialettica del dualismo Schönberg-Stravinskij, il saggio propone una comprensione filosofica di concetti come “ripetizione” e “trascendenza”; l’assenza dello “sviluppo” in gran parte della produzione musicale (...) degli ultimi decenni, nella popular music quanto nella musica colta, dimostra una dispersione del soggetto e dell’individuo, smarrito all’interno di un “eterno ritorno” della struttura ritmica che può essere ricompreso nei termini di un “eterno ritorno dell’identico” e non nei termini di un “eterno ritorno della possibilità”; in quest’ottica, a venire sacrificata è anche la dimensione della trascendenza, che non a caso viene ricercata spesso nell’esotismo dei culti orientali o nel consumo di sostanze stupefacenti. L’insistenza nel Minimalismo della ripetizione come unica ed estrema categoria di riferimento e norma estetica, produrrà infatti nel corso degli ultimi anni una dicotomia apparentemente contraddittoria, ma che invece esprime la medesima matrice logica: da un lato l’invasamento edonistico del beat elettronico della musica dance elettronica, dall’altro la proposta commerciale della produzione industriale della musica pop. Non è un caso che proprio il Minimalismo sia sfociato in entrambe queste due tendenze, mostrandosi come la cifra comune originaria, traducendosi nella musica rave o nella musica rock. (shrink)

José Honório Rodrigues foi historiador e autor de vasta obra, principalmente para se entender o Brasil, no sentido de se ter no conhecimento do passado um instrumento para se encontrar explicações e soluções para os problemas atuais. E o presente texto busca apresentar um conceito importante da teoria social honoriana, que é a “conciliação” e as consequências deste comportamento advindo dos grupos oligárquicos brasileiros, mas, igualmente, da importância do povo brasileiro no processo de construção desse país, numa dialética de enfrentamento (...) das injustiças sociais históricas. Para tanto, faz-se uma análise de duas de suas obras: Aspirações Nacionais, de 1963 e republicada em 1970, e Conciliação e Reforma no Brasil, de1965. (shrink)

It is shown, assuming the existence of a Woodin cardinal δ, that every tree ordering on some limit ordinal $\lambda < \delta$ with a cofinal branch is the tree ordering of some iteration tree on V.

We introduce two new iteration games: the game , which is a strengthening of the weak iteration game, and the game , which is somewhat stronger than but weaker than the full iteration game of length ω1. For a countable M elementarily embeddable in some Vη, with two players I and II, we can show that II wins and that I does not win.

In this paper we continue the line of work initiated in “Building iteration trees”. It is shown that the existence of a certain kind of iteration tree of height ω is equivalent to the existence of a cardinal δ that is Woodin with respect to functions in the next admissible.

In this paper we introduce a new hierarchy of large cardinals between \ and \, the iterability hierarchy, and we prove that every step of it strongly implies the ones below.

The circumscription of taxa and classification of organisms are fundamental tasks in the systematization of biological diversity. Their success depends on a unified idea concerning the species concept, evolution, and taxonomy; paradoxically, however, it requires a complete distinction between taxa and evolutionary units. To justify this view, I discuss these three topics of systematics. Species concepts are examined, and I propose a redefinition for the Taxonomic Species Concept based on nomenclatural properties, in which species are classes conventionally represented by a (...) binomial. Speciation is subsequently discussed, to demonstrate that concepts on the evolutionary process are damaged when species are considered as evolutionary units. Speciation should be considered a transition among patterns of a population and, consequently, always a sympatric process. This view contrasts with the majority of speciation models, which analyze cladogeneses and classify speciation geographically, usually considering allopatry the essential condition for the differentiation process. Finally, taxonomy is considered, to show that the equivalence between evolutionary and taxonomic units may also damage the practice of biological systematization. Principles and rules of nomenclature and classification should offer freedom to accommodate divergent opinions about systematics and to incorporate the evolution of knowledge; therefore, they should remain independent of biological theories. (shrink)

The discussion about the uses of the concept “musical object” highlights the difficulties of the project – put forward by Pierre Schaeffer (1966) – of basing its definition on the idea of “objet sonore”. Moreover, the proposal to assimilate the functions of the “objet sonore” to those fulfilled by a “musical work” turns out to be no less problematic. A new definition is proposed: a musical object is a social object resulting from the inscription of perceived sound(s), or of the (...) acoustic event(s)/object(s), in a reference system recognized as “musical” by a group of (minimally) two people. (shrink)

I. Dans un texte récent, le compositeur français Jean-Luc Hervé expose ainsi son projet d’une œuvre conçue pour un espace public, notamment un jardin : (…) une génération totalement aléatoire de son, si elle permet de varier continuellement le matériau sonore, interdit par définition toute construction musicale. Il est impossible par cette méthode de façonner des formes et de proposer à l’auditeur une écoute détaillée. Il ne peut reconnaître aucune forme, aucun objet musical (geste, phrase)....