Some uses of type theory in the analysis of language

Abstract

In this monograph, Church’s formulation of the simple theory of types is applied to two areas of current concern in logic, namely the theory of predicate modifiers and the logic of intensional discourse. In such a formulation, the theory of predicate modifiers becomes both more general and more ramified than in previous formulations, and the notation and theory provided for intensional logics has considerable generality and utility in philosophical applications. A number of problems are posed throughout the monograph: in these cases the system used allows formal presentation of philosophical problems and should aid in their solution Show more