Objective correlates—behavioral, functional, and neural—provide essential tools for the scientific study of consciousness. But reliance on these correlates should not lead to the ‘fallacy of misplaced objectivity’: the assumption that only objective properties should and can be accounted for objectively through science. Instead, what needs to be explained scientifically is what experience is intrinsically— its subjective properties—not just what we can do with it extrinsically. And it must be explained; otherwise the way experience feels would turn out to be magical (...) rather than physical. We argue that it is possible to account for subjective properties objectively once we move beyond cognitive functions and realize what experience is and how it is structured. Drawing on integrated information theory, we show how an objective science of the subjective can account, in strictly physical terms, for both the essential properties of every experience and the specific properties that make particular experiences feel the way they do. (shrink)

The problem of free will is deeply linked with the causal relevance of mental events. The causal exclusion argument claims that, in order to be causally relevant, mental events must be identical to physical events. However, Gibb has recently criticized it, suggesting that mental events are causally relevant as double preventers. For Gibb, mental events enable physical effects to take place by preventing other mental events from preventing a behaviour to take place. The role of mental double preventers is hence (...) similar to what Libet names free won’t, namely the ability to veto an action initiated unconsciously by the brain. In this paper I will propose an argument against Gibb’s account, the causal irrelevance argument, showing that Gibb’s proposal does not overcome the objection of systematic overdetermination of causal relevance, because mental double preventers systematically overdetermine physical double preventers, and therefore mental events are causally irrelevant. (shrink)

Sleep and dreaming are important daily phenomena that are receiving growing attention from both the scientific and the philosophical communities. The increasingly popular predictive brain framework within cognitive science aims to give a full account of all aspects of cognition. The aim of this paper is to critically assess the theoretical advantages of Predictive Processing (PP, as proposed by Clark 2013, Clark 2016; and Hohwy 2013) in defining sleep and dreaming. After a brief introduction, we overview the state of the (...) art at the intersection between dream research and PP (with particular reference to Hobson and Friston 2012; Hobson et al. 2014). In the following sections we focus on two theoretically promising aspects of the research program. First, we consider the explanations of phenomenal consciousness during sleep (i.e. dreaming) and how it arises from the neural work of the brain. PP provides a good picture of the peculiarity of dreaming but it can’t fully address the problem of how consciousness comes to be in the first place. We propose that Integrated Information Theory (IIT) (Oizumi et al. 2014; Tononi et al. 2016) is a good candidate for this role and we will show its advantages and points of contact with PP. After introducing IIT, we deal with the evolutionary function of sleeping and dreaming. We illustrate that PP fits with contemporary researches on the important adaptive function of sleep and we discuss why IIT can account for sleep mentation (i.e. dreaming) in evolutionary terms (Albantakis et al. 2014). In the final section, we discuss two future avenues for dream research that can fruitfully adopt the perspective offered by PP: (a) the role of bodily predictions in the constitution of the sleeping brain activity and the dreaming experience, and (b) the precise role of the difference stages of sleep (REM (Rapid eye movement), NREM (Non-rapid eye movement) in the constitution and refinement of the predictive machinery. (shrink)

Causal reductionism is the widespread assumption that there is no room for additional causes once we have accounted for all elementary mechanisms within a system. Due to its intuitive appeal, causal reductionism is prevalent in neuroscience: once all neurons have been caused to fire or not to fire, it seems that causally there is nothing left to be accounted for. Here, we argue that these reductionist intuitions are based on an implicit, unexamined notion of causation that conflates causation with prediction. (...) By means of a simple model organism, we demonstrate that causal reductionism cannot provide a complete and coherent account of ‘what caused what’. To that end, we outline an explicit, operational approach to analyzing causal structures. (shrink)

The metaphysics of powers (Shoemaker, 1980; Mumford, 2004; Marmodoro, 2009; Heil, 2012 among many others) is a promising conceptual framework that has been successfully put to use in many philosophical and scientific domains, but surprisingly its potential applications in the contemporary philosophy of mind are still under-investigated. This thematic issue aims to show that power ontology has implications concerning major questions in the contemporary philosophy of mind, such as: what is the metaphysical relationship between consciousness and the physical? Are phenomenal (...) properties reducible to physical properties, fundamental, or emergent? How are we to explain notions such as belief, agency, and free will? (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.”.

Are colors features of objects “out there in the world” or are they features of our inner experience and only “in our head?” Color perception has been the focus of extensive philosophical and scientific debate. In this paper we discuss the limitations of the view that Chalmers’ (2006) has characterized as Primitivism, and we develop Marmodoro’s (2006) Constitutionalism further, to provide a metaphysical account of color perception in terms of causal powers. The result is Power-based Constitutionalism, the view that colors (...) are (multi-track and multi-stage) powers of objects, whose (full) manifestations depend on the mutual manifestation of relevant powers of perceivers and the perceived objects being co-realized in mutual interaction. After a presentation of the tenets of Power-based Constitutionalism, we evaluate its strengths in contrast to two other recent power-based accounts: John Heil’s (2003, 2012) powerful qualities view and Max Kistler’s (2017) multi-track view. (shrink)

The problem of animal consciousness has profound implications on our concept of nature and of our place in the natural world. In philosophy of mind and cognitive neuroscience the problem of animal consciousness raises two main questions (Velmans, 2007): the distribution question (“are there conscious animals beside humans?”) and the phenomenological question (“what is it like to be a non-human animal?”). In order to answer these questions, many approaches take into account similarities and dissimilarities in animal and human behavior, e.g. (...) the use of language or tools and mirror self-recognition (Allen and Bekoff, 2007), however behavioral arguments don’t seem to be conclusive (Baars, 2005). Cognitive neuroscience is providing comparative data on structural and functional similarities, respectively called “homologies” and “analogies”. Many experimental results suggest that the thalamocortical system is essential for consciousness (Edelman and Tononi, 2000; Tononi, 2008). The argument from homology states that the general structure of thalamocortical system remained the same in the last 100-200 million years, for it is neuroanatomically similar in all the present and past mammals and it didn’t change much during phylogeny (Allen and Bekoff, 2007). The argument from analogy states that the key functional processes correlated with consciousness in humans are still present in all other mammals and many other animals (Baars, 2005). These processes are information integration through effective cortical connectivity (Massimini et al., 2005; Rosanova et al., 2012) and elaboration of information at a global level (Dehaene and Changeux, 2011). On this basis, the Cambridge Declaration on Consciousness states that all mammals, birds, and many other animals (such as octopuses) possess the neurological substrates of consciousness (Low et al., 2012). Conscious experience is private (Chalmers, 1995; Nagel, 1974) therefore the answer to the phenomenological question may be impossible. Nevertheless, cognitive neuroscience may provide an answer to the distribution question, showing that conscious experience is not limited to humans since it is a major biological adaptation going back millions of years. (shrink)

The single day conference “Ontology, Mind and Free Will. A Workshop in Memory of E.J. Lowe (1950-2014)” took place at the Department of Humanities of the University of Macerata on March, 3 rd 2014. It included as speakers Sophie Gibb (Durham University), Mario De Caro (Roma Tre University) and Michele Paolini Paoletti (University of Macerata). This event was thought by the organizers in order to honor the British philosopher Ethan Jonathan Lowe, who suddenly passed away last January with infinite regret (...) of the scientific community. The discussion of some of his major research topics, such as mental causation, free will and essence, was therefore meant as the right homage to one of the most influential philosophers who animated and deepened the debate of the last thirty years. Regarding the singular reviews of this report, Matteo Grasso took care of Sophie Gibb’s and Mario De Caro’s talks, while Mattia Sorgon reviewed Michele Paolini Paoletti’s. (shrink)

Organoids and specifically human cerebral organoids (HCOs) are one of the most relevant novelties in the field of biomedical research. Grown either from embryonic or induced pluripotent stem cells, HCOs can be used as in vitro three-dimensional models, mimicking the developmental process and organization of the developing human brain. Based on that, and despite their current limitations, it cannot be assumed that they will never at any stage of development manifest some rudimentary form of consciousness. In the absence of behavioral (...) indicators of consciousness, the theoretical neurobiology of consciousness being applied to unresponsive brain-injured patients can be considered with respect to HCOs. In clinical neurology, it is difficult to discern a capacity for consciousness in unresponsive brain-injured patients who provide no behavioral indicators of consciousness. In such scenarios, a validated neurobiological theory of consciousness, which tells us what the neural mechanisms of consciousness are, could be used to identify a capacity for consciousness. Like the unresponsive patients that provide a diagnostic difficulty for neurologists, HCOs provide no behavioral indicators of consciousness. Therefore, this article discusses how three prominent neurobiological theories of consciousness apply to human cerebral organoids. From the perspective of the Temporal Circuit Hypothesis, the Global Neuronal Workspace Theory, and the Integrated Information Theory, we discuss what neuronal structures and functions might indicate that cerebral organoids have a neurobiological capacity to be conscious. (shrink)

This paper presents Integrated Information Theory (IIT) 4.0. IIT aims to account for the properties of experience in physical (operational) terms. It identifies the essential properties of experience (axioms), infers the necessary and sufficient properties that its substrate must satisfy (postulates), and expresses them in mathematical terms. In principle, the postulates can be applied to any system of units in a state to determine whether it is conscious, to what degree, and in what way. IIT offers a parsimonious explanation of (...) empirical evidence, makes testable predictions, and permits inferences and extrapolations. IIT 4.0 incorporates several developments of the past ten years, including a more accurate translation of axioms into postulates and mathematical expressions, the introduction of a unique measure of intrinsic information that is consistent with the postulates, and an explicit assessment of causal relations. By fully unfolding a system's irreducible cause-effect power, the distinctions and relations specified by a substrate can account for the quality of experience. (shrink)

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

Courtesy of its free energy formulation, the hierarchical predictive processing theory of the brain (PTB) is often claimed to be a grand unifying theory. To test this claim, we examine a central case: activity of mesocorticolimbic dopaminergic (DA) systems. After reviewing the three most prominent hypotheses of DA activity—the anhedonia, incentive salience, and reward prediction error hypotheses—we conclude that the evidence currently vindicates explanatory pluralism. This vindication implies that the grand unifying claims of advocates of PTB are unwarranted. More generally, (...) we suggest that the form of scientific progress in the cognitive sciences is unlikely to be a single overarching grand unifying theory. (shrink)

We study the EPR-type correlations from the perspective of the relational interpretation of quantum mechanics. We argue that these correlations do not entail any form of “non-locality”, when viewed in the context of this interpretation. The abandonment of strict Einstein realism implied by the relational stance permits to reconcile quantum mechanics, completeness, (operationally defined) separability, and locality.

The free-energy principle states that all systems that minimize their free energy resist a tendency to physical disintegration. Originally proposed to account for perception, learning, and action, the free-energy principle has been applied to the evolution, development, morphology, anatomy and function of the brain, and has been called a postulate, an unfalsifiable principle, a natural law, and an imperative. While it might afford a theoretical foundation for understanding the relationship between environment, life, and mind, its epistemic status is unclear. Also (...) unclear is how the free-energy principle relates to prominent theoretical approaches to life science phenomena, such as organicism and mechanism. This paper clarifies both issues, and identifies limits and prospects for the free-energy principle as a first principle in the life sciences. (shrink)

As innovations in the field of vascular composite allotransplantation (VCA) progress, whole-eye transplantation (WET) is poised to transition from non-human mammalian models to living human recipients. Present treatment options for vision loss are generally considered suboptimal, and attendant concerns ranging from aesthetics and prosthesis maintenance to social stigma may be mitigated by WET. Potential benefits to WET recipients may also include partial vision restoration, psychosocial benefits related to identity and social integration, improvements in physical comfort and function, and reduced surgical (...) risk associated with a biologic eye compared to a prosthesis. Perioperative and postoperative risks of WET are expected to be comparable to those of facial transplantation (FT), and may be similarly mitigated by immunosuppressive protocols, adequate psychosocial support, and a thorough selection process for both the recipient and donor. To minimize the risks associated with immunosuppressive medications, the first attempts in human recipients will likely be performed in conjunction with a FT. If first-in-human attempts at combined FT-WET prove successful and the biologic eye survives, this opens the door for further advancement in the field of vision restoration by means of a viable surgical option. This analysis integrates recent innovations in WET research with the existing discourse on the ethics of surgical innovation and offers preliminary guidance to VCA programs considering undertaking WET in human recipients. (shrink)

This paper analyzes the rapid and unexpected rise of deep learning within Artificial Intelligence and its applications. It tackles the possible reasons for this remarkable success, providing candidate paths towards a satisfactory explanation of why it works so well, at least in some domains. A historical account is given for the ups and downs, which have characterized neural networks research and its evolution from “shallow” to “deep” learning architectures. A precise account of “success” is given, in order to sieve out (...) aspects pertaining to marketing or sociology of research, and the remaining aspects seem to certify a genuine value of deep learning, calling for explanation. The alleged two main propelling factors for deep learning, namely computing hardware performance and neuroscience findings, are scrutinized, and evaluated as relevant but insufficient for a comprehensive explanation. We review various attempts that have been made to provide mathematical foundations able to justify the efficiency of deep learning, and we deem this is the most promising road to follow, even if the current achievements are too scattered and relevant for very limited classes of deep neural models. The authors’ take is that most of what can explain the very nature of why deep learning works at all and even very well across so many domains of application is still to be understood and further research, which addresses the theoretical foundation of artificial learning, is still very much needed. (shrink)

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

Steinberg has recently proposed an argument against Schaffer’s priority monism. The argument assumes the principle of Necessity of Monism, which states that if priority monism is true, then it is necessarily true. In this paper, I argue that Steinberg’s objection can be eluded by giving up Necessity of Monism for an alternative principle, that I call Essentiality of Fundamentality, and that such a principle is to be preferred to Necessity of Monism on other grounds as well.

Some naturalistic philosophers of mind subscribing to the predictive processing theory of mind have adopted a realist attitude towards the results of Bayesian cognitive science. In this paper, we argue that this realist attitude is unwarranted. The Bayesian research program in cognitive science does not possess special epistemic virtues over alternative approaches for explaining mental phenomena involving uncertainty. In particular, the Bayesian approach is not simpler, more unifying, or more rational than alternatives. It is also contentious that the Bayesian approach (...) is overall better supported by the empirical evidence. So, to develop philosophical theories of mind on the basis of a realist interpretation of results from Bayesian cognitive science is unwarranted. Naturalistic philosophers of mind should instead adopt an anti-realist attitude towards these results and remain agnostic as to whether Bayesian models are true. For continuing on with an exclusive focus and praise of Bayes within debates about the predictive processing theory will impede progress in philosophical understanding of scientific practice in computational cognitive science as well as of the architecture of the mind. (shrink)

: Autonomous driving systems promise important changes for future of transport, primarily through the reduction of road accidents. However, ethical concerns, in particular, two central issues, will be key to their successful development. First, situations of risk that involve inevitable harm to passengers and/or bystanders, in which some individuals must be sacrificed for the benefit of others. Secondly, and identification responsible parties and liabilities in the event of an accident. Our work addresses the first of these ethical problems. We are (...) interested in investigating how humans respond to critical situations and what reactions they consider to be morally right or at least preferable to others. Our experimental approach relies on the trolley dilemma and knowledge gained from previous research on this. More specifically, our main purpose was to test the difference between what human drivers actually decide to do in an emergency situations whilst driving a realistic simulator and the moral choices they make when they pause to consider what they would do in the same situation and to better understand why these choices may differs. Keywords: Self-driving Cars; Trolley Problem; Moral Choices; Moral Responsibility; Virtual Reality Dilemmi morali nelle automobili a guida autonoma Riassunto: I sistemi di guida autonomi promettono importanti cambiamenti per il futuro dei trasporti, principalmente attraverso la riduzione degli incidenti stradali. Tuttavia, vi sono preoccupazioni etiche, in particolare due questioni centrali, fondamentali per il loro sviluppo. In primo luogo, le situazioni di rischio che comportano inevitabili danni ai passeggeri e/o ai pedoni, ovvero situazioni in cui alcune persone devono essere sacrificate a beneficio di altri. In secondo luogo, l’identificazione delle parti responsabili in caso di incidente. Il nostro lavoro affronta il primo di questi problemi etici. Siamo interessati a studiare come gli umani rispondono a situazioni critiche e quali reazioni considerano moralmente giuste o almeno preferibili. Il nostro approccio sperimentale si basa sul trolley problem e sulle conoscenze acquisite da precedenti ricerche su questo ambito. Più specificamente, il nostro scopo principale è quello di testare la differenza tra ciò che i conducenti umani decidono effettivamente di fare in una situazione di emergenza, mentre guidano un simulatore realistico, e le scelte morali che compiono se posti nella stessa situazione e hanno la possibilità di decidere senza limiti di tempo. Lo scopo è inoltre comprendere come e perché queste scelte possono differire. Parole chiave: Automobili a guida autonoma; Trolley problem; Scelte morali; Responsabilità morale, Realtà virtuale. (shrink)

Logical realism is the metaphysical view asserting that the facts of logic exist and are mind-and-language independent. McSweeney argues that if logical realism is true, we encounter a dilemma. Either we cannot determine which of the two logically equivalent theories holds a fundamental status, or neither theory can be considered fundamental. These two conclusions together constitute what is known as the Unfamiliarity Dilemma, which poses significant challenges to our understanding of the epistemological and metaphysical features of logic. In this article, (...) I present two strategies to address McSweeney’s dilemma. If these arguments prove effective, they would demonstrate that our knowledge of logic is not susceptible to the skeptical concerns raised by McSweeney’s hypothesis. (shrink)

The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In particular, I will argue (...) that theories of positive truth are _trustworthy_, analogously to the theories of full disquotational truth. Moreover, I argue that, for a given cognitive project, _if_ the acceptance of trustworthy theories is taken to be an _epistemic norm_ of cognitive project, then one has good reasons to accept theories of positive truth over other rival theories of truth in classical logic. On the other hand, the latter theories are deemed epistemically unacceptable. (shrink)

The notion of subject matter is a key concern of contemporary philosophy of language and logic. A central task for a theory of subject matter is to characterise the notion of sentential subject matter, that is, to assign to each sentence of a given language a subject matter that may count as its subject matter. In this paper, we elaborate upon David Lewis’ account of subject matter. Lewis’ proposal is simple and elegant but lacks a satisfactory characterisation of sentential subject (...) matter. Drawing on linguistic literature on focus and on the question under discussion, we offer a neo-Lewisian account of subject matter, which retains all the virtues of Lewis’ but also includes an attractive characterisation of sentential subject matter. (shrink)

On Jaeggi’s reading, the immanent and progressive features of ideology critique are rooted in the connection between its explanatory and its normative tasks. I argue that this claim can be cashed out in terms of the mechanisms involved in a functional explanation of ideology and that stability plays a crucial role in this connection. On this reading, beliefs can be said to be ideological if (a) they have the function of supporting existing social practices, (b) they are the output of (...) systematically distorted processes of belief formation, (c) the conditions in which distorting mechanisms trigger can be traced back to structural causal factors shaped by the social practice their outputs are designed to support. Functional problems thus turn out to be interlocked with normative problems because ideology fails to provide principles to regulate cooperation that would be accepted under conditions of non-domination, hence failing to anchor a stable cooperative scheme. By explaining ideology as parasitic on domination, ideology critique points to the conditions under which cooperation stabilizes as those of a practice whose principles are accepted without coercion. Thus, it seems to entail a conception of justice whose principles are articulated as part of a theory of social cooperation. (shrink)

According to the free energy principle, life is an “inevitable and emergent property of any random dynamical system at non-equilibrium steady state that possesses a Markov blanket” :20130475, 2013). Formulating a principle for the life sciences in terms of concepts from statistical physics, such as random dynamical system, non-equilibrium steady state and ergodicity, places substantial constraints on the theoretical and empirical study of biological systems. Thus far, however, the physics foundations of the free energy principle have received hardly any attention. (...) Here, we start to fill this gap and analyse some of the challenges raised by applications of statistical physics for modelling biological targets. Based on our analysis, we conclude that model-building grounded in the free energy principle exacerbates a trade-off between generality and realism, because of a fundamental mismatch between its physics assumptions and the properties of actual biological targets. (shrink)

This article aims to systematically deconstruct four distinct narratives derived from the case of Caster Semenya v. IAAF (Court of Arbitration for Sport).

Despite the impressive amount of financial resources recently invested in carrying out large-scale brain simulations, it is controversial what the pay-offs are of pursuing this project. One idea is that from designing, building, and running a large-scale neural simulation, scientists acquire knowledge about the computational performance of the simulating system, rather than about the neurobiological system represented in the simulation. It has been claimed that this knowledge may usher in a new era of neuromorphic, cognitive computing systems. This study elucidates (...) this claim and argues that the main challenge this era is facing is not the lack of biological realism. The challenge lies in identifying general neurocomputational principles for the design of artificial systems, which could display the robust flexibility characteristic of biological intelligence. (shrink)

This is a work in analytic metaphysics, which addresses a cluster of interrelated issues at the interface of mereology and persistence over time. In particular, it outlines a defence of a version of Endurance Theory according to which every enduring object is either a mereological simple or a mere sum of mereological simples. It includes, among other things, a proposal of a new way of framing the debate between Endurance Theory and Four-Dimensionalism, a defence of Endurance Theory over Four-Dimensionalism, arguments (...) against the existence of compound substances, and a defence of a traditional metaphysical atomism according to which all objects are ultimately made up of microscopic simples. (shrink)

Wolff’s relation to Leibniz and Kant’s relation to both are notoriously vexed questions. First, this paper argues that Wolff’s most serious departure from Leibniz consists in his (so far overlooked) rejection of the latter’s infinitism. Second, it contends that the controversies that surrounded Wolff’s early acceptance of infinite causal regress and prompted his conversion to finitism played a prominent role in shaping the theses of Kant’s Antinomies. Whereas Leibniz and the early Wolff considered infinite regress to provide support for the (...) contingency of the world and the existence of God, Wolff’s enemies condemned it as Spinozistic. After Wolff, the claim that an infinite chain of causes is impossible became the standard view among both Wolffian and anti-Wolffian metaphysicians. (shrink)

This is a review of After Phyiscalism (ed. B. P. Göcke, University of Notre Dame Press 2012), a collection of eleven essays addressing the mind-body problem from a non-physicalist point of view.

The paper investigates the ethics of information transparency (henceforth transparency). It argues that transparency is not an ethical principle in itself but a pro-ethical condition for enabling or impairing other ethical practices or principles. A new definition of transparency is offered in order to take into account the dynamics of information production and the differences between data and information. It is then argued that the proposed definition provides a better understanding of what sort of information should be disclosed and what (...) sort of information should be used in order to implement and make effective the ethical practices and principles to which an organisation is committed. The concepts of “heterogeneous organisation” and “autonomous computational artefact” are further defined in order to clarify the ethical implications of the technology used in implementing information transparency. It is argued that explicit ethical designs, which describe how ethical principles are embedded into the practice of software design, would represent valuable information that could be disclosed by organisations in order to support their ethical standing. (shrink)

Bayesian cognitive science is a research programme that relies on modelling resources from Bayesian statistics for studying and understanding mind, brain, and behaviour. Conceiving of mental capacities as computing solutions to inductive problems, Bayesian cognitive scientists develop probabilistic models of mental capacities and evaluate their adequacy based on behavioural and neural data generated by humans (or other cognitive agents) performing a pertinent task. The overarching goal is to identify the mathematical principles, algorithmic procedures, and causal mechanisms that enable cognitive agents (...) to take uncertainty into account and weigh it appropriately in producing adaptive behaviour. -/- The appeal of Bayesian cognitive science derives from its transparency, normativity, and unifying power. Resources from Bayesian statistics allow cognitive scientists to characterise transparently, in terms of random variables and probabilistic dependencies between them, the inductive problems that many mental capacities are presumed to solve. Given this characterisation, researchers can define an upper bound on one’s performance on that problem and use it as a benchmark for interpreting experimental results, formulating hypotheses about why and when deviations from optimal performance should be expected, and seeking explanations of mental capacities within one encompassing theoretical framework. -/- Although critics question the testability, explanatory power, and plausibility of Bayesian models of mental capacities, Bayesian cognitive science has proved itself to be an incredibly fruitful research programme. Fuelled by empirical and theoretical results from psychology, neuroscience, philosophy, computer science, artificial intelligence, and evolution, Bayesian cognitive science has: advanced our understanding of why cognitive systems should keep track of uncertainty and use it to facilitate adaptive behaviour; clarified how the brain might encode information about the uncertainty of its stimuli and perform computations with probability distributions; and crystallised the insight that cognitive agents’ management of uncertainty might be grounded in predictive processes aimed at avoiding surprising exchanges with the environment. (shrink)

Chinese and English. Half title also in Chinese characters: T°ien chu shih i. Bibliography: 473-482. Includes index.

A widely shared view in the cognitive sciences is that discovering and assessing explanations of cognitive phenomena whose production involves uncertainty should be done in a Bayesian framework. One assumption supporting this modelling choice is that Bayes provides the best approach for representing uncertainty. However, it is unclear that Bayes possesses special epistemic virtues over alternative modelling frameworks, since a systematic comparison has yet to be attempted. Currently, it is then premature to assert that cognitive phenomena involving uncertainty are best (...) explained within the Bayesian framework. As a forewarning, progress in cognitive science may be hindered if too many scientists continue to focus their efforts on Bayesian modelling, which risks to monopolize scientific resources that may be better allocated to alternative approaches. (shrink)

This paper introduces a new framework, based on the notion of compatibility space, obtained by adding a primitive incompatibility relation to a state space in the sense of Fine. The key idea inspiring the framework is to modify Fine's truthmaker semantics by taking the notion of incompatibility as primitive, and use it to define other notions. We discuss some interesting features of the framework and explore its advantages over the standard framework of state spaces. We review some applications of the (...) framework, including proofs of soundness and completeness theorems for a number of logics, one way to use compatibility states to mirror Kripke frames, and an exploration of a way to use the new framework to provide truthmaking clauses for modal formulas. (shrink)

States are increasingly implementing policies aimed at changing people's dietary habits, such as fat taxes, food bans, and nudges. In this article, we ask whether healthy eating policies are consistent with public reason, the view that state laws and policies should be justified on the basis of reasons that all citizens can accept at some level of idealisation despite their different conceptions of the good. What we intend to explore is an ‘if…, then…’ line of thought: if one is committed (...) to public reason, then may one consistently endorse healthy eating policies? First, we illustrate multiple ways in which contemporary societies are characterised by a reasonable pluralism concerning conceptions of health and values attached to eating practices. Second, we critically assess the implications of three main conceptions of the structure of public reason, i.e. ‘shareability’, ‘intelligibility’ and ‘accessibility’, for the public justifiability of healthy eating policies. We conclude that healthy eating policies are only consistent with public reason under the ‘accessibility’ conception, i.e. if they are based on reasons grounded in shared epistemic and moral evaluative standards, as long as such reasons reflect a reasonable balance of political values and do not overly prioritise or neglect any of these values. (shrink)

Individual differences in bodily beauty result in significant differences in life outcomes. Some such differences seem unwarranted. On this basis, various authors have argued that there is a kind of discrimination—lookism—that affects those who are aesthetically disadvantaged. Several strategies have been proposed to address lookism. One aim of this paper is to draw a distinction between two sorts of anti-lookist strategies. Redistributive approaches propose to alter the current distribution of beauty, either by broadening beauty standards, or by giving individuals more (...) options to improve their appearance. Revisionary approaches argue that we should drop our current conception of human beauty in favour of one that is more compatible with social justice goals. Another aim of the paper is to argue that two problems posed by revisionary strategies represent a prima facie reason to prefer redistributive ones. Both problems are rooted in a trade-off between value and justice that is characteristic of revisionary approaches. (shrink)

Some enlightenment regarding the project to mechanise reason. The assembly line of machine learning: data, algorithm, model. The training dataset: the social origins of machine intelligence. The history of AI as the automation of perception. The learning algorithm: compressing the world into a statistical model. All models are wrong, but some are useful. World to vector: the society of classification and prediction bots. Faults of a statistical instrument: the undetection of the new. Adversarial intelligence vs. statistical intelligence: labour in the (...) age of AI. (shrink)

We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with class many Woodin cardinals, the forcing axiom MM++ makes the Π2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_2}$$\end{document}-fragment of the theory of Hℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\aleph_2}}$$\end{document} invariant with respect to stationary set preserving forcings that preserve BMM. We argue that this is a promising generalization to (...) Hℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\aleph_2}}$$\end{document} of Woodin’s absoluteness results for L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document}. In due course of proving this, we shall give a new proof of some of these results of Woodin. Finally we relate our generic absoluteness results with the resurrection axioms introduced by Hamkins and Johnstone and with their unbounded versions introduced by Tsaprounis. (shrink)

C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems are non-normal modal logics, since they do not admit a full rule of necessitation, but only a restricted version thereof. We provide G3-style labelled sequent calculi for Lewis’ non-normal propositional systems. The calculi enjoy good structural properties, namely admissibility of structural rules and admissibility of cut. Furthermore they allow for straightforward proofs of admissibility of the restricted versions of the necessitation rule. We establish completeness (...) of the calculi and we discuss also related systems. (shrink)

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinal axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinal properties can be defined in terms of suitable elementary embeddings j:Vγ→Vλ. One key observation is that such embeddings are uniquely determined by the image structures j[Vγ]≺Vλ. These structures will be the prototypes guessing models. We shall show, (...) using guessing models M, how to prove for the ordinal κM=jM) many of the combinatorial properties that we can prove for the cardinal j) using the structure j[Vγ]≺Vj. κM will always be a regular cardinal, but consistently can be a successor and guessing models M with κM=ℵ2 exist assuming the proper forcing axiom. By means of these models we shall introduce a new structural property of models of PFA: the existence of a “Laver function” f:ℵ2→Hℵ2 sharing the same features of the usual Laver functions f:κ→Hκ provided by a supercompact cardinal κ. Further applications of our analysis will be proofs of the singular cardinal hypothesis and of the failure of the square principle assuming the existence of guessing models. In particular the failure of square shows that the existence of guessing models is a very strong assumption in terms of large cardinal strength. (shrink)