Aristotle’s influence on D’Arcy Thompson was praised by Thompson himself and has been recognized by others in various respects, including the aesthetic and normative dimensions of biology, and the multicausal explanation of living forms. This article focuses on the relatedness of organic forms, one of the core problems addressed by both Aristotle’s History of Animals (HA), and the renowned chapter of Thompson’s On Growth and Form (G&F), “On the Theory of Transformations, or the Comparison of Related Forms.” We contend that, (...) far from being an incidental inspiration stemming from Thompson’s classicist background, his translation of HA played a pivotal role in developing his theory of transformations. Furthermore, we argue that Thompson’s interpretation of the Aristotelian method of comparison challenges the prevailing view of Aristotle as the founder of “typological essentialism,” and is a key episode in the revision of this narrative. Thompson understood that the method Aristotle used in HA to compare animal forms is better comprehended as a “method of transformations,” leading to a morphological arrangement of animal diversity, as opposed to a taxonomical classification. Finally, we examine how this approach to the relatedness of forms lay the foundation for a causal understanding of parts and their interconnections. Although Aristotle and Thompson emphasized distinct types of causes, we contend that they both differ in a fundamental sense from the one introduced by Darwin’s theory of natural selection, which was formulated as a solution to the species problem rather than the form problem. We conclude that Thompson’s interpretation of Aristotle’s approach to form comparison has not only impacted contemporary scholarship on Aristotle’s biology, but revitalized a perspective that has regained significance due to the resurgence of the problem of form in evo-devo. (shrink)

While the notion of chance has been central in discussions over the probabilistic nature of natural selection and genetic drift, its role in the production of variants on which populational sampling takes place has received much less philosophical attention. This article discusses the concept of chance in evolution in the light of contemporary work in evo-devo. We distinguish different levels at which randomness and chance can be defined in this context, and argue that recent research on variability and evolvability demands (...) a causal understanding of variational probabilities under which development acquires a creative, rather than a constraining role in evolution. We then provide a propensity interpretation of variational probabilities that solves a conceptual confusion between causal properties, variational probabilities and extant variation present in the literature, and explore some metaphysical consequences that follow from our interpretation, specifically with regards to the nature of developmental types. (shrink)

Pere Alberch played a pivotal role in shaping the field of evolutionary developmental biology during the 1980s and 1990s. Whereas initially his contributions were sidelined by the empirical advancements of the molecular revolution in developmental and evolutionary biology, his theoretical insights have left a lasting impact on the discipline. This article provides a comprehensive review of the legacy and evolvability of Alberch's ideas in contemporary evo-devo, which included the study of morphogenesis as the proper level of developmental causation, the interplay (...) between developmental constraints and natural selection, the epistemic role of teratologies, the origin of evolutionary novelties and the concept of evolvability. (shrink)

A cidade nas práticas artísticas [The city in artistic practices] is the result of the work developed, of the presentations and the debates held within the cycle of seminars “The experience of the city between art and philosophy”, held between 3 March 2020 and 16 June 2021 (calendar dramatically compromised by the challenges of the COVID 19 pandemic), one of the main activities of the OBRA project — Fragmentation and Reconfiguration: experiencing the city between art and philosophy, based at IFILNOVA (...) — Philosophy Institute of NOVA, in Lisbon. The book is divided into five parts, relating to each of the artistic disciplines to which the seminars were dedicated – cinema, photography, sound arts, literature and architecture —, which are edited by the organizers responsible for each of them — respectively, Susana Viegas, Humberto Brito, Nuno Fonseca João Oliveira Duarte and Susana Ventura — and composed of the respective narrated accounts of each seminar and of short essays, some merely textual, others graphical or even photographic, which are either in-depth versions of the reflections and positions that were presented and debated by the participants and guests, or works that motivated and inspired the work of the seminars. The seminar cycle and the book now presented here intend to reflect on the role of artistic practices in the representation and reconfiguration of urban experience, trying to understand their different attempts to apprehend and express the fragmentation of aesthetic experience in modern and contemporary cities, as well as to evaluate their contribution to an eventual symbolic and imaginative reconfiguration of that experience. Each section tries, in its own way, to answer questions such as: How do these arts think and reinvent the city? What do they make us feel? And what is their social and political role? For reasons that are easy to understand, Lisbon was the starting point, but other cities were also part of the journey. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...) conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

The notion of aesthetic experience attempts to account for an important part of human experience and, although it embraces an immense and multifaceted variety, the complexity and vagueness of which have been an authentic challenge to its definition (to the point that some suggest its conceptual uselessness), it is still crucial and decisive for an entire philosophical discipline: aesthetics-which is not to be confused with the philosophy of art, although it often intersects with it. This chapter considers the case of (...) the city-which is not so much an object as a multifaceted and fragmented environment where aesthetic experiences can occur-in order to attempt to elucidate (or at least to make a contribution to the elucidation of) the meaning and scope of this philosophical topic. (shrink)

La Logique ou L'Art de Penser (LAP), also known as the Port-Royal Logic, is generally presented as a "logic of ideas" in which the idea, the central epistemological entity, is the starting point of this logic based on Cartesian ontology. Structured around the four main operations of the mind - conceiving, judging, reasoning and ordering - the first part of the LAP contains "reflections on ideas". The idea, "the form by which we represent things [objects]", thus takes the place of (...) the concept in Aristotelian-inspired logic. Some of the chapters in this first part deal with the problems raised in scholasticism by the theory of _proprietates terminorum_, which means that it is also a semantics of terms. The word 'term' itself must be understood in its logical and grammatical dimensions. The analyses of the 'Messieurs' of Port-Royal often have a logico-grammatical character, because, according to the anthropology of the authors, men need to make their thoughts heard by one another through language (institutional signs) and, therefore, "it is necessary in logic to consider ideas joined to words, and words joined to ideas". In this text, we shall endeavour to show the importance and innovative character of the semantics of terms in this logic of ideas which makes LAP a pivotal moment in the evolution of the language sciences, reviving the tradition and allowing dialogue with future developments (extension vs. comprehension, explanation, determination of terms, etc.). We will pay particular attention to the chapters on definition, "a remedy for the confusion that arises in our thoughts and speech from the confusion of words". (shrink)

Individualism is one of the fundamental traits of our time, based on an emphatic and recurrent defence of individual freedom, as experienced by consciousness. This point of view seems to entail a refuse of all kinds of transcendence, cosmological or onto-theological, characterized by an authoritarian and undisputed heteronomy. However, this perspective does not take into account a third type of transcendence, one that occurs in that radical immanence, in the core of individual freedom and autonomy. This type of transcendence takes (...) shape as an ethical and aesthetical relationship carved in the heart of each individual human being, each one of his particular conscious states and the simultaneous consciousness of his Humanity. The aim of this essay is to give an understanding of Ludwig Feuerbach's The Essence of Christianity and its philosophy of Revelation, as a reflection on religion and its anthropological origins. In our viewpoint, The Essence of Christianity is an effort to ascertain the genetic elements of human religiosity and clarify its meaning as a movement of reconnecting the human individual with a transcendence that is his own Humanity, given in the immanence of his conscious life. Religion remains a law of transcendence, as the feeling that binds the individual to his Humanity, an everlasting commandment coming from an Otherness that projects itself as a horizon to his free actions. (shrink)

In identifying intrinsic molecular chance and extrinsic adaptive pressures as the only causally relevant factors in the process of evolution, the theoretical perspective of the Modern Synthesis had a major impact on the perceived tenability of an ontology of dispositional properties. However, since the late 1970s, an increasing number of evolutionary biologists have challenged the descriptive and explanatory adequacy of this “chance alone, extrinsic only” understanding of evolutionary change. Because morphological studies of homology, convergence, and teratology have revealed a space (...) of possible forms and phylogenetic trajectories that is considerably more restricted than expected, evo-devo has focused on the causal contribution of intrinsic developmental processes to the course of evolution. Evo-devo’s investigation into the developmental structure of the modality of morphology – including both the possibility and impossibility of organismal form – has led to the utilisation of a number of dispositional concepts that emphasise the tendency of the evolutionary process to change along certain routes. In this sense, and in contrast to the perspective of the Modern Synthesis, evo-devo can be described as a “science of dispositions.” This chapter discusses the recent philosophical literature on dispositional properties in evo-devo, exploring debates about both the metaphysical and epistemological aspects of the central dispositional concepts utilised in contemporary evo-devo and addressing the epistemological question of how dispositional properties challenge existing explanatory models in evolutionary biology. (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)

A obra de Hannah Arendt tem uma forte presença hegeliana, seja em virtude de convergências temáticas, seja em virtude de divergências fundamentais do ponto de vista metodológico, ontológico e político. Salvaguardadas as diferenças de detalhe no tratamento dessas questões, as convergências temáticas fazem-se notar na distinção entre social e político e no lugar que a singularidade ocupa nas suas teorias políticas. A sua divergência fundamental diz respeito à filosofia da história, à noção de temporalidade que lhe está associada e às (...) suas consequências para a relação entre necessidade, contingência e liberdade, bem como à noção de Progresso. O texto que aqui se apresenta procura contribuir para a clarificação desta divergência, argumentando que nela se constitui o eixo sobre o qual se articula a cisão entre os dois pensamentos.Arendt. Hegel. Tempo. Conceito. Hegelianismo Metafísico. (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)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...) a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (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)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (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)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (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)

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)

The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and validation in (...) social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms in the philosophical sense of the problem of “truth”; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms in the technical context of the simulation development process; and finally, a comprehensive outline of the relation between terminology used in simulation, different types of models used in the development process and different epistemological perspectives. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...) that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local law in which (...) a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

The paper presents the heterogeneous proxytypes hypothesis as a cognitively-inspired computational framework able to reconcile, in both natural and artificial systems, different theories of typicality about conceptual representation and reasoning that have been traditionally seen as incompatible. In particular, through the Dual PECCS system and its evolution, it shows how prototypes, exemplars and theory-theory like conceptual representations can be integrated in a cognitive artificial agent (thus extending its categorization capabilities) and, in addition, can provide useful insights in the context of (...) a computationally grounded science of the mind. (shrink)

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.

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)

I argue that The Metaethical Moral Relativism has been being used as a form of support in order to commit desire–belief actions against Human Biology Principia. The lacking of Moral Epistemology allows me illustrate and explain practical downsides in the Ontological part of Moral Knowledge. I recommend a departure from The Biological Basis of Morality in favor to avoid contemporary misuses in the Justification of The Metaethical Moral Relativism.

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently applied in (...) the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its goals" [22, (...) p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

Las personas somos absolutamente diferentes de las cosas, no cabe ninguna duda al respecto. No obstante, sí debemos diferenciar nítidamente entre los individuos y el concepto de “persona”. Así pues, la persona posee un “horizonte interior”, absolutamente novedoso y que le caracteriza como ser en aproximación a la Verdad y a la Libertad, las cuales no sólo son específicas del propio humano, sino que le son necesarias en cuanto remedios contra la desolación y la tiranía. Asimismo, una sociedad puede ser (...) tiránica en varios sentidos, pero Manuel Mindán sostiene que, para que no lo sea, el individuo entendido como “persona” debe primar siempre sobre el grupo gregario y cerrado. (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)

The paper discusses the possible implications of the relational framework of Pure Shape Dynamics for the metaphysics of time. The starting point of the analysis is an interpretation of shapes in ontic structural realist terms, which gives rise to the notion of self-subsisting structure. The relational version of a Newtonian-particle toy model is introduced and discussed as a concrete example.

We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.

One of the symbolic images to which Leibniz constantly entrusted the synthesis of his philosophy regards the idea of considering one and the same city from various visual perspectives. Such an image is diffused throughout all Leibniz’s writings and clearly reflects the philosopher’s interest for matters regarding perspective as well as optical phenomena. The point of view of its inhabitants can therefore be compared to a mirror that reflects some different portions of reality. But what do the city-viewers really see? (...) Do they all see exactly the same thing? And assuming the plurality of points of view, how one can be sure that they share the same representative content? The paper presented here tries to offer a plausible interpretation of this topic also by linking different and somehow remote Leibnizian doctrines together. (shrink)

In the last decade Human-Computer Interaction (HCI) has started to focus attention on forms of persuasive interaction where computer technologies have the goal of changing users behavior and attitudes according to a predefined direction. In this work, we hypothesize a strong connection between logical fallacies (forms of reasoning which are logically invalid but cognitively effective) and some common persuasion strategies adopted within web technologies. With the aim of empirically evaluating our hypothesis, we carried out a pilot study on a sample (...) of 150 e-commerce websites. (shrink)

El presente articuLo pretende encuadrar y definir las implicaciones éticas reLativas a La aplicación biomédica de las nanotecnologías, a través de La vaLoración deL estado del arte.Las nanotecnologías, expresiÓn de La habilidad humana de manipuLar la materia a escala atómico/molecular se presentan como un instrumento capaz de modificar la investigaciÓn científica y la medicina de manera radicaL.Debates a todo nivel han subrayado las dificultades de darles una definición clara y unívoca, a causa de la convergencia de diversos ámbitos del saber (...) comprendidos en ellas.No obstante que Las nanotecnoLogías estén ya presentes en las ciencias computacionaLes y en La eLectrÓnica, es en eL ámbito médico-sanitario que se proyectan Las aplicaciones más entusiastas: instrumentos de diagnóstico y suministración de fármacos menos invasivos y más eficaces. Estas tecnoLogías se presentan al mismo tiempo como terapias pero también como instrumentos de prevención únicos, Las mismas características que hacen peculiar eL empLeo de las nano tecnologías en medicina, sugieren también precauciones: por una parte la dimensión mínima de las nanopartículasfacilita su ingreso en el organismo humano, traspasando las defensas naturales del organismo, agilizando una distribuciÓn de los fármacos altamente precisa. Por otra parte, estas mismas características pueden revelarse dañinas para el organismo humano .Dado que se trata de tecnología en rápida progresiÓn cuyos adelantos no son fáciles de predecir. los riesgos, aunque sÓlo aquellos potenciales, deben ser cuidadosamente valorados ya sea para las aplicaciones presentes como para aquellas futuras.Por tanto, encuadrar las implicaciones bioéticas de las nanotecnologías significa comprender y valorar su impacto sobre la salud humana. (shrink)

Questo lavoro propone un confronto tra diversi strumenti utilizzabili per modellare la conoscenza di dominio in ambito didattico: le mappa concettuali, Novak e Cañas (2006), (uno strumento tradizionalmente utilizzato nelle scuole) e le ontologie computazionali (dei sistemi formali di modellazione concettuale, attualmente molto usati nei sistemi di intelligenza artificiale per le loro capacità di “ragionamento automatico”, si veda Guarino, (1995)). Nello specifico, questo articolo presenta il risultato di un un doppio esperimento sul campo condotto presso il Liceo Scientifico “Guido Parodi” (...) di Acqui Terme in cui gruppi di studenti paragonano lo strumento della mappa concettuale e quello dell’ontologia nella risoluzione di due problemi di “misconcezione” (o errata concettualizzazione): uno indotto attraverso la consegna di appunti e materiali didattici contenenti informazioni volontariamente contraddittorie tra loro (caso che potrebbe corrispondere alla situazione in cui uno studente prende - per qualche motivo - degli appunti in modo scorretto) e l’altro legato ad una complessità concettuale intrinseca all’argomento. (shrink)

Among the tools of philosophical work, the dialogue, as form of live "transaction" between two or more persons, seems to have its beginning and its end with Socrates. Along the subsequent development of our philosophical tradition the dialogue reappears only as literary genre. The essay aims to suggest that the live philosophical dialogue, if offered in new forms as a distributed social practice arranged and supported by the professional skills of philosopher, shows some promise of widening the boundaries of the (...) examined life. (shrink)

In the last decades Human-Computer Interaction (HCI) has started to focus attention on “persuasive technologies” having the goal of changing users’ behavior and attitudes according to a predefined direction. In this talk we show how some of the techniques employed in such technologies trigger some well known cognitive biases by adopting a strategy relying on logical fallacies (i.e. forms of reasoning which are logically invalid but psychologically persuasive). In particular, we will show how the mechanisms reducible to logical fallacies are (...) used to design web and mobile interfaces in domains ranging from the e-commerce to the jihadist propaganda. The final part of the talk will be devoted to point out the potential ethical dangers related to the misuse of these techniques in the design of persuasive technologies. (shrink)

Endowing artificial systems with explanatory capacities about the reasons guiding their decisions, represents a crucial challenge and research objective in the current fields of Artificial Intelligence (AI) and Computational Cognitive Science [Langley et al., 2017]. Current mainstream AI systems, in fact, despite the enormous progresses reached in specific tasks, mostly fail to provide a transparent account of the reasons determining their behavior (both in cases of a successful or unsuccessful output). This is due to the fact that the classical problem (...) of opacity in artificial neural networks (ANNs) explodes with the adoption of current Deep Learning techniques [LeCun, Bengio, Hinton, 2015]. In this paper we argue that the explanatory deficit of such techniques represents an important problem, that limits their adoption in the cognitive modelling and computational cognitive science arena. In particular we will show how the current attempts of providing explanations of the deep nets behaviour (see e.g. [Ritter et al. 2017] are not satisfactory. As a possibile way out to this problem, we present two different research strategies. The first strategy aims at dealing with the opacity problem by providing a more abstract interpretation of neural mechanisms and representations. This approach is adopted, for example, by the biologically inspired SPAUN architecture [Eliasmith et al., 2012] and by other proposals suggesting, for example, the interpretation of neural networks in terms of the Conceptual Spaces framework [Gärdenfors 2000, Lieto, Chella and Frixione, 2017]. All such proposals presuppose that the neural level of representation can be considered somehow irrelevant for attacking the problem of explanation [Lieto, Lebiere and Oltramari, 2017]. In our opinion, pursuing this research direction can still preserve the use of deep learning techniques in artificial cognitive models provided that novel and additional results in terms of “transparency” are obtained. The second strategy is somehow at odds with respect to the previous one and tries to address the explanatory issue by avoiding to directly solve the “opacity” problem. In this case, the idea is that one of resorting to pre-compiled plausible explanatory models of the word used in combination with deep-nets (see e.g. [Augello et al. 2017]). We argue that this research agenda, even if does not directly fits the explanatory needs of Computational Cognitive Science, can still be useful to provide results in the area of applied AI aiming at shedding light on the models of interaction between low level and high level tasks (e.g. between perceptual categorization and explanantion) in artificial systems. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis [Lieto 2014]. Such hypothesis allows integrating exemplars and prototype theories of categorization as well as theory-theory [Lieto 2019] and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization [Lieto, 2021]. As argued in [Lieto et al., 2018b] a pivotal role in this respect is played (...) by the use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. We propose (...) a nonmonotonic Description Logic of typicality called TCL (Typicality-based Compositional Logic). (shrink)

This paper presents a practical case study showing how, despite the nowadays limited collaboration between AI and Cognitive Science (CogSci), cognitive research can still have an important role in the development of novel AI technologies. After a brief historical introduction about the reasons of the divorce between AI and CogSci research agendas (happened in the mid’80s of the last century), we try to provide evidence of a renewed collaboration by showing a recent case study on a commonsense reasoning system, built (...) by using insights from cognitive semantics. (shrink)