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

Все словари
Общий словарь

Случайные ссылки:
Ризопласт — тонкая нить, соединяющая жг...
Челюсть - 1) Каждая из двух лицевых кос...
Атропин (atropine) - лекарственное веще...
Брюгге (фламандское - Brugge, французск...
Гекзаметр (от греческого hexametros - ш...
Комбинированная фанера (фанерная плита)...
Приорат — орган государственного управл...
Фляжка - То же, что: фляга....
Шигеллы - род кишечных палочковидных ба...