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)

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.

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 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)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

The Neo-Moorean Deduction (I have a hand, so I am not a brain-in-a-vat) and the Zebra Deduction (the creature is a zebra, so isn’t a cleverly disguised mule) are notorious. Crispin Wright, Martin Davies, Fred Dretske, and Brian McLaughlin, among others, argue that these deductions are instances of transmission failure. That is, they argue that these deductions cannot transmit justification to their conclusions. I contend, however, that the notoriety of these deductions is undeserved. My strategy is to clarify, attack, defend, (...) and apply. I clarify what transmission and transmission failure really are, thereby exposing two questionable but quotidian assumptions. I attack existing views of transmission failure, especially those of Crispin Wright. I defend a permissive view of transmission failure, one which holds that deductions of a certain kind fail to transmit only because of premise circularity. Finally, I apply this account to the Neo-Moorean and Zebra Deductions and show that, given my permissive view, these deductions transmit in an intuitively acceptable way—at least if either a certain type of circularity is benign or a certain view of perceptual justification is false. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

A selection of his more important writings.

The author argues that our best hope for addressing world problems (from climate change to violence, to poverty) is to teach critical thinking through the study of language and all symbol systems. This means removing disciplinary boundaries so that we can focus more effectively on solving common problems. Human survival also depends upon our critical analysis of electronic media and our wise uses of technology. Critical thinking via all symbol systems is more likely to generate humane actions. Therefore, education—not governments (...) or armies or institutions or private corporations—is our best hope. (shrink)

The metaphor of weighing reasons brings to mind a single (double-pan balance) scale. The reasons for φ go in one pan and the reasons for ~φ go in the other. The relative weights, as indicated by the relative heights of the two pans of the scale, determine the deontic status of φ. This model is simple and intuitive, but it cannot capture what it is to weigh reasons correctly. A reason pushes the φ pan down toward permissibility (has justifying weight) (...) only insofar as it pushes the ~φ pan up toward impermissibility (has requiring weight). Thus, Single Scale is committed to Single Proportion (first pass): all reasons have the same proportion of justifying and requiring weight. Many normative theories reject Single Proportion, and they are not thereby confused about how to weigh reasons. One can be mistaken about the weight of a reason without being confused about how reasons are to be weighed. Single Scale is problematic, not because it appeals to the image of a scale, but because it appeals to the image of a single scale. We need two scales to capture what it is to weigh reasons correctly. (shrink)

Augustine is the person from the ancient world about whom we know most. He is the author of an intimate masterpiece, the Confessions, which continues to delight its many admirers. In it he writes about his infancy and his schooling in the classics in late Roman North Africa, his remarkable mother, his sexual sins ('Give me chastity, but not yet,' he famously prayed), his time in an outlawed heretical sect, his worldly career and friendships and his gradual return to God. (...) His account of his own eventual conversion is a classic study of anguish, hesitation and what he believes to be God's intervention. It has inspired philosophers, Christian thinkers and monastic followers, but it still leaves readers wondering why exactly Augustine chose to compose a work like none before it. Robin Lane Fox follows Augustine on a brilliantly described journey, combining the latest scholarship with recently found letters and sermons by Augustine himself to give a portrait of his subject which is subtly different from older biographies. Augustine's heretical years as a Manichaean, his relation to non-Christian philosophy, his mystical aspirations and the nature of his conversion are among the aspects of his life which stand out in a sharper light. For the first time Lane Fox compares him with two contemporaries, an older pagan and a younger Christian, each of whom also wrote about themselves and who illumine Augustine's life and writings by their different choices. More than a decade passed between Augustine's conversion and his beginning the Confessions. Lane Fox argues that the Confessions and their thinking were the results of a long gestation over these years, not a sudden change of perspective, but that they were then written as a single swift composition and that its final books are a coherent consummation of its scriptural meditation and personal biography. This exceptional study reminds us why we are so excited and so moved by Augustine's story. Praise for Pagans and Christians 'This open-hearted and learned book is one that any scholar of the ancient world and of early Christianity would be proud to have written... Lane Fox has opened his pages to let in an entirely new world.' Peter Brown, New York Review of Books 'A work of generous humanity and recondite erudition... of consuming interest to all of us who want to know and understand the consequences of the ancient world.' Henry Chadwick, Financial Times Praise for The Unauthorised Version 'I don't know where one would turn for an account of the Bible so clear, so lively and, in many respects, so just.' Frank Kermode, Guardian 'Magnificent... delivered with authority and verve. Learned but never pedantic, he is an unfailingly incisive, thought-provoking, humane, courteous, and often entertaining guide.' Economist. (shrink)

This volume follows shifting conceptions of decadence in art and society at various moments in British literature. The decline from a higher standard, social malaise, aesthetic ennui -- all of these ideas presume certain facts about the past, the present, and time's linear nature. To reject the past as a given and to relish the subtleties of present nuance is the beginning of decadence. This study explores the inherent conflict between society's moral contempt toward purportedly decadent artists and the artist's (...) belief that the stranglehold society maintained on individual interpretation was true decadence. (shrink)

Recently there has been a renewed interest in moral inquiry among American scholars in a variety of disciplines. This collection of accessible essays by scholars in philosophy, political theory, psychology, history, literary studies, sociology, religious studies, anthropology, and legal studies affords a view of the current state of moral inquiry in the American academy, and it offers fresh departures for ethically informed, interdisciplinary scholarship. Seeking neither to reduce values to facts nor facts to values, these essays aim to foster discussion (...) about inquiry and moral judgment, and demonstrate that moral inquiry need not be either dispassionate and value-free or moralistic and preachy. (shrink)

The relation between Hume’s constructive and skeptical aims has been a central concern for Hume interpreters. Hume’s two definitions of ‘cause’ in the Treatise and first Enquiry apparently represent an important constructive achievement, but this paper argues that the definitions must be understood in terms of Hume’s skepticism. The puzzle I address is simply that Hume gives two definitions rather than one. I use Don Garrett’s interpretation as a foil to develop my alternative skeptical interpretation. Garrett claims the definitions exhibit (...) a general susceptibility to two kinds of definition that all “sense-based concepts” share. Against Garrett, I argue that the definitions express an imperfection Hume finds only in our concept of causation. That imperfection is absent from other sense-based concepts, and prompts skeptical sentiments in Hume’s conclusion to the Treatise’s Book 1. I close by comparing my interpretation with those of Helen Beebee, Stephen Buckle, Galen Strawson and Paul Russell. (shrink)

States claim the right to choose who can come to their country. They put up barriers and expose migrants to deadly journeys. Those who survive are labelled ‘illegal’ and find themselves vulnerable and unrepresented. The international state system advantages the lucky few born in rich countries and locks others into poor and often repressive ones. In this book, Christopher Bertram skilfully weaves a lucid exposition of the debates in political philosophy with original insights to argue that migration controls must be (...) justifiable to everyone, including would-be and actual immigrants. Until justice prevails, states have no credible right to exclude and no-one is obliged to obey their immigration rules. Bertram’s analysis powerfully cuts through the fog of political rhetoric that obscures this controversial topic. It will be essential reading for anyone interested in the politics and ethics of migration. (shrink)

This Is A New Release Of The Original 1899 Edition.

A timely, well-grounded analysis that reveals an inconvenient truth: we can't save capitalism and save the planet.

International Political Theory focuses on the point where two fields of study meet - International Relations and Political Theory. It takes from the former a central concern with the 'international' broadly defined; from the latter it takes a broadly normative identity. IPT studies the 'ought' questions that have been ignored or side-lined by the modern study of International Relations and the 'international' dimension that Political Theory has in the past neglected. A central proposition of IPT is that the 'domestic' and (...) the 'international' cannot be treated as self-contained spheres, although this does not preclude states and the states-system from being regarded by some practitioners of IPT as central points of reference. This Handbook provides an authoritative account of the issues, debates, and perspectives in the field, guided by two basic questions concerning its purposes and methods of inquiry. First, how does IPT connect with real world politics? In particular, how does it engage with real world problems, and position itself in relation to the practices of real world politics? And second, following on from this, what is the relationship between IPT and empirical research in international relations? This Handbook showcases the distinctive and valuable contribution of normative inquiry not just for its own sake but also in addressing real world problems. The Oxford Handbooks of International Relations is a twelve-volume set of reference books offering authoritative and innovative engagements with the principal sub-fields of International Relations. The series as a whole is under the General Editorship of Christian Reus-Smith of the University of Queensland and Duncan Snidal of the University of Oxford, with each volume edited by a distinguished pair of specialists in their respective fields. The series both surveys the broad terrain of International Relations scholarship and reshapes it, pushing each sub-field in challenging new directions. Following the example of the original Reus-Smit and Snidal The Oxford Handbook of International Relations, each volume is organized around a strong central thematic by a pair of scholars drawn from alternative perspectives, reading its sub-field in an entirely new way, and pushing scholarship in challenging new directions. (shrink)

The authors survey some debates about the nature and structure of physical theories and about the connections between our physical theories and naturalized metaphysics. The discussion is organized around an “ideal view” of physical theories and criticisms that can be raised against it. This view includes controversial commitments regarding the best analysis of physical modalities and intertheory relations. The authors consider the case in favor of taking laws as the primary modal notion, discussing objections related to alleged violations of the (...) laws, the apparent need to appeal to causality, and the status of probability. The “ideal view” includes a commitment that fundamental physical theories are explanatorily sufficient. The authors discuss several challenges to recovering the manifest image from fundamental physics, along with a distinct challenge to reductionism based on acknowledging the contributions of less fundamental theories in physical explanations. (shrink)

Clinical bioethics is big business. There are now hundreds of people who bioethics in community and university hospitals, nursing homes, rehabilitation and home care settings, and some who play the role of clinical ethics consultant to transplant teams, managed care companies, and genetic testing firms. Still, there is as much speculation about what clinically active bioethicists actually do as there was ten years ago. Various commentators have pondered the need for training standards, credentials, exams, and malpractice insurance for ethicists engaged (...) in clinical consultation. Much of the discussion seems to accept an implicit presumption that all clinical ethics consultation practices look pretty much alike. But is this accurate? What do clinical ethicists do, how and where do they do it, and what kind of clinical ethics is useful in the hospital and in other settings? (shrink)

This book explores the differences and similarities between Sartrean existentialism and French poststructuralism.