The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...) this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior depends on how (...) the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior depends on how (...) the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

The moving spotlight account (MS) is a view that combines an eternalist ontology and an A-theoretic metaphysics. The intuition underlying MS is that the present time is somehow privileged and experientially vivid, as if it were illuminated by a moving spotlight. According to MS-theorists, a key reason to prefer MS to B-theoretic eternalism is that our experience of time supports it. We argue that this is false. To this end, we formulate a new family of positions in the philosophy of (...) time, which differ from MS in that, intuitively, they admit a plurality of moving spotlights. We argue that these ‘deviant’ variants of MS cannot be dismissed as conceptually incoherent, and that they are as well-supported by our experience as is MS. One of these variants, however, is consistent with the B-theory. Thus, if our experience of time supports MS, then it supports the B-theory as well. (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)

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...) or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

n this text, we revisit part of the analysis of anti-entropy in Bailly and Longo (2009} and develop further theoretical reflections. In particular, we analyze how randomness, an essential component of biological variability, is associated to the growth of biological organization, both in ontogenesis and in evolution. This approach, in particular, focuses on the role of global entropy production and provides a tool for a mathematical understanding of some fundamental observations by Gould on the increasing phenotypic complexity along evolution. Lastly, (...) we analyze the situation in terms of theoretical symmetries, in order to further specify the biological meaning of anti-entropy as well as its strong link with randomness. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

Symmetries play a major role in physics, in particular since the work by E. Noether and H. Weyl in the first half of last century. Herein, we briefly review their role by recalling how symmetry changes allow to conceptually move from classical to relativistic and quantum physics. We then introduce our ongoing theoretical analysis in biology and show that symmetries play a radically different role in this discipline, when compared to those in current physics. By this comparison, we stress that (...) symmetries must be understood in relation to conservation and stability properties, as represented in the theories. We posit that the dynamics of biological organisms, in their various levels of organization, are not just processes, but permanent (extended, in our terminology) critical transitions and, thus, symmetry changes. Within the limits of a relative structural stability (or interval of viability), variability is at the core of these transitions. (shrink)

In questa nota storico-critica, anche contestualmente alla nozione di cambio concettuale toulmiano, si vuol riflettere sull'opportunità metodologica di un ritorno, in senso heideggeriano, all'autenticità dell'originario pensiero filosoco greco sia per meglio chiarire i termini dei rapporti fra pensiero scientifico e teologia sistematica sia per inquadrare, in maniera più coerente e maggiormente comprensiva, le principali concezioni della dottrina eucaristica della teologia cattolica che, ripensate entro l'impianto ontoteologico heideggeriano, avvaloreranno e giusticheranno le teorie transustanziali rispetto a quelle consustanziali.

This article proposes an abstract mathematical frame for describing some features of cognitive and biological time. We focus here on the so called “extended present” as a result of protentional and retentional activities (memory and anticipation). Memory, as retention, is treated in some physical theories (relaxation phenomena, which will inspire our approach), while protention (or anticipation) seems outside the scope of physics. We then suggest a simple functional representation of biological protention. This allows us to introduce the abstract notion of (...) “biological inertia”. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)

On the 17th of May 2020, the Albanian National Theatre in Tirana was demolished overnight, in the days of the first major lockdown due to the COVID-19 pandemic. The theatre was built in 1939, when the Italian military occupation of the Albanian territory was officially established, after decades of increasing influence on the local economy by the fascist regime. That day was the climax of a two-year-long protest against its demolition by local associations, and international organisations. This event demonstrates the (...) importance of debating on the contested material and immaterial traces that the Italian presence in Albania left behind, culminating with a military occupation during WWII. This text surveys the exhibitions, curated or organised by Italian institutions, with the aim of tracing the evolution of the colonial narrative from fascist propaganda to contemporary initiatives. Starting in the 1920s, the Italian Ministero delle Colonie opened trade exhibitions, ethnographic displays, political and recreational events. During the occupation, Albania was featured in the Mostra Triennale delle Terre Italiane d'Oltremare (1940) and many other venues up to recent shows in Tirana. The first exhibitions were essential devices to support Italian territorial claims, built on the argument of an alleged Mediterranean tradition of the area, reunited once again under the “Roman” identity flag. The political-ideological nature of the artistic productions, the biased historical discourses around the myth of Roman origins, and the aesthetics employed in such events formed a strong narration that lasted much longer than the military presence on the territory. Taking this case as an example, we will see how exhibitions were instrumental to the authoritarian regime in the identity-building process; how contested narratives can be twisted in the contemporary political debate; and to what degree this heritage can be considered a shared legacy by both parties, the coloniser and the colonised. (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)

While there has been increased attention to emotions and institutions, the role of denial and repression of emotions has been overlooked. We argue that not only the expression and the feeling of emotions, but also their control through denial contribute to stabilize institutional orders. The role denial plays is that of avoiding the emergence of disruptive emotions that might motivate a challenge to the status quo. Reflecting on the example of the livestock industry, we propose a theoretical model that identifies (...) seeds for change in denied emotional contradictions in an inte- gration of the cultural-relational and issue-based conceptions of organi- zational fields. (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 mirror is the metaphor of what produces, together with the unity of our image, also its doubling, openingnt hereby the possibility of moving toward the state of reflection. What role can philosophy have to educate for reflection? Philosophy must "return to the mids of men" and, as J. Dewey suggests, in order to reflexive thinking to be carried out as a particular form of thought, it is necessary to dwell a state of doubt, discomfort, disorientation.

Between the end of the 18th and the beginning of the 19th century, the cultural atmosphere in Italy was influenced by the Ideologists and still conditioned by the followers of the sensualistic tradition. The new philosophy encountered fierce opposition; philosophers refused to come to term with the fundamental texts of Criticism, which were beyond their reach also because of the language. But besides this theoretical opposition to Criticism, that was strongly influenced by the French negative interpretation of Kant, there were (...) also scholars who began to translate Kant’s writings. Interesting is that they were not philosophers but government officials with a good knowledge of the German language. (shrink)

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

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

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)

Current health care standards, in many countries, Australia included, are regrettably poor. Surprisingly, practitioners and treating teams alike in mental health and disability sectors, in particular, make far too many basic care-related mistakes, in addition to the already abundant diagnostic mistakes that cause and amplify great harm. In part, too many practitioners also fail to distinguish adverse effects for what they are and all too often treat adverse effects, instead, as comorbidities. Diagnostic failures are dangerous, the result of which generates (...) and perpetuates harms that are extremely costly in terms of patient welfare, in addition to the financial burden placed on everyone. In this essay, I contend that the authority bestowed upon psychiatry is misplaced. Subsequently, this misplaced authority affects the governing and investigatory institutions reliant and informed by psychiatry. The examination process undertaken in this investigation traces the metaphysics of psychiatric disorders relative to the Diagnostic-Statistical-Manual (DSM) in all its iterations and to the epistemological construction process that serves to underpin the fundamentals of psychiatric practice. There exists a crisis of confidence in psychiatric practice and I urge drastic reform be undertaken to arrest the damage. (shrink)

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)

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)

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

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 Research Topic aimed at deepening our understanding of the levels and explanations that are of interest for cognitive sci- entists, neuroscientists, psychologists, behavioral scientists, and philosophers of science. Indeed, contemporary developments in neuroscience and psy- chology suggest that scientists are likely to deal with a multiplicity of levels, where each of the different levels entails laws of behavior appropriate to that level (Berntson et al., 2012). Also, gathering and modeling data at the different levels of analysis is not suffi- (...) cient: the integration of information across levels of analysis is a crucial issue. Given such state of affairs, a number of interesting questions arise. How can the autonomy of explanatory levels be properly understood in behavioral explanation? Is reductionism a satis- factory strategy? How can high-level and low-level models be constrained in order to be actually explanatory of both behav- ioral and neurological or molecular evidence? What is the kind of relationship between those models? (shrink)

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 verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (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)

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)

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

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 human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical (...) practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (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)

Is any unified theory of brain function possible? Following a line of thought dat- ing back to the early cybernetics (see, e.g., Cordeschi, 2002), Clark (in press) has proposed the action-oriented Hierarchical Predictive Coding (HPC) as the account to be pursued in the effort of gain- ing the “Grand Unified Theory of the Mind”—or “painting the big picture,” as Edelman (2012) put it. Such line of thought is indeed appealing, but to be effectively pursued it should be confronted with experimental (...) findings and explana- tory capabilities (Edelman, 2012). The point we are making in this note is that a brain with predictive capa- bilities is certainly necessary to endow the agent situated in the environment with forethought or foresight, a crucial issue to outline the unified account advocated by Clark. But the capacity for fore- thought is deeply entangled with the capacity for emotions and when emotions are brought into the game, cogni- tive functions become part of a large-scale functional brain network. However, for such complex networks a consistent view of hierarchical organization in large-scale functional networks has yet to emerge (Bressler and Menon, 2010), whilst heterarchical organization is likely to play a strategic role (Berntson et al., 2012). This raises the necessity of a multilevel approach that embraces causal relations across levels of explanation in either direc- tion (bottom–up or top–down), endorsing mutual calibration of constructs across levels (Berntson et al., 2012). Which, in turn, calls for a revised perspective on Marr’s levels of analysis framework (Marr, 1982). In the following we highlight some drawbacks of Clark’s proposal in address- ing the above issues. (shrink)

Taking into account some basic epistemological considerations on psychoanalysis by Ignacio Matte Blanco, it is possible to deduce some first simple remarks on certain logical aspects of schizophrenic reasoning. Further remarks on mathematical thought are also made in the light of what established, taking into account the comparison with the schizophrenia pattern.

The author criticizes the characterization of institutional objects (proposed independently by John Searle and Ota Weinberger) according to which institutional objects are necessarily objects cum fundamento in re, that is, objects that presuppose a material substrate on which they are based.

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

”La fe y la Razón son como las dos alas con las cuales el espı́ritu humano se eleva hacia la contem- plación de la verdad”, es la metáfora que define Juan Pablo II en su encı́clica Fides et Ratio, para darnos entender que estos dos conceptos no se enfrentan entre sı́, como la mayorı́a de personas lo creen, cuando en realidad son un complemento necesario para llegar a conocer a Dios y su amor infinito.

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)

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)