The constructive reformulation of the semantic theory suggests two basic principles to be assumed: first, the distinction between proper knowledge, expressed in judgemental form, and the assertion conditions for such knowledge; second, ...

Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already (...) shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on -AI as well as the practical import of our results. (shrink)

We here report the findings of our investigation into the validity of the conjunction fallacy (Tversky & Kahneman, 1983), bearing in mind the role of conversational rules. Our first experiment showed that subjects found a logically correct answer unacceptable when it implied a violation of the conversational rules. We argue that tautological questions, such as those which concern the relationship of inclusion between a class and its sub-class, violate conversational rules because they are not informative. In this sense, it is (...) not understood that the question in a Linda-type problem involves a comparison between an inclusive and included class, but presumed that a different type of comparison is intended. Tautological questions (and, consequently, also their answers) do not become a matter of discussion except under certain specific conditions. Our second experiment showed that, providing the context was adequately marked (such as in the case of a rhetorical question), the conjunction fallacy disappears. In two further experiments, the implications of our view were compared with those of the other critical approaches to the heuristic programme: the classical pragmatic view (which we call logical complementarity) and the frequentist view. (shrink)

The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This “genealogy of concepts”, so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational analysis (...) with an often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to a philosophical frame as well as to some recent experimental studies on numerical cognition that support our claim on the cognitive origin and the constitutive role of mathematical intuition. (shrink)

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator (...) for bases with partial support. (shrink)

A recent perspective proposed by cognitive linguistics allows overcoming the traditional trend by confronting the special rhetorical strength of metaphor with its evident argumentative nature. In such a direction the psycho-semiotic approach frames each human event of sense making within the notion of diatext, underlining the dialogical tension between “text” and “context” of enunciation. Metaphor is a relevant resource of diatextual analysis since it opens unexpected views on the mysterious procedures that translate claims of meaning into discursive modes suitable to (...) specific situations. A corpus of empirical evidences, collected within the organizational context through narrative interviews, allows better understanding of the creative power of metaphors. (shrink)

In the wave of critical theory's recent turn to ethics, Karatani's transcritique and Eagleton's ethics of agape have emerged as two of the most outstanding attempts to reinstate morality at the centre of Marx's analysis of capitalist society. This article argues that, in spite of their merits in repositioning the normative generalizations of the moral discourse within the context of Marx's political economy, both theories share certain fundamental flaws which are inherent in the very meaning of the possibility of moral (...) action in a wrong society. By taking Karatani's transcritique as a sample of what Christoph Menke names `rational morality' and Eagleton's revival of classical morality as a variant of `virtue ethics', it is shown that they are both amenable to Adorno's charge that wrong life cannot be lived rightly. Finally, it is contended that what Adorno's criticism indicates is that, when it most matters in real situations, morality always reveals its political overdetermination. Key Words: Theodor Adorno • critical theory • dialectics • Terry Eagleton • Kojin Karatani • rational morality • totality • transcendental • transcritique • virtue ethics. (shrink)

The model presented in the target article includes feature processing and higher representations. I argue, based on neuropsychological evidence, that spatial representations are also involved in perceptual awareness of somatosensory events. Second, there is an asymmetry, with a right-hemisphere–based bilateral representation of the body. Third, the specific aspect of bodily awareness concerning motor function monitoring involves a network that includes the premotor cortex.

The view that short-term memory should be conceived of as being a process based on the activation of long-term memory is inconsistent with neuropsychological evidence. Data from brain-damaged patients, showing specific patterns of impairment, are compatible with a vision of memory as a multiple-component system, whose different aspects, in neurologically unimpaired subjects, show a high degree of interaction.

Introduction: in search of a Jewish renaissance -- Jewish philosophy: humanist roots of a contradiction in terms -- The prophetic-poetic dimension of philosophy: the ars poetica and Immanuel of Rome -- Leone Ebreo's concept of Jewish philosophy -- Conceptions of history: Azariah de Rossi -- Scientific thought and the exegetical mind, with an essay on the life and works of Rabbi Judah Loew -- Mathematical and biblical exegesis: Jewish sources of Athanasius Kircher's musical theory -- Creating geographical and political utopias: (...) the ten lost tribes and the east -- Ceremonial law: history of a philosophical-political concept -- The city and the ghetto: Simone Luzzatto and the development of Jewish political thought -- Body of conversion and immortality of the soul: Sara Copio Sullam, the 'Beautiful Jewess'. (shrink)

Pensar Europa filosóficamente hoy no constituye un intento de definición y representación de una identidad cultural con carácter unívoco y, menos aún, de una identidad política que, por siglos, ha sido siempre parcial y ha estado entretejida con imágenes y prácticas diferentes y plurales. Lo que hay que replantear y recolocar en el centro es su carácter dialéctico, su continuo saltar (la aptitud acrobática de la que hablaba Ortega) y oscilar entre razón y pasiones, lógica e instinto, progreso y decadencia, (...) libertad y totalitarismo, entre el reconocimiento del otro y del diverso como voluntad de apertura a lo nuevo y la reivindicación de una civilización eurocéntrica que objetivamente ha sentado las bases de la modernidad. (shrink)

This article provides an original exploration of the self-identified populist coalition leading the Italian government between 2018 and 2019. The analysis, informed by a governmentality approach, starts by scrutinising the economic, social, and cultural issues framed as political “problems” by the coalition, also highlighting the tensions underlying such constructions. The second step charts how this political subject sought to address those problems by deploying an array of political technologies. From examining these two dimensions, the article then can discern the composite (...) rationality—techno-sovereignism—that drove precariously the coalition’s art of government. Finally, the article sketches out some forms of contestation against the techno-sovereignist operations, whose significance may stretch beyond the Italian borders. Overall, although the Italian populist coalition turned out to be ephemeral, the dynamics that characterized its emergence and functioning could still be used heuristically to understand the interactions and reciprocal adjustments possibly used by right-wing and technocratic populist groups to exert political power conjointly. (shrink)

This article claims that the study of irregular migration may be a strategic research material for the development of an adequate understanding of contemporary society. The field, however, suffers not only from a lack of reliable empirical data, but also from endemic undertheorizing. The article shows how the attempt to develop an understanding of irregular migration from within a general theory of modern society has positive consequences both for the clarification of the problems and for the design of research programs (...) able to deal adequately with the phenomena. Particularly, it is argued that a theory of modern society centered on its form of differentiation may help to clarify both the political dimension of contemporary international mobility, the variety of irregular statuses existing in the foreign population of receiving countries, and the condition of inclusion and exclusion of irregular migrants. (shrink)

Este ensayo se centra en la democracia entendida como forma política, como constitución democrática. El concepto de poder del pueblo indica, por una parte, un poder absoluto al que someterse, y, por otra, tiende a negar la sumisión en cuanto tal. Los dos conceptos fundamentales de la constitución democrática, la soberanía del pueblo y la representación política , que surgen para mostrar cómo el poder es de todos, en realidad crean un hiato estructural que impide pensar en la dimensión política (...) de los ciudadanos. En la base de la aporía se encuentra el ideal de la libertad y la libertad incondicional del individuo, la cual se afirma mediante la negación de la relación de gobierno. Esta incondicionalidad de la voluntad se convierte en el elemento fundador de la racionalidad formal propia de la legitimación democrática. Sólo la conciencia de la centralidad de la cuestión del gobierno, incluso en el interior de la democracia y más allá de su dispositivo legitimador, puede mostrarnos la vía para repensar a los ciudadanos como sujetos capaces de acción política. (shrink)

¿Es hoy aún posible pensar la creatividad sin el método, la invención sin la regla? La historia nos enseña que el arte es siempre inevitablemente tanto fantasía como disciplina, tanto creatividad como técnica, tanto genialidad como orden, y allí donde prevalece sólo uno de los dos momentos la creación artística corre siempre el riesgo de degenerar o en un mero delirio creativo sin resultados concretos o en un exasperante formalismo sin inspiración. De las reflexiones barrocas de Baltasar Gracián y de (...) Giambattista Vico nos viene la invitación a concebir la creatividad como ingenio, por lo tanto, a entender la creatividad como la capacidad de captar relaciones inéditas entre las cosas, las ideas o las palabras, o de formular intuiciones imprevisibles e imprevistas para los esquemas de pensamiento habituales o tradicionales, aunque reelaborando y conectando originalmente materiales ya dados. Este diverso modelo de creatividad, un modelo especialmente barroco, trata así de evitar el doble peligro de la exasperación fantástica, por un lado, y de la mortificación creativa, por el otro. Descubrir y profundizar la relación entre creatividad e ingenio, así como fue elaborado por Gracián y por Vico, puede entonces contribuir a arrojar nueva luz sobre la noción misma de creatividad, enriqueciéndola siempre con nuevos y más amplios significados.Palabras clave: creatividad, ingenio, Gracián, Vico. Is it still possible to think about creativity without method, or invention without rule? We can learn from history that art is always, unavoidably, a matter of fantasy as well as of discipline, of creativity as well as of technique, of geniality as well as of order; and that wherever only one of those moments prevails, artistic creation runs the risk of degenerating into mere creative delirium, with no concrete results, or in exasperating formalism, deprived of any inspiration. Baroque reflections of Baltasar Gracian and Giambattista Vico invite us to understand creativity as inventiveness, namely the capacity to grasp unprecedented links between things, ideas or words, or to formulate intuitions that were unpredictable and unpredicted for the traditional schemes of convencional or traditional thought, even if re-elaborated, and connecting well known materials in an original way. It is the aim of this particularly baroque model of creativity to avoid the double danger of fantastic exasperation, on the one hand, and creative mortification, on the other. Discovering and considering the relationship between creativity and inventiveness, as Gracian and Vico devised them, could therefore throw some light on the very notion of creativity, enriching it with new and broader meanings.Keywords: creativity, inventiveness, Gracian, Vico. (shrink)