История и философия науки: основные имена и понятия

ФОРМАЛИЗАЦИЯ (лат. formalis – относящийся к форме) – отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике или формальной логике, где Ф. наиболее развита, её обычно понимают в качестве отображения содержательного знания в знаковом формализме, или формализованном языке. Обязательным условием построения такого языка явл-ся использование аксиоматического метода, благодаря к-рому удаётся получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Поиски аксиом, из к-рых можно чисто логич. путём вывести следствия, или теоремы, составляют одну из важнейших задач Ф., играющую существенную роль в анализе, уточнении и экспликации науч. понятий. Полученные с помощью методов Ф. результаты имеют важное филос. значение, прежде всего для решения проблемы соотношения формальных и содержат. компонентов в науч. познании.

ФОРМАЛИЗМ (франц. formalisme, от лат. formalis – относящийся к форме) – 1) предпочтение, отдаваемое форме перед содержанием (см. Содержание и форма) в разл. сферах человеч. деятельности. В обл. человеч. отношений Ф. проявляется в неукоснительном следовании правилам этикета, обряда, ритуала даже в тех случаях, когда жизненная ситуация не требует этого, делает его бессмысленным, комичным или драматичным. В сфере соц. управления Ф. проявляется в бюрократизме, в преклонении перед буквой закона при полном пренебрежении к его смыслу и духу. В истории иск-ва Ф. проявлялся в отрыве художеств. формы от содержания, признании её единственно ценным элементом иск-ва и, соответственно, в сведении художеств. освоения мира к отвлечённому формотворчеству (кубизм, дадаизм и т.п.); 2) одно из осн. направлений в основаниях математики и логики, объединившее идущую от Г. Фреге идею строгой формализации матем. рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства её непротиворечивости. Основатель Ф. – Д. Гильберт.

ФУНКЦИЯ (лат. function – исполнение, совершение) – 1) в философии – отношение двух (группы) объектов, в к-ром изменение одного из них влечёт за собой изменение другого. Ф. может рассматриваться с т. зр. последствий (благоприятных, неблагоприятных или нейтральных), вызываемых изменением одного параметра в др. параметрах объекта, или с т. зр. взаимосвязи отд. частей в рамках нек-рого целого. Понятие Ф. было введено в науку Лейбницем. Позже интерес к Ф. как одной из фундаментальных категорий возрастал в философии по мере распространения в разл. обл. науки функциональных методов исследования. В наиболее развёрнутой форме функциональный подход к теории познания был реализован Кассирером, полагавшим, что движение познания направлено не на изучение субстанции изолированных объектов, а на изучение взаимоотношений между ними, т.е. на установление зависимостей (функций), позволяющих осуществлять закономерный переход в ряду объектов от одного к другому. Изучение функциональных (а также структурных, генетических и др.) отношений связано с более широкой, чем в классич. науке, трактовкой детерминизма; 2) в социологии – роль, к-рую опред. соц. институт (или частный социальный процесс) выполняет относительно потребностей обществ. системы более высокого уровня организации или интересов составляющих её классов, соц. групп и индивидов. Напр., Ф. гос-ва, семьи, иск-ва и т.д. относительно общества; 3) в математике – зависимая переменная величина; соответствие y=f(x) между переменными величинами, в силу к-рого каждому рассматриваемому значению некоторой величины «x» (аргумента, или независимого переменного) соответствует опред. значение др. величины «y» (зависимой переменной, или Ф.). Такое соответствие м.б. задано разл. способом, напр. формулой, графически или таблицей. С помощью матем. Ф. выражаются многообразные количеств. закономерности в природе и общ-ве.

Х