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

1. Сведение сущности вещи, явления к их форме, формальным признакам.
2. Возможность быть представленным в виде формальной системы.

Синонимы:
официализация


Смотреть больше слов в «Толковом переводоведческом словаре»

ФОРМАЛЬНАЯ ОГРАНИЧЕННОСТЬ (ЛИНГВОСТИЛИСТИЧЕСКОЙ) ПОДСИСТЕМЫ →← ФОРМА СЛУЖЕБНОГО ДОКУМЕНТА

Синонимы слова "ФОРМАЛИЗАЦИЯ":

Смотреть что такое ФОРМАЛИЗАЦИЯ в других словарях:

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

        представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде ф... смотреть

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

формализация 1. ж. Процесс действия по знач. несов. глаг.: формализовать (1*). 2. ж. Процесс действия по знач. несов. глаг.: формализовать (2*).

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

формализация официализация Словарь русских синонимов. формализация сущ., кол-во синонимов: 1 • официализация (3) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: официализация... смотреть

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

ФОРМАЛИЗАЦИЯ, представление к.-л. содержательной области (рассуждений, доказательств, процедур классификации, поиска информации науч. теорий) в виде ... смотреть

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

ФОРМАЛИЗАЦИЯ (от лат. forma — вид, образ) — отображение объектов некоторой предметной области с помощью символов к.-л. языка.Простейший вид Ф. — пр... смотреть

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

представление к.-л. содержательной области (рассуждений, доказательств, процедур классификации, поиска информации науч. теорий) в виде формальной системы, или исчисления. Ф., осуществляемая на базе определенных абстракций, идеализации и искусств, символич. языков, используется прежде всего в математике, а также в тех науках, в к-рых применение математич. аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики как основания теоретич. наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логич. правилами, усвоенными благодаря так или иначе приобретенной способности к правильному мышлению. Вместе с тем Ф. связана с трудностями и ограничениями принципиального характера. Ф. осуществляется в определ. границах и на каждом ее этапе остается нек-рый неформализованный "остаток". Полностью могут быть формализованы лишь элементарные теории с простой логич. структурой и небольшим запасом понятий (напр., исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. подробно об этом в ст. Полнота, Метатеория). При этом, правда, не исключается возможность построения более широкого исчисления, формализующего часть того, что не было выявлено ранее. Но и в этом случае обнаруживается нек-рый новый неформализованный остаток – новые формально недоказуемые, но содержательно истинные высказывания. Как отмечала Яновская, в таком постоянно снимаемом и вместе с тем вновь возникающем несоответствии между Ф. и формализуемым содержанием можно усмотреть диалектич. противоречие – внутренний источник развития как самой науки, так и ее логич. средств. Трудности, связанные с невозможностью полностью формализовать ту или иную конкретную область, практически ослабляются на пути изыскания способов формализации нек-рых ее подобластей, к-рые могут как раз включать в себя все основные или интересующие нас предложения этой области. Такой путь тем более значим, что, по существу, метод Ф. призван дополнять содержательный семантич. анализ в науках. При этом, конечно, нисколько не снижается важная в методологическом и эвристич. отношении логико-матем. работа по созданию "...готового для употребления запаса формальных систем, из которого для любой теории можно было бы выбрать систему, правильно представляющую результаты опыта" (цит. по кн.: Гейтинг ?., Интуиционизм, М., 1965, с. 18). Др. путь – построение полуформализованных систем, в частности за счет допущения инфинитных правил вывода. Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных ее положений, выявить и сформулировать еще не решенные проблемы. А такие проблемы всегда есть, ибо Ф. не означает законченности теории или же прекращения ее развития. Вместе с тем выигрыш в точности и методологич. правильности при Ф. обычно сопровождается проигрышем в непосредств. интуитивной ясности и краткости изложения, поскольку построение теории в форме исчисления предполагает скрупулезное выявление всех ее предпосылок и осуществление полного доказательства ее положений. Значение Ф. для совр. науки существенно определяется проектами "кибернетизации" знания – поиском перехода к машинным методам решения науч. проблем, ранее составляющим прерогативу чисто человеч. интеллектуальной деятельности. Метод формализации призван сыграть здесь важную роль, а именно – обеспечить те приемы, следуя к-рым машины смогут получать новые результаты, перебирая и выбирая такие варианты, к-рые не может перебрать и не привык выбирать человек. А. Субботин. Москва. Исторически Ф. возникла вместе с возникновением мышления и языка; важный шаг в развитии Ф. был связан с появлением письменности; в дальнейшем, по мере развития науки, особенно математики, к естеств. языкам стали добавляться знаки специального характера – элементы математической, химич. и др. символики. Крупным шагом в развитии способов Ф. было создание в математике Нового времени буквенных исчислений (аналитич. геометрия, матем. анализ и др.). С др. стороны, вместе с формальной логикой возник прием л о г и ч е с к о й Ф., состоящий в выявлении и фиксации, тем или иным способом, логич. формы выводов и доказательств. Развитие гносеологич. приема Ф. объясняет распространение в соврем, науке более узкого понимания Ф. как такого уточнения изучаемого содержания, к-рое, с одной стороны, делает возможным применение к нему математических (или подобных математическим, напр. формально-логических) средств, а с др. стороны, само совершается с применением таких средств (в этом смысле говорят, что в теории игр формализуются конфликтные ситуации, имеющие место в экономике, военном деле и т.п.; что матем. теория планирования эксперимента предполагает предварительную Ф. понятий, с помощью к-рых описываются экспериментальные процедуры, и т.п.). Ф. как познавательный прием – в частности Ф. в узком "математическом" смысле – носит относительный характер: одна и та же теория может быть одновременно и с р е д с т в о м Ф. (нек-рой др. теории и области явлений), и предметом Ф. (в более "формальной" теории). Так, традиционная "формальная" логика является Ф. по отношению к совокупности отраженных в ней закономерностей человеч. мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории – предмета формализации. См. также ст. Исчисление, Метод аксиоматический, Логика высказываний, Предикатов исчисления. Б. Бирюков. Москва. Лит.: ?арский ?., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Черч ?., Введение в математическую логику, пер. с англ., т. 1, М., I960, введение; Ван Xао, На пути к механической математике, в кн.: Кибернетический сборник, 5, М., 1962; Филос. вопросы совр. формальной логики, М., 1962; Curry ?. В., Feys R., Combinatory logic, v. 1, Amst., 1958; Wang Hao, A survey of mathematical logic, Peking, 1962. ... смотреть

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

        ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью ис... смотреть

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

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

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

(в инженерной психологии) (от лат. forma — вид, образ) — уточнение содержания познания, осуществляемое посредством того, что изучаемому объекту (деятельности оператора) определенным образом сопоставляются некоторые материальные конструкции, обладающие относительно устойчивым характером и позволяющие в силу этого выявить и фиксировать существенные и закономерные стороны рассматриваемых объектов. Особенность Ф. как гносеологического приема состоит в том, что совершающиеся с ее помощью выявление и уточнение содержания происходят через выявление и фиксацию его формы. Во всякой Ф. всегда присутствует момент огрубления живой, развивающейся действительности. Однако это огрубление является необходимой стороной процесса познания. Основное значение для Ф. имеют знаки специального характера, в частности применяемые в математике. Проведение Ф. всегда сопровождается противоречием между формой и содержанием. Опыт показывает, что если формализуется достаточно богатая содержанием теория, то она не может быть полностью отображена в формальной системе; в теории всегда остается невыявленный, неформализуемый остаток. Это несоответствие между Ф. и формализуемым содержанием выступает в качестве внутреннего источника развития формально-логических средств науки. Преодоление указанного противоречия происходит путем построения новых формальных систем, в которых формализуется часть того, что не было учтено при предшествующих Ф. Таким образом, осуществляется все более глубокая Ф. содержания, никогда, однако, не достигающая абсолютной полноты. . Рассмотренные философские и методологические проблемы Ф. научного познания имеют непосредственное отношение к инженерной психологии. Как показал М. А. Котик, в ней открываются особенно большие возможности для Ф. деятельности человека. В изучаемой здесь деятельности человек решает ограниченный круг технических задач, а его действия зачастую оказываются детерминированными извне техническими условиями. В то же время для операторской деятельности отбирается определенный крут людей, психофизиологические показатели которых отвечают соответствующим требованиям. Все эти обстоятельства способствуют как ограничению числа соответствующих психологических переменных, определяющих поведение операторов, так и уменьшению различий в их поведении. Все это и дает основание для формализованного описания психических закономерностей деятельности оператора. По мнению Г. П. Шибанова, Ф. деятельности оператора предполагает в первую очередь моделирование его трудового процесса. В общем случае модель любой деятельности может быть представлена в виде набора взаимосвязанных между собой частных моделей. При моделировании необходимо учитывать форму и вид труда (управление системой, техническое обслуживание, ремонт и т. п.); составляющие трудовой процесс операции, их взаимосвязь, точность и время выполнения; влияние на них направленности деятельности, дефицита времени и других факторов. Применяемые на практике модели можно классифицировать по функциональному назначению (модели информационного поиска, принятия решений, слежения за процессом, технической диагностики и устранения неисправностей, приобретения и утраты навыков и др.) и принципу построения (теоретиковероятностные, информационные, структурные, структурно-алгоритмические и пр.). Приведенные модели, классифицированные по функциональному назначению, являются частными моделями, отображающими как отдельные стороны деятельности, так и ее отдельные количественные характеристики (точность, надежность, производительность и т. п.), но не моделируют профессиональную деятельность в целом как специфическое сложное явление. Полная модель деятельности человека в конкретной системе может быть получена лишь на основе комбинированного использования частных моделей с учетом специфики связей между ними, вытекающих из психофизиологических возможностей человека и характерных для данной системы условий его деятельности (см. также Моделирование деятельности, Моделирование психики).... смотреть

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

отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике и формальной логике, где Ф. наиболее развита, под Ф. обычно понимают отображение содержат. знания в знаковом формализме, или формализованном языке. Непременным условием для построения такого языка является использование аксиоматич. метода, благодаря к-рому удаётся получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Полная Ф. теории достигается лишь тогда, когда отвлекаются от содержат. смысла самих исходных понятий и аксиом теории и полностью перечисляют правила логич. вывода теорем из аксиом. Использование аксиоматич. метода в процессе Ф. обеспечивает такую систематизацию знания, при к-рой его отд. элементы не просто координируют друг с другом, а находятся в отношении субординации (см. Ф. Энгельс, в кн.: Маркс К. и Энгельс Ф., Соч., т. 20, с. 538). Поиски аксиом, из к-рых можно чисто логич. путём вывести следствия, или теоремы, составляют одну из важнейших задач Ф. Ф. доказательства даёт возможность освободиться от обращения к интуитивным представлениям, что имеет решающее значение для строгости вывода. Представление доказательства в виде последовательности формул, каждая из к-рых является либо аксиомой, либо получается из аксиом по правилам вывода, превращает сам процесс проверки доказательства в чисто механич. процедуру и может быть передан вычислит. машине. Доказательство глубоко связано с вычислением, вместе с к-рым его можно представить как непосредственное (хотя и абстрактное) материальное созерцание (см. там же, с. 631). Ф. играет существ. роль в анализе, уточнении и экспликации науч. понятий. Интуитивные понятия, хотя и кажутся более ясными с т. зр. обыденного сознания, однако в силу их неопределённости и неоднозначности они мало пригодны для науки. В науч. познании нередко нельзя не только разрешить, но даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Так, понятие алгоритма издавна применялось в математике, но только после того, как оно получило точное и строгое определение в 1930-х гг., стало возможным доказательство существования алгоритмически неразрешимых проблем. Ф. неразрывно связана с построением искусственных, или формализованных, науч. языков. Такие языки создаются для точного выражения мыслей с целью исключить возможность неоднозначного понимания. Ф. даёт возможность строить науч. языки с точно установленной структурой и заданными правилами преобразования одних выражений в другие. Полученные с помощью методов Ф. результаты имеют важное филос. значение прежде всего для решения проблемы соотношения формальных и содержат. компонентов в науч. познании. Исследования по разрешимости формализованных математич. теорий, начало к-рым положил Чёрч доказательством отсутствия разрешающей процедуры для узкого исчисления предикатов, подорвали веру в принципы чисто формального обоснования математики, выдвинутые Гильбертом. Еще более существ. значение имели результаты Гёделя о неполноте формализованной арифметики, теоремы Тарского о неформализуемости понятия истины в рамках формализмов и др. Эти исследования показали ограниченность неопозитивистской программы анализа науки, исходящей из примата формы над содержанием и сводящей все проблемы философии науки к анализу структуры науч. языка. Диалектич. материализм рассматривает Ф. как средство выявления и уточнения содержания науч. знания. Подчёркивая обусловленность методов Ф. содержанием науч. знания, диалектико-материалистич. концепция признаёт значит. роль формы и формальных компонентов в раскрытии этого содержания. Вместе с тем никакая Ф. не может исчерпать всего богатства содержания, она способна лишь приближаться к этому пределу в бесконечном процессе науч. познания.... смотреть

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

ФОРМАЛИЗАЦИЯ (от лат. forma — вид, образ)  — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам... смотреть

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

(от лат. forma - вид, образ) отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям с... смотреть

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

метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание, обозначение, именование) объектов с помощью терминов является простейшим видом Ф., вариантом которой в естественных языках служат отдельные слова и выражения, а, например, в математике цифры и знаки различных математических операций. Цель дескриптивной Ф. компактность обозначения, большая точность и однозначность (отсутствие омонимии). Несмотря на простоту, дескриптивная Ф. является необходимым структурным компонентом научной Ф. Последняя характеризуется использованием формального языка, т. е. специальных символических средств (переменных, формул, правил преобразования и т. д.), позволяющих анализировать исследуемую предметную область в чисто синтаксических рамках, что обеспечивает более точное теоретическое выражение конкретных свойств и отношений. Особый интерес представляет такой вид научной Ф., как логическая Ф., обеспечивающая выражение общих взаимосвязей между понятиями, суждениями и умозаключениями. Любое знание обыденное или научное может оказаться объектом логической Ф., которая осуществит уточнение и систематизацию содержательных представлений, поможет сформулировать новые проблемы и найти возможные пути их решения. Однако адекватная логическая Ф. достаточно сложных теорий (например, арифметики) имеет нетривиальный характер и в целом ряде случаев затруднена различного рода антиномиями и парадоксами. В связи с этим возникают принципиальные ограничения для такой Ф. (например, теоремы Геделя, Тарского и др.). Однако трудности логической Ф. не умаляют ее значения и не являются причиной отказа от широкого практического применения этого метода в различных областях знания. А. Г. Кислое... смотреть

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

(< форма наружность, вид) В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно прим... смотреть

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

– совокупность познавательных операций, обеспечивающая отвлечение от значения понятия и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. Есть два типа формализованных теорий: полностью формализованные и частично формализованные (логические средства, используемые при развертывании данной науки, явным образом не фиксируются). Ф. – мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств Ф. ориентирована на обеспечение необходимого соответствия между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф. Содержательная научная теория служит неким «эталоном», от степени соответствия которому зависят достоинства формализованной теории. Развитие научного знания, в особенности на его наиболее абстрактных уровнях, осуществляется посредством взаимодействия содержательных и формальных методов исследования при определяющей роли первых. В отечественной конфликтологии уже в настоящее время существуют элементы формализованного знания. Однако построение формализованных теорий в конфликтологии – дело перспективы.... смотреть

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

ФОРМАЛИЗАЦИЯ - способ выражения содержания совокупности знаний через опреленную форму - знаки искусственного языка. Наиболее значимой разновидностью Ф.... смотреть

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

- способ выражения содержания совокупности знаний через опреленную форму - знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование "застывшими" понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание, так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности. А.А. Грицанов, Ю.В. Баранчик... смотреть

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

способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема К. Гёделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование *застывшими* понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание, так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности. А.А. Грицанов, Ю.В. Баранчик... смотреть

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

отображение результатов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. В математике или формальной логике, где Ф. наиболее развита, под Ф. обычно понимают отображение содержательного знания в знаковом формализме, или формализованном языке. Обязательным условием построения такого языка явл. использование аксиоматического метода, благодаря к-рому удается получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Поиск аксиом, из к-рых можно чисто логич. путем вывести следствия, или теоремы, составляет одну из важнейших задач Ф., играющей существенную роль в анализе, уточнении и экспликации науч. понятий. Полученные с помощью методов Ф. результаты имеют важное филос. значение, прежде всего для решения проблемы соотношения формальных и содержательных компонентов в науч. познании. Лит.: Кураев В.И. Диалектика содержательного и формального в научном познании. М., 1977; Манин Ю.В. Доказуемое и недоказуемое. М., 1979. В.И.Полищук ... смотреть

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

Формализация Форма Форзац Фора Фома Фол Флор Фирма Фира Фимоз Фима Филяриоз Филя Фил Физия Физа Фиал Фация Фармация Фарм Фара Фамилия Фал Фаза Роялизм Ром Роля Рол Розалия Роза Рия Рифя Рифма Рифля Риф Рио Рим Риза Риал Риа Рая Рация Рацио Рафия Рафаил Раф Рао Рамоли Рами Рам Рало Раия Разом Размол Разлом Раз Официал Орфизм Орлица Ория Орза Омар Оля Олифа Олим Мяло Мраз Морф Морализация Мор Моляр Моир Мицара Миф Миро Мирза Мир Миоз Мио Миля Мило Милица Мила Миаз Мая Маца Мафория Мафия Марфа Марля Мария Марал Мара Маори Мао Маляр Мало Малица Мали Мазло Мазила Мазар Маз Маар Лоция Лори Лор Лом Лоза Лицо Лифо Лиф Лиризм Лира Лимфа Лима Лизоцим Лиза Лиаза Лафа Лара Лама Лаз Ирма Иол Имя Илим Изол Измор Измаил Изм Излом Зря Зримо Зоя Зоря Золя Зола Зоил Зло Зима Зил Заяц Формация Фра Фраза Фри Заря Фриз Фриц Зао Замор Зам Залом Зало Фрол Зал Фря Царизм Цзяо Цифра Заир Афоризм Афар Афазия Арфа Цифро Ямал Армия Ярица Арифм Арам Ярл Амия Амалия Аля Аил Азям Азол Азия Азалия Яро Аир Аларм Алма Алмаз Амил Амилоза Аморфизация Амфора Аралия Ярмо Ария Арма... смотреть

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

1) Орфографическая запись слова: формализация2) Ударение в слове: формализ`ация3) Деление слова на слоги (перенос слова): формализация4) Фонетическая т... смотреть

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

Формализация описание основного содержания исследуемого явления (процесса) с помощью т. н. формализованного (формального) языка (символов и правил их ... смотреть

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

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

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

описание основного содержания исследуемого явления (процесса) с помощью т.н. формализованного (формального) языка (символов и правил их написания); оди... смотреть

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

Представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы. Позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы.<br><p class="src"><em><span itemprop="source">Словарь бизнес-терминов.<span itemprop="author">Академик.ру</span>.<span itemprop="source-date">2001</span>.</span></em></p><b>Синонимы</b>: <div class="tags_list">официализация</div><br><br>... смотреть

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

подход в науке, который заключается в использовании специальной символики и знаковой системы, позволяющей отвлечься от изучения реальных объектов и оперировать вместо этого некоторым множеством символов или знаков. Она создается для точного выражения мыслей с целью исключения неоднозначности понимания. На основе формализации создаются искусственные языки, используя которые, можно проводить исследования чисто формальным путем, оперируя только символами, без непосредственного обращения к объекту. ... смотреть

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

корень - ФОРМ; суффикс - АЛ; суффикс - ИЗ; суффикс - АЦИ; окончание - Я; Основа слова: ФОРМАЛИЗАЦИВычисленный способ образования слова: Суффиксальный∩ ... смотреть

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

(от лат. formalis - предпочтение формы) - англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории - построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура может быть представлена в математической или нематематической, символической форме. Antinazi.Энциклопедия социологии,2009 Синонимы: официализация... смотреть

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

Формализация – математическое описание проектной процедуры.[Основные термины программного обеспечения. (Электронный ресурс). Режим доступа: http:// stu... смотреть

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

отображение результатов мышления в точных понятиях или утверждениях. Противопоставляется содержательному, или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция, Ф. является необходимым моментом процесса познания. В математике и формальной логике, где Ф. наиболее развита, под Ф. обычно понимают отображение содержательного знания в знаковом формализме или формализованном языке.... смотреть

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

- (от лат. formalis - предпочтение формы) - англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории - построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура может быть представлена в математической или нематематической, символической форме.... смотреть

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

Ударение в слове: формализ`ацияУдарение падает на букву: аБезударные гласные в слове: формализ`ация

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

придание содержанию знания строгих, точных, конструктивных форм. Предельным вариантом Ф. является математизация, т.е. выражение знания в виде математических формул, графиков, таблиц и моделей. Однако Ф. может осуществляться не только в математических, но и в качественных вариантах, например, классификациях, блок-схемах, качественных алгоритмах и т.п. ... смотреть

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

описание каких-либо процессов, явлений с использованием определенных знаков, терминов, с четко оговоренным содержанием символов (математических, логиче... смотреть

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

ФОРМАЛИЗАЦИЯ, представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.<br><br><br>... смотреть

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

ФОРМАЛИЗАЦИЯ - представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.<br>... смотреть

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

это, во-первых, определение и построение логической структуры в теоретическом познании, а во-вторых, представление этой структуры в какой-либо символической или математической форме. Последнее означает использование математических методов, формул, графиков, моделей и т.п. ... смотреть

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

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

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

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

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

сущ. жен. рода, только ед. ч.физ., хим.формалізація

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

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

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

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

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

ФОРМАЛИЗАЦИЯ и, ж. formalisation f. Представление в виде формальной системы.Синонимы: официализация

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

Rzeczownik формализация f formalizacja f

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

прием, который заключается в построении абстрактно-математических моделей, раскрывающих сущность изучаемых процессов действительности. При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами).... смотреть

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

представление и изучение к.-л. содержат, области знания (науч. теории, рассуждения, процедур поиска и т.п.) в виде формальной системы или исчисления. С... смотреть

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

это перевод получаемых знаний на язык знаков, математических формул, что позволяет превратить содержание построенной теории в систему материализованных  символов, т.е. развернутую теорию свести в схеме, определенному порядку. ... смотреть

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

формализацияפוֹרמָלִיזַציָה נ'Синонимы: официализация

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

(1 ж), Р., Д., Пр. формализа/цииСинонимы: официализация

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

f.formalizationСинонимы: официализация

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

Начальная форма - Формализация, слово обычно не имеет множественного числа, единственное число, женский род, именительный падеж, неодушевленное

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

– метод отражения результатов мышления в абстрагируемых от конкретного содержания точных педагогических понятиях или утверждениях [91, c. 743].

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

изучение и представление содержания какой-либо области знания, теории и т.п. в виде формальной (логической) или математизированной системы.

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

формализ'ация, -иСинонимы: официализация

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

формализа́ция ж.formalizationСинонимы: официализация

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

formalizationСинонимы: официализация

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

матем. формаліза́ція - формализация алгоритма - формализация семантики Синонимы: официализация

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

процесс отображения результатов теоретического мышления в точных понятиях и утверждениях.

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

形式化Синонимы: официализация

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

степень, в которой организация задает структуры и правила ориентации.

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

ФОРМАЛИЗАЦИЯ 1. ж. см. формализовать . 2. ж. см. формализовать .

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

ж.formalization

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

формализация формализ`ация, -и

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

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

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

фармалізацыя, жен.

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

формалізація

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

Фармалізацыя

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

формалдау

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

формалдау

T: 170