The format of this book is unusual, especially for a book about linguistics. The book is meant primarily as a research monograph aimed at linguists who have some background in formal semantics, e. g. Montague Grammar. However, I have two other audiences in mind. Linguists who have little or no experience of formal semantics, but who have worked through a basic mathematics for linguists course (e. g. using Wall, 1972, or Partee, 1978), should, perhaps with the help of a sympathetic (...) Montague gramma rian, be able to discover enough of how I have adapted some of the basic ideas in formal semantics to make the developments that I undertake in the rest of the book accessible. Logicians and computer scientists who know about model theoretic semantics and formal systems should be able to glean enough from Chapters I and II about linguistic concerns and techniques to be able to read the remainder of the book, again possibly with the help of a sympathetic Montague grammarian. However, readers should beware. Chapter II is not meant as a general introduction either to formal semantics or to linguistics and while much of the presentation there is going over ground that is already well covered in the literature, the particular formulation and the emphases are very much oriented to the developments to be undertaken later in the book. (shrink)

This paper examines what it is for a condition to be a disease. It falls into two sections. In the first I examine the best existing account of disease (as proposed by Christopher Boorse) and argue that it must be rejected. In the second I outline a more acceptable account of disease. According to this account, by disease we mean a condition that it is a bad thing to have, that is such that we consider the afflicted person to have (...) been unlucky, and that can potentially be medically treated. All three criteria must be fulfilled for a condition to be a disease. The criterion that for a condition to be a disease it must be a bad thing is required to distinguish the biologically different from the diseased. The claim that the sufferer must be unlucky is needed to distinguish diseases from conditions that are unpleasant but normal, for example teething. Finally, the claim that for a condition to be a disease it must be potentially medically treatable is needed to distinguish diseases from other types of misfortune, for example economic problems and legal problems. (shrink)

Classifying Madness (Springer, 2005) concerns philosophical problems with the Diagnostic and Statistical Manual of Mental Disorders, more commonly known as the D.S.M. The D.S.M. is published by the American Psychiatric Association and aims to list and describe all mental disorders. The first half of Classifying Madness asks whether the project of constructing a classification of mental disorders that reflects natural distinctions makes sense. Chapters examine the nature of mental illness, and also consider whether mental disorders fall into natural kinds. The (...) second half of the book addresses epistemic worries. Even supposing a natural classification system to be possible in principle, there may be reasons to be suspicious of the categories included in the D.S.M. I examine the extent to which the D.S.M. depends on psychiatric theory, and look at how it has been shaped by social and financial factors. I aim to be critical of the D.S.M. without being antagonistic towards it. Ultimately, however, I am forced to conclude that although the D.S.M. is of immense practical importance, it is unlikely to come to reflect the natural structure of mental disorders. (shrink)

Preface This volume represents the proceedings of the First Conference on Situation Theory and Its Applications held by CSLI at Asilomar, California, ...

To understand the mind, we need to draw equally on the fields of cognitive science and neuroscience. But these two fields have very separate intellectual roots, and very different styles. So how can these two be reconciled in order to develop a full understanding of the mind and brain.This is the focus of this landmark new book.

Topics in Cognitive Science, Volume 13, Issue 1, Page 63-78, January 2021.

is a term introduced by Ian Hacking to refer to the kinds of people—child abusers, pregnant teenagers, the unemployed—studied by the human sciences. Hacking argues that classifying and describing human kinds results in feedback, which alters the very kinds under study. This feedback results in human kinds having histories totally unlike those of natural kinds (such as gold, electrons and tigers), leading Hacking to conclude that human kinds are radically unlike natural kinds. Here I argue that Hacking's argument fails and (...) that he has not demonstrated that human kinds cannot be natural kinds. Introduction Natural kinds Hacking's feedback mechanisms 3.1 Cultural feedback 3.2 Conceptual feedback. (shrink)

"Psychiatry and Philosophy of Science" explores conceptual issues in psychiatry from the perspective of analytic philosophy of science. Through an examination of those features of psychiatry that distinguish it from other sciences - for example, its contested subject matter, its particular modes of explanation, its multiple different theoretical frameworks, and its research links with big business - Rachel Cooper explores some of the many conceptual, metaphysical and epistemological issues that arise in psychiatry. She shows how these pose interesting challenges for (...) the philosopher of science while also showing how ideas from the philosophy of science can help to solve conceptual problems within psychiatry. Cooper's discussion ranges over such topics as the nature of mental illnesses, the treatment decisions and diagnostic categories of psychiatry, the case-history as a form of explanation, how psychiatry might be value-laden, the claim that psychiatry is a multi-paradigm science, the distortion of psychiatric research by pharmaceutical industries, as well as engaging with the fundamental question whether the mind is reducible to something at the physical level. "Psychiatry and Philosophy of Science" demonstrates that cross-disciplinary contact between philosophy of science and psychiatry can be immensely productive for both subjects and it will be required reading for mental health professionals and philosophers alike. (shrink)

Diagnosing the Diagnostic and Statistical Manual of Mental Disorders (Karnac, 2014) evaluates the latest edition of the D.S.M.The publication of D.S.M-5 in 2013 brought many changes. Diagnosing the Diagnostic and Statistical Manual of Mental Disorders asks whether the D.S.M.-5 classifies the right people in the right way. It is aimed at patients, mental health professionals, and academics with an interest in mental health. Issues addressed include: How is the D.S.M. affected by financial links with the pharmaceutical industry? To what extent (...) were and should patients involved in revising the classification? How are diagnoses added to the D.S.M.? Does medicalization threaten the idea that anyone is normal? What happens when changes to diagnostic criteria mean that people lose their diagnoses? How important will the D.S.M. be in the future? (shrink)

Núñez et al. (2019) argue that cognitive science has failed either “to transition to a mature inter‐disciplinary coherent field” (p. 782) or “to generate a successful [Lakatosian] research program” (p. 789). We argue that the former was never the intention of many early researchers within the field, while the latter is an inappropriate criterion by which to judge an entire discipline. However, we concur with Núñez et al. (2019) that the individual disciplinary balance within cognitive science has changed over time. (...) Of particular concern is the fact that the use of computational methods appears to be on the wane. (shrink)

: This article seeks to explain how thought experiments work, and also the reasons why they can fail. It is divided into four sections. The first argues that thought experiments in philosophy and science should be treated together. The second examines existing accounts of thought experiments and shows why they are inadequate. The third proposes a better account of thought experiments. According to this account, a thought experimenter manipulates her worldview in accord with the “what if” questions posed by a (...) thought experiment. When all necessary manipulations are carried through, the result is either a consistent model or a contradiction. If a consistent model is achieved, the thought experimenter can conclude that the scenario is possible; if a consistent model cannot be constructed, then the scenario is not possible. The fourth section of the article uses this account to shed light on the circumstances in which thought experiments fail. (shrink)

This paper contributes to inquiries into the genealogy of governmentality and the nature of secularization by arguing that pastoralism continues to operate in the algorithmic register. Drawing on Agamben’s notion of signature, I elucidate a pair of historically distant yet archaeologically proximate affinities: the first between the pastorate and algorithmic control, and the second between the absconded God of late medieval nominalism and the authority of algorithms in the cybernetic age. I support my hypothesis by attending to the signaturial kinships (...) between, on the one hand, temporality and authority in our contemporary conjuncture, and, on the other, obedience and submission in Christian thought from late antiquity and the late Middle Ages. I thereby illustrate the hidden genealogical continuities between theological-pastoral technologies of power and technocratic-algorithmic modalities of governance. I conclude by suggesting that medieval counter-conducts may be redeployed in our present circumstances for emancipatory ends. (shrink)

The DSM is the main classification of mental disorders used by psychiatrists in the United States and, increasingly, around the world. Although widely used, the DSM has come in for fierce criticism, with many commentators believing it to be conceptually flawed in a variety of ways. This paper assesses some of these philosophical worries. The first half of the paper asks whether the project of constructing a classification of mental disorders that ‘cuts nature at the joints’ makes sense. What is (...) mental disorder? Are types of mental disorder natural kinds (that is, are the distinctions between them objective and of fundamental theoretical importance, as are, say, the distinctions between the chemical elements)? The second half of the paper addresses epistemic worries. Even if types of mental disorder are natural kinds there may be reason to doubt that the DSM will come to reflect their natural structure. In particular, I examine the extent to which the DSM is theory-laden, and look at how it has been shaped by social and financial factors. Ultimately, I conclude that although the DSM is of immense practical importance it is not likely to become the best possible classification of mental disorders. (shrink)

What counts as health or ill health? How do we deal with the fallibility of our own bodies? Should illness and disease be considered simply in biological terms, or should considerations of its emotional impact dictate our treatment of it? Our understanding of health and illness had become increasingly more complex in the modern world, as we are able to use medicine not only to fight disease but to control other aspects of our bodies, whether mood, blood pressure, or cholesterol. (...) This collection of essays foregrounds the concepts of health and illness and patient experience within the philosophy of medicine, reflecting on the relationship between the ill person and society. Mental illness is considered alongside physical disease, and the important ramifications of society's differentiation between the two are brought to light. Health, Illness and Disease is a significant contribution to shaping the parameters of the evolving field of philosophy of medicine and will be of interest to medical practitioners and policy-makers as well as philosophers of science and ethicists. (shrink)

The past 25 years have witnessed an increasing awareness of the importance of cognitive control in the regulation of complex behavior. It now sits alongside attention, memory, language, and thinking as a distinct domain within cognitive psychology. At the same time it permeates each of these sibling domains. This introduction reviews recent work on cognitive control in an attempt to provide a context for the fundamental question addressed within this topic: Is cognitive control to be understood as resulting from the (...) interaction of multiple distinct control processes, or are the phenomena of cognitive control emergent? (shrink)

In this article, I compare and evaluate R. D. Laing and A. Esterson’s account of schizophrenia as developed in Sanity, Madness and the Family, social models of disability, and accounts of extended mental disorder. These accounts claim that some putative disorders should not be thought of as reflecting biological or psychological dysfunction within the afflicted individual, but instead as external problems. In this article, I consider the grounds on which such claims might be supported. I argue that problems should not (...) be located within an individual putative patient in cases where there is some acceptable test environment in which there is no problem. A number of cases where such an argument can show that there is no internal disorder are discussed. I argue, however, that Laing and Esterson’s argument—that schizophrenia is not within diagnosed patients—does not work. The problem with their argument is that they fail to show that the diagnosed women in their study function adequately in any environment. (shrink)

I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single theory. I will also (...) argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories. (shrink)

The development of analogical reasoning has traditionally been understood in terms of theories of adult competence. This approach emphasizes structured representations and structure mapping. In contrast, we argue that by taking a developmental perspective, analogical reasoning can be viewed as the product of a substantially different cognitive ability – relational priming. To illustrate this, we present a computational (here connectionist) account where analogy arises gradually as a by-product of pattern completion in a recurrent network. Initial exposure to a situation primes (...) a relation that can then be applied to a novel situation to make an analogy. Relations are represented as transformations between states. The network exhibits behaviors consistent with a broad range of key phenomena from the developmental literature, lending support to the appropriateness of this approach (using low-level cognitive mechanisms) for investigating a domain that has normally been the preserve of high-level models. Furthermore, we present an additional simulation that integrates the relational priming mechanism with deliberative controlled use of inhibition to demonstrate how the framework can be extended to complex analogical reasoning, such as the data from explicit mapping studies in the literature on adults. This account highlights how taking a developmental perspective constrains the theory construction and cognitive modeling processes in a way that differs substantially from that based purely on adult studies, and illustrates how a putative complex cognitive skill can emerge out of a simple mechanism. (shrink)

Thirty years after the publication of Marr's seminal book Vision the papers in this topic consider the contemporary status of his influential conception of three distinct levels of analysis for information-processing systems, and in particular the role of the algorithmic and representational level with its cognitive-level concepts. This level has been downplayed or eliminated both by reductionist neuroscience approaches from below that seek to account for behavior from the implementation level and by Bayesian approaches from above that seek to account (...) for behavior in purely computational-level terms. (shrink)

Increasingly, Deaf activists claim that it can be good to be Deaf. Still, much of the hearing world remains unconvinced, and continues to think of deafness in negative terms. I examine this debate and argue that to determine whether it can be good to be deaf it is necessary to examine each claimed advantage or disadvantage of being deaf, and then to make an overall judgment regarding the net cost or benefit. On the basis of such a survey I conclude (...) that being deaf may plausibly be a good thing for some deaf people but not for others. (shrink)

ABSTRACT:The ethics of high frequency trading are obscure, due in part to the complexity of the practice. This article contributes to the existing literature of ethics in financial markets by examining a recent trend in regulation in high frequency trading, the prohibition of deception. We argue that in the financial markets almost any regulation, other than the most basic, tends to create a moral hazard and increase information asymmetry. Since the market’s job is, at least in part, price discovery, we (...) argue that simplicity of regulation and restraint in regulation are virtues to a greater extent than in other areas of finance. This article proposes criteria for determining which high-frequency trading strategies should be regulated. (shrink)

Human control of action in routine situations involves a flexible interplay between (a) task-dependent serial ordering constraints; (b) top-down, or intentional, control processes; and (c) bottom-up, or environmentally triggered, affordances. In addition, the interaction between these influences is modulated by learning mechanisms that, over time, appear to reduce the need for top-down control processes while still allowing those processes to intervene at any point if necessary or if desired. We present a model of the acquisition and control of goal-directed action (...) that goes beyond existing models by operationalizing an interface between two putative systems—a routine and a non-routine system—thereby demonstrating how explicitly represented goals can interact with the emergent task representations that develop through learning in the routine system. The gradual emergence of task representations offers an explanation for the transfer of control with experience from the non-routine goal-based system to the routine system. At the same time it allows action selection to be sensitive both to environmental triggers and to biasing from multiple levels within the goal system. (shrink)

The paper investigates an elliptical construction, Clarification Ellipsis, that occurs in dialogue. We suggest that this provides data that demonstrates that updates resulting from utterances cannot be defined in purely semantic terms, contrary to the prevailing assumptions of existing approaches to dynamic semantics. We offer a computationally oriented analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on highly structured, linguistically (...) heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS) in dialogue. We sketch an algorithm for the process of utterance integration in IS which leads to grounding or clarification. The account proposed here has direct applications to the theory of attitude reports, an issue which is explored briefly in the concluding remarks of the paper. (shrink)

We have sketched how it is possible to give an analysis for adjoined relative clauses which is consistent with the compositionality principle and have shown that the technique which seems necessary for this analysis can be used to provide a compositional semantics for the NP-S analysis of English relative clauses.It is unlikely that anyone working within the framework of a compositional theory would choose the NP-S analysis for English, since it is clearly much less elegant and simple, in some intuitive (...) sense, than the alternative Nom-S analysis. Our results seem to indicate, however, that such an analysis cannot be ruled out in principle, since any constraint on the theory that would exclude the NP-S analysis would seem to exclude the Hittite analysis as well. So the arguments for the Nom-S analysis in the English case must be based on other grounds, or the Hittite analysis is also incorrect and should be ruled out, or the happy discovery of some as yet unknown principles will allow one but not the other. (shrink)

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be used to model (...) constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

What would my life have been like if I had been born more intelligent? Or taller? Or a member of the opposite sex? Or a non-biological being? It is plausible that some of these questions make sense, while others stretch the limits of sense making. In addressing questions of how I might have been, genetic essentialism is popular, but this article argues that genetic essentialism, and other versions of origin essentialism for organisms, must be rejected. It considers the prospects for (...) counterpart theory and shows how counterpart theory can be used to illuminate volitional accounts of identity as proposed by Harry Frankfurt. This enables one to make sense of claims that, say, being gay, or Deaf, or Black, can be essential to someone's identity. The discussion is then extended to show how it can be made applicable to the transworld identity theorist who denies that individuals possess essential properties. (shrink)

Topics in Cognitive Science, Volume 14, Issue 2, Page 214-222, April 2022.

It has been suggested that the enterprise of developing mechanistic theories of the human cognitive architecture is flawed because the theories produced are not directly falsifiable. Newell attempted to sidestep this criticism by arguing for a Lakatosian model of scientific progress in which cognitive architectures should be understood as theories that develop over time. However, Newell's own candidate cognitive architecture adhered only loosely to Lakatosian principles. This paper reconsiders the role of falsification and the potential utility of Lakatosian principles in (...) the development of cognitive architectures. It is argued that a lack of direct falsifiability need not undermine the scientific development of a cognitive architecture if broadly Lakatosian principles are adopted. Moreover, it is demonstrated that the Lakatosian concepts of positive and negative heuristics for theory development and of general heuristic power offer methods for guiding the development of an architecture and for evaluating the contribution and potential of an architecture's research program. (shrink)

We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon. We will suggest that using record types gives us a simple and intuitive account of dot types and also makes a connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. We propose a view of lexical innovation which draws both on Pustejovsky’s original work on the Generative Lexicon (...) and the notion of resource present in the Grammatical Framework. (shrink)

We consider approaches to explanation within the cognitive sciences that begin with Marr's computational level or Marr's implementational level and argue that each is subject to fundamental limitations which impair their ability to provide adequate explanations of cognitive phenomena. For this reason, it is argued, explanation cannot proceed at either level without tight coupling to the algorithmic and representation level. Even at this level, however, we argue that additional constraints relating to the decomposition of the cognitive system into a set (...) of interacting subfunctions are required. Integrated cognitive architectures that permit abstract specification of the functions of components and that make contact with the neural level provide a powerful bridge for linking the algorithmic and representational level to both the computational level and the implementational level. (shrink)

Empirical ethics research is increasingly valued in bioethics and healthcare more generally, but there remain as yet under-researched areas such as pharmacy, despite the increasingly visible attempts by the profession to embrace additional roles beyond the supply of medicines. A descriptive and critical review of the extant empirical pharmacy ethics literature is provided here. A chronological change from quantitative to qualitative approaches is highlighted in this review, as well as differing theoretical approaches such as cognitive moral development and the four (...) principles of biomedical ethics. Research with pharmacy student cohorts is common, as is representation from American pharmacists. Many examples of ethical problems are identified, as well as commercial and legal influences on ethical understanding and decision making. In this paper, it is argued that as pharmacy seeks to develop additional roles with concomitant ethical responsibilities, a new prescription is needed for empirical ethics research in pharmacy—one that embraces an agenda of systematic research using a plurality of methodological and theoretical approaches to better explore this under-researched discipline. (shrink)

This paper asks what it means to say that a disorder is a “real” disorder and then considers whether culture-bound syndromes are real disorders. Following J.L. Austin I note that when we ask whether some supposed culture-bound syndrome is a real disorder we should start by specifying what possible alternatives we have in mind. We might be asking whether the reported behaviours genuinely occur, that is, whether the culture-bound syndrome is a genuine phenomenon as opposed to a myth. We might (...) be wondering whether the condition should rightly be considered a disorder, as opposed to some sort of non-disorder condition. We might want to know whether the culture-bound syndrome is really a distinct disorder, in the sense that scientific classification systems should include it as a separate category, or whether it is just a variant of a universally occurring disorder. I argue that some specific difficulties can arise with determining whether a culture-bound syndrome is a real disorder in each of these three senses. However, the frequent assumption that real disorders will necessarily occur universally, and that those that occur only in certain environments are suspicious is not generally justified. (shrink)

Cognitive architectures - task-general theories of the structure and function of the complete cognitive system - are sometimes argued to be more akin to frameworks or belief systems than scientific theories. The argument stems from the apparent non-falsifiability of existing cognitive architectures. Newell was aware of this criticism and argued that architectures should be viewed not as theories subject to Popperian falsification, but rather as Lakatosian research programs based on cumulative growth. Newell's argument is undermined because he failed to demonstrate (...) that the development of Soar, his own candidate architecture, adhered to Lakatosian principles. This paper presents detailed case studies of the development of two cognitive architectures, Soar and ACT-R, from a Lakatosian perspective. It is demonstrated that both are broadly Lakatosian, but that in both cases there have been theoretical progressions that, according to Lakatosian criteria, are pseudo-scientific. Thus, Newell's defense of Soar as a scientific rather than pseudo-scientific theory is not supported in practice. The ACT series of architectures has fewer pseudo-scientific progressions than Soar, but it too is vulnerable to accusations of pseudo-science. From this analysis, it is argued that successive versions of theories of the human cognitive architecture must explicitly address five questions to maintain scientific credibility. (shrink)

Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an account within a formal linguistic theory. Nonetheless, given the ubiquity of quotation in natural language, linguists need to explicate the formal mechanisms it employs. The central claim of this paper is that once one assumes a dialogical perspective on language such as provided by the KoS (KoS is not an (...) acronym, despite emphasizing a Konversationally Oriented Semantics) framework, formalized in a rich type theory like Type Theory with Records, much of the mystery evaporates. In particular, one can utilize as denotations for quotative constructions entities that are independently motivated for dialogue processing—utterance types and locutionary propositions, Austinian propositions about speech events. (shrink)

We discuss the development of cognitive neuroscience in terms of the tension between the greater sophistication in cognitive concepts and methods of the cognitive sciences and the increasing power of more standard biological approaches to understanding brain structure and function. There have been major technological developments in brain imaging and advances in simulation, but there have also been shifts in emphasis, with topics such as thinking, consciousness, and social cognition becoming fashionable within the brain sciences. The discipline has great promise (...) in terms of applications to mental health and education, provided it does not abandon the cognitive perspective and succumb to reductionism. (shrink)

Automatic imitation or “imitative compatibility” is thought to be mediated by the mirror neuron system and to be a laboratory model of the motor mimicry that occurs spontaneously in naturalistic social interaction. Imitative compatibility and spatial compatibility effects are known to depend on different stimulus dimensions—body movement topography and relative spatial position. However, it is not yet clear whether these two types of stimulus–response compatibility effect are mediated by the same or different cognitive processes. We present an interactive activation model (...) of imitative and spatial compatibility, based on a dual-route architecture, which substantiates the view they are mediated by processes of the same kind. The model, which is in many ways a standard application of the interactive activation approach, simulates all key results of a recent study by Catmur and Heyes (2011). Specifically, it captures the difference in the relative size of imitative and spatial compatibility effects; the lack of interaction when the imperative and irrelevant stimuli are presented simultaneously; the relative speed of responses in a quintile analysis when the imperative and irrelevant stimuli are presented simultaneously; and the different time courses of the compatibility effects when the imperative and irrelevant stimuli are presented asynchronously. (shrink)