Энциклопедия эпистемологии и философии науки

ФОРМАЛИЗАЦИЯ

ФОРМАЛИЗАЦИЯ— совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и символической логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, которые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются некоторыми символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с которыми можно обращаться, как с конкретными физическими объектами, а развертывание теории свести к манипулированию этими объектами в соответствии с некоторой совокупностью правил, принимающих во внимание только вид и порядок символов; и тем самым абстрагироваться от того познавательного содержания, которое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной теории, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием; она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое развитие. Сама же потребность в Ф. возникает перед той или иной наукой на достаточно высоком уровне ее развития, когда задача логической систематизации и организации наличного знания приобретает первостепенное значение, а возможность реализации этой потребности предполагает огромную предварительную работу мышления, совершаемую на предшествующих Ф.этапах развития научной теории. Ф. — мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств, лежащих в основе Ф., ориентирована на то, чтобы обеспечить необходимое соответствие между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф.: класс выводимых в формализованной теории формул должен совпадать с классом содержательно-истинных положений подвергшейся Ф. теории (но обратное утверждение, как правило, неверно). В этом смысле можно утверждать, что содержательная научная теория служит своеобразным «эталоном», от степени соответствия которому зависят в значительной мере достоинства формализованной теории. Поскольку для построения формальной системы необходимо использовать (хотя и весьма в ограниченном объеме) естественный язык и в терминах этого языка проанализировать ее структуру, описать логические особенности формализма (непротиворечивость, разрешимость), то это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных дедуктивных и выразительных возможностей. Ф. играет важную роль в систематизации той суммы знаний, которая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, сократить число положений теории, принимаемых за исходные. Вместе с тем Ф. не только дает точный язык, но и является ценным орудием мышления, позволяющим получить новые результаты. История математики, логики, лингвистики и ряда др. наук свидетельствует, что Ф. стимулирует движение познания к новым результатам, открывает возможность формулирования и постановки новых проблем, поиска их решения и т.д. Так, Ф. понятия «алгоритм» позволила доказать несуществование ряда алгоритмов, легла в основу теории автоматов, способствовала утверждению конструктивного направления в математике. Точно так же в ходе решения проблемы автоматического перевода возникла новая научная дисциплина — математическая лингвистика, был внесен важный вклад в совершенствование информационной службы и в развитие теории и методов программирования, что, в свою очередь, способствовало уточнению многих понятий классической лингвистики. Менее значимые результаты получены в ходе попыток Ф. отдельных фрагментов научных теорий в физике, биологии, геологии и др. науках естественнонаучного цикла. В расширении возможностей Ф. существенную роль играет бурный прогресс вычислительной техники. Полученные с помощью методов Ф. результаты имеют важное философское значение для понимания природы и познавательных возможностей точных методов исследования, диалектики формального и содержательного в научном познании. Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществляющихся на основе методов Ф. — теорема Геделя о неполноте достаточно богатых формализованных теорий и теорема Тарского о неформализуемости понятия истины для таких теорий, — выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, процесс формализации не может быть завершен. Ф. не может исчерпать всего богатства содержания таких теорий. Развитие научного знания, в особенности на его наиболее высокотеоретизированных уровнях, осуществляется посредством взаимодействия содержательных и формальных методов исследования при определяющей роли первых.

В.И. Кураге

Синонимы:

официализация

формализация—процесс отображения результатов теоретического мышления в точных понятиях и утверждениях....Cловарь-справочник основных терминов и понятий, используемых при подготовке диссертационного исследования
формализация—ФОРМАЛИЗАЦИЯ представление к.л. содержательной области рассуждений доказательств процедур классификации поиска информации науч. теорий в виде формальной системы iили исчи...Большая советская энциклопедия
формализация—представление какойлибо содержательной области рассуждений доказательств процедур классификации поиска информации научных теорий в виде формальной системы См. Формальная ...Большая Советская энциклопедия II
формализация—сущ. жен. рода только ед. ч. хим....Большой русско-украинский словарь
формализация—от лат. formalis предпочтение формы англ. formalization HevbFormalisierung. . Представление содержательной стороны явления в виде формальной системы или исчисления. . В...Большой толковый социологический словарь II
формализация—описание какихлибо процессов явлений с использованием определенных знаков терминов с четко оговоренным содержанием символов математических логических или специально созда...Большой экономический словарь
формализация—представление и изучение какойлибо содержательной областизнания научные теории рассуждения процедура поиска и т. п. в видеформальной системы или исчисления связана с усил...Большой энциклопедический словарь II
формализация—ФОРМАЛИЗАЦИЯ представление и изучение какойлибо содержательной области знания научные теории рассуждения процедура поиска и т. п. в виде формальной системы или исчисления...Большой энциклопедический словарь III
формализация—ФОРМАЛИЗАЦИЯ представление и изучение какойлибо содержательной области знания научные теории рассуждения процедура поиска и т. п. в виде формальной системы или исчислени...Большой Энциклопедический словарь V
формализация—описание основного содержания исследуемого явления процесса с помощью т.н. формализованного формального языка символов и правил их написания один из методов примов исслед...Военный энциклопедический словарь
формализация—изучение и представление содержания какойлибо области знания теории и т.п. в виде формальной логической или математизированной системы....Глобальная экономика. Энциклопедия
формализация—подход в науке который заключается в использовании специальной символики и знаковой системы позволяющей отвлечься от изучения реальных объектов и оперировать вместо этого...Глоссарий философских терминов ИФ им.Киренского РАН
формализация—представление и изучение к.л. содержат области знания науч. теории рассуждения процедур поиска и т.п. в виде формальной системы или исчисления. Синонимы официализация...Естествознание. Энциклопедический словарь
формализация—прием который заключается в построении абстрактноматематических моделей раскрывающих сущность изучаемых процессов действительности. При формализации рассуждения об объект...Исследовательская деятельность
формализация—ФОРМАЛИЗАЦИЯ и ж. formalisation f. Представление в виде формальной системы.Синонимы официализация...Исторический словарь галлицизмов русского языка
формализация—отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике или форм...История и философия науки. Энциклопедический словарь
формализация—это вопервых определение и построение логической структуры в теоретическом познании а вовторых представление этой структуры в какойлибо символической или математической ф...Краткий словарь основных понятий по социологии
формализация—Формализация описание основного содержания исследуемого явления процесса с помощью т. н. формализованного формального языка символов и правил их написания. В военной теор...Морской словарь
формализация—корень ФОРМ суффикс АЛ суффикс ИЗ суффикс АЦИ окончание Я Основа слова ФОРМАЛИЗАЦИВычисленный способ образования слова Суффиксальный ФОРМ АЛ ИЗ АЦИ Я Слово ...Морфемный разбор слова по составу
формализация—Начальная форма Формализация слово обычно не имеет множественного числа единственное число женский род именительный падеж неодушевленное...Морфологический разбор существительных
формализация—метод семиотического анализа объектов любой природы направленный на выявление формы. Дескриптивная Ф. прямое описание обозначение именование объектов с помощью терминов я...Новая философская энциклопедия
формализация—ФОРМАЛИЗАЦИЯ способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая ...Новейший философский словарь
формализация—способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф. которая озн...Новейший философский словарь II
формализация—формализация . ж. Процесс действия по знач. несов. глаг. формализовать . . ж. Процесс действия по знач. несов. глаг. формализовать ....Новый толково-словообразовательный словарь русского языка
формализация—формализация формализация и...Орфографический словарь
формализация—u жu Р.u Д.u Пр.u формализации официализация...Орфографический словарь русского языка
формализация—формалдау...Орысша-қазақша «Математика» терминологиялық сөздік
формализация—формалдау...Орысша-қазақша «Электроника, радиотехника және байланыс» терминологиялық сөздік
формализация—отображение результатов мышления в точных понятиях или утверждениях. Противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процесс...Основные социологические термины
формализация—formalisation...Политехнический русско-французский словарь
формализация—Орфографическая запись слова формализация Ударение в слове формализация Деление слова на слоги перенос слова формализация Фонетическая транскрипция слова формализация [ф...Полный фонетический разбор слов
формализация—представление и изучение какойлибо содержательной области знания научной теории рассуждения процедур поиска и т. п. в виде формальной системы или исчисления связана с уси...Профессиональное образование
формализация—степень в которой организация задает структуры и правила ориентации....Психология и культура
формализация—в инженерной психологии от лат. forma вид образ уточнение содержания познания осуществляемое посредством того что изучаемому объекту деятельности оператора определенным...Психология труда, управления, инженерная психология и эргономика
формализация—формалзаця...Російсько-український словник логіки
формализация—формализация иСинонимы официализация...Русский орфографический словарь
формализация—формализация ж.uformalizationСинонимы официализация...Русско-английский политехнический словарь
формализация—ж....Русско-английский психологический словарь
формализация—f. официализация...Русско-английский словарь математических терминов
формализация—formalization...Русско-английский словарь по электронике
формализация—formalization официализация...Русско-английский технический словарь
формализация—Фармалзацыя...Русско-белорусский словарь
формализация—фармалзацыя жен.i...Русско-белорусский словарь II
формализация—формализа Синонимы официализация...Русско-ивритский словарь
формализация—formalizacin...Русско-испанский юридический словарь
формализация—Синонимы официализация...Русско-китайский словарь
формализация—Formalisierung...Русско-немецкий политехнический словарь
формализация—матем. формалзаця формализация алгоритма формализация семантики Синонимы официализация...Русско-украинский политехнический словарь
формализация—Представление какойлибо содержательной области рассуждений доказательств процедур классификации поиска информации научных теорий в виде формальной системы. Позволяет сист...Словарь бизнес терминов
формализация—совокупность познавательных операций обеспечивающая отвлечение от значения понятия и смысла выражений научной теории с целью исследования ее логических особенностей дедук...Словарь конфликтолога
формализация—ampLT форма наружность вид В лингвистикеem мысленное или реальное приведение языковых объектов в такое состояние когда к языковым объектам можно применить средства формал...Словарь лингвистических терминов Т.В. Жеребило
формализация—от лат. forma вид образ отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам их свойствам и отношениям ставятся в соответствие не...Словарь логики
формализация—ФОРМАЛИЗАЦИЯ от лат. forma вид образ отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам их свойствам и отношениям ставятся в с...Словарь по логике
формализация—формализация официализация Словарь русских синонимов. формализация сущ. колво синонимов официализация Словарь синонимов ASIS.В.Н. Тришин. . Синонимы официализация...Словарь синонимов II
формализация—формализация официализация...Словарь синонимов
формализация—отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике и формал...Советский философский словарь
формализация—метод отражения результатов мышления в абстрагируемых от конкретного содержания точных педагогических понятиях или утверждениях [ c. ]....Современный образовательный процесс
формализация—ФОРМАЛИЗАЦИЯ представление и изучение какойлибо содержательной области знания научные теории рассуждения процедура поиска и т. п. в виде формальной системы или исчисления...Современный энциклопедический словарь
формализация—способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф. которая озна...Социологическая энциклопедия
формализация—Формализация математическое описание проектной процедуры.[Основные термины программного обеспечения. Электронный ресурс. Режим доступа http studopedia.su__osnovnietermin...Терминологический словарь автоматизации строительства и производственных процессов
формализация—.strong Сведение сущности вещи явления к их форме формальным признакам. .strong Возможность быть представленным в виде формальной системы.Синонимы официализация...Толковый переводоведческий словарь
формализация—ФОРМАЛИЗАЦИЯ . ж. см. формализовать . . ж. см. формализовать ....Толковый словарь русского языка
формализация—Ударение в слове формализацияУдарение падает на букву аБезударные гласные в слове формализация...Ударение и правописание
формализация—Rzeczownik формализация f formalizacja f...Универсальный русско-польский словарь
формализация—придание содержанию знания строгих точных конструктивных форм. Предельным вариантом Ф. является математизация т.е. выражение знания в виде математических формул графиков ...Философия - словарь основных понятий и тесты по курсу «Философия»
формализация—совокупность познавательных операций обеспечивающих отвлечение от значения понятий теории с целью исследования ее логического строения или для эффективного получения логи...Философия науки
формализация—это перевод получаемых знаний на язык знаков математических формул что позволяет превратить содержание построенной теории в систему материализованных символов т.е. развер...Философия науки и техники
формализация—ФОРМАЛИЗАЦИЯ от лат. forma вид образ отображение объектов некоторой предметной области с помощью символов к.л. языка.Простейший вид Ф. прямая репрезентация обозначение...Философская энциклопедия
формализация—представление к.л. содержательной области рассуждений доказательств процедур классификации поиска информации науч. теорий в виде формальной системы или исчисления. Ф. осу...Философская Энциклопедия (в 5 томах)
формализация—совокупность познавательных операций обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей дедук...Философский энциклопедический словарь
формализация—Формализация Форма Форзац Фора Фома Фол Флор Фирма Фира Фимоз Фима Филяриоз Филя Фил Физия Физа Фиал Фация Фармация Фарм Фара Фамилия Фал Фаза Роялизм Ром Роля Рол Розали...Электронный словарь анаграмм русского языка
формализация—ФОРМАЛИЗАЦИЯ представление и изучение какойлибо содержательной области знания научные теории рассуждения процедура поиска и т. п. в виде формальной системы или исчислени...Энциклопедический словарь естествознания
формализация—от лат. formalis предпочтение формы англ. formalization HevbFormalisierung. . Представление содержательной стороны явления в виде формальной системы или исчисления. . В...Энциклопедия социологии