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

Формализация социальная

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

Формализация (Осипов, 2014)

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

Формализация (Ильичёв, 1983)

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

Формализация (НФЭ, 2010)

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

Формализация (Фролов, 1991)

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

Формализация (Кузнецов, 2007)

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