Значение слова «формализация»

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

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

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

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

Источник: Википедия

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

    1. действие по значению гл. формализовать

    2. результат такого действия

    3. действие по значению гл. формализировать

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

Источник: Викисловарь

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: полисемичность — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное
Не знаю

Предложения со словом «формализация»

Какой бывает «формализация»

Все определения к слову ФОРМАЛИЗАЦИЯ

Понятия со словом «формализация»

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

Отправить комментарий

@
Смотрите также

Предложения со словом «формализация»

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

  • Но степень формализации трудовых отношений в промышленности на порядок выше, чем в сельском хозяйстве.

  • Уделяется внимание проблемам, связанным с формализацией знаний и необходимостью следования инструкциям.

  • (все предложения)

Синонимы к слову «формализация»

Какой бывает «формализация»

Морфология

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я