There has recently been a flurry of activity in the philosophy of language on how to best account for the unique features of epithets. One of these features is that epithets can be appropriated (that is, the offense-grounding potential of a term can be removed). We argue that attempts to appropriate an epithet fundamentally involve a violation of language-governing rules. We suggest that the other conditions that make something an attempt at appropriation are the same conditions that characterize acts of (...) civil disobedience. Accounting for attempts at appropriation is thus both a linguistic and socio-political endeavor. We demonstrate how these two facets of attempts at appropriation also help us understand the communicative features of civil disobedience. (shrink)

The theme of this year’s Spindel Conference was Social Ontologies of Race. This editorial introduction serves as both a general introduction to the topic of racial ontology and an introduction to this volume’s contributions. I will first explain some central ideas for discussions of ontology in general. I will then make some basic taxonomic distinctions common to discussions of racial ontology and suggest some clarifications. I will then go on to discuss the five contributions to this volume.

An introduction to the posthumously published "The Wretched of Middle-Earth: an Orkish Manifesto" by Charles Mills.

I argue that standard explanations of Du Bois' theory of race inappropriately characterize his view as attempting to provide descriptive criteria for races. Such an interpretation makes it both susceptible to Appiah's circularity objection and alienates it from Du Bois' central project of solidarity—which is the central point of “Conservation.” I propose that we should understand his theory as providing a normative account of race: an attempt to characterize what some races should be in terms of what other races are. (...) In providing such an account I will also show how my interpretation of Du Bois' criteria avoids the circularity objection by making the criteria central to the project of solidarity. Thus, this interpretation avoids what I take to be the two main problems with standard descriptive explanations of Du Bois' criteria. (shrink)

The paper engages Christopher Boorse’s Bio-Statistical Theory. In its current form, BST runs into a significant challenge. For BST to account for its central tenet—that lower-level part-dysfunction is sufficient for higher-level pathology—it must provide criteria for how to decide which lower-level parts are the ones to be analyzed for health or pathology. As BST is a naturalistic theory, such choices must be based solely on naturalistic considerations. An argument is provided to show that, if BST is to be preserved, such (...) parthood choices are based on non-naturalistic considerations. We demonstrate that even when parthood choices are based on the best way to preserve BST, there are counterintuitive results which bring the central tenet of BST into question. (shrink)

While many animals — pigeons, for example — have analogue magnitude states , it has recently been argued that certain discriminatory tasks provide evidence for the claim that these states are non-conceptual . These states are taken to be nonconceptual in that they cannot meet a test for concept possession such as Evans’s Generality Constraint. I argue that while such animals probably do not have numerical concepts, the evidence suggests that they could have numerical-ish concepts. On what I call ‘the (...) diffuse’ account of numerical-ish concepts, animals could have analogue magnitude states which represent amount and these states could meet the Generality Constraint . This account also avoids the problems faced by a ‘centred’ account of numerical-ish concepts which cannot meet the Generality Constraint. (shrink)

There has recently been emphasis put on providing two-factor accounts of monothematic delusions. Such accounts would explain (1) whether a delusional hypothesis (e.g. someone else is inserting thoughts into my mind) can be understood as a prima facie reasonable response to an experience and (2) why such a delusional hypothesis is believed and maintained given its implausibility and evidence against it. I argue that if we are to avoid obfuscating the cognitive mechanisms involved in monothematic delusion formation we should split (...) the first factor (1 above) into two factors: how abnormal experience can give rise to a delusional ‘proto-hypothesis’ and how a ‘proto-hypothesis’ in consort with normal experiences and background information, can be developed into a delusional hypothesis. In particular I will argue that a schizophrenic is faced with the unusual requirement of having to identify an introspectively accessible thought as one's own, and that this requirement of identification is the central experiential abnormality of thought insertion, auditory verbal hallucination, and alien control (i.e. passivity symptoms). Additionally, I will consider non-experiential factors which are required for the formation of a delusional hypothesis. (shrink)

Work on the conceptual amelioration of race concepts is usually negative or critical: it uncovers social features that contribute to racial hierarchies. Much less focus has been placed on how ameliorative accounts contribute to positive change. Using an account of race developed by Steve Biko during South African apartheid, I will argue that we can extract a novel account of positive amelioration in which racial categories can have normative or aspirational force, contributing to positive change.

David Rosenthal and Josh Weisberg have recently provided a counter argument to Ned Block’s argument that a Higher Order Thought theory of consciousness cannot accommodate the existence of hallucinatory conscious states . Their counter argument invokes the idea of mental appearances: a non-existent intentional object which is to aid in an account of subjective conscious awareness. I argue that if mental appearances are to do the work they are supposed to, we cannot draw a mental appearance/reality distinction. I provide (...) an alternative story that a HOT theorist can invoke to account for cases of conscious misrepresentation. Such a story will require denying the existence of hallucinatory conscious states while still accounting for conscious misrepresentation. This is a cost I believe the HOT theorist should be willing to pay. (shrink)

David Rosenthal and Josh Weisberg have recently provided a counter argument to Ned Block’s argument that a Higher Order Thought (HOT) theory of consciousness cannot accommodate the existence of hallucinatory conscious states (i.e. a conscious episode consisting of a HOT without the presence of a relevant lower order thought). Their counter argument invokes the idea of mental appearances: a non-existent intentional object which is to aid in an account of subjective conscious awareness. I argue that if mental appearances are (...) to do the work they are supposed to, we cannot draw a mental appearance/reality distinction. I provide an alternative story that a HOT theorist can invoke to account for cases of conscious misrepresentation. Such a story will require denying the existence of hallucinatory conscious states while still accounting for conscious misrepresentation. This is a cost I believe the HOT theorist should be willing to pay. (shrink)

Several philosophers have recently advanced the claim that the content of mental states has its own non-imagistic phenomenology. I show that if defenders of cognitive phenomenology are to account for the conscious experience of thoughts, they must actually commit themselves to two different kinds of cognitive phenomenology, which I refer to as ‘general’ and ‘specific.’ Once this distinction is made, we can see how arguments from experience for cognitive phenomenology depend on an ambiguity in ‘what it is like’ talk for (...) their success. Disambiguating this kind of talk into talk of either general or specific phenomenology shows that these arguments are either valid – but assume what they are trying to prove – or are not valid. (shrink)

David Rosenthal and Josh Weisberg have recently provided a counter argument to Ned Block’s argument that a Higher Order Thought (HOT) theory of consciousness cannot accommodate the existence of hallucinatory conscious states (i.e. a conscious episode consisting of a HOT without the presence of a relevant lower order thought). Their counter argument invokes the idea of mental appearances: a non-existent intentional object which is to aid in an account of subjective conscious awareness. I argue that if mental appearances are (...) to do the work they are supposed to, we cannot draw a mental appearance/reality distinction. I provide an alternative story that a HOT theorist can invoke to account for cases of conscious misrepresentation. Such a story will require denying the existence of hallucinatory conscious states while still accounting for conscious misrepresentation. This is a cost I believe the HOT theorist should be willing to pay. (shrink)

This paper presents an approach to the belief system based on a computational framework in three levels: first, the logic level with the definition of binary local rules, second, the arithmetic level with the definition of recursive functions and finally the behavioural level with the definition of a recursive construction pattern. Social communication is achieved when different beliefs are expressed, modified, propagated and shared through social nets. This approach is useful to mimic the belief system because the defined functions provide (...) different ways to process the same incoming information as well as a means to propagate it. Our model also provides a means to cross different beliefs so, any incoming information can be processed many times by the same or different functions as it occurs is social nets. (shrink)

Marxism, one of the few philosophies that turned into an effective movement, not so long ago was the official ideology in one form or another of much of humanity. It was promulgated, initially by the Soviet Union, then imposed on much of Central and Eastern Europe, later emerged in the People's Republic of China, and gradually spread to other parts of Asia and even bits of Africa and Latin America. Although declining in its initial popularity, it still remains strong in (...) several countries and is supported by numerous communist and other parties and countless individuals around the world. The Historical Dictionary of Marxism covers the history of Marxism and all its thinkers and schools of thought in a comprehensive manner. This is done, through a chronology, a list of acronyms and abbreviations, an introductory essay, a bibliography, and hundreds of cross-reference dictionary entries on basic terms and concepts, significant thinkers and doers, and also the parties and countries that followed it. (shrink)

The A to Z of Marxism covers the history of Marxism and all its thinkers and schools of thought in a comprehensive manner. This is done, through a chronology, an introductory essay, a bibliography, and hundreds of cross-reference dictionary entries on basic terms and concepts, significant thinkers and doers, and also the parties and countries that followed it.

This paper examines the business practices of socially responsible entrepreneurs with particular focus on activities that directly impact their companies’ finances. We collect case studies of 30 recognized socially responsible entrepreneurial firms from a wide range of industries. We analyze how and to what extent the entrepreneurs and their companies balance their profit objectives with their social or environmental goals. Our results indicate that the companies pursue profits in manners comparable to those of most conventional businesses. However, we learn that (...) our companies make certain deliberate exceptionsin their business practices to exercise their beliefs, although such actions may reduce profi ts. We also observe the entrepreneurs making efforts to identify situations that simultaneously increase the companies’ profits and serve their causes. Most companies choose to stay private and commit to building an enduring organization rather than pursue the conventional exit strategies. Finally, we find that many of the companies in our list commit themselves to and proactively manage formalized giving programs. (shrink)

A large body of research links testosterone and cortisol to male-male competition. Yet, little work has explored acute steroid hormone responses to coalitional, physical competition during middle childhood. Here, we investigate testosterone, dehydroepiandrosterone, androstenedione, and cortisol release among ethnically Chinese boys in Hong Kong, aged 8–11 years, during a soccer match and an intrasquad soccer scrimmage, with 63 participants competing in both treatments. The soccer match and intrasquad soccer scrimmage represented out-group and in-group treatments, respectively. Results revealed that testosterone showed (...) no measurable change. DHEA increased during both treatments in the majority of participants and the degree of change had no relation to independent variables or covariate measures. Most boys experienced androstenedione increases during match play, but no significant differences during the intrasquad soccer scrimmage competitions. The magnitude of change differed significantly between treatments and was positively associated with age. These latter findings suggest boys’ androstenedione responses may be sensitive to competitor type. For most subjects, cortisol significantly increased during match play, decreased during the intrasquad soccer scrimmage, and differed significantly between treatments, suggesting each treatment promoted a different psychological state among competitors. Cortisol/DHEA molar ratio decreased during the intrasquad scrimmage, suggestive of a more relaxed mental state. These data shed new light on potential proximate mechanisms associated with coalitional competition among prepubescent boys, with relevance to adrenarche and life history theory. (shrink)

This volume is the product of an important recent conference, convened by His Holiness the Dalai Lama, focusing on the intellectual legacy of the Tibetan philosopher, yogi, and saint Tsongkhapa (1357-1419). Entitled "Jé Tsongkhapa: Life, Thought, and Legacy," the conference commemorated the sixth hundredth anniversary of Tsongkhapa's passing and was held on December 21-23, 2019, at Ganden Monastery in Mundgod, India. Part 1 concerns Madhyamaka, a natural reflection of the very important and well-known contributions Tsongkhapa made to the study of (...) Indian philosophical thought. The first essay, Guy Newland's "Start Making Sense: Finding Tsongkhapa's Middle Way," provides a straightforward and clear introduction to Tsongkhapa's interpretation of Madhyamaka philosophy, showing how Tsongkhapa played an essential role in clarifying Candrakīrti's contributions to Madhyamaka thought. The second essay, "Celebrating Jé Tsongkhapa: The Twofold Object of the Identity View" by Dr. Dechen Rochard explores Tsongkhapa's understanding of Candrakīrti's negation of individual identity. The essay neatly demonstrates the centrality of the practitioner's view of self to the path to spiritual awakening. In the third chapter, "Thinking Beyond Thought: Tsongkhapa and Mipham on the Conceptualized Ultimate," Jay L. Garfield explores Tsongkhapa's views on the nature of ultimate reality, specifically Tsongkhapa's argument that this entails a movement from inferential to direct awareness of emptiness. The essay explores the need for accurate philosophical analysis in the context of meditation practice so as to directly realize the truths about the nature of self and reality that are the objects of the practice. It thus nicely points to the integration of Buddhist theory and practice. The second section of this volume is dedicated to Tsongkhapa's writings on the tantras. In the first chapter in this section, "Tsongkhapa's Masterful Exegesis of Cakrasaṃvara Tantra," I elucidate Tsongkhapa's approach to the study of tantric literature with a focus on his commentary on the Cakrasaṃvara Tantra. Chapter 6 is Gavin Kilty's contribution, "A Lamp to Illuminate the Five Stages: Tsongkhapa's Reformatory Work on Guhyasamāja Tantra." Kilty first surveys the Guhyasamāja tradition and its transmission to Tibet and the two main Indian exegetical traditions, the Ārya and J.ānapāda schools. Outlining Tsongkhapa's approach to the Guhyasamāja Tantra, he then focuses on how the tradition conceptualizes the generation-stage and completion-stage practices. Chapter 7, "The Shadow of Heshang: Tsongkhapa on Chan, Dzokchen, and Mahāmudrā" by Roger R. Jackson. Jackson explores the claim that Tsongkhapa received and secretly transmitted esoteric instructions on advanced meditation practices to realize the nature of mind and awakening. The volume concludes with a section entitled "Moving Minds," which explores Tsongkhapa's legacy and impact both in Tibet and beyond. It opens with "Jé Tsongkhapa's Contribution to Buddhist Hermeneutics" by Geshé Ngawang Samten. Buddhist hermeneutics, as understood here, is a response to the challenge posed by scriptures that appear to contradict one another. Chapter 9, "Tsongkhapa's Hermeneutics and the Perfection of Wisdom," contributed by Gareth Sparham, takes a more focused look at the interpretation of the Perfection of Wisdom literature in both India and Tibet. The tenth chapter is "Jé Tsongkhapa's Teachings and Translations in Mongolian" by Bataa Mishig-Ish, who surveys the dissemination of Tsongkhapa's oeuvre to Mongolia. The final chapter is BhikṣuṇīThubten Chodron's "Learning, Living, and Teaching Bodhicitta: Jé Tsongkhapa's Contribution to Spreading Compassion in the World." Venerable Chodron argues that Tsongkhapa's approach to teaching compassion is particularly suited for the modern, Western context. While this volume does not come close to exhausting the limits of what might be said concerning the impact of Tsongkhapa's work in Tibet and beyond, it does reunite contributions to this study that briefly converged in Preface xi Mundgod, India, just before the global pandemic ushered in a new awareness of our profound human interdependence. Hopefully these essays will advance the appreciation of Tsongkhapa's intellectual legacy in the wider English-speaking world, where he remains a little understood figure of Asian religious history, unlike in the Tibetan-speaking world, where his impact is justly celebrated. (shrink)

Evolutionary psychologists claim that the mind contains “hundreds or thousands” of “genetically specified” modules, which are evolutionary adaptations for their cognitive functions. We argue that, while the adult human mind/brain typically contains a degree of modularization, its “modules” are neither genetically specified nor evolutionary adaptations. Rather, they result from the brain’s developmental plasticity, which allows environmental task demands a large role in shaping the brain’s information-processing structures. The brain’s developmental plasticity is our fundamental psychological adaptation, and the “modules” that result (...) from it are adaptive responses to local conditions, not past evolutionary environments. If different individuals share common environ- ments, however, they may develop similar “modules,” and this process can mimic the development of genetically specified modules in the evolutionary psychologist’s sense. (shrink)

Based on research on the increasingly popular unconscious thought effect (UTE), it has been suggested that physicians might make better diagnostic decisions after a period of distraction than after an equivalent amount of time of conscious deliberation. However, published attempts to demonstrate the UTE in medical decision making have yielded inconsistent results. In the present study, we report the results of a meta-analysis of all the available evidence on the UTE in medical decisions made by expert and novice clinicians. The (...) meta-analysis failed to find a significant contribution of unconscious thought to the accuracy of medical decisions. This result cannot be easily attributed to any of the potential moderators of the UTE that have been discussed in the literature. Furthermore, a Bayes Factor analysis shows that most experimental conditions provide positive support for the null hypothesis, suggesting that these null results do not reflect a simple lack of statistical power. We suggest ways in which new studies could usefully provide further evidence on the UTE. Unless future research shows otherwise, the recommendation of using unconscious thought to improve medical decisions lacks empirical support. (shrink)

There is a need of further research to understand how social capital in the organization can be fostered. Existing literature focuses on the design of reciprocity norms, procedures and stability employment practices as the main levers of social capital in the workplace. Complementary to these mechanisms, this paper explores the impact of ethical managerial behaviour on the development of social capital. We argue that a managerial behaviour based on the true concern for the well-being of employees, as well as their (...) motivational and ethical development, can be particularly important for the generation of social capital in the organization. It is suggested that manager's behaviour should be based on three principles: following examplary behaviour, helping the employees to value the consequences of their actions in other persons, and not betraying employee's trust. When the manager conforms to those principles, he can ease the process through which employees develop associability and identification-based trust with the firm, the two main components of 'Organizational Social Capital'. Bringing ethics into the debate of social capital creation seems to us fundamental, as social capital in the firm is likely to be influenced by the ethical and motivational development of its members. (shrink)

Ethics has recently gained prominence in debates surrounding social capital creation. Despite the significant theoretical progress in this field, it still lacks empirical research. The goal of this study is to empirically explore the ethical leadership of supervisors as an antecedent of the firm’s social capital. We build on social learning theory to argue that employees can learn standards of appropriate behavior by observing the behavior of role models. By displaying and enforcing ethical behavior, supervisors can facilitate the process through (...) which employees learn to feel empathy toward others and establish profound affective relationships with them. Data were collected from 408 Spanish, French, and Portuguese part-time MBA students. Using structural equation modeling techniques, we show that the ethical leadership of supervisors exerts a significant influence on the structural, relational, and cognitive dimensions of social capital. (shrink)

The feasibility of reversing human aging within a matter of decades has traditionally been dismissed by all professional biogerontologists, on the grounds that not only is aging still poorly understood, but also many of those aspects that we do understand are not reversible by any current or foreseeable therapeutic regimen. This broad consensus has recently been challenged by the publication, by five respected experimentalists in diverse subfields of biogerontology together with three of the present authors, of an article (Ann NY (...) Acad Sci 959, 452–462) whose conclusion was that all the key components of mammalian aging are indeed amenable to substantial reversal (not merely retardation) in mice, with technology that has a reasonable prospect of being developed within about a decade. Translation of that panel of interventions to humans who are already alive, within a few decades thereafter, was deemed potentially feasible (though it was not claimed to be likely). If the prospect of controlling human aging within the foreseeable future cannot be categorically rejected, then it becomes a matter of personal significance to most people presently alive. Consequently, we suggest that serious public debate on this subject is now warranted, and we survey here several of the biological, social and political issues relating to it. BioEssays 24:667–676, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

There is a need for further research to understand how social capital in the workplace can be promoted. This article studies the generation of social capital from a comprehensive perspective that integrates ethics and general management. We propose the concept of “ethical work context” as an influential antecedent of the social capital in the firm. The ethical work context, which is aligned with the “humanizing culture” approach proposed by Melé ( Journal of Business Ethics 45 (1), 3–14, 2003a ), allows (...) a broader comprehension of the concrete management practices and organizational dynamics that generate organizational social capital. It is argued that social capital, understood as a by-product of the ethical work context, results both from organizational design and ongoing managerial activity. Creating an ethical work context brings ethics and social capital into the realm of the general manager; a figure that has remained absent from the social capital literature. (shrink)

This book is a collection of philosophical papers that explores theoretical and practical aspects and implications of nonviolence as a means of establishing peace. The papers range from spiritual and political dimensions of nonviolence to issues of justice and values and proposals for action and change.

Ethics has recently gained importance in the debate over social capital creation. The goal of this study is to empirically examine the ethical work context of the firm as an antecedent of the firm’s internal social capital. We build on person–situation interactionist theory to argue that individuals can learn standards of appropriate behavior induced by the ethical work context in which they are embedded. By creating an ethical work context, managers can facilitate the process through which employees learn to feel (...) empathy toward others and establish profound affective relationships with them. Data were collected from 1,817 individuals in 36 business units of 7 Spanish, French, and Portuguese corporations. Using structural equation and hierarchical linear modeling techniques, our results reveal three phenomena. First, we show that a business unit’s ethical work context exerts significant influence on the structural, relational, and cognitive dimensions of internal social capital. Second, the managerial practices that constitute the ethical work context are not equally important across the seven corporations; in particular, managerial practices are more influential in those corporations that belong to knowledge-intensive industries. Third, a business unit’s internal social capital is influenced not only by the business unit’s ethical work context, but also by the ethical work context of the corporation to which it belongs. (shrink)

El presente trabajo propone un enfoque comparativo entre en la noción de restos, tal como es conceptualizada por Eduardo Rinesi desde el pensamiento trágico, y los distintos abordajes de la misma presentes en la obra de Slavoj Žižek. En virtud de este recorrido, se indaga cómo ambos autores problematizan el vínculo entre los restos y la pregunta por el fundamento último de lo social, en cuanto piedra angular de las ontologías modernas, para finalmente analizar cómo a partir de estas diferentes (...) aproximaciones es posible pensar lo político como la dimensión de subversión e institución de todo orden. (shrink)

Statistical criteria of fairness are formal measures of how an algorithm performs that aim to help us determine whether an algorithm would be fair to use in decision-making. In this paper, I introduce a new version of the criterion known as “Equalized Odds,” argue that it is a requirement of procedural fairness, and show that it is immune to a number of objections to the standard version.

Debates in animal cognition are frequently polarized between the romantic view that some species have human-like causal understanding and the killjoy view that human causal reasoning is unique. These apparently endless debates are often characterized by conceptual confusions and accusations of straw-men positions. What is needed is an account of causal understanding that enables researchers to investigate both similarities and differences in cognitive abilities in an incremental evolutionary framework. Here we outline the ways in which a three-dimensional model of causal (...) understanding fulfills these criteria. We describe how this approach clarifies what is at stake, illuminates recent experiments on both physical and social cognition, and plots a path for productive future research that avoids the romantic/killjoy dichotomy. (shrink)

We introduce a new method for building models of [Formula: see text], together with [Formula: see text] statements over [Formula: see text], by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only [Formula: see text]-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at [Formula: see text] known as [Formula: see text] holds together with [Formula: see text], thereby answering a well-known (...) question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The [Formula: see text]-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph. (shrink)

Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show that for κ ineffable Ereg2,κ, the relation of equivalence modulo (...) the nonstationary ideal restricted to regular cardinals in the space 2κ is Σ11-complete. We finish by showing that, for Π21-indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is Σ11-complete. (shrink)

The ongoing explosion of interest in artificial intelligence is fueled in part by recently developed techniques in machine learning. Those techniques allow automated systems to process huge amounts of data, utilizing mathematical methods that depart from traditional statistical approaches, and resulting in impressive advancements in our ability to make predictions and uncover correlations across a host of interesting domains. But as is now widely discussed, the way that those systems arrive at their outputs is often opaque, even to the experts (...) who design and deploy them. Is it morally problematic to make use of opaque automated methods when making high-stakes decisions, like whether to issue a loan to an applicant, or whether to approve a parole request? Many scholars answer in the affirmative. However, there is no widely accepted explanation for why transparent systems are morally preferable to opaque systems. We argue that the use of automated decision-making systems sometimes violates duties of consideration that are owed by decision-makers to decision-subjects, duties that are both epistemic and practical in character. Violations of that kind generate a weighty consideration against the use of opaque decision systems. In the course of defending our approach, we show that it is able to address three major challenges sometimes leveled against attempts to defend the moral import of transparency in automated decision-making. (shrink)

The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.

Functionalism offers an account of the relations that hold between behavioural functions, information and neural processing, and conscious experience from which one can draw two inferences: for any discriminable difference between qualia there must be an equivalent discriminable difference in function; and for any discriminable functional difference within a behavioural domain associated with qualia, there must be a discriminable difference between qualia. The phenomenon of coloured hearing synaesthesia appears to contradict the second of these inferences. We report data showing that (...) this form of synaesthesia is genuine and probably results from an aberrant projection from cortical language areas to a region specialized for the perception of colour. Since functionalism purports to be a general account of consciousness, one such negative instance, if it can be further sustained empirically, is sufficient to invalidate it. (shrink)