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)

Through a wide-ranging study of primary sources, Christopher Fox identifies and details a decisive moment in the history of the concept of the self. A key figure here is John Locke; the crucial document, his chapter on "Identity and Diversity" added to the second edition of An Essay Concerning Human Understanding (1694). Locke's new concept of "identity of consciousness" was hotly debated for the next half century in philosophical, theological, and literary circles, and Fox makes a significant contribution in drawing (...) attention to this controversy. By situating The Memoirs of Scriblerus in the debates, Fox also brings needed attention to a Scriblerian performance that deserves to be better known today. Fox's book is necessary reading for anyone interested in the eighteenth century, in Locke and the Scriblerians, and in the larger history of the concepts of "self" and "consciousness." Through a wide-ranging study of primary sources, Christopher Fox identifies and details a decisive moment in the history of the concept of the self. A key figure here is John Locke; the crucial document, his chapter on "Identity and Diversity" added to the second edition of An Essay Concerning Human Understanding (1694). Locke's new concept of "identity of consciousness" was hotly debated for the next half century in philosophical, theological, and literary circles, and Fox makes a significant contribution in drawing attention to this controversy. By situating The Memoirs of Scriblerus in the debates, Fox also brings needed attention to a Scriblerian performance that deserves to be better known today. Fox's book is necessary reading for anyone interested in the eighteenth century, in Locke and the Scriblerians, and in the larger history of the concepts of "self" and "consciousness.". (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)

A work of remarkable cross-disciplinary scholarship, this volume illuminates the origins of the human sciences and offers a new view of the Enlightenment that ...

Whether or not youth work should professionalise and to what degree governments should regulate youth work services have been a widely debated topic within the Australian youth sector in recent tim...

Religion has become a vital resource for attempts to rethink the meaning of the political. This article rehearses the efforts of two recent figures, René Girard and Giorgio Agamben, to transform the political by renewing its connection to religion. Both thinkers struggle to escape politics as defined by Carl Schmitt's friend/enemy distinction. Girard and Agamben do clash ideologically, but their inquiries into sacrifice and messianism take similar courses. Regarding origins, Girard argues for the sacrificial crisis as the common parent to (...) religion and politics. Conversely, for Agamben, the Roman figure of homo sacer distinguishes politics from religion. With respect to the future, Girard's messianism installs Christian belief as the only way to move beyond violence. By contrast, Agamben steers Pauline messianism toward the efforts to displace sovereignty and reopen the political. I conclude that Agamben breaks with Schmitt while Girard reinscribes his politics at a higher level. Key Words: Giorgio Agamben • Rey Chow • Christianity • René Girard • homo sacer • messianism • politics • sacred • sacrifice • Carl Schmitt. (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 human sciences—including psychology, anthropology, and social theory—are widely held to have been born during the eighteenth century. This first full-length, English-language study of the Enlightenment sciences of humans explores the sources, context, and effects of this major intellectual development. The book argues that the most fundamental inspiration for the Enlightenment was the scientific revolution of the seventeenth century. Natural philosophers from Copernicus to Newton had created a magisterial science of nature based on the realization that the physical world operated (...) according to orderly, discoverable laws. Eighteenth-century thinkers sought to cap this achievement with a science of _human_ nature. Belief in the existence of laws governing human will and emotion; social change; and politics, economics, and medicine suffused the writings of such disparate figures as Hume, Kant, and Adam Smith and formed the basis of the new sciences. A work of remarkable cross-disciplinary scholarship, this volume illuminates the origins of the human sciences and offers a new view of the Enlightenment that highlights the period's subtle social theory, awareness of ambiguity, and sympathy for historical and cultural difference. (shrink)

This chapter is concerned with representing the semantics of natural language plurals and mass terms in property theory; a weak first-order theory of Truth, Propositions and Properties with fine-grained intensionality (Turner 1990, Turner 1992, Aczel 1980). The theory allows apparently coreferring items to corefer without inconsistency. This is achieved by using property modifiers which keep track of the property used to refer to a term, much like Landman’s roles (Landman 1989). We can thus predicate apparently contradictory properties of “the judge” (...) and “the cleaner,” for example, even if they turn out to be the same individual. The same device can also be used to control distribution into mereological terms: when we say “the dirty water is liquid,” we can infer that those parts that are dirty water are liquid without inferring that the dirt is liquid. The theory shows how we can formalise some aspects of natural language semantics without being forced to make certain ontological commitments. This is achieved in part by adopting an axiomatic methodology. Axioms are proposed that are just strong enough to support intuitively acceptable inferences, whilst being weak enough for some ontological choices to be avoided (such as whether or not the extensions of mass terms should be homogeneous or atomic). The axioms are deliberately incomplete, just as in basic PT, where incomplete axioms are used to avoid the logical paradoxes. The axioms presented are deliberately too weak to say much about ”non-denoting’ definite descriptors. For example, we cannot erroneously prove that they are all equal. Neither can we prove that predication of such definites results in a proposition. This means that we cannot question the truth of sentences such as “the present king of France is bald.”. (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)

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)

Accounts of the formal semantics of natural language often adopt a pre-existing framework. Such formalisations rely upon informal narrative to explain the intended interpretation of an expression — an expression that may have different interpretations in different circumstances, and may supports patterns of behaviour that exceed what is intended. This ought to make us question the sense in which such formalisations capture our intuitions about semantic behaviour. In the case of theories of questions and answers, a question might be interpreted (...) as a set (of possible propositional answers), or as a function (that yields a proposition given a term that is intended to be interpreted as a phrasal answer), but the formal theory itself provides no means of distinguishing such sets and functions from other cases where they are not intended to represent questions, or their answers. Here we sketch an alternative approach to formalisation a theory of questions and answers that aims to be sensitive to such ontological considerations. (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)

Various questions arise in semantic analysis concerning the nature of types. These questions include whether we need types in a semantic theory, and if so, whether some version of simple type theory (STT, Church 1940) is adequate or whether a richer more flexible theory is required to capture our semantic intuitions. Propositions and propositional attitudes can be represented in an essentially untyped first-order language, provided a sufficiently rich language of terms is adopted. In the absence of rigid typing, care needs (...) to be taken to avoid the paradoxes, for example by constraining what kinds of expressions are to be interpreted as propositions (Turner 1992). But the notion of type is ontologically appealing. In some respects, STT seems overly restrictive for natural language semantics. For this reason it is appropriate to consider a system of types that is more flexible than STT, such as a Curry-style typing (Curry & Feys 1958). Care then has to be taken to avoid the logical paradoxes. Here we show how such an account, based on the Property Theory with Curry Types (PTCT, Fox & Lappin 2005), can be formalised within Typed Predicate Logic (TPL, Turner 2009). This presentation provides a clear distinction between the classes of types that are being used to (i) avoid paradoxes (ii) allow predicative polymorphic types. TPL itself provides a means of expressing PTCT in a uniform language. (shrink)

Cooper (1983) pioneered underspecified scope representation in formal and computational semantics through his introduction of quantifier storage into Montague semantics as an alternative to the syntactic operation of quantifying-in. 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. Ebert (2005) shows that any reasonable current treatment of underspecified semantic representation either suffers from expressive incompleteness (...) or produces a combinatorial explosion that is equivalent to generating the full set of possible scope readings in the course of disambiguation. In previous work we have presented an account of underspecified scope representations within Property Theory with Curry Typing (PTCT), 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. (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)

I read Tacitus’s valorizing of the Germani in Germania and his depiction of Jews in the Annals and Histories as sources of post-medieval Germany’s identity crisis. Tacitus compares German and Jewish sexuality, marriage, morality, religion, superstition, and women. Most importantly, he devises contrasting German and Jewish models of freedom that prefigure this concept’s development in Kantian and Post-Kantian philosophy. This leads to a paradox: although Tacitus denounces Jews for what he praises in the Germani, he admires Jewish anti-idolatry and freedom. (...) But ultimately, Tacitus denounces the Jews in unequivocal terms. Their practices are “quite opposed to those of all other religions,” and they “regard as profane all that we hold sacred... they permit all that we abhor.” It will be this slander that is epochal. (shrink)

It is reasonably well-understood that natural language displays polymorphic behaviour in both its syntax and semantics, where various constructions can operate on a range of syntactic categories, or semantic types. In mathematics, logic and computer science it is appreciated that there are various ways in which such type-general behaviours can be formulated. It is also known that natural languages are highly ambiguous with respect to scoping artifacts, as evident with quantifiers, negation and certain modifier expressions. To deal with such issues, (...) formal frameworks have been explored in which the polymorphic nature of natural language can be expressed, and theories of underspecified semantics have been proposed which seek to separate the process of pure compositional interpretation from the assignment of scope. To date, however, there has been no work on bringing these two aspects together; there is no semantic treatments of scope ambiguity and underspecification which explicitly takes into account the polymorphic nature of natural language quantifiers. In this paper, we extend an existing treatment of underspecification and scope ambiguity in Property Theory with Curry Typing (PTCT) to deal with arbitrary types of quantification by adopting a form of polymorphism. In this theory of underspecification, all of the expressions in the theory are terms of the logic; there is no “meta-semantic” machinery. For this reason all aspects of the theory must be able to deal with polymorphism appropriately. (shrink)

The recent translation of Emmanuel Levinas’s essay On Escape complicates our view of his relationship to Hegel, and reopens the ontological question of escape. The impetus for Levinas’s essay was National Socialism’s effort to reduce subjectivity to being qua biologistic. To resist this, Levinas enlists idealism as an ally. He affirms the idealist subject’s effort to escape being, but denies that it makes good its escape. I challenge this denial by comparing Levinas’s phenomenology of escape with Hegel’s phenomenology of unhappy (...) consciousness, paying special attention to the themes of shame and the will to escape. The similarity between treatments leads me to suggest that the urge to escape emerges at least as early as medieval Christianity, thus predating the historical predicament of mid-1930s European Jewry. I conclude by interpreting space travel and the posthuman figure of the cyborg as signs that escape continues asan object of human aspiration. (shrink)

What is it that semanticists think they are doing when using formalisation? What kind of endeavour is the formal semantics of natural language: scientific; linguistic; philosophical; logical; mathematical? If formal semantics is a scientific endeavour, then there ought to be empirical criteria for determining whether such a theory is correct, or an improvement on an alternative account. The question then arises as to the nature of the evidence that is being accounted for. It could be argued that the empirical questions (...) are little different in kind to other aspects of linguistic analysis, involving questions of performance and competence (Chomsky 1965; Saussure 1916). But there are aspects of formal accounts of meaning that appear to sit outside this scientific realm. One key issue concerns the precise nature of the formalisation that is adopted; what criteria are to be used to decide between accounts that are founded on different formal systems, with different ontological assumptions? Indeed, is it necessary to judge semantic frameworks on such grounds? In other words, are two theoretical accounts to be treated as equivalent for all relevant purposes if they account for exactly the same linguistic data? Broadly speaking, there are two related perspectives on the analysis of propositional statements, one “truth conditional” — reducing sentence meaning to the conditions under which the sentence is judged to be true (e.g. Montague 1973) — the other “proof theoretic” — reducing sentence meanings to patterns of entailments that are supported (e.g. Ranta 1994, Fox & Lappin 2005 ,Fox 2000). Variations of these perspectives might be required in the case of non-assertoric utterances. We may wonder what critieria might be used to decide between these approaches. This brings us back to the nature of the data itself. If the data is (merely) about which arguments, or truth conditions, subjects agree with, and which they disagree with, then the terms in which the theory is expressed may be irrelevant. But it may also be legitimate to be concerned with either (a) the intuitions that people have when reasoning with language, or (b) some technical or philosophical issues relating to the chosen formalism. The truth-conditional vs proof-theoretic dichotomy might broadly be characterised as model-theoretic vs axiomatic, where the model-theoretic tend to be built around a pre-existing formal theory, and the axiomatic involves formulating rules of behaviour “from scratch”. In some sense, fitting an analysis of a new problem into an existing framework could be described as providing some kind of “explanatory” power, assuming that the existing framework has some salient motivation that is independent of the specific details of the phenomena in question. In contrast, building a new theory that captures the behaviour might then be characterised as “descriptive”, as — superficially at least — it does not show how an existing theory “already” accounts for the data in some sense. Here we observe instead that the argument can be run in the other direction. that a reductive model-theoretic account merely “describes” how some aspects of a problem can be reduced to some formalisation, but may fail to capture a subject’s understanding or intuitions about meaning. It is surely appropriate for the formal theory itself to be at least sympathetic to the ontological concerns and intuitions of its subjects — if not inform them (Dummett 1991). The alternative amounts to little more than carving out otherwise arbitrary aspects of a system that mimics the required behaviour, without a coherent explanation of why some aspects of a formal theory characterise, or capture, the intended meaning, but not others (cf. Benacerraf 1965). That seems an impoverished approach, weakening any claim to “explain”. Any constraint this imposes on what is it to be an explanatory account of meaning then faces the same problem as naive notions of compositionality (Zadrozny 1994) — that is, what appears to be a meaningful restriction is, in reality, a mirage. (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.

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)