Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

Transparent intensional logic (TIL) is a well-explored type-theoretical framework for semantics of natural language. However, its treatment of polymorphic functions, which are essential for the analysis of various natural language phenomena, is still underdeveloped. In this paper, we address this issue and propose an extension of TIL that introduces polymorphism via type variables ranging over types and generalized variables ranging over constructions and types. Furthermore, we offer an analysis of sentences involving non-specific notional attitudes of the general form ‘_A_ considers (...) (believes, desires, wants, seeks,...) something’. (shrink)

The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

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.

Since 1970-ties in the theory of syntax of natural language quite a number of competing, incommensurable theoretic frameworks have emerged. Today the lack of a leading paradigm and kaleidoscope of perspectives deprives our general understanding of syntax and its relation to semantics and pragmatics. The present book is an attempt to reestablish the most fundamental ideas and intuitions of syntactic well-formedness within a new general account. The account is not supposed to compete with any of today’s syntactic frameworks, but to (...) provide a deeper understanding of why these frameworks succeed or fail when they do and to show a new way for cooperation between logicians and linguists which may lead in future to a unified, yet more specific account. (shrink)

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)