The brains of higher mammals are extraordinary integrative devices. Signals from large numbers of functionally specialized groups of neurons distributed over many brain regions are integrated to generate a coherent, multimodal scene. Signals from the environment are integrated with ongoing, patterned neural activity that provides them with a meaningful context. We review recent advances in neurophysiology and neuroimaging that are beginning to reveal the neural mechanisms of integration. In addition, we discuss concepts and measures derived from information theory that lend (...) a theoretical basis to the notion of complexity as integration of information and suggest new experimental tests of these concepts. (shrink)

Integrated information theory (IIT) starts from the essential properties of experience and translates them into requirements that any physical system must satisfy to be conscious. It argues that the physical substrate of consciousness (PSC) must constitute a maximum of irreducible, internal cause‐effect power of a specific form, and provides a calculus to determine, in principle, both the quality and the quantity of an experience. Applied to the brain, IIT predicts that the spatio‐temporal grain of the neural units constituting the PSC, (...) and the relevant neural states, are those that maximize cause‐effect power. Moreover, the PSC can shrink, move, split and disintegrate depending on various anatomical and physiological parameters. These predictions are testable with brain stimulation and recording experiments. The theory can explain parsimoniously many known facts about the relationship between consciousness and the brain, including its association with certain cortical structures, its breakdown in deep sleep, anesthesia and seizures, and its return in dreams. (shrink)

Integrated information theory (IIT) starts from the essential properties of experience (axioms) and translates them into requirements that any physical system must satisfy to be conscious (postulates; see Integrated Information Theory of Consciousness: An Outline, this volume). The postulates of IIT can be seen as a list of requirements for something to exist ‘for itself’, as an intrinsic entity, and thus have relevance for ontology and metaphysics. Some implications of the theory include the divide between intrinsic and extrinsic entities, the (...) incoherence of ontological reductionism, and the intrinsic nature of meaning. (shrink)

In this paper, in line with the general framework of value-sensitive design, we aim to operationalize the general concept of “Meaningful Human Control” in order to pave the way for its translation into more specific design requirements. In particular, we focus on the operationalization of the first of the two conditions investigated: the so-called ‘tracking’ condition. Our investigation is led in relation to one specific subcase of automated system: dual-mode driving systems. First, we connect and compare meaningful human control with (...) a concept of control very popular in engineering and traffic psychology, and we explain to what extent tracking resembles and differs from it. This will help clarifying the extent to which the idea of meaningful human control is connected to, but also goes beyond, current notions of control in engineering and psychology. Second, we take the systematic analysis of practical reasoning as traditionally presented in the philosophy of human action and we adapt it to offer a general framework where different types of reasons and agents are identified according to their relation to an automated system’s behaviour. This framework is meant to help explaining what reasons and what agents play a role in controlling a given system, thereby enabling policy makers to produce usable guidelines and engineers to design systems that properly respond to selected human reasons. In the final part, we discuss a practical example of how our framework could be employed in designing automated driving systems. (shrink)

The extended mind thesis states that the mind is not brain-bound but extends into the physical world. The philosophical debate around the thesis has mostly focused on extension towards epistemic artefacts, treating the phenomenon as a special capacity of the human organism to recruit external physical resources to solve individual tasks. This paper argues that if the mind extends to artefacts in the pursuit of individual tasks, it extends to other humans in the pursuit of collective tasks. Mind extension to (...) other humans corresponds essentially to the ‘we-mode’ of cognition, the unique power of human minds to be jointly directed at goals, intentions, states of affairs, or values. Because the capacity for collective intentionality holds evolutionary and developmental primacy over human-epistemic artefacts relations, the extended mind should not be seen as a special phenomenon, but as a central aspect of the human condition. The original extended mind thesis carried important implications for how the cognitive sciences should proceed. In a version of the thesis that accommodates collective intentionality, these implications would go far deeper than originally assumed. (shrink)

In juxtaposition with the myth and tragedy of Ovid’s Medea, this paper investigates the possibility within the Kantian conception of agency of understanding moral evil as acting against one’s better judgment. It defends the thesis that in Kant self-deception, i. e. the intentional untruthfulness to oneself, provides the fundamental structure for choosing against the moral law. I argue that, as Kant’s thought progresses, self-deception slowly proceeds to become the paradigmatic case of moral evil. This is discussed with regard to two (...) important topics in his later moral philosophy: the doctrine of radical evil and the crucial role of the duty of truthfulness in ethics. The inquiry into Kant’s theory of conscience unfolds both against this theoretical background and in light of its historical roots in the polemic against casuistry and probabilism. This contribution closes with a brief look at the tools Kant implements to counter this tendency to self-deception in moral judgment and particularly at the role casuistry plays within his conception of moral education. (shrink)

Placebos are commonly defined as ineffective treatments. They are treatments that lack a known mechanism linking their properties to the properties of the condition on which treatment aims to intervene. Given this, the fact that placebos can have substantial therapeutic effects looks puzzling. The puzzle, we argue, arises from the relationship placebos present between culturally meaningful entities, our intentional relationship to the environment and bodily effects. How can a mere attitude toward a treatment result in appropriate bodily changes? We argue (...) that an ‘enactive’ conception of cognition accommodates and renders intelligible the phenomenon of placebo effects. Enactivism depicts an organism’s adaptive bodily processes, its intentional directedness, and the meaningful properties of its environment as co-emergent aspects of a single dynamic system. In doing so it provides an account of the interrelations between mind, body and world that demystifies placebo effects. (shrink)

The target article misrepresents the foundations of integrated information theory and ignores many essential publications. It, thus, falls to this lead commentary to outline the axioms and postulates of IIT and correct major misconceptions. The commentary also explains why IIT starts from phenomenology and why it predicts that only select physical substrates can support consciousness. Finally, it highlights that IIT's account of experience – a cause–effect structure quantified by integrated information – has nothing to do with “information transfer.”.

An l-hemi-implicative semilattice is an algebra $$\mathbf {A} = $$ A= such that $$$$ is a semilattice with a greatest element 1 and satisfies: for every $$a,b,c\in A$$ a,b,c∈A, $$a\le b\rightarrow c$$ a≤b→c implies $$a\wedge b \le c$$ a∧b≤c and $$a\rightarrow a = 1$$ a→a=1. An l-hemi-implicative semilattice is commutative if if it satisfies that $$a\rightarrow b = b\rightarrow a$$ a→b=b→a for every $$a,b\in A$$ a,b∈A. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide (...) a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an derived operation by $$a \sim b := \wedge $$ a∼b:=∧. Endowing $$$$ with the binary operation $$\sim $$ ∼ the algebra $$$$ results an l-hemi-implicative semilattice, which also satisfies the identity $$a \sim b = b \sim a$$ a∼b=b∼a. In this article, we characterize the commutative l-hemi-implicative semilattices. We also provide many new examples of l-hemi-implicative semilattice on any semillatice with greatest element. Finally, we characterize congruences on the classes of l-hemi-implicative semilattices introduced earlier and we characterize the principal congruences of l-hemi-implicative semilattices. (shrink)

There are two main meanings in Kant’s concept of moral certainty (moralische Gewissheit, certitudo moralis): first, it applies to the kind of certainty embodied in rational faith in the existence of God and a future life; second, it applies to the conscientiousness (Gewissenhaftigkeit) required of an agent in the practice of moral judgement. Despite the growing attention to Kant’s theory of conscience and his concept of conscientiousness, this article is the first to discuss ‘moral certainty’ as the aim of ‘conscientiousness’ (...) and to highlight the relevance of both notions in regard to moral education and the purposes of Kant’s ethical doctrines of method. (shrink)

In this paper, I assess critically the recent debate on corrective duties across moral and legal philosophy. Two prominent positions have emerged: the Kantian rights-based view (holding that what triggers corrections is a failure to respect others' right to freedom) and the so-called continuity view (correcting means attempting to do what one was supposed to do before). Neither position, I try to show, offers a satisfactory explanation of the ground (why correct?) and content (how to correct?) of corrective duties. In (...) the final section, I suggest that it is probably better to restrict the label “corrective duties” to duties generated by interpersonal wronging. (shrink)

Contemporary brain reading technologies promise to provide the possibility to decode and interpret mental states and processes. Brain reading could have numerous societally relevant implications. In particular, the private character of mind might be affected, generating ethical and legal concerns. This paper aims at equipping ethicists and policy makers with conceptual tools to support an evaluation of the potential applicability and the implications of current and near future brain reading technology. We start with clarifying the concepts of mind reading and (...) brain reading, and the different kinds of mental states that could in principle be read. Subsequently, we devise an evaluative framework that is composed of five criteria-accuracy, reliability, informativity, concealability and enforceability-aimed at enabling a clearer estimation of the degree to which brain reading might be realistically deployed in contexts where mental privacy could be at stake. While accuracy and reliability capture how well a certain method can access mental content, informativity indicates the relevance the obtainable data have for practical purposes. Concealability and enforceability are particularly important for the evaluation of concerns about potential violations of mental privacy and civil rights. The former concerns the degree with which a brain reading method can be concealed from an individual’s perception or awareness. The latter regards the extent to which a method can be used against somebody’s will. With the help of these criteria, stakeholders can orient themselves in the rapidly developing field of brain reading. (shrink)

This paper discusses a recent puzzle concerning the notions of boundary parthood and dependence, and offers a new solution. The puzzle was originally presented by Jeroen Smid and successively elaborated upon by Claudio Calosi. I first reformulate some of the troublesome premises. Particularly, whereas Smid and Calosi discuss the puzzle in terms of an underspecified notion of dependence, I propose to construe it in terms of the notion of grounding. In this manner, the dependence relation inherently carries an asymmetry, and (...) we can effectively utilize its four places. The solution I advance precisely takes advantage of this feature of dependence. My proposal avoids the contradiction while still respecting the intuitions driving the original premises. It is also fully compatible with boundaries being only generically dependent on their wholes. (shrink)

Eriksson thinks that moral disagreements are intuitively faulty whereas disagreements about taste are intuitively faultless. He attempts to account for this difference by arguing, first, that moral judgements and taste judgements differ with regard to the presence of a disposition to challenge conflicting judgements and, second, that the intuition that a judgement is mistaken consists in the disposition to challenge it. In this article, I focus on the reasons given to support the first claim and argue that they are not (...) sufficient. First, I assess the thesis that a taste judgement is only contingently connected with a disposition to challenge conflicting judgements. Second, I focus on the claim that a moral judgement is in part a disposition to challenge conflicting judgements. In both cases, I argue that the reasons given fail to disclose any substantial difference between the two domains. (shrink)

The COVID-19 outbreak has seen people in many countries asked to radically modify their way of life in compliance with sweeping safety measures. During the current crisis, technology is turning out to be key, in that it allows practitioners to deliver psychological services to people who would otherwise be unreachable. However, professionals cannot solely rely on their traditional modes of practice, in that different methods are required to bring to light the needs of those affected by the emergency. People are (...) being overwhelmed by a cascade of unusual and unexpected events that are putting a strain on their everyday routines and usual meaning-making systems; ongoing challenges to their employment and financial status will likely divert personal resources away from psychological well-being. We therefore argue that psychologists should also consider the needs of the general population. Among those who may require help – aside from the main targets of psychological intervention, such as healthcare personnel and COVID-19 patients and their relatives – specific attention should be paid to those who are not at the center of the crisis. We suggest that this large segment of potential users may benefit from a non-medical approach focused on the promotion of meaning-making processes. Indeed, the disruptive nature of the current situation hinders sense-making and threatens to undermine psychological balance and well-being, at an individual as well as at a societal level. The present article proposes a methodological perspective based on the reconstruction of meaning-making processes (sense of coherence, predictability, metaphors, narratives). Specifically, psychological interventions should promote personal and collective resources with a view to: “normalizing” current distressful experiences (i.e., acknowledging that such reactions are normal in light of the present situation); widening the observational field, taking relational contexts into account, and promoting an understanding of distressful experiences as coping strategies; fostering meaning-making/reconstruction processes through the use of appropriate metaphors and narratives; promoting a sense of coherence. We present two clinical vignettes to illustrate how these principles might be applied in practice. In conclusion, the exceptional psychological challenges posed by the COVID-19 pandemic require practitioners to adopt a broad and flexible perspective on clinical intervention. (shrink)

Rights proclamations are often alleged to be meaningless – ‘nonsense upon stilts’. But what makes a rights proclamation meaningful? In general, I argue, meaningful rights proclamations presuppose the existence of both a duty – directed from some party to another – and an interest whose protection is at least a non-redundant element in the justification of why the duty exists. Further conditions of meaningfulness apply for specifically moral rights proclamations. Here, the interest must be of such moral relevance to ground, (...) by itself, the duty and the duty must be demonstrably compatible with other mandatory components of morality. Neither of these conditions applies to rights proclamations in the legal realm. For a legal right proclamation to be meaningful, it is sufficient that there is or there ought to be, in the legal community at stake, a legal obligation whose justification includes, as a non-redundant element, the interest of some party. (shrink)

We study how to postpone the application of the reductio ad absurdum rule (RAA) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of RAA, which induces a negative translation from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.

We study how to postpone the application of the reductio ad absurdum rule ) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of \, which induces a negative translation from classical to intuitionistic and minimal logic. Through this translation, Glivenko’s theorem from classical to intuitionistic and minimal logic is proven.

The capabilities approach is the theory according to which, in order to assess people's quality of life and reflect on the basic political entitlements, we should consider what people are capable of doing and being. Focusing mostly on Nussbaum's account, a number of scholars analysed the metaethical structure underlying the approach, showing her Aristotelian and Kantian sources. This article explores another aspect of Nussbaum's theory which has so far been somewhat overlooked: the role of emotions in the justification and motivational (...) support of the approach. After showing the importance Nussbaum places on compassion (and other benevolent emotions) to warrant her moral theory, I argue that – assuming her own cognitive account of compassion – her argument begs the question. I will then contend that Nussbaum's case does not have the inner tools to overcome such a circularity, trying to suggest, in conclusion, a possible way out which is consistent with it. (shrink)

The philosophy of emotions has long been dominated by the view called «cognitivism». According to it, emotions are characterized not by mere physical impulses but by a cognitive evaluation of their object. However, despite their success, cognitive theories have to deal with various objections and are divided on how to answer to them. In this essay I want to defend the form of cognitivism claimed by Martha Nussbaum from the most common criticisms. After a brief summary of her account, I (...) confront some of the objections that have been raised against it. In Section 2 I deal with the classic problem of emotions in infants and animals, which lack linguistic abilities. Later, I confront the potential problem represented by cases in which one’s emotion and reasoned judgment seem to differ: in paragraph 3 I consider irrational phobias and fears, to show how they can be accounted for in terms of judgments and thoughts, and not only of perceptions; in paragraph 4 I deal with the objection that «judgementalist» theories violate the «principle of charity», for they ascribe an excessive irrationality to people. I argue that experimental evidence suggest that it is not implausible to assume that people have contradictory beliefs under conditions of uncertainty, and that perceptual theories of emotion fail to account for some fundamental aspects of these phenomena. Finally, in paragraph 5, I deal with the objection according to which a cognitive-evaluative theory cannot explain the sense of passivity that we commonly experience in emotions. (shrink)

Modern color science finds its birth in the middle of the nineteenth century. Among the chief architects of the new color theory, the name of the polymath Hermann von Helmholtz stands out. A keen experimenter and profound expert of the latest developments of the fields of physiological optics, psychophysics, and geometry, he exploited his transdisciplinary knowledge to define the first non-Euclidean line element in color space, i.e., a three-dimensional mathematical model used to describe color differences in terms of color distances. (...) Considered as the first step toward a metrically significant model of color space, his work inaugurated researches on higher color metrics, which describes how distance in the color space translates into perceptual difference. This paper focuses on the development of Helmholtz’s mathematical derivation of the line element. Starting from the first experimental evidence which opened the door to his reflections about the geometry of color space, it will be highlighted the pivotal role played by the studies conducted by his assistants in Berlin, which provided precious material for the elaboration of the final model proposed by Helmholtz in three papers published between 1891 and 1892. Although fallen into oblivion for about three decades, Helmholtz’s masterful work was rediscovered by Schrödinger and, since the 1920s, it has provided the basis for all subsequent studies on the geometry of color spaces up to the present time. (shrink)

Feminist thinkers have commonly interpreted Edith Stein’s “dual anthropology” as a form of essentialism and difference feminism. For them, men and women have (or should have) different functions and capabilities. The article argues against this traditional account. Starting from two distinct criticisms of difference feminism – that of Judith Butler and that of Martha Nussbaum – it claims that the best way to read Stein’s position is to consider it a liberal feminism, for the emphasis that she puts on the (...) uniqueness of every single human being. (shrink)

Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K • relating integral residuated lattices with 0 with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to the category of residuated lattices leads us to study (...) other adjunctions and equivalences. For example, we treat the functor C whose domain is cuRL, the category of involutive residuated lattices M whose unit is fixed by the involution and has a Boolean complement c. If we restrict to the full subcategory NRL of cuRL of those objects that have a nilpotent c, then C is an equivalence. In fact, C M is isomorphic to C e M, and C e is adjoint to, where assigns to an object A of IRL0 the product A × A 0 which is an object of NRL. (shrink)

A hemi-implicative lattice is an algebra \((A,\wedge,\vee,\rightarrow,1)\) of type (2, 2, 2, 0) such that \((A,\wedge,\vee,1)\) is a lattice with top and for every \(a,b\in A\), \(a\rightarrow a = 1\) and \(a\wedge (a\rightarrow b) \le b\). A new variety of hemi-implicative lattices, here named sub-Hilbert lattices, containing both the variety generated by the \(\{\wedge,\vee,\rightarrow,1\}\) -reducts of subresiduated lattices and that of Hilbert lattices as proper subvarieties is defined. It is shown that any sub-Hilbert lattice is determined (up to isomorphism) by (...) a triple (_L_, _D_, _S_) which satisfies the following conditions: _L_ is a bounded distributive lattice, _D_ is a sublattice of _L_ containing 0, 1 such that for each \(a, b \in L\) there is an element \(c \in D\) with the property that for all \(d \in D\), \(a \wedge d \le b\) if and only if \(d \le c\) (we write \(a \rightarrow _D b\) for the element _c_), and _S_ is a non void subset of _L_ such that _S_ is closed under \(\rightarrow _D\) and _S_, with its inherited order, is itself a lattice. Finally, the congruences of sub-Hilbert lattices are studied. (shrink)

In this paper we expand previous results obtained in [2] about the study of categorical equivalence between the category IRL 0 of integral residuated lattices with bottom, which generalize MV-algebras and a category whose objects are called c-differential residuated lattices. The equivalence is given by a functor ${{\mathsf{K}^\bullet}}$ , motivated by an old construction due to J. Kalman, which was studied by Cignoli in [3] in the context of Heyting and Nelson algebras. These results are then specialized to the case (...) of MV-algebras and the corresponding category ${MV^{\bullet}}$ of monadic MV-algebras induced by “Kalman’s functor” ${\mathsf{K}^\bullet}$ . Moreover, we extend the construction to ℓ-groups introducing the new category of monadic ℓ-groups together with a functor ${\Gamma ^\sharp}$ , that is “parallel” to the well known functor ${\Gamma}$ between ℓ and MV-algebras. (shrink)

An l-hemi-implicative semilattice is an algebra \\) such that \\) is a semilattice with a greatest element 1 and satisfies: for every \, \ implies \ and \. An l-hemi-implicative semilattice is commutative if if it satisfies that \ for every \. It is shown that the class of l-hemi-implicative semilattices is a variety. These algebras provide a general framework for the study of different algebras of interest in algebraic logic. In any l-hemi-implicative semilattice it is possible to define an (...) derived operation by \ \wedge \). Endowing \\) with the binary operation \ the algebra \\) results an l-hemi-implicative semilattice, which also satisfies the identity \. In this article, we characterize the commutative l-hemi-implicative semilattices. We also provide many new examples of l-hemi-implicative semilattice on any semillatice with greatest element. Finally, we characterize congruences on the classes of l-hemi-implicative semilattices introduced earlier and we characterize the principal congruences of l-hemi-implicative semilattices. (shrink)

Recent Libet-style experiments are of limited relevance to the debate about free action and free will, and should be understood as investigations of arbitrary actions or guesses. In Libet-style experiments, the concept of 'free action' is commonly taken to refer to a 'self-initiated voluntary act', where the self prompts an action without being prompted. However, this idea is based on the problematic assumption that the conscious self needs to be free from every constraint in order to be actually free. We (...) maintain that a fundamental condition for free action is the presence of reasons to act responsibly. By analyzing a recent neuroscientific experiment, we indicate how its results could be interpreted as indicating how free action operationalization is inappropriately focusing on arbitrary actions. Hence, the way free action has been experimentally studied may have had a misleading influence on the debate about free will. (shrink)

People with mild to moderate intellectual or multiple disabilities may have serious difficulties in accessing leisure events, managing communication exchanges with distant partners, and performing functional daily activities. Recently, efforts were made to develop and assess technology-aided programs aimed at supporting people in all three areas. This study assessed a new technology-aided program aimed at helping four participants with intellectual and multiple disabilities in the aforementioned areas. The program, which was implemented following a non-concurrent multiple baseline across participants design, relied (...) on the use of a smartphone or tablet connected via Bluetooth to a two-switch device. This device served to select leisure and communication events and to control the smartphone or tablet’s delivery of step instructions for the activities scheduled. Data showed that during the baseline phase, three participants failed in each of the areas while one participant managed to access a few leisure events. During the intervention phase, all participants managed to independently access leisure events, make telephone calls, and carry out activities. These results suggest that the program might be a useful tool for helping people with intellectual and multiple disabilities improve their condition in basic areas of daily life. (shrink)

A constructivisation of the cut-elimination proof for sequent calculi for classical, intuitionistic and minimal infinitary logics with geometric rules—given in earlier work by the second author—is presented. This is achieved through a procedure where the non-constructive transfinite induction on the commutative sum of ordinals is replaced by two instances of Brouwer’s Bar Induction. The proof of admissibility of the structural rules is made ordinal-free by introducing a new well-founded relation based on a notion of embeddability of derivations. Additionally, conservativity for (...) classical over intuitionistic/minimal logic for the seven (finitary) Glivenko sequent classes is here shown to hold also for the corresponding infinitary classes. (shrink)

We propose that sleep is linked to synaptic homeostasis. Specifically, we propose that: (1) Wakefulness is associated with synaptic potentiation in cortical circuits; (2) synaptic potentiation is tied to the homeostatic regulation of slow wave activity; (3) slow wave activity is associated with synaptic downscaling; and (4) synaptic downscaling is tied to several beneficial effects of sleep, including performance enhancement.

Two problems about rights have received so far little attention. One is the problem of identifying a general value in the practice of rights. The second is to see when, if at all, rights violations wrong the right-holder, in a morally significant sense. In the present essay, I address the first question by investigating the second. I first show that if we commit to the two ideas, common in the contemporary philosophy of rights, that claim-rights always correlate with directed duties (...) and that rights aspire to protect interests of the right-holder, we make it hard to explain why rights violations, in general, wrong right-holders. In the final section, I present what I see as a promising solution to the puzzle. I describe a particular social environment (the society of equals) where interacting with others through rights is indeed valuable because respecting rights communicates that one takes seriously others’ equal moral status. In such a society and only in such a society, I conclude, moral agents are required to treat all rights violations as wrongs perpetrated against the right-holder. (shrink)