<<
>>

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

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

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

<< | >>
Источник: ГРИЦАНОВ А.А.. Новейший философский словарь. 2004

Еще по теме ФОРМАЛИЗАЦИЯ:

  1. ФОРМАЛИЗАЦИЯ
  2. Идея управляемого богатства выразительных средств
  3. Эксперимент
  4. 2. Неопозитивизм
  5. ТЕРМИН (лат. terminus - предел, граница
  6. ТЕСТ (англ. test - проба, испытание, проверка, исследование
  7. ТЕРМИН
  8. 16.СИСТЕМА НАЦИОНАЛЬНЫХ СЧЕТОВ
  9. Остерегайтесь "канцелярита
  10. СОЦИАЛЬНАЯ ОРГАНИЗАЦИЯ
  11. СОЦИАЛЬНАЯ ОРГАНИЗАЦИЯ
  12. ТЕСТ
  13. Методы и приемы исследования
  14. ВЕРОЯТНОСТЬ
  15. МАТЕМАТИЧЕСКАЯ ЛОГИКА
  16. БИБЛИОГРАФИЧЕСКИЙ СПИСОК
  17. 1.1. Основная направленность вербального анализа решений
  18. 56.4. УСЛОВИЯ ПРАВИЛЬНОЙ СЕГМЕНТАЦИИ