Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...) logic programs. It turns out that none of the existing semantics for logic program updates, even though generalisations of the stable model semantics, comply with this principle. For this reason, we define a refinement of the dynamic stable model semantics for Dynamic Logic Programs that complies with the principle. (shrink)

Cet ouvrage dédié à trois pionnières américaines de l’histoire de la médecine et de l’histoire des femmes, Caroline Walker Bynum, Joan Cadden et Nancy G. Siraisi, est la traduction française du dernier ouvrage, paru à New York en 2006, de Katharine Park, professeur d’histoire des sciences et de women’s studies à Harvard. K. Park est célèbre entre autres pour son ouvrage sur les médecins et la médecine à Florence au début de la Renaissance. Tout en continuant de privilégier l’étude de (...) la prati... (shrink)

Inhaltsverzeichnis/Table of Contents:IntroductionAntónio ZILHÃO: Folk-Psychology, Rationality and Human ActionJoão BRANQUINHO: The Problem of Cognitive DynamicsJ.P. MONTEIRO: Hume, Induction and Single ExperimentsMarco RUFFINO: The Primacy of Concepts and the Priority of Judgments in Frege's LogicJoão Vergílio Gallerani CUTER: Die unanwendbare Arithmetik des TractatusSílvio PINTO: Wittgenstein's Anti-PlatonismFernando FERREIRA: A Substitutional Framework for Arithmetical ValidityJ.R. CROCA & R.N. MOREIRA: Indeterminism Versus CausalismLuíz MONIZ PEREIRA: The Logical Impingement of Artifical Intelligence.

INCONTINENCE, HONOURING SUNK COSTS AND RATIONALITY According to a basic principle of rationality, the decision to engage in a course of action should be determined solely by the analysis of its consequences. Thus, considerations associated with previous use of resources should have no bearing on an agent’s decision-making process. Frequently, however, agents persist carrying on an activity they themselves judge to be nonoptimal under the circumstances because they have already allocated resources to that activity. When this is the case, agents (...) are said to be honouring sunk costs. Honouring sunk costs is thus typically viewed as irrational economic behaviour. Two striking findings of the psychological literature on the sunk cost effect are that it is, in general, not lessened by having taken previously courses in economics, and that agents who did take such courses and that do honour sunk costs seem to be frequently aware of a cognitive dissonance in their behaviour. Davidson’s account of the possibility conditions of incontinent action renders continent action materially unfeasible. The very idea of incontinent action becomes thus a hollow one. I’ll present an alternative description of these possibility conditions that renders continent action materially feasible, and both, continent and incontinent action, cognitively plausible. In a nutshell, my proposal rests upon the drawing of an essential cognitive contrast between explicit processes of deliberative reasoning and lower level heuristic procedures. I conclude the paper arguing that my redescription of incontinent action accounts for the above mentioned cognitive dissonance effect better than the alternatives and that viewing at least an important subset of behaviours of honouring sunk costs as incontinent actions will enable us to consider them as peculiar manifestations of a more general and meaningful pattern in human behaviour. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Dark Matters: Pessimism and the Problem of Suffering by Mara van der LugtStefano BrogiMara van der Lugt. Dark Matters: Pessimism and the Problem of Suffering. Princeton, NJ: Princeton University Press, 2021. Pp. xi + 450. Hardback, $37.00.Mara van der Lugt's book (awarded Honorable Mention for the JHP Book Prize in 2022) has the merit of bringing attention to some crucial yet often overlooked topics by providing a contribution (...) that cannot fail to elicit broad interest. Her book does not simply discuss the theodicy and anti-theodicy of the modern age; against this background, she also brings out the often-ignored tradition of philosophical pessimism. What interests van der Lugt, however, is not "future-oriented" pessimism, which is opposed to "progressivist" theories of history, but an ontological or "value-oriented" pessimism that stresses "the terrible side of [End Page 163] life" in order to answer a series of crucial questions in a way very different from Leibniz's or Pope's approaches: Are there more evils than goods in our lives? Is life worth living for all of us, for any of us? Why do some people choose death despite their blessings? Why do some people choose life despite their sufferings? Do animals suffer as we do? Are we responsible for our own happiness? Is it better never to have been? According to van der Lugt, "The various ways in which these questions have been answered throughout the centuries have created the competing philosophical traditions known as optimism and pessimism. This book traces the intersection of the debate on the problem of evil with the debate on pessimism from the late seventeenth century onwards, seeking throughout to evaluate pessimism on its own terms" (20).A reassessment of this kind of pessimism serves an explicitly theoretical and moral purpose: van der Lugt herself states that her book is not exclusively a contribution to the history of philosophy, but "partly ethical or evaluative" (18). Indeed, pessimism and optimism "go hand in hand": they stem from a moral need and aim to respond to the evil present in the world by opening up glimmers of "hope, compassion, and consolation" (12, emphasis in original). Pessimism, in particular, is not intended to be "a philosophy of despair"; rather, it draws its strength from an "ethical commitment." Stemming from the latter is a tradition that "may be reinterpreted as a moral source" (22) and which "has not only its own epistemological and methodological concerns and presuppositions but, crucially, its own sets of virtues and moral aims" (13).The theoretical/moral purpose of Dark Matters is evident through its unfolding, even though eight of its nine chapters are roughly devoted to providing an accurate historical-philosophical reconstruction. Here, in brief, are the titles of the chapters that make up the over four hundred pages of this volume, which provide a good idea of the main authors discussed: (1) "The Complaint: Bayle and Malebranche on Physical Evil"; (2) "The Optics of Optimism: Leibniz and King Respond to Bayle"; (3) "Of Hope and Consolation: Voltaire and the Deists"; (4) "When Stoicism Meets Pessimism: La Mettrie and Maupertuis"; (5) "The Dispositional Problem of Evil: David Hume"; (6) "The Art of Suffering: Jean-Jacques Rousseau"; (7) "The Failure of Theodicy: Immanuel Kant"; (8) "The Flute-Playing Pessimist: Arthur Schopenhauer"; and (9) "Dark Matters: Pessimism as a Moral Source." To some extent, the rich itinerary provided by van der Lugt may be compared to those studies that have long undermined the idea of a monolithic and compact Enlightenment, characterized by unlimited faith in reason and its potential for liberation, and—more specifically—by a fundamental optimism with regard to human nature and the possibility of reformulating social and political structures in such a way as to enable each person to pursue happiness. However, the historical reconstruction provided here is based on an attempt to bring out the recurrent theoretical core of a philosophical perspective that first emerges with Pierre Bayle and runs through the modern and contemporary age, resurfacing in an evident way in the present-day antinatalism of David Benatar (often cited in the footnotes).According to van der Lugt, it is with Bayle (and not... (shrink)

This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

Caro leitor! Em busca de sempre mais apresentar reflexões consistentes e relevantes para o pensar teológico, em conexão com o mundo e às urgências da Igreja, a presente edição trás importantes temas que ajudam refletir a realidade humana à luz do mistério de Deus. Por isso, os artigos oferecidos nas mais variadas áreas, a saber: bíblico-teológica, dogmática, moral, pastoral, antropologia teológica, filosofia e eclesiologia, dão suporte científico e metodológico para a reflexão teológica. Antes de conferir as novidades desta edição, gostaria (...) de comunicar que esta Revista Eletrônica conquistou um espaço ainda maior de publicação, ao tornar-se indexada na base de dados do Directory of Open Access Journals (DOAJ). (shrink)

Les trente et un articles composant ce volume dédié à Paulette L’Hermite-Leclercq sont regroupés sous cinq rubriques, et il faut saluer d’emblée le travail de P. Henriet et A.‑M. Legras, qui ont proposé ici un découpage aussi fidèle au parcours intellectuel de celle qu’ils voulaient ainsi honorer, qu’exempt de tout parfum d’artifice. La première partie réunit des études analysant différents « Regards masculins sur la femme », observés d’après des lieux attendus comme l’exégèse ou la pensée sc...

PART I THE REACTION FROM INTELLECTUALISM IN THE NEW THEORIES OF KNOWLEDGE SECTION I THE BEGINNING OF THE REACTION FROM INTELLECTUALISM B ...

This article aims to propose some connections between the conceptions of poetry of the Mexican poet Octavio Paz and the German philosopher Martin Heidegger. Both see in poetry the element of recognition of the original condition of the human being, not as an interpretation, but as a perception and affectation of the existential reality of human beings. So that the event of the "poetic saying" is configured as a call to the possibility of glimpsing the being of each entity, inhabiting (...) oneself and, thus, learning to be with others, establishing the poetic field as the clearing of perception and of existential affectation. Poetic speech goes beyond the limits of language, creating and establishing meanings and representations to the affectations that poetry provides. Thus, through poetry man recognizes himself in his worldliness, in search of his own being and in his relationship with other beings. (shrink)

Columbia University Press's multivolume _Prison Notebooks_ is the only complete critical edition of Antonio Gramsci's seminal writings in English. Based on the authoritative Italian edition of Gramsci's work, _Quaderni del Carcere_, this comprehensive translation presents the intellectual as he ought to be read and understood, with critical notes that clarify Gramsci's history, culture, and sources; an index of names; and a contextualization of the thinker's ideas against his earlier writings and letters. This set includes notebooks 1 through 8 with (...) all attendant notes and materials and is an indispensible resource for scholars in the humanities and social sciences. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the (...) comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

We defend, from a contractarian perspective, that the fair price of an insurance policy is the amount that the contracting parties agree when they are both equally uncertain about the insured event. Drawing on the approach developed by R. Sugden in _The Community of Advantage_, we answer two standard objections raised against contractarianism in the actuarial sciences: (1) people are not wise enough to assess their actuarial risks; (2) they are not rational enough to decide which insurance policy suits them (...) better. We show under which circumstances people can make fair actuarial agreements, without presupposing any objective risk or rationality benchmarks. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

El artículo pone en escena la propuesta del Derecho Comunitario en el ámbito de los países de América Latina. Para el autor, el proceso de integración entre las naciones latinoamericanas plantea el reto de su estructuración y viabilidad, por lo que resulta imperioso encontrar fórmulas de conciliación entre un Derecho de integración y un cierto tipo de nacionalismo económico no ortodoxo, así como la redefinición del concepto clásico de soberanía absoluta en el sentido de su operacionalidad flexible y plural dentro (...) de una soberanía compartida. No obstante las dificultades, los esfuerzos en defensa del comunitarismo latinoamericano, pasan también por la democratización radical de las instituciones estatales nacionales y por la consolidación de un nuevo concepto de ciudadanía (ciudadanía comunitaria). (shrink)

This paper aims to introduce, in the context of Latin America, the theoretical epistemic discussion regarding the theme of the ‘common’ as a political principle which substantiates instituting and autonomous processes of government, control and community regulation. The work seeks to relate a democratic scenario of the ‘common’ with the discourses of pluralist and decolonial normativity, in a way that would guarantee not only horizontal communal self-management, but also a legitimate ordering of forms of life, founded on common interest, social (...) relations and interconnected structures. For this purpose the instrument of critical-socio-legal analysis is applied at the intersections with the ‘participative-communitary’ type of legal pluralism. Our proposal is to combine the contemporary meaning of the ‘common’, its relation to the Latin American principles of ‘buen vivir’ (living well) and ‘interculturalidade’ (interculturality), as well as the instituting practice of the ‘common’, that engenders a normativity built ‘from below’, which is in opposition to the traditional positivist and state legal system imposed through colonization in Latin America. Such achievements that, although formalized, are not being successful against institutional ruptures, have ‘cloistered’ the practices of the ‘common’ and made the existence of legal pluralism invisible. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

Revonsuo proposed an intriguing and detailed evolutionary theory of dreams which stipulates that the biological function of dreaming is to simulate threatening events and to rehearse threat avoidance behaviors. The goal of the present study was to test this theory using a sample of 212 recurrent dreams that was scored using a slightly expanded version of the DreamThreat rating scale. Six of the eight hypotheses tested were supported. Among the positive findings, 66% of the recurrent dream reports contained one or (...) more threats, the threats tended to be dangerous and aimed at the dreamer, and when facing a threat, the dreamer tended to take defensive or evasive actions that were possible and reasonable. However, less than 15% of the recurrent dreams depicted realistic and probable situations critical for one’s physical survival or reproductive success and the dreamer rarely succeeded in fleeing the threat despite important and appropriate efforts. The findings thus provide mixed support for the threat simulation theory. (shrink)

Señoras y señores, amigas y amigos:Para mí constituye una ocasión de gran alegría y honda satisfacción realizar, a nombre de la Universidad Bolivariana, esta presentación de homenaje a nuestro amigo y maestro Franz Josef Hinkelammert. Querría presentar sucintamente una semblanza de su personalidad intelectual y de su vasta obra investigativa. Nació en Alemania en 1931. Doctor en Economía por la Universidad Libre de Berlín, realizó su formación de postgrado en el Instituto de Europa Oriental..

In this paper a possible general framework for the representation of concepts in cognitive artificial systems and cognitive architectures is proposed. The framework is inspired by the so called proxytype theory of concepts and combines it with the heterogeneity approach to concept representations, according to which concepts do not constitute a unitary phenomenon. The contribution of the paper is twofold: on one hand, it aims at providing a novel theoretical hypothesis for the debate about concepts in cognitive sciences by providing (...) unexplored connections between different theories; on the other hand it is aimed at sketching a computational characterization of the problem of concept representation in cognitively inspired artificial systems and in cognitive architectures. (shrink)

According to the Green Paper presented by the European Commission in July 2001, corporate social responsibility (CSR) is a concept whereby companies integrate social and environmental concerns in their business operations and in their interaction with their stakeholders on a voluntary basis (Commission of the European Communities, 2001b, p. 6). On this basis, in 2002, the Italian Government, and especially the Italian Ministry of Welfare, launched an initiative called CSR-SC (social commitment) in order to foster the proactive social role of (...) Italian enterprises, with great attention on SME involvement. The technical partner of the Italian Ministry of Welfare for this initiative is Bocconi University. The goal of this contribution is to present the main results of CSR–SC research project developed by Bocconi University. The paper provides a detailed picture of the general scheme designed to carry out the research project and a review of the different methodologies used to support the solutions proposed. (shrink)

The main purpose of this article is to identify the inner human activity Peirce calls musement with the mental processes that arise through the workings of the brain’s default mode network. This network is a specific, recently anatomically defined brain system, which is most active when individuals are not focused on the external environment. In doing so, musement, which was defined by Peirce over a hundred years ago, will finally be situated within what today we understand as its neurobiological origin.

Significant individual differences exist in dream recall frequency but some variance is likely attributable to instrument choice in measuring DRF. Three hundred and fifty eight participants estimated their weekly DRF and recorded their dreams in either a narrative log or checklist log for 2–5 weeks. There was an early peak in DRF within the first week of both types of prospective logs after which DRF remained relatively stable. Although the two groups did not differ in their estimated DRF, significantly fewer (...) dreams were reported per week on the narrative logs and only checklist logs yielded significantly higher DRF than participants’ questionnaire estimates. The interactions between DRF measures did not vary across groups with low, medium or high baseline levels of DRF. Keeping a dream log does not necessarily increase DRF and narrative logs’ time consuming nature can impact subjects’ motivation to report all of their dreams over time. (shrink)

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)