Elements of Semantic Analysis Based on Lambda-Calculus

This paper considers the applicative computing technology (ACT), within the framework of which the semantic analysis of a number of natural language constructs is performed. The necessary elements of grammatical analysis are involved. Much first-order logical means is used, and predicate variables are necessarily used for analysis. At the same time, the advantages of higher-order systems, which include ACT, are extracted. The fact is that the semantics of a natural language is characterized by a multi-tiered nesting of grammatical structures, which conflicts with first-order logical systems.