In previous work we have developed Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like "most", and we suggest a dynamic type-theoretic approach to anaphora and ellipsis resolution. Here we extend the type system to include product types, and use these to define a permutation function (...) that generates underspecified scope representations within PTCT. We indicate how filters can be added to encode constraints on possible scope readings. Our account offers several important advantages over other current theories of underspecification. (shrink)

This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable (...) written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language. (shrink)

This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

In this paper, we investigate the ‘ought implies can’ thesis, focusing on explanations and interpretations of OIC, with a view to clarifying its uses and relevance to legal philosophy. We first review various issues concerning the semantics and pragmatics of OIC; then we consider how OIC may be incorporated in Hartian and Kelsenian theories of the law. Along the way we also propose a taxonomy of OIC-related claims.

In this paper we address an important issue in the development of an adequate formal theory of underspecified semantics. The tension between expressive power and computational tractability poses an acute problem for any such theory. Generating the full set of resolved scope readings from an underspecified representation produces a combinatorial explosion that undermines the efficiency of these representations. Moreover, Ebert (2005) shows that most current theories of underspecified semantic representation suffer from expressive incompleteness. In previous work we present an account (...) of underspecified scope representations within Property Theory with Curry Typing (PTCT), an intensional first-order theory for natural language semantics. We review this account, and we show that filters applied to the underspecified-scope terms of PTCT permit expressive completeness. While they do not solve the general complexity problem, they do significantly reduce the search space for computing the full set of resolved scope readings in non-worst cases. We explore the role of filters in achieving expressive completeness, and their relationship to the complexity involved in producing full interpretations from underspecified representations. This paper is dedicated to Jim Lambek. (shrink)

The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical and computational semantics. Features completely new content from the first edition of The Handbook of Contemporary Semantic Theory Features contributions by leading semanticists, who introduce core areas of contemporary semantic research, while discussing current research Suitable for graduate students for courses in semantic theory and for advanced researchers as an introduction to current theoretical work.

The tension between expressive power and computational tractability poses an acute problem for theories of underspecified semantic representation. In previous work we have presented an account of underspecified scope representations within Property Theory with Curry Typing, an intensional first-order theory for natural language semantics. Here we show how filters applied to the underspecified-scope terms of PTCT permit both expressive completeness and the reduction of computational complexity in a significant class of non-worst case scenarios.

We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like “most.” We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of (...) this phenomenon. (shrink)

Intensional logic (IL) and its application to natural language, which the present monograph addresses, was first developed by Richard Montague in the late 1960s (e.g., Montague 1970a, 1970b). Through the efforts of (especially) Barbara Partee (e.g., Partee 1975, 1976), and Richmond Thomason, who edited the posthumous collection of Montague’s works (Thomason 1974), this became the main framework for those who aspired to a formal semantic theory for natural language, and these included computational linguists as early as Jerry Hobbs in the (...) late 1970s (e.g., Hobbs and Rosenschein 1977). In fact, until the advent of the current interest in statistical linguistics with its own conception of what semantics is, IL, or some variant of it, was perhaps the main theory of semantics within computational linguistics generally. And within current computational semantics it still is. But over the years, philosophers, linguists, and computational linguists have noted a variety of shortcomings in Montague’s version of IL. Montague defined intensions as functions from possible worlds to extensions in that world. But this had the effect of making logically equivalent expressions have the same intension, thus leading to the problem of “logical omniscience” (believing/knowing all the logical consequences of what is believed/known). Montague had based his IL on Church’s simple theory of types (Church 1940), supplemented with intensions of each type. But this implies that each natural language item accepts only arguments of some one fixed type. However, this is not true for natural language, where conjunctions, verbs, and pretty much any functional term that accepts arguments at all can accept arguments of different types. (For example, and can accept arguments that are of the sentence type, of the verb phrase type, of the adjective type, etc.; and indeed, it can accept arguments of differing types in its different argument.. (shrink)

The paper presents Property Theory with Curry Typing where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of conjunctive terms. Such terms (...) can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (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)

We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...) computation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Killing Our Way Out of ViolenceEngaging Wrangham's The Goodness ParadoxChris Haw (bio) and Richard Wrangham (bio)Wrangham's Goodness Paradox (GP) offers excellent anthropological research for mimetic theorists interested in the questions of human evolution and violence. It theorizes a framework of how group killing played a selective function in the emergence of our species, but it leaves open plenty of questions and concerns for productive, critical dialogue. Wolfgang Palaver has (...) written a short affirmation of the book, and Melvin Konner reviewed it for The Atlantic.1 But as one who has taken keen interest in the evolutionary and theological dimensions of mimetic theory,2 I offer here a longer engagement with the book and the author. I begin by extrapolating Wrangham's argument, I offer some critique, and then I share an edited version of my extended conversation with him.Wrangham's overall paradox is that humanity emerged through killing our way out of violence. More precisely, proactive coalitionary killing against aggressive, alpha-male individuals selected out, in a genetic pressure over hundreds of thousands of years, the more temperamental threads of Homo, resulting in a species (sapiens) who are relatively more domesticated and docile.3 [End Page 63]The argument proceeds as follows. First: Domestication is a real, genetic thing. Various domesticated species tend to share an odd, seemingly unrelated set of features called a "domestication syndrome." This refers to some combination of phenotype differences as compared to nondomesticated cousins: reduced skeleton mass, reduced/rounder cranium sizes and jaw lines, floppier ears, white patches of fur, extended juvenility, more frequent fertile periods, males with greater approximation to female characteristics, and so on. Beneath all these is a genetic reduction in "reactive aggression," which is the propensity for violence related to irascibility and short-fused tempers.Two: Domestication can happen intentionally or just randomly in nature. Humans have domesticated foxes in quick succession, breeding only ones with reduced reactive aggression, resulting in a domestication syndrome.4 The same seems to have happened slowly, with increasing intentionality over time, in the domestication of wolves into dogs. (This perhaps first began with the natural selection of wolves who were least aggravated by getting near humans to eat their camp detritus.) But domestication can also happen outside the human sphere, as in bonobos, who are basically a domesticated cousin of chimpanzees—evidenced not only in their reduced aggression but in their own domestication syndrome.5 This happened, he argues, largely through contingent, niche ecological features related to landscape, dramatic climate variations, and changes in competition over food.Three: It has long been asked whether humans are a "domesticated" species or whether such a thought is just anthropocentrism. The answer is definitely yes, but who domesticated us? A traditional answer, of course, was that God made us (or that some humans are properly domesticated, and others savage); but what if we ask in a more specifically scientific, causal framework? One early anthropologist posed that perhaps some now-extinct super-species domesticated us.6 Wrangham's answer is that we unintentionally domesticated ourselves by persistently killing off the genetic lines of the most aggressive individuals. This has resulted in Homo sapiens being basically a domesticated version of Homo neanderthalensis, erectus, and so on. Girard's not-unrelated answer is that religion domesticated us. By "religion" Girard means an integrated pattern of chaotic/exceptional and ordered/normal behaviors that contain violence, mediated through our mimetic capacity: chaotic mimetic violence restrained and channeled through mimetic ritual, taboo, and myth. This created an increasing feedback loop that exercised and intensified our mimetic capacity while protecting against its dangerous excess. Whatever the case, compared with our hominin cousins, the human phenotype shows strong signs of a domestication [End Page 64] syndrome: reduced cranium and jaw sizes, smaller skeleton mass, and a likely decreased reactive aggression in comparison to previous Homo.Fourth, and finally: Wrangham argues this domestication is related to a long, prehuman arc of transition, throughout the mid-Pleistocene (the Pleistocene ranges from about 2 million years ago to the thawing of the last ice age, 12,000 years ago), from older alpha-dominance patterns to tyrannies of egalitarian patriarchy. Wrangham draws upon hunter... (shrink)

The primary aim of this book is to understand how seemings relate to justification and whether some version of dogmatism or phenomenal conservatism can be sustained. It also addresses a number of other issues, including the nature of seemings, cognitive penetration, Bayesianism, and the epistemology of morality and disagreement.

Open-minded people should endorse dogmatism because of its explanatory power. Dogmatism holds that, in the absence of defeaters, a seeming that P necessarily provides non-inferential justification for P. I show that dogmatism provides an intuitive explanation of four issues concerning non-inferential justification. It is particularly impressive that dogmatism can explain these issues because prominent epistemologists have argued that it can’t address at least two of them. Prominent epistemologists also object that dogmatism is absurdly permissive because it allows a seeming to (...) provide justification even if the seeming was caused in some apparently inappropriate way. I conclude by disarming this objection. (shrink)

It is natural to think that many of our beliefs are rational because they are based on seemings, or on the way things seem. This is especially clear in the case of perception. Many of our mathematical, moral, and memory beliefs also appear to be based on seemings. In each of these cases, it is natural to think that our beliefs are not only based on a seeming, but also that they are rationally based on these seemings—at least assuming there (...) is no relevant counterevidence. This piece is an introduction to a volume dedicated to the question of what the connection is between seemings and justified belief: under what conditions, if any, can a seeming justify its content? (shrink)

Does inferential justification require the subject to be aware that her premises support her conclusion? Externalists tend to answer “no” and internalists tend to answer “yes”. In fact, internalists often hold the strong higher-level requirement that an argument justifies its conclusion only if the subject justifiably believes that her premises support her conclusion. I argue for a middle ground. Against most externalists, I argue that inferential justification requires that one be aware that her premises support her conclusion. Against many internalists, (...) I argue that this higher-level awareness needn’t be doxastic or justified. I also argue that the required higher-level awareness needn’t be caused in some appropriate way, e.g. by a reliable or properly functioning faculty. I suspect that this weaker higher-level requirement is overlooked because, at first glance, it seems absurd to allow nondoxastic, unjustified, and unreliably-caused higher-level awareness to contribute to inferential justification. One of the central goals of this paper is to explain how such weak awareness can make an essential contribution to inferential justification. (shrink)

This work examines Japanese government policies that impact on the environment in order to determine whether they incorporate a sufficient ethical substance. In the enquiry into the ethics of the policies, Kagawa-Fox explores how Western philosophers combined their theories to develop a 'Western environmental ethics code'; she also reveals the existence of a unique 'Japanese environmental ethics code' built on Japan's cultural traditions, religious practices, and empirical experiences. The discovery of the distinctive Japanese code is not only important for what (...) it discloses as a new philosophy, but most importantly how it can be used to analyse the ethical framework of the Japanese policies. In spite of the positive contributions that Japan has shown towards the global environment, the government has failed to show a corresponding moral obligation to the world ecology in its global environmental policy. The policies examined in the three case studies comprising whaling, nuclear energy, and forestry, have also been found wanting in ecological ethical considerations, both from a Western and Japanese perspective. The main reason for this is that the integrity of the policies has been compromised by Japanese vested interest groups; business and political interests ensure that the policies are primarily focused on maintaining sustainable economic growth. Whilst Japan's global environmental policy initiatives are the key to its economic survival into the 21st century, and these initiatives may achieve their aim, they do however fail the Japanese code of environmental ethics."--Publisher's description. (shrink)

"Feminism, Theory and the Politics of Difference" looks at the question of difference across the full spectrum of feminist theory from liberal, radical, lesbian ...

The chapter introduces and characterizes the notion of fittingness. It charts the history of the relation and its relevance to contemporary debates in normative and metanormative philosophy and proceeds to survey issues to do with fittingness covered in the volume’s chapters, including the nature and epistemology of fittingness, the relations between fittingness and reasons, the normativity of fittingness, fittingness and value theory, and the role of fittingness in theorizing about responsibility. The chapter concludes with a brief discussion of issues to (...) do with fittingness that aren’t covered extensively by the volume’s chapters in order to indicate avenues for further research. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is whether, given (...) classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

This chapter explores whether and when experience can be evidence. It argues that experiences can be evidence, and that this claim is compatible with just about any epistemological theory. It evaluates the most promising argument for the conclusion that certain experiences (e.g., seeming to see) are always evidence for believing what the experiences represent. While the argument is very promising, one premise needs further defense. The argument also depends on a certain connection between reasonable belief and the first person perspective.

This article contends that we can learn much about how Coetzee tells stories by examining how he treats the subject of disgust. Coetzee represents disgust so often in his fiction, I argue, because disgust figures the subject’s relation to the object as both embodied and contemplative. Staging scenes of disgust enables Coetzee to do two apparently contradictory things at once: (1) represent the immediacy of a focalizing character’s physical reaction to the world and (2) establish a reflective distance between the (...) focalizing character and object that encourages both character and reader to contemplate the ignoble aspect of human mortality. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

What happens when science hits the headlines - for all the wrong reasons? Do you remember the 'Climategate' email leak? Or the 'Frankenscience'-style headlines about the perils of GM foods? What about the time the government sacked its own science advisor for challenging drug laws? The truth behind the attention-grabbing headlines was complex, nuanced - sometimes even mundane. Yet that's not how it was reported or remembered. We rely on the media to help us make sense of complicated scientific developments (...) that could transform our world. Yet all too often, science coverage in the British press has been less fact than fiction. And equally scientists have too often either avoided engaging with the press or have been actively prevented from doing so. The result? Media hype, political spin, and misinformation from those with vested interests. In Beyond the Hype, Fiona Fox - founding director of the Science Media Centre, set up by scientists to encourage openness and accuracy in science communication - takes us behind the scenes of some of the most contentious stories in science over the past two decades. From animal research and genetically modified foods to hybrid embryos and climate change, she reveals the highs and lows of each controversy and shows us how transparency can radically transform the way science is reported, and what a difference that makes to public understanding. (shrink)

Learn to think critically with the leading introduction to reasoning and argumentation. Highlights In clear, reader-friendly language, The Power of Critical Thinking provides an engaging introduction to argumentation, deductive and inductive reasoning, inferencing, and evaluating scientific theories New Critical Thinking and the Media boxes in each chapter apply the principles of critical thinking to the realms of media, advertising, and news New content on "fake news," the COVID-19 pandemic, and other important contemporary topics reflects the changing world in which today's (...) students must apply their critical thinking abilities New and updated exercises offer extensive opportunities for students to practise the skills through which they will become active, engaged critical thinkers Additional online resources-including a study guide and practice quizzes for students as well as an instructor's manual, a test bank, and PowerPoint slides for instructors-offer stimulating materials to enhance the learning and teaching experiences. About the Authors Chris MacDonald is an associate professor and chair of the Law and Business Department at the Ted Rogers School of Management, Toronto Metropolitan University. Lewis Vaughn is an independent scholar and author of several textbooks on philosophy, ethics, and critical thinking. (shrink)

Ethical principles and ethical decision making -- Ethics, society, and individuals -- Individuals, expectations, and groups -- Institutions, norms and ethics -- A hypothetical case : endeavour organisation -- Conflicts of obligations -- Obligations, exploitation, and identity -- Decisions, groups, and reasons.

This chapter contains sections titled: Simple (or Hard) Decisions Simplicity and Complexity Globalization, Coffee, and Sweden Simple (or Hard) Gifts Notes.

This chapter contains sections titled: Playing the Blues Defining the Blues Wittgenstein to the Rescue Good Blues, Bad Blues, Walking Dead Blues Notes.

While Kierkegaard’s philosophy focuses on concrete human existence, his thought has rarely been challenged regarding concrete and contemporary moral issues. This volume offers an overview of contemporary ethical issues from a Kierkegaardian perspective, deliberately taking him out of the sphere of Theology and Christian Ethics, and examining the ways in which his works can provide fruitful insight into questions which Kierkegaard certainly never himself envisaged, such as accepting refugees into our communities, understanding how we relate to social media, issues of (...) identity with regard to bioengineering or transgender identity, or problems of interreligious dialogue. The contributions in this volume, by international scholars, seek to address both the challenges and insights of Kierkegaard’s existential ethics for our contemporary societies, and its relation to topics of current interest in the field of moral philosophy. The volume is organized into three major sections: the first focusing on the relation between ethics and religion, a topic of primary importance with regard to the development of religious foundationalism and the challenges of dealing with diverse belief systems within our communities; the second on our understandings of ourselves and our relations to others with regard to issues of media and community; and the third targeting more specifically questions of identity, and the ways in which the developments of modern science impact identity construction. This work offers new paths for critically engaging with the moral issues of our times from an existential perspective. (shrink)

What is the epistemological significance of deep disagreement? Part I explored the nature of deep disagreement, while Part II considers its epistemological significance. It focuses on two core problems: the incommensurability and the rational resolvability problems. We critically survey key responses to these challenges, before raising worries for a variety of responses to them, including skeptical, relativist, and absolutist responses to the incommensurability problem, and to certain steadfast and conciliatory responses to the rational resolvability problem. We then pivot to the (...) ethical and political dimensions of deep disagreement. We focus on whether an unwillingness to engage with positions one considers to be immoral or repugnant might be good, and conclude with some reflections on the moral risks of engagement. (shrink)

The coming of bioethics -- The coming of bioethicists -- "Choices on our conscience": the inauguration of the Kennedy Institute of Education -- "Hello, Dolly": bioethics in the media -- Celebrating bioethics and bioethicists -- Thinking socially and culturally in bioethics -- Reminiscences of observing participants -- Bioethics circles the globe -- Bioethics in France -- The development of bioethics in the Islamic Republic of Pakistan -- The coming of the culture wars to American bioethics.