Background Neuroimaging and lesion studies suggested that the dorsolateral prefrontal and posterior parietal cortices mediate visual metacognitive awareness. The causal evidence provided by non-invasive brain stimulation, however, is inconsistent. -/- Objective/hypothesis Here we revisit a major figure discrimination experiment adding a new Kanizsa figure task trying to resolve whether bilateral continuous theta-burst transcranial magnetic stimulation (cTBS) over these regions affects perceptual metacognition. Specifically, we tested whether subjective visibility ratings and/or metacognitive efficiency are lower when cTBS is applied to these two (...) regions in comparison to an active control region. -/- Methods A within-subjects design including three sessions spaced by one-week intervals was implemented. In each session, every participant was administered bilateral cTBS to either prefrontal, control or parietal cortices. Two concurrent tasks were performed, a real and an illusory figure task, stabilising objective performance with use of an adaptive staircase procedure. -/- Results When performing the replicated task, cTBS was found insufficient to disrupt neither visibility ratings nor metacognitive efficiency. However, with use of Kanizsa style illusory figures, cTBS over the dorsolateral prefrontal, but not over the posterior parietal cortex, was observed to significantly diminish metacognitive efficiency. -/- Conclusion(s) Real and illusory figure tasks demonstrated different cTBS effects. A possible explanation is the involvement of the prefrontal cortex in the creation of expectations, which is necessary for efficient metacognition. Failure to replicate previous findings for the real figure task, however, cannot be said to support, conclusively, the notion that these brain regions have a causal role in metacognitive awareness. This inconsistent finding may result from certain limitations of our study, thereby suggesting the need for yet further investigation. (shrink)

Background Neuroimaging and lesion studies suggested that the dorsolateral prefrontal and posterior parietal cortices mediate visual metacognitive awareness. The causal evidence provided by non-invasive brain stimulation, however, is inconsistent. -/- Objective/hypothesis Here we revisit a major figure discrimination experiment adding a new Kanizsa figure task trying to resolve whether bilateral continuous theta-burst transcranial magnetic stimulation (cTBS) over these regions affects perceptual metacognition. Specifically, we tested whether subjective visibility ratings and/or metacognitive efficiency are lower when cTBS is applied to these two (...) regions in comparison to an active control region. -/- Methods A within-subjects design including three sessions spaced by one-week intervals was implemented. In each session, every participant was administered bilateral cTBS to either prefrontal, control or parietal cortices. Two concurrent tasks were performed, a real and an illusory figure task, stabilising objective performance with use of an adaptive staircase procedure. -/- Results When performing the replicated task, cTBS was found insufficient to disrupt neither visibility ratings nor metacognitive efficiency. However, with use of Kanizsa style illusory figures, cTBS over the dorsolateral prefrontal, but not over the posterior parietal cortex, was observed to significantly diminish metacognitive efficiency. -/- Conclusion(s) Real and illusory figure tasks demonstrated different cTBS effects. A possible explanation is the involvement of the prefrontal cortex in the creation of expectations, which is necessary for efficient metacognition. Failure to replicate previous findings for the real figure task, however, cannot be said to support, conclusively, the notion that these brain regions have a causal role in metacognitive awareness. This inconsistent finding may result from certain limitations of our study, thereby suggesting the need for yet further investigation. -/- . (shrink)

Heidegger tries to explain our emotional life applying three schemes: causal explanation, mental internalisation of emotions and metaphorical expression. None of the three schemes explains emotion though. Either because the causal nexus does not always occur or because objects and people in the external world are carriers of emotional agents or because language is already on a metaphorical level. Moreover, how is it possible that there are presently emotions constituting our life without our being aware of their existence? From the (...) analysis of boredom in its three varieties (“bored by X”, “get oneself bored”, and “it is boring”) we will get to the depth where emotions lie, trying to rouse them and to keep them awake. Although it surfaces with the force and energy of the present, every emotion has its past and future constitution. How can we understand the future of a present emotion along with its past? (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 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)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory endurance (...) view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

This article addresses an open problem in the area of cognitive systems and architectures: namely the problem of handling (in terms of processing and reasoning capabilities) complex knowledge structures that can be at least plausibly comparable, both in terms of size and of typology of the encoded information, to the knowledge that humans process daily for executing everyday activities. Handling a huge amount of knowledge, and selectively retrieve it according to the needs emerging in different situational scenarios, is an important (...) aspect of human intelligence. For this task, in fact, humans adopt a wide range of heuristics (Gigerenzer & Todd) due to their “bounded rationality” (Simon, 1957). In this perspective, one of the requirements that should be considered for the design, the realization and the evaluation of intelligent cognitively-inspired systems should be rep- resented by their ability of heuristically identify and retrieve, from the general knowledge stored in their artificial Long Term Memory (LTM), that one which is synthetically and contextually relevant. This requirement, however, is often neglected. Currently, artificial cognitive systems and architectures are not able, de facto, to deal with complex knowledge structures that can be even slightly comparable to the knowledge heuris- tically managed by humans. In this paper I will argue that this is not only a technological problem but also an epistemological one and I will briefly sketch a proposal for a possible solution. (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)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...) main findings, I will argue that the obtained persuasive effects are due to the fact that such techniques leverage on cognitive mechanisms that refer to the “system 1” types of automatic processes hypothesized in the context of the dual process theory of reasoning. As a consequence of this state of affairs, any automated persuasive systems (used for ethical purposes: e.g. suggesting good health habits) should be able to re-use these types of system 1 strategies in order to gradually take the users in an argumentation territory where system 2 processes can take place. -/- . (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)

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.

Entitlement is defined as a sort of epistemic justification that one can possess by default – a sort of epistemic justification that does not need to be earned or acquired. Epistemologists who accept the existence of entitlement generally have a certain anti-sceptical role in mind for it – entitlement is intended to help us resist what would otherwise be compelling radical sceptical arguments. But this role leaves various details unspecified and, thus, leaves scope for a number of different potential conceptions (...) of entitlement. At one extreme there are conceptions that portray entitlement as a weak, attenuated epistemic status and, at the other, we have conceptions that portray entitlement as something potent and strong. Certain intermediate conceptions are also possible. In this paper, I shall argue that the weak and intermediate conceptions of entitlement do not survive careful scrutiny, and the stronger conceptions – while they do, in a way, strain credulity – are the only conceptions that are ultimately viable. (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)

Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion [1]. The proposed approach has been tested both in the task of goal-driven concept invention [2,3] (...) and has additionally applied within the context of serendipity-based recommendation systems [4]. I will present the obtained results, the lessons learned, and the road ahead of this research path. -/- . (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)

Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this paper, we present TCL (typicality-based compositional logic): a probabilistic, non monotonic extension of standard Description Logics of typicality, and will show how this framework is able to endow artificial systems of a human-like, commonsense based, concept composition procedure that allows its employment in a number of applications (ranging from computational creativity to goal-based reasoning to recommender systems and affective (...) computing). -/- The framework relies on 3 main ingredients: a non monotonic extension of standard Description Logics (allowing to reason on exceptions to inheritance in standard knowledge bases) a probabilistic extension coming from the field of logic programming (the DISPONTE semantics) a cognitive heuristics known ad HEAD-Modifier determining preference rules for the inheritance mechanisms of the novel concepts to be generated via commonsense rules. -/- We report the obtained results and the lessons learned of this research path in the context of model-based AI applications. -/- . (shrink)

This work describes an explainable system for emotion attribution and recommendation (called DEGARI (Dynamic Emotion Generator And ReclassIfier) relying on a recently introduced probabilistic commonsense reasoning framework.

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

In 1964, the young Walter Kasper (born in 1933) was granted by the Faculty of Catholic Theology at Tübingen the licence to teach dogmatic theology on the basis of a thesis on Philosophie und Theologie der Geschichte in der Spätphilosophie Schellings (Philosophy and Theology of History in Schelling’s Late Philosophy). Kasper’s interest in Schelling, himself a student at the Evangelisches Stift at Tübingen, thus originated in the context of his university studies in the school of J.R. Geiselmann and developed in (...) parallel with his theological education. For this reason, it is impossible to form a correct idea of Kasper and his whole theology unless one is willing to take into account this background, not least because he himself has always consciously and forcefully recognised this fact and seen in it his own centre of gravity. Kasper’s work and thought were shaped in a lasting manner during his university years. In fact, his entire academic oeuvre has been nurtured from this fecund origin so much so that he became one of the most well known names associated with the Catholic school at Tübingen to which he gave a new, creative impulse having himself been profoundly inspired by it. ‘He always emphasised his own roots not only as a teacher of theology and a member of the teaching faculty of this institution, but also as bishop’ and cardinal. The principal intention of the present article is precisely this: to return to this beginning and elucidate these decisive years for Kasper in broad outline by way of a relecture and interpretation of his book on The Absolute in History and the particular manner in which he interpreted the so-called second Schelling, an author whom he approached in the wake of Walter Schulz and at practically the same time as Xavier Tilliette. The analysis will subsequently move on into the more properly theological field. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

The term attention has been used to mean so many different things that some have despaired of it being useful at all. This paper is devoted to bringing a modicum of order to the chaos through the time-honored device of categorization. The chief purpose of this paper is to introduce a comprehensive descriptive taxonomy of the nuanced ways the term attention may be employed. It is presented in table form, followed by elucidations and illustrations of each of its items. But (...) first, I offer reasons why a taxonomy of attention is needed and explore some of its possible benefits. After presenting the taxonomy, I sketch by way of example how it might be applied to two interesting questions: is the umbrella term attention still useful?; and, what is it that ties the subdefinitions of attention together yet distinguishes them from other kinds of cognition? (shrink)

This paper has two aims. The first is critical: it argues that our mainstream epistemology of disagreement does not have the resources to explain what goes wrong in cases of group-level epistemic injustice. The second is positive: we argue that a functionalist account of group belief and group justification delivers (1) an account of the epistemic peerhood relation between groups that accommodates minority and oppressed groups, and (2), furthermore, diagnoses the epistemic injustice cases correctly as cases of unwarranted belief on (...) the part of the oppressor group. (shrink)

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

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

The standard of proof applied in civil trials is the preponderance of evidence, often said to be met when a proposition is shown to be more than 50% likely to be true. A number of theorists have argued that this 50%+ standard is too weak – there are circumstances in which a court should find that the defendant is not liable, even though the evidence presented makes it more than 50% likely that the plaintiff’s claim is true. In this paper, (...) I will recapitulate the familiar arguments for this thesis, before defending a more radical one: The 50%+ standard is also too strong – there are circumstances in which a court should find that a defendant is liable, even though the evidence presented makes it less than 50% likely that the plaintiff’s claim is true. I will argue that the latter thesis follows naturally from the former once we accept that the parties in a civil trial are to be treated equally. I will conclude by sketching an alternative interpretation of the civil standard of proof. (shrink)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (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 their 2010 book, Biology’s First Law, D. McShea and R. Brandon present a principle that they call ‘‘ZFEL,’’ the zero force evolutionary law. ZFEL says (roughly) that when there are no evolutionary forces acting on a population, the population’s complexity (i.e., how diverse its member organisms are) will increase. Here we develop criticisms of ZFEL and describe a different law of evolution; it says that diversity and complexity do not change when there are no evolutionary causes.

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

Il discorso della guerra e i racconti della resistenza.

Marginalized people have used body aesthetic practices, such as clothing and hairstyles, to communicate their worth to the mainstream. One such example is respectability politics, a set of practices developed in post-Reconstruction black communities to prevent sexual assault and convey moral standing to the white mainstream. Respectability politics is an ambivalent strategy. It requires assimilation to white bourgeois aesthetic and ethical standards, and so guides practitioners toward blandness and bodily erasure. Yet, it is an aesthetic practice that cultivates moral agency (...) and helps communities avoid violence and meet social and economic goals. I contrast respectability politics with the anti-assimilationist body aesthetics of Chike Jeffers and Janell Hobson. Because these accounts do not seek to neutralize or erase the body, they fundamentally value black people. As such, they more effectively convey personhood than assimilationist strategies do and also demonstrate the positive role that body aesthetics can play in everyday ethical projects. (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)

Constituent power : the concept of a crisis -- Virtue and fortune : the machiavellian paradigm -- The Atlantic model and the theory of counterpower -- Political emancipation in the American constitution -- The revolution and the constitution of labor -- Communist desire and the dialectic restored -- The constitution of strength.

From music recommendation to assessment of asylum applications, machine-learning algorithms play a fundamental role in our lives. Naturally, the rise of AI implementation strategies has brought to public attention the ethical risks involved. However, the dominant anti-discrimination discourse, too often preoccupied with identifying particular instances of harmful AIs, has yet to bring clearly into focus the more structural roots of AI-based injustice. This paper addresses the problem of AI-based injustice from a distinctively epistemic angle. More precisely, I argue that the (...) injustice generated by the implementation of AI machines in our societies is, in some paradigmatic cases, also a form of epistemic injustice. With a particular focus on AIs employed as gatekeepers of our epistemic resources, this paper shows how their epistemically conformist behaviour is responsible for the marginalisation and the ostracism of minoritarian perspectives. Because it clarifies key structural flaws and weaknesses of current AI design, this paper helps make headway in critical discussion of current AI technologies. And because it forges new theoretical tools to understand forms of epistemic oppression, this paper also contributes to the advancement of feminist theorisation. (shrink)

Is attention both necessary and sufficient for consciousness? Call this central question of this treatise, “Q.” We commonly have the experience of consciously paying attention to something, but is it possible to be conscious of something you are not attending to, or to attend to something of which you are not conscious? Where might we find examples of these? This treatise is a quest to find an answer to Q in two parts. Part I reviews the foundations upon which the (...) discourse on Q is built. Different inputs to Q produce different answers. After consideration of the many ways “attention” and “consciousness” have been defined, I settle upon phenomenal consciousness and Executive Attention (defined as a suite of strategies for structuring cognition for further processing implemented by the executive of working memory) as the most interesting inputs to Q, and the ones on which Part II focuses. Attention without consciousness seems relatively easy to establish empirically, but consciousness without attention is much harder. The putative candidates all seem to have major problems, but I build a strong abductive case for the hitherto ignored case of foveal phenomenal overflow. We consciously see far more detail in our foveal fields than we can Executively Attend, although there is a serious obstacle to our ever confirming that empirically—identifying conscious content relies on Executive Attentional report. Triangulating the capacity limitations of attention, consciousness, and working memory strengthens this case for consciousness without attention, and suggests that cognition must work something like my “Witches’ Hat Model,” on which content can become conscious outside of Executive Attention or working memory. I conclude with some reflections on the implications of my arguments for the discourse on Q, and for other discourses such as the ontologies of attention and consciousness, theories of consciousness, some other cognitive concepts, and ethical considerations in humans, animals, and machines. A conclusive answer to Q continues to elude us. It may perhaps be an ultimately insoluble conundrum. But it is the very essence of humanity to seek an answer, and in so doing, to improve our understanding of our own nature: “The proper study of mankind is man.”1. (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)

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 work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are tied to different communities, which endorse (...) different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

Una de las características principales del mundo en que vivimos es lo que denominamos la presencia de un vitalismo metabólico. En este artículo queremos profundizar en el uso antropológico-cultural de este concepto al relacionarlo con los deseos humanos de felicidad y salvación y las implicaciones de la tecnología para, finalmente, llevar a cabo una conclusión a través de un posible escenario distópico. Sostenemos que la supremacía cultural de este tipo de vitalismo ha llevado al oscurecimiento de una visión natural y (...) unitaria de la experiencia de la caducidad del cuerpo humano y, por tanto, también de la necesidad natural del hombre de ser salvado. Desde un punto de vista antropológico, analizamos que en la base de todo este proceso se encuentra el recorte de los fines naturales de lo que definimos como intencionalidad corpórea, la cual es difícil de entender si no se produce una integración adecuada, teleológicamente, de los aspectos biológicos y espirituales del ser humano. (shrink)