formalization

For the first time, the work “Critical Remarks on Positivist Logic” by the famous Polish philosopher Roman Ingarden (1893–1970), whose researches in the field of ontology, phenomenology and aesthetics have significant achievements in the world philosophy, is translated into the Ukrainian. In addition, he conducted research in such areas as linguistics and logic. But these, so to speak, applied studies of language and logic were, in one way or another, connected with his ontological and realistic-phenomenological views.

The articles studies approaches to understanding and defining the notion of formalization in different fields (philosophy, linguistics, logic, mathematics, computer science). Attention is paid to the fact that the issue of formalization is studied in many areas of human activity, mainly: 1) the scientific research method; 2) the method of logic, which is to replace the content terms by signs, symbols and formulas.