Формализация и диалектическая логика
Определения Яндекс:
Формализация - (от лат. forma - вид, образ) - отображение объектов некоторой предметной области с помощью символов к.-л. языка. (1).
Формализация - отображение результатов мышления в точных понятиях или утверждениях. В этом смысле фомализация противопоставляется содержательному или интуитивному мышлению. (2)
Формализация - представление к.-л. содержательной области (рассуждений, доказательств, процедур классификации, поиска информации науч. теорий) в виде формальной системы, или исчисления. (3)
- sahonko : «Любое формальное определение всегда упирается в одну необходимую диалектическую процедуру, которая называется "формализация" »
Больше того, аристотелевская формальная логика есть продукт формализации (правда неполной, но тенденция вполне определенная) диалектической логики. Убран субъект рассуждений, абстрагировалась от динамики развития мысли, сосредоточилась на структуре рассуждения (статике), сузилась до рассмотрения только истинностных высказываний (суждений), обладающих свойством истинности: те высказывания, которые принимают значения "истинно" или "ложно".