Our understanding of the nature and processing of figurative language is central to several important issues in cognitive science, including the relationship of language and thought, how we process language, and how we comprehend abstract meaning. Over the past fifteen years, traditional approaches to these issues have been challenged by experimental psychologists, linguists, and other cognitive scientists interested in the structures of the mind and the processes that operate on them. In Figurative Language and Thought, internationally recognized experts in the (...) field of figurative language, Albert Katz, Mark Turner, Raymond W. Gibbs Jr., and Cristina Cacciari, provide a coherent and focused debate on the subject. The book's authors discuss a variety of fundamental questions, including: What can figures of speech tell us about the structure of the conceptual system? If and how should we distinguish the literal from the nonliteral in our theories of language and thought? Are we primarily figurative thinkers and consequently figurative language users or the other way around? Why do we prefer to speak metaphorically in everyday conversation, when literal options may be available for use? Is metaphor the only vehicle through which we can understand abstract concepts? What role do cultural and social factors play in our comprehension of figurative language? These and related questions are raised and argued in an integrative look at the role of nonliteral language in cognition. This volume, a part of Counterpoints series, will be thought-provoking reading for a wide range of cognitive psychologists, linguists, and philosophers. (shrink)

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With (...) this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists. (shrink)

Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...

The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.

An introduction to the various logics of truth and modality as part of a foundation for the construction of theories of knowledge representation. The book reviews various semantic theories and employs them as the basis for the development of logics of truth and modality.

Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what kind of (...) thing is it? In this paper, we shall argue that an appropriate conceptualization is furnished by the notion of a technical artifact. (shrink)

In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones (Turner 2018), our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will (...) drive our investigation; an investigation that will touch upon some of the central concerns of the philosophy of computer science (Turner 2017). (shrink)

We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is “better” than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of interest (...) into a set-theoretic model. Such theories may be deemed to have “explanatory” or “predictive” power if a mapping can found into expressions of set-theory that have the appropriate behaviour by virtue of the rules of set-theory (for example Montague 1973; Montague1974). This can be contrasted with an approach in which we can help ourselves to “new” primitives and ontological categories, and devise logical rules and axioms that capture the appropriate inferential behaviour (as in Turner 1992). In general, this alternative approach can be criticised as being mere “descriptivism”, lacking predictive or explanatory power. Here we will seek to defend the axiomatic approach. Any formal account must assume some normative interpretation, but there is a sense in which such theories can provide a more honest characterisation (cf. Dummett 199). In contrast, the set-theoretic approach tends to conflate distinct ontological notions. Mapping a pattern of semantic behaviour into some pre-existing set-theoretic behaviour may lead to certain aspects of that behaviour being overlooked, or ignored (Chierchia & Turner 1988; Bealer 1982). Arguments about the explanatory and predictive power of set-theoretic interpretations can also be questioned (see Benacerraf 1965, for example). We aim to provide alternative notions for evaluating the quality of a formalisation, and the role of formal theory. Ultimately, claims about the methodological and conceptual inadequacies of axiomatic accounts compared to set-theoretic reductions must rely on criteria and assumptions that lie outside the domain of formal semantics as such. (shrink)

The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.

The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.

By the term nominalization I mean any process which transforms a predicate or predicate phrase into a noun or noun phrase, e.g. feminine is transformed into feminity. I call these derivative nouns abstract singular terms. Our aim is to provide a model-theoretic interpretation for a formal language which admits the occurrence of such abstract singular terms.

_Yanomami_ raises questions central to the field of anthropology—questions concerning the practice of fieldwork, the production of knowledge, and anthropology's intellectual and ethical vision of itself. Using the Yanomami controversy—one of anthropology's most famous and explosive imbroglios—as its starting point, this book draws readers into not only reflecting on but refashioning the very heart and soul of the discipline. It is both the most up-to-date and thorough public discussion of the Yanomami controversy available and an innovative and searching assessment of (...) the current state of anthropology. The Yanomami controversy came to public attention through the publication of Patrick Tierney's best-selling book, _Darkness in El Dorado,_ in which he accuses James Neel, a prominent geneticist who belonged to the National Academy of Sciences, as well as Napoleon Chagnon, whose introductory text on the Yanomami is perhaps the best-selling anthropological monograph of all time, of serious human rights violations. This book identifies the ethical dilemmas of the controversy and raises deeper, structural questions about the discipline. A portion of the book is devoted to a unique roundtable in which important scholars on different sides of the issues debate back and forth with each other. This format draws readers into deciding, for themselves, where they stand on the controversy’s—and many of anthropology’s—central concerns. All of the royalties from this book will be donated to helping the Yanomami improve their healthcare. (shrink)

Behavior, language, development, identity, and science—all of these phenomena are commonly characterized as 'social' in nature. But what does it mean to be 'social'? Is there any intrinsic 'mark' of the social shared by these phenomena? In the first book to shed light on this foundational question, twelve distinguished philosophers and social scientists from several disciplines debate the mark of the social. Their varied answers will be of interest to sociologists, anthropologists, philosophers, psychologists, and anyone interested in the theoretical foundations (...) of the social sciences. (shrink)

Last year I published a short article urging bioethicists to carefully examine the question of what ought to constitute the canonical issues topics and questions driving research and teaching in bioethics. Why some subjects dominate the field whereas other topics are regarded as matters for scholars in other disciplines is a question that has intrigued me for nearly a decade. How are the boundaries of bioethics established? What factors influence research agendas and the creation of bioethics curricula? How do funding (...) agencies, editors, and leading scholars shape the field of bioethics? These questions are increasingly receiving scrutiny from Charles Bosk, Raymond De Vries, and other researchers as they explore the sociology of bioethics and the “construction” of the “ethical enterprise.". (shrink)

Okay, Professor Turner is not Rodney King. He is not responding to bioethicists and social scientists running amuck, setting automobiles aflame, and pelting each other with rocks and broken bottles. He does not come right out and ask, “Why can't we all just get along?” But in its academic way, Turner's essay is an effort to negotiate a truce in the interdisciplinary squabbles that plague bioethics, a plea to move bioethics beyond the “misleading” and “unhelpful” “demarcation of disciplinary (...) goals” that leads to “dichotomous thinking” and “polemical accusations.”. (shrink)

This paper contributes to the growing literature in social epistemology of diagnosing the epistemically problematic features of fake news. I identify two novel problems: the problem of relevant alternatives; and the problem of the degradation of the epistemic environment. The former arises among individual epistemic transactions. By making salient, and thereby relevant, alternatives to knowledge claims, fake news stories threaten knowledge. The problem of the degradation of the epistemic environment arises at the level of entire epistemic communities. I introduce the (...) notion of an epistemic environment, roughly the totality of resources and circumstances relevant to assessing the epistemically interesting statuses, such as knowledge. Fake news degrades our epistemic environment by undermining confidence in epistemic institutions and altering epistemic habits, thereby making the environment less conducive to achieving positive epistemic statuses. This is problematic even if the decrease in confidence and the altering of habits are rational. I end by considering solutions to these problems, stressing the importance of reproaching each other for proliferating fake news. I argue that we should reproach even faultless purveyors of fake news. This is because fake news typically arises in abnormal epistemic contexts, where there is widespread ignorance of, and noncompliance with, correct epistemic norms. (shrink)

This book explores how people's subjective, felt experiences of their bodies in action provide part of the fundamental grounding for human cognition and language. Cognition is what occurs when the body engages the physical and cultural world and must be studied in terms of the dynamical interactions between people and the environment. Human language and thought emerge from recurring patterns of embodied activity that constrain ongoing intelligent behavior. We must not assume cognition to be purely internal, symbolic, computational, and disembodied, (...) but seek out the gross and detailed ways that language and thought are inextricably shaped by embodied action. Embodiment and Cognitive Science describes the abundance of empirical evidence from many disciplines, including work on perception, concepts, imagery and reasoning, language and communication, cognitive development, and emotions and consciousness, that support the idea that the mind is embodied. (shrink)

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

David Lewis defends the thesis of the asymmetry of overdetermination: later affairs are seldom overdetermined by earlier affairs, but earlier affairs are usually overdetermined by later affairs. Recently, Carol Cleland has argued that since the distinctive methodologies of historical science and experimental science exploit different aspects of this asymmetry, the methodology of historical science is just as good, epistemically speaking, as that of experimental science. This paper shows, first, that Cleland's epistemological conclusion does not follow from the thesis of the (...) asymmetry of overdetermination, because overdetermination is compatible with epistemic underdetermination. The paper also shows, contra Cleland, that there is at least one interesting sense in which historical science is epistemically inferior to experimental science, after all, because local underdetermination problems are more widespread in historical than in experimental science. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

A closely argued book about what the negative tradition in Western theology involves.

Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

This chapter focuses on AI-based cognitive and perceptual enhancements. AI-based brain enhancements are already under development, and they may become commonplace over the next 30–50 years. We raise doubts concerning whether radical AI-based enhancements transhumanists advocate will accomplish the transhumanists goals of longevity, human flourishing, and intelligence enhancement. We urge that even if the technologies are medically safe and are not used as tools by surveillance capitalism or an authoritarian dictatorship, these enhancements may still fail to do their job for (...) philosophical reasons. In what follows, we explore one such concern, a problem that involves the nature of the self. We illustrate that the so called transhumanist efforts to “merge oneself with AI” could lead to perverse realizations of AI technology, such as the demise of the person who sought enhancement. And, in a positive vein, we offer ways to avoid this, at least within the context of one theory of the nature of personhood. (shrink)