Embedding ethics modules within computer science courses has become a popular response to the growing recognition that CS programs need to better equip their students to navigate the ethical dimensions of computing technologies like AI, machine learning, and big data analytics. However, the popularity of this approach has outpaced the evidence of its positive outcomes. To help close that gap, this empirical study reports positive results from Northeastern’s program that embeds values analysis modules into CS courses. The resulting data suggest (...) that such modules have a positive effect on students’ moral attitudes and that students leave the modules believing they are more prepared to navigate the ethical dimensions they’ll likely face in their eventual careers. Importantly, these gains were accomplished at an institution without a philosophy doctoral program, suggesting this strategy can be effectively employed by a wider range of institutions than many have thought. (shrink)

Theoretical and manipulative abduction conjectures and manipulations : the extra-theoretical dimension of scientific discovery. -- Non-explanatory and instrumental abduction : plausibility, implausibility, ignorance preservation. -- Semiotic brains and artificial minds : how brains make up material cognitive systems. -- Neuromultimodal abduction : pre-wired brains, embidiment, neurospaces. -- Animal abduction : from mindless organisms to srtifactual mediators. -- Abduction, affordances, and cognitive niches : sharing representations and creating chances through cognitive niche construction. -- Abduction in human and logical agents : hasty (...) generalizers, hybrid abducers, fallacies. -- Morphodynamical abduction : causation of hypotheses by attractors dynamics. (shrink)

This volume sets out to give a philosophical "applied" account of violence, engaged with both empirical and theoretical debates in other disciplines such as cognitive science, sociology, psychiatry, anthropology, political theory, ...

Locked and unlocked strategies are at the center of this article, as ways of shedding new light on the cognitive aspects of deep learning machines. The character and the role of these cognitive strategies, which are occurring both in humans and in computational machines, is indeed strictly related to the generation of cognitive outputs, which range from weak to strong level of knowledge creativity. I maintain that these differences lead to important consequences when we analyze computational AI programs, such as (...) AlphaGo, which aim at performing various kinds of abductive hypothetical reasoning. In these cases, the programs are characterized by _locked_ abductive strategies: they deal with weak (even if sometimes amazing) kinds of hypothetical creative reasoning, because they are limited in what I call eco-cognitive openness, which instead qualifies human cognizers who are performing higher kinds of abductive creative reasoning, where cognitive strategies are instead _unlocked_. (shrink)

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR'012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in (...) three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues.. (shrink)

What I call theoretical abduction (sentential and model-based) certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good (preferred) explanations of data, but fails to account for many cases of explanations occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action (...) provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper, together with an analysis of the related notion of external representation . Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of squared epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated. (shrink)

To investigate the effects of two different modes of physical activity on body composition, physical fitness, cardiometabolic risk, and psychological responses in female adolescents participating in a multi-disciplinary program. The 12-week randomized intervention included 25-adolescents with overweight divided into two groups: sports practice-SPG and functional training-FTG. The SPG intervention was divided into three sports: basketball, handball, and futsal. SPG participants performed one sport 3-times/week, over the course of 1 month. The FTG performed concurrent exercises 3-times/week. This study was registered in (...) Clinical Trials Registry Platform under number: RBR-45ywtg and registered in Local Ethics Committee number: 2,505.200/2018. The intensity of physical exercises-PE was matched between groups by the rating of perceived exertion. The primary outcome was body composition, and secondary outcomes were physical fitness, cardiometabolic risk, and psychological responses. There was a significant time-effect for body mass, body mass index, and low-density lipoprotein, all being reduced. There were increases over time for musculoskeletal mass, aerobic fitness, and high-density lipoprotein. There was a group time interaction with body fat percentage being lower post-intervention in the SPG. No significant differences were observed for the other variables. Both physical activity models were effective in improving a subset of obesity-related health parameters. The findings should be extended by further investigation using more sophisticated measures of energy expenditure.Clinical Trial Registration:https://ensaiosclinicos.gov.br/, identifier: RBR-45ywtg. (shrink)

During the second half of the last century, the importance of serendipitous events in scientific frameworks has been progressively recognized, fueling hard debates about their role, nature, and structure in philosophy and sociology of science. Alas, while discussing the relevance of the topic for the comprehension of the nature of scientific discovery, the philosophical literature has hardly paid attention to the cognitive significance of serendipity, accepting rather than examining some of its most specific features, such as its game-changing effect, the (...) unexpectedness of its occurrence, and its affinity with the concept of “luck”. Thus, in this paper we aim at analyzing these characteristics in the light of their cognitive implications in the recognition, performance, and possible stimulation of serendipitous events in relation to scientific discoveries. (shrink)

Cognitive niche theories consist in a theoretical framework that is proving extremely profitable in bridging evolutionary biology, philosophy, cognitive science, and anthropology by offering an inter-disciplinary ground, laden with novel approaches and debates. At the same time, cognitive niche theories are multiple, and differently related to niche theories in theoretical and evolutionary biology. The aim of this paper is to clarify the theoretical and epistemological relationships between cognitive and ecological niche theories. Also, by adopting a constructionist approach we will try (...) to explain the shift from ecological to cognitive niches and their actual and theoretical overlaps. In order to do so, we will take two concepts expressing loose forms of causation in the interaction between organisms and their environment: the biological notion of “enablement” and the psycho-cognitive one of “affordance”. (shrink)

In this paper we aim at discussing cognitive and epistemic features of online communities, by the use of cognitive niche constructions theories, presenting them as virtual cognitive niches. Virtual cognitive niches can be considered as digitally-encoded collaborative distributions of diverse types of information into an environment performed by agents to aid thinking and reasoning about some target domain. Discussing this definition, we will also consider how online communities, as networks displaying a social bias, can both foster civic awareness and promote (...) problematic group-led behaviors in the virtually aggregated crowds. To support this affirmation, we will take into account the use of online communication networks during crises and we will argue that it can lead to ethically dubious consequences. (shrink)

In this paper we show how some reasoning, though fallacious, can appear to be attractive and useful for beings-like-us. Although they do not provide conclusive evidence to support or reject a certain claim the way scientific statements do, they tell us something interesting about how humans build up their arguments and reasons. First of all, we will consider and investigate three main types of fallacies: argumentum ad hominem, argumentum ad verecundiam, and argumentum ad populum. These three fallacies are traditionally considered (...) as examples of a broader category called ignoratio elenchi. Secondly, we show how people who commit these fallacies rely on information about other human beings in their reasoning. That is, they do not follow certain logical procedures that eventually lead them to correct conclusions. But they simply make use of others as social characters. For example, being an authority, being an expert, being part of a class, etc., become the substitutes for more direct evidence to support a certain claim or to make an argument more appealing. (shrink)

In this paper, we aim at explaining the relevance of thought experiments in philosophy and the history of science by describing them as particular instances of two categories of creative thinking: metaphorical reasoning and abductive cognition. As a result of this definition, we will claim that TEs hold an ignorance-preserving trait that is evidenced in both TEs inferential structure and in the process of scenario creation they presuppose. Elaborating this thesis will allow us to explain the wonder that philosophers of (...) science have consistently shown for TEs, as well as the high functionality of TEs in the creative aspects of scientific and philosophical praxis. (shrink)

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition. Its main focus is on the knowledge-enhancing virtues of abduction and on the productive role of scientific models. What are the distinctive features that define the kind of knowledge produced by science? To provide an answer to this question, the book first addresses the ideas of Aristotle, who stressed the essential inferential and distributed role of external cognitive tools and epistemic mediators (...) in abductive cognition. This is analyzed in depth from both a naturalized logic and an ecology of cognition perspective. It is shown how the maximization of cognition, and of abducibility – two typical goals of science – are related to a number of fundamental aspects: the optimization of the eco-cognitive situatedness; the maximization of changeability for both the input and the output of the inferences involved; a high degree of information-sensitiveness; and the need to record the “past life” of abductive inferential practices. Lastly, the book explains how some impoverished epistemological niches – the result of a growing epistemic irresponsibility associated with the commodification and commercialization of science – are now seriously jeopardizing the flourishing development of human creative abduction. (shrink)

Gossip has been the object of a number of different studies in the past 50 years, rehabilitating it not only as something worth being studied, but also as a pivotal informational and social structure of human cognition: Dunbar (Rev Gen Psychol 8(2):100–110, 2004) interestingly linked the emergence of language to nothing less than its ability to afford gossip. Different facets of gossip were analyzed by anthropologists, linguists, psychologists and philosophers, but few attempts were made to frame gossip within an epistemological (...) framework (for instance Ayim in (Good gossip, pp. 85–99, 1994)). Our intention in this paper is to provide a consistent epistemological (applied and social) account of gossip, understood as broadly evaluative talk between two or more people, comfortably acquainted between each other, about an absent third party they are both at least acquainted with. Hence, relying on the most recent multidisciplinary literature about the topic, the first part of this paper will concern the epistemic dynamics of gossip: whereas the sociobiological tradition individuates in gossip the clue for the (theoretically cumbersome) group mind and group-level adaptations Wilson et al. (The evolution of cognition, pp. 347–365, 2002), we will suggest the more parsimonious modeling of gossip as a soft-assembled epistemic synergy, understood as a function-dominant interaction able to project a higher organizational level—in our case, the group as group-of-gossips. We will argue that the aim of this synergy is indeed to update a Knowledge Base of social information between the group (as a projected whole) and its members. The second and third part will instead focus on the epistemological labeling of the inferences characterizing gossip: our contention is that the ever-present moral/evaluative dimension in gossip—be it tacit or explicit, concerning the objects or the partners of gossip—is best analyzed through the epistemological framework of abduction. Consequently, we will suggest that a significant role of gossip is to function as a group-based abductive appraisal of social matter, enacted at various levels. (shrink)

In this paper we show how some reasoning, though fallacious, can appear to be attractive and useful for beings-like-us. Although they do not provide conclusive evidence to support or reject a certain claim the way scientific statements do, they tell us something interesting about how humans build up their arguments and reasons. First of all, we will consider and investigate three main types of fallacies: argumentum ad hominem , argumentum ad verecundiam , and argumentum ad populum . These three fallacies (...) are traditionally considered as examples of a broader category called ignoratio elenchi. Secondly, we show how people who commit these fallacies rely on information about other human beings in their reasoning. That is, they do not follow certain logical procedures that eventually lead them to correct conclusions. But they simply make use of others as social characters. For example, being an authority, being an expert, being part of a class, etc., become the substitutes for more direct evidence to support a certain claim or to make an argument more appealing. (shrink)

The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of ...

The present collection of essays honours John Woods on the occasion of his eightieth birthday from contributors who wish to pay homage to this remarkable researcher whom they see not only as a scholar of prodigious energy and insight, but as a friend, colleague, collaborator, or former teacher. All of the essays touch upon topics Woods has taken a direct or indirect interest in, ranging from technical problems of mathematical logic and applications of formal methods through philosophical logic, philosophy of (...) language, epistemology and history of ancient and modern logic. The sections themselves of the book cover relevance, paradoxes, inconsistency, fallacies, abduction, fictions, logic naturalized, law, argumentation and narratives, and many other topics: and represent the main research areas which have profited from Woods' reflections. (shrink)

Cyber-bullying, and other issues related to violence being committed online in prosocial environments, are beginning to constitute an emergency worldwide. Institutions are particularly sensitive to the problem especially as far as teenagers are concerned inasmuch as, in cases of inter-teen episodes, the deterrent power of ordinary justice is not as effective as it is between adults. In order to develop the most suitable policies, institution should not be satisfied with statistics and sociological perspectives on the phenomenon, but rather seek a (...) deep ethical understanding—also referring to the biological and evolutionary past of human beings. The aim of this paper is to show a way to fill this theoretical gap, offering some answers that can illuminate future policy-oriented research and reflection. In order to do so, we will start by connecting our argument to evolutionary studies carried out in the past two decades, focusing on gossip as a tool for social assortment, thus endowed with a dual function: protect the group from free riders, intruders and bullies but also bully the deviant members. In the “Mediating gossip through social networks” section, we will see which aspects of gossip, vital for bullying, are co-opted by social network scenarios. A fundamental trait of human social life, that is the subdivision in smaller coalitions, or sub-groups, will be shown as missing in social networks dynamics—therefore constituting themselves as structurally violent. The “Why and how do social networks empower bullying?” section will deal with techno-ethical and epistemological concerns regarding how gossip, mediated by SN, manages to empower cyber-bullying. The “Self-gossip and self-mobbing in the light of the disruption of sub-moralities” section will characterize cyber-bullying as often sparked by self-gossip in a scenario where familiar sub-groups, which also mediate defense and mutual understanding, are disrupted. The “Discussion and conclusion” section will consist of a philosophical summary, divided in two parts: a pars destruens analyzing whether SN, in their actual configurations, are fit for being used by humans-like-us, and a pars construens examining the broad potential consequences of highly enforced regulation aimed at contrasting cyber-bullying. (shrink)

The technological advances of contemporary society have outpaced our moral understanding of the problems that they create. How will we deal with profound ecological changes, human cloning, hybrid people, and eroding cyberprivacy, just to name a few issues? In this book, Lorenzo Magnani argues that existing moral constructs often cannot be applied to new technology. He proposes an entirely different ethical approach, one that blends epistemology with cognitive science. The resulting moral strategy promises renewed dignity for overlooked populations, both (...) of today and of the future. (shrink)

The complexity of cognitive emulation of human diagnostic reasoning is the major challenge in the implementation of computer-based programs for diagnostic advice in medicine. We here present an epistemological model of diagnosis with the ultimate goal of defining a high-level language for cognitive and computational primitives. The diagnostic task proceeds through three different phases: hypotheses generation, hypotheses testing and hypotheses closure. Hypotheses generation has the inferential form of abduction (from findings to hypotheses) constrained under the criterion of plausibility. Hypotheses testing (...) is achieved by a deductive inference (from generated hypotheses to expected findings), followed by an eliminative induction, constrained under the criterion of covering, which matches expected findings against patient''s findings to select the best explanation. Hypotheses closure is a deductive-inductive type of inference very similar to the inferences operating in hypotheses testing. In this case induction matches the consequences of the generated hypotheses against the patient''s characteristics or preferences under the criterion of utility. By using the language exploited in this epistemological model, it is possible to describe the cognitive tasks underlying the most influential knowledge-based diagnostic systems. (shrink)

Cognitive niche construction theory provides a new comprehensive account for the development of human cultural and social organization with respect to the management of their environment. Cognitive niche construction can be seen as a way of lessening complexity and unpredictability of a given environment. In this paper, we are going to analyze economic systems as highly technological cognitive niches, and individuate a link between cognitive niche construction, unpredictability and a particular kind of economic crises.

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides (...) readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning. (shrink)

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

Philosophers have usually offered a number of ways of describing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and then not analysable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. The “computational turn” gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows (...) us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. Creativity and discovery are no more seen as a mysterious irrational process, but, thanks to constructive accounts, as a complex relationship among different inferential steps that can be clearly analysed and identified. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. (shrink)

What role does language play in the process of building worldviews? To address this question, in the first section of this paper we will clarify what we mean by worldviews and how they differ, in our perspective, from cosmovisions. In a nutshell, we define worldviews as the biological interpretations agents create of the world around them and cosmovision the more general cultural-based reflections on it. After presenting our definition for worldview, we will also present the multi-shaped viewpoint that frames our (...) analysis, adopting three concepts that can help us explain how agents construct and develop their worldviews: saliences, pregnances, and abduction. While the notions of saliences and pregnances will explain how agents recognize anomalies in their worldview, the concept of abduction will help us discuss how they can learn to approach, explain, and use these anomalies to get new skills and abilities. This other point will lead us to discuss the role of language in this process, which will be describe as an artifact that permits the agent to use abduction to “normalize” and exploit anomalies, being now the ultimate artifact to build, develop, and update their worldviews. (shrink)

_Locked_ and _unlocked_ strategies are illustrated in this article as concepts that deal with important cognitive aspects of deep learning systems. They indicate different inference routines that refer to poor (locked) to rich (unlocked) cases of creative production of creative cognition. I maintain that these differences lead to important consequences when we analyze computational deep learning programs, such as AlphaGo/AlphaZero, which are able to realize various types of abductive hypothetical reasoning. These programs embed what I call locked abductive strategies, so, (...) even if they present spectacular performances for example in games, they are characterized by poor types of hypothetical creative cognition insofar as they are constrained in what I call _eco-cognitive openness_. This openness instead characterizes unlocked human cognition that pertains to higher kinds of abductive reasoning, in both the creative and diagnostic cases, in which cognitive strategies are instead unlocked. This special kind of “openness” is physically rooted in the fundamental character of the human brain as an open system constantly coupled with the environment (that is, an “open” or “dissipative” system): its activity is the uninterrupted attempt to achieve the equilibrium with the environment in which it is embedded, and this interplay can never be switched off without producing severe damage to the brain. The brain cannot be conceived as deprived of its physical quintessence that is its openness. In the brain, contrary to the computational case, ordering is not derived from the outside thanks to what I have called in a recent book “computational domestication of ignorant entities”, but it is the direct product of an “internal” open dynamical process of the system. (shrink)

Eco-cognitive computationalism considers computation in context, following some of the main tenets advanced by the recent cognitive science views on embodied, situated, and distributed cognition. It is in the framework of this eco-cognitive perspective that we can usefully analyze the recent attention in computer science devoted to the importance of the simplification of cognitive and motor tasks caused in organic entities by the morphological features: ignorant bodies can be domesticated to become useful “mimetic bodies”, that is able to render an (...) intertwined computation simpler, resorting to that “simplexity” of animal embodied cognition, which represents one of the main quality of organic agents. Through eco-cognitive computationalism we can clearly acknowledge that the concept of computation changes, depending on historical and contextual causes, and we can build an epistemological view that illustrates the “emergence” of new kinds of computations, such as the one regarding morphological computation. This new perspective shows how the computational domestication of ignorant entities can originate new unconventional cognitive embodiments. In the last part of the article I will introduce the concept of overcomputationalism, showing that my proposed framework helps us see the related concepts of pancognitivism, paniformationalism, and pancomputationalism in a more naturalized and prudent perspective, avoiding the excess of old-fashioned ontological or metaphysical overstatements. (shrink)

The “origins” of (geometric) space is examined from the perspective of the so-called “conceptual space” or “semantic space”. Semantic space is characterized by its fundamental “locality” that generates an “implicit” mode of geometrizing. This view is examined from within three perspectives. First, the role that various diagrammatic entities play in the everyday life and pragmatic activities of selected ethnic groups is illustrated. Secondly, it is shown how conceptual spaces are fundamentally linked to the meaning effects of particular natural languages and (...) these are very different from the global and universal aspects of Euclidean spaces. Thirdly, it is contended that these modes of creating body and culture-based spatial frameworks and related cosmogonies and cosmologies can be described as forms of “latent geometry” that initially appear unexplainable in any rational way. Nonetheless, and thanks to the deep mathematical reflections provided by René Thom, it is illustrated how the various ways of generating space can be further analyzed as distortions of mainstream spatialization furnished by Euclidean geometry that established the dominant universality of the ideas of space (and time). (shrink)