formalization

Роман Інґарден про онтологічнне та формальне значення висловів. (Передмова до українського перекладу праці Романа Інґардена "Критичні зауваги до позитивістської логіки")

Вперше українською мовою публікується праця “Критичні зауваги до позитивістської логіки” відомого польського філософа Романа Інґардена (1893–1970), результати досліджень якого у царині онтології, феноменології та естетики є вагомими досягненнями у польській та світовій філософії. Також Роман Інґарден здійснював дослідження у царинах мовознавства (теорії мови) та логіки. Але ці його, так би мовити, прикладні дослідження мови та логіки, так чи інакше, були пов’язані з його онтологічними та реалістично-феноменологічними поглядами.

Formalization as the method of study of legal phenomena

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.