Aristotelian Theatre

Abstract

Terms in the formalism of the calculus of constructions dealt with so far have mostly simple structures. They have not a posteriori been formulated in natural language, although it could easily have been done. With new LINCOS in mind, we take in the present chapter an opposite view and look at simple linguistic structures, i.e. sentences in natural language, and their logical contents. This approach is taken in preparation of the discussion of the more general case of conglomerates of sentences, i.e. texts, in Parts III and IV. The logic in the present chapter and when discussing texts will of course be expressed in the conventions of the lambda calculus and more in particular of the calculus of constructions explained in the earlier chapters. In that way we have here once again examples of LINCOS applications.