ФОРМАЛИЗМ

- направление в эстетике, искусстве, литературе и др. науках, сторонники которого видят сущность вещей в форме, переоценивают роль формы и за формой забывают содержание или пренебрегают им; они подчеркивают в философии понятийно-рациональную сторону в противоположность конкретно-созерцательной, иррациональной. В логистике формализм - это схема, согласно которой располагают и связывают друг с другом высказывания (по чисто формальному признаку), чтобы прийти к логическому пониманию. Существуют двузначные и многозначные формальные системы, в зависимости от того, принимается ли простое отношение выведения между двумя высказываниями (напр., "истинно - ложно") или признаются в качестве логически значимых наряду с этими еще и др. предикаты высказываний (напр., "возможно").