Каковы шансы диалектической логики стать формальной системой? Только я скептически отношусь к идее 'диалектической логики' как полностью формализованной системы*. Весь смысл диалектической логики состоит в том, что она представляет из себя модель естественного мышления, - в принципе неформальную. Диалектическую логику скорее всего следует отнести к семейству неформальных логик (informal logic).
В самом деле:
Если формальная логика запрещает противоречие высказываний, то диалектическая логика исходит из лежащего в основе развития мысли противоречия высказываний (1).
Если формальная логика отвлекается от субъекта рассуждений, то диалектическая логика есть логика субъектная (2).
Грубо, это выражается в положении: "Вы мне «брито » - я вам: «стрижено »". В диалектической логике учитывается субъект рассуждений в статусе носителя утверждений и возражений. Денотат субъекта рассуждений обозначен как иррациональный элемент в рациональной логической структуре. Уже одно это не допускает полной формализации системы.
В формальной логике истинность передается от посылок к заключению. В диалектической логике взаимоисключающие посылки в исходном положении истинностной оценки не имеют (3). Истинность суждений обнаруживается/не обнаруживается (достигается/не достигается) по окончании аргументативного совместного рассуждения оппонентов.
И вообще, традиционная формальная логика (математическая логика) использует лишь тот класс высказываний, которые можно оценить в терминах истинно и ложно. В то время как диалектическая логика задействует высказывания, не принимающие истинностные значения (высказывания-вопросы, высказывания-оценки, высказывания-императивы) (4).
При таком положении нельзя заранее просчитать результат диалектического рассуждения, как того требует формальная система.
__________
* См. Kosok Michael
Комментариев нет:
Отправить комментарий