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.

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)

The monographic volume develops a reflection on the relationship between ?contexts? and ?different forms of knowledge production.? It involves researchers working on the production of knowledge in different contexts, such as scientific laboratories, as well as academic, business, organizational and health care contexts, learning environments (formative agencies), theaters, and so on. This special issue investigates how each context can lead to the production of new and unique forms of knowledge. New reflections and new points of interests are put in evidence (...) in the following articles: from the boundaries between different kinds of knowledge, including the scientific one, to the relevance of ?context,? which not only proves to be essential for any form of knowledge construction but also takes many and multifaceted meanings. A particular focus is devoted to the idea of creativity as an essential way to construct and improve various forms of knowledge in different kinds of contexts. All these aspects help us to reflect upon our contemporary age in a different way, emphasizing controversies and contradictions that characterize it and promoting a growing awareness of our knowing processes in its subtlety and complexity. In that way we could understand more and more the main problems of our contemporary age and the constrains we live with in new possibilities for a creative evolution of ideas and knowledge. (shrink)

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.

In this paper, we report on the development of The Sustainable Port video game, which aims to simulate the complex dynamics and decisions occurring in the present and future development of a port area considering environmental aspects (CO2 emissions) and profit. To evaluate if this game fulfills its purpose, we asked 75 students and 34 employees at the Port of Rotterdam (PoR) to play The Sustainable Port. Our results show that PoR employees score higher than students suggesting a transfer between (...) real-life experience of being an employee in the port and performance in the game. Furthermore, port participants reported that The Sustainable Port can be successfully used to start discussions about the future of the Port of Rotterdam and to raise awareness about the complexity characterizing the decision-making processes occurring in a port environment. Our results, taken together, provide evidence of the effectiveness of The Sustainable Port in simulating dynamics occurring in port development and give us optimism about future applications. (shrink)

Following the guiding thread of Peirce’s use of diagrammatic syntax in his system of existential graphs , which depends crucially on the role of the Sheet of Assertion, we introduce the notion of Sheet of Indication as the basis for a general diagrammatic semantics applicable to a wide range of diagrams. We then show how Peirce’s EG-alpha graphs may be understood as instances of SIs and how logically coherent models of the graphs are represented in the SI semantics.

Les stratégies de Bayle et de Hume devant la question de l’athéisme sont bien plus proches qu'on ne le croit généralement. Cet accord découle de l’influence constante que Bayle exerça sur Hume. Pour Bayle et pour Hume, l’athéisme et le scepticisme sont très étroitement liés – celui-là n’est qu’une forme du celui-ci. La force des Dialogues sur la religion naturelle de Hume ressort précisément de cette alliance entre athéisme et scepticisme qui, puisant la plupart de ses arguments chez Bayle, aboutit (...) à une critique de la théologie fondée sur une analyse sans concession des fondements épistémologiques de la croyance, tout en se gardant, comme le Straton de Bayle, de réduire l’athéisme à un dogmatisme métaphysique abstrait. (shrink)

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 paper proposes a new strategy of approach for Dio Chrysostom’s Olympic Discourse, whose constitutio textus, in spite of the numerous editions and studies from which the speech has benefited in recent years, continues to raise strong doubts and perplexities.

The paper analyses Bratman’s planning theory of intention and action, trying to assess its merits in relation to contemporary debates about the constitution of agency. After discussing the limits of the so called belief-desire model in representing the agent’s standpoint, the paper focuses on how planning states can sustain an alternative view based on self-governing strategies allegedly capable of supporting a distinctive sense of personal continuity over time. It ends up with the discussion of some related concerns pertaining to metaphysics (...) and diachronic rationality, in particular the apparent tension between synchronic and diachronic rational pressure over planning deliberation. (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)

Pierre Bayle (1647–1706) is often considered one of the staunchest defenders of toleration, especially in the domain of religion. His Commentaire philosophique, published in 1686, one year after the revocation of the Edict of Nantes, argued for a broad idea of toleration, to be extended with no exceptions to all sects and religions. However, his thought can hardly be reduced to an exaltation of the “rights of the conscience,” for he realized very soon that such an exaltation risks bringing forth (...) religious fanatism, which in turn is the cause of religious wars and acts of violence. Toleration, in these conditions, is only a political remedy for the sickness of the human mind. (shrink)

Après des siècles de développement parallèle, l’histoire des communautés humaines a connu un tournant majeur en 1492, l’expansion vers d’autres continents rendant les sociétés de plus en plus interdépendantes. Parvenue à l’ère planétaire, l’humanité mondialisée doit opérer une nouvelle évolution en instaurant une relation non destructrice avec la nature, afin de garantir sa propre survie.After centuries of parallel development, the history of human communities was a major turning point in 1492, expanding to other continents making companies increasingly interdependent. Reached in (...) the global era, humanity must make a global change by introducing a new non-destructive relationship with nature to ensure its own survival. (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é...