Towards an integrated theory of formal and natural languages
Petr Jirků · Czech digital mathematics library · 1975
Towards an Integrated Theory of Formal and Natural Languages PETR JlRKfj A number of works dealing with the problem of semantics of natural languages, discussed from the point of view of mathematics, has appeared in recent years.The purpose of this article is to summarize some main results and to show reasons for constructing such a mathematical theory of language that simultaneously captures the most important internal properties of formal languages and fragments of natural ones.The most interesting results concerning this problem can be found in Montague [9] which will be also our main reference.The author is deeply indebted to dr.P. Sgall and all his colleagues from the group of algebraic linguistics of the Centre of numerical mathematics (Charles Univ., Prague) for their most valuable suggestions and comments on this work.* This article was recommended to me by dr.P. Materna.cannot exclude that further investigations will show an inadequacy of those mathematical means used here for more comprehensive fragments of natural language.On the other hand, the author is sure that the reason for mathematization of study of a natural language is just in the fact that it plays an important explanatory role.