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

Найдено 5 определений
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [современное]

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

Источник: Краткий словарь основных понятий по социологии

ФОРМАЛИЗАЦИЯ
от лат. formalis - предпочтение формы) - англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории - построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура может быть представлена в математической или нематематической, символической форме.

Источник: Большой словарь по социологии, проект www.rusword.com.ua

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

Источник: Основные социологические термины. Учебное пособие

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

Источник: Социология: энциклопедия

ФОРМАЛИЗАЦИЯ
отображение рез-тов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция, Ф. является необходимым моментом процесса познания. В математике и формальной логике, где Ф. наиболее развита под Ф. обычно понимают отображение содержательного знания в знаковом формате или формализованном языке. Непременным условием построения такого языка является использование метода аксиоматического (см.), благодаря к-рому удается получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Полная Ф. теории достигается лишь тогда, когда отвлекаются от содержательного смысла самих исходных понятий и аксиом теории и полностью перечисляют правила логич. вывода теорем из аксиом. Полная Ф. какой-либо социологич. теории в настоящее время не представляется возможной, что обусловливается сложностью соц. явлений. Однако те или иные элементы Ф. используются практически в любом социологич. исследовании. Таким элементом, напр., является процесс измерения, когда рассматриваемые объекты отображаются как нек-рые математич. конструкты (см. Измерение в социологии). Рез-том измерения становятся формальные модели объектов, с к-рыми исследователь далее обращается в соответствии с правилами, отвечающими используемой математич. системе. Необходимым шагом при использовании любого математич. метода является построение формальной модели изучаемого явления. Так, используя многие методы классификации (см.), исследователь должен определенным (но не однозначным, зависящим от конкретной решаемой задачи) образом формализовать свои представления о схожести классифицируемых объектов, о геометрич. форме искомых классов и т. д. Ф. играет существенную роль в анализе, уточнении и экспликации научн. понятий. Интуитивные понятия, хотя и кажутся более ясными с т. зр. обыденного сознания, но в силу их неопределенности и неоднозначности мало пригодны для науки. В научн. познании нередко не только нельзя разрешить, но даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Любая формализованная теория беднее соответствующей ей содержательной теории. Любой рез-т измерения беднее отраженного в нем реального объекта, любая математич. модель явления беднее его самого и т. д. Используя те или иные элементы Ф., исследователь, выигрывая в точности (а в случае использования математич. формализма - ив возможности анализировать информацию большого объема, что важно для социологии), достигает этого за счет сознательного отвлечения от многих сторон рассматриваемого содержания. Несоответствие между Ф. и содержательным знанием является важным источником развития науки, ведет к последовательной смене одних элементов формализма др., более точно отображающими изучаемые объекты и явления. Лит: Яновская С.А. Методологические проблемы науки. М., 1972; Кураев В.И. Диалектика содержательного и формального в научном познании. М., 1977; Формализация//Краткий словарь по философии. М., 1979; Формализация//Философский энциклопедический словарь. М., 1983. Ю.Н. Толстова.

Источник: Российская социологическая энциклопедия

Найдено научных статей по теме — 15

Читать PDF
483.44 кб

Формализация входной информации для диагностики неврологических заболеваний

Телишевская А. В., Поворознюк А. И.
В работе рассматривается проблема постановки диагноза неврологического заболевания. В качестве входных признаков рассмотрены данные лабораторных и нєйровизуальных исследований, а также неврологический статус.
Читать PDF
297.88 кб

Формализация семиотики психических заболеваний как этап экспресс диагностики

Шваб Д. В., Свальковский А. В., Соколовский Н. С.
Читать PDF
131.45 кб

Формализация модели гидропрепарационного пародонтита

Копытов А. А., Мейрманов А. М., Гальцев О. В., Тыщенко Н. С.
Детальное математическое моделирование широкого перечня физиологических процессов определяется повышающимся интересом социума к сохранению собственного здоровья.
Читать PDF
281.93 кб

Математическая формализация и параметризация видео-компьютерной коррекции зрения

Белоусов Никита Константинович
Рассмотрена математическая формализация и параметризация видео-компьютерной коррекции зрения, направленная на улучшение результатов лечения амблиопии и косоглазия, с использованием интерактивных тренировочных сеансов.
Читать PDF
324.90 кб

Формализация процесса контроля успеваемости студентов на основе нечеткой логики

Сучилин Владимир Алексеевич, Архипова Татьяна Николаевна
В статье отмечается, что нечеткая логика является стандартным методом моделирования и проектирования различных систем и объектов. Указаны области, где используются нечеткие множества.
Читать PDF
1.17 мб

Формализация клинической информации для оптимизации лечебно-диагностического процесса в терапевтичес

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

Формализация клинических данных в диагностическом ряду мукополиса-харидозов

Валялов К.А., Демикова Н.С., Кобринский Б.А.
Читать PDF
333.70 кб

Генерализация и формализация медицинских эмпирических данных с использованием методов математическог

Зенкова Наталья Александровна, Арзамасцев Александр Анатольевич
Статья посвящена изучению вопросов генерализации и формализации медицинских эмпирических данных с помощью аппарата искусственных нейронных сетей.
Читать PDF
564.93 кб

Формализация результатов интраоперационного нейрофизиологического контроля моторных путей спинного м

Сайфутдинов М.С., Рябых С.О., Савин Д.М., Третьякова А.Н.
ЦЕЛЬ.
Читать PDF
248.77 кб

Формализация учета анальгетиков в послеоперационном периоде на примере пациентов с патологией позвон

Пулькина Ольга Николаевна, Куклин Дмитрий Владимирович, Калинин Юрий Викторович, Брагилевский Владимир Михайлович, Мушкин Александр Юрьевич
Цель исследования.
Читать PDF
880.95 кб

МАТЕМАТИЧЕСКАЯ ФОРМАЛИЗАЦИЯ РЕЗУЛЬТАТОВ В ИММУНОДИАГНОСТИКЕ

А. М. Земсков, В. Е. Новиков, И. А. Полетаева
В статье приведены данные обследования пациентов с заболеваниямиразличного генеза: локальные инфекции – гнойный (бактериальный), серозный (вирусный) менингиты и средние отиты у детей; неспецифические воспалительные заболевания лег
Читать PDF
284.71 кб

Структуризация и формализация как инструменты создания эффективной инновационной среды обучения взро

Глимаков Владимир Дмитриевич
Рассмотрен инновационный подход к созданию интеллектуальной среды для обучения и переобуче- ния взрослых.
Читать PDF
488.69 кб

Формализация герменевтической методологии в практике института медиации на основе нечеткой логики

Назаров Дмитрий Михайлович, Родин Борис Константинович
Рассматриваются проблемы сопряжения гуманитарных и номологических наук в герменевтическом аспекте.
Читать PDF
237.15 кб

Формализация процесса распределения ответственности и полномочий между подразделениями и сотрудникам

Мещеряков Виктор Афанасьевич
Осуществлена формализации процесса распределения ответственности и полномочий между подразделениями и сотрудниками университета в рамках системы менеджмента качества (СМК), на основе которой решается задача отыскания оптимального
Читать PDF
392.50 кб

Актуальные проблемы развития содержательной линии «Моделирование и формализация» школьного курса инф

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

Похожие термины:

  • Данных формализация

    от лат. forma–вид, образ)–завершающая процедура обработки данных (см. Данных обработка), заключающаяся в представлении этих данных в виде логической структуры.
  • ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ

    formal theory and formalization of theory) — представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некотор
  • ФОРМАЛИЗАЦИЯ СОЦИАЛЬНАЯ

    англ. formalization, social; нем. Formalisierung, soziale. Целенаправленное формирование стандартных, безличных образцов поведения в правовых, организационных и социокультурных формах.