If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens [2003], which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since (...) this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity. (shrink)

It is not uncommon in the history of science and philosophy to encounter crucial experiments or crucial objections the truth-value of which we are ignorant, that is, about which we suspend judgment. Should we ignore such objections? Contrary to widespread practice, I show that in and only in some circumstances they should not be ignored, for the epistemically rational doxastic attitude is to suspend judgment also about the hypothesis that the objection targets. In other words, suspension of judgment “propagates” from (...) the crucial objection to the hypothesis. In this paper I study under which conditions this phenomenon occurs, and discuss its significance for the topics of skepticism, scientific realism, and peer disagreement. (shrink)

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis is supported by (...) examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

En esta entrada se mencionan las principales cuestiones en los fundamentos de la mecánica estadı́stica y la termodinámica, y las cuestiones filosóficas en las que repercuten estas áreas de la fı́sica. Al final se añaden lecturas recomendadas, enfatizando las traducidas al español.

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees of (...) belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

Como introducción al monográfico sobre reduccionismo y emergencia brindamos aquí un contexto teórico al debate contemporáneo. Hablaremos primero del acercamiento naturalista en filosofía (§2), así como de dos de las características más importantes de la emergencia: autonomía y universalidad (§3). Finalmente, basándonos en la literatura contemporánea (principalmente en Patricia Palacios y Jessica Wilson, además de Mario Bunge y Alicia Juarrero) presentamos algunas de las definiciones y distinciones más importantes para entender mejor el debate sobre la emergencia (§4).

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur to fields (...) that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

I summarize, in this informal interview, the main approaches to the ‘Past Hypothesis’, the postulation of a low-entropy initial state of the universe. I’ve chosen this as an open problem in the philosophical foundations of physics. I hope that this brief overview helps readers in gaining perspective and in appreciating the diverse range of approaches in this fascinating unresolved debate.

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

Todd and Rabern (2021) have argued that if we assume that future contingents are untrue and if we accept the Retro-closure principle (???? → PF(????)), then the existence of a temporal omniscient entity becomes metaphysically impossible. Since the truth of a metaphysical and theological theory should not be dependent on questions of temporal semantics, Todd and Rabern conclude that, if one wishes to maintain that future contingents are untrue, one must abandon the Retro-closure principle. The aim of this paper is (...) to propose a temporal semantics system in which future contingents are untrue, the Retro-closure principle is valid, and the possibility of the existence of an omniscient and temporal being is guaranteed. (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)

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.

This paper addresses the following problem: to what extent do ontological considerations about musical works affect our evaluation of performances of those works? I argue for the claim that at least some important grounds on which performances are evaluated are specific to them, in that these grounds are either independent from, or related but not fully determined by, the properties of the works they are of. In the first part of the paper, I explore the relations between good-making features of (...) works and of performances of them. The second and third parts develop two kinds of example in favour of the claim above. In the last part, I discuss the significance of those examples in relation to the ways in which performances are assessed, and explore some further ramifications of them. (shrink)

In this short chapter I propose some possible research directions ad- dressing the problem of how cognitive, formal and computational models of trust (i.e. one of the main areas of Rino Falcone’s contribu- tions) can play a major role in the development of cognitive modeling and AI research community in the context of what Allen Newell called the rational and social bands.

This paper analyzes the specific shift in the meaning of “civilization” that took place in texts and documents of early American philosophical naturalism. Particularly, it will focus on the specific role that naturalization plays in the edification of a newly secularized, science-oriented, and democratic society, as well as of a naturalized conception of culture and civilization. Indeed, as the work of many philosophers and intellectuals of the Forties highlights, naturalism represents not only the banner of a new idea of civilization, (...) but at the same time becomes the symbol of a powerful postwar ideology. (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)

The focus of the following article is on the use of new robotic systems in the manufacturing industry with respect to the social dimension. Since “intuitive” human–machine interaction (HMI) in robotic systems becomes a significant objective of technical progress, new models of work organization are needed. This hypothesis will be investigated through the following two aims: The first aim is to identify relevant research questions related to the potential use of robotic systems in different systems of work organization at the (...) manufacturing shop-floor level. The second aim is to discuss the conceptualization of (old) organizational problems of human–robot interaction (HRI). In this context, the article reflects on the limits of cognitive and perceptual workload for robot operators in complex working systems. This will be particularly relevant whenever more robots with different “roles” are to be increasingly used in the manufacturing industry. The integration of such complex socio-technical systems needs further empirical and conceptual research with regard to “social” aspects of the technical dimension. Future research should, therefore, also integrate economic and societal issues to understand the full dimensions of new human–robot interaction in industry today. (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 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)

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)

Il concetto di relazione è colto come concetto antinomico e il valore è la coscienza di questa antinomia.

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)

Algunos defensores del realismo científico, particularmente Ilkka Niiniluoto y Philip Kitcher, han intentado moderar las tesis ontológicas más fuertes del realismo buscando la integración de la teoría de la verdad como correspondencia con alguna versión matizada del relativismo conceptual propugnado por Putnam, según el cual el mundo carece de una estructura propia y, por tanto, la ontología depende de nuestros esquemas conceptuales. No es claro, sin embargo, que ambas cosas se puedan armonizar fácilmente. Si nuestro conocimiento del mundo está mediado (...) por nuestras categorías y conceptos, y si además la elección de esas categorías y conceptos puede variar en función de nuestros intereses y no obedecen a la existencia de unos supuestos géneros naturales o a una estructura propia del mundo, se torna entonces problemático establecer a qué corresponden nuestros enunciados verdaderos. ¿Corresponden al mundo independiente de nuestra mente o al mundo estructurado por nosotros mediante nuestras categorías y conceptos? En este artículo se presentarán las principales dificultades que encuentra este proyecto de realismo moderado tanto en Niiniluoto como en Kitcher, se analizarán sus propuestas para solventar dichas dificultades, mostrando sus insuficiencias y, finalmente, se propondrá una modalidad de realismo ontológico moderado que, recogiendo algo del espíritu de la relatividad conceptual de Putnam, es lo suficientemente fuerte como para sustentar una teoría de la verdad como correspondencia. Replucación autorizada. Publicado por primera vez en Contrastes vol. XII. (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 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.

The notion of Providence is born with the Greek word prόnoia which, however, originally meant "premeditation" (of a crime) or "design" of an artefact, and had nothing to do with religion. It was Plato in the Timaeus who adopted the word from the common language to indicate the rational and benevolent principle that inspired the anonymous God, which he defined as dēmiourgόs (also this word originally meant a professional technician, for example, a doctor or an architect) in his work of (...) shaping the cosmos. The doctrine of divine Providence was taken up by Middle Platonism, and with it the need to "justify" the divinity for the presence of evil in the world, what Leibniz will call "theodicy". Stoicism also supported Providence, but here there is no "theodicy" because in Stoic philosophy rationality and beneficial purpose are intrinsic to the cosmic process and therefore there is no external architect to be charged and absolved. Christian authors of the first centuries recycled the arguments of the Platonists in support of Providence, despite the fact that the word prόnoia never appears in the New Testament, nor is there any Hebrew equivalent in the Tanak. Perhaps there is some compatibility problem between the philosophical theory of Providence and the biblical-Christian view of God. (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)

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)

The proposal of moral enhancement as a valuable means to face the environmental, technological and social challenges that threaten the future of humanity has been criticized by a number of authors. One of the main criticisms has been that moral enhancement would diminish our freedom. It has been said that moral enhancement would lead enhanced people to lose their ‘freedom to fall’, that is, it would prevent them from being able to decide to carry out some morally bad actions, and (...) the possibility to desire and carry out these bad actions is an essential ingredient of free will, which would thus be limited or destroyed—or so the argument goes. In this paper we offer an answer to this criticism. We contend that a morally enhanced agent could lose the ‘freedom to fall’ without losing her freedom for two reasons. First, because we do not consider that a morally well-educated person, for whom the ‘freedom to fall’ is a remote option, is less free than an evildoer, and there is no reason to suppose that bioenhancement introduces a significant difference here. Second, because richness in the amount of alternative possibilities of action may be restored if the stated loss is compensated with an improvement in sensitivity and lucidity that can lead to seeing new options and nuances in the remaining possible actions. (shrink)

In this chapter, the focus is on robotics development and its ethical implications, especially on some particular applications or interaction principles. In recent years, such developments have happened very quickly, based on the advances achieved in the last few decades in industrial robotics. The technological developments in manufacturing, with the implementation of Industry 4.0 strategies in most industrialized countries, and the dissemination of production strategies into services and health sectors, enabled robotics to develop in a variety of new directions. Policy (...) making and ethical awareness addressed these issues using socio-economic knowledge and also in an effort to solve some of the application problems raised in a range of different circumstances and sectoral environments. (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)

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for (...) an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, (...) our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience. (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)

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 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)

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 mental rotation ability is an essential spatial reasoning skill in human cognition and has proven to be an essential predictor of mathematical and STEM skills, critical and computational thinking. Despite its importance, little is known about when and how mental rotation processes are activated in games explicitly targeting spatial reasoning tasks. In particular, the relationship between spatial abilities and TetrisTM has been analysed several times in the literature. However, these analyses have shown contrasting results between the effectiveness of Tetris-based (...) training activities to improve mental rotation skills. In this work, we studied whether, and under what conditions, such ability is used in the TetrisTM game by explicitly modelling mental rotation via an ACT-R based cognitive model controlling a virtual agent. The obtained results show meaningful insights into the activation of mental rotation during game dynamics. The study suggests the necessity to adapt game dynamics in order to force the activation of this process and, therefore, can be of inspiration to design learning activities based on TetrisTM or re-design the game itself to improve its educational effectiveness. (shrink)

Fabric plays a key role in modern society, used widely in fashion and home decor. Different fabrics, including synthetics like polyester, have unique properties that determine their applications. Stains, caused by foreign substances, are categorized into four types: enzymatic, oxidizable, greasy, and particulate. Stain removal often involves chemical-based products, which can be harmful. This study shows that Lemon Peel Extract (Citrus Limon L.) can remove oxidizable and particulate stains. With titrimetric and colorimetric analysis, it was found that 54.83% of particulate (...) and 54.14% of oxidizable stains were removed. Promoting natural alternatives like lemon peel extract helps reduce harmful chemicals, supporting a healthier and more sustainable lifestyle. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. (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)

Antonio Caso, “La existencia como economía y como caridad” (1916). Translated with Jose G. Rodriguez Jr. as “Existence as Economy and as Charity,” in 20th Century Mexican Philosophy: Essential Readings, eds. Carlos Alberto Sánchez and Robert Eli Sanchez, Jr. (New York: Oxford University Press, 2017).

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work we present some empirical results stemming from the hypothesis - firstly formulated in [3] - that there is a strong connection between some well known cognitive biases reducible to fallacious argumentative schemata and some of the most common persuasion strategies adopted within digital technologies. In particular, we will report how both framing and fallacious-reducible mechanisms are nowadays used to design web and mobile (...) technologies in domains ranging from e-commerce [4] and news recommendations [1] to the jihadist propaganda. We will also show how and to what extent such persuasive strategies have an impact on nudging the choices of the users in digital environments. (shrink)

Invited Lecture at the SRM ACM Student Chapter, India, on Cognitive Heuristics for Commonsense Thinking and Reasoning in the next generation Artificial Intelligence. The lecture proposes a historical and technical overview of strategies for commonsense reasoning in AI.