
Originally Posted by
crazy-mike
Я уже попробовал объяснить - "диалектическую логику" можно свести к "адаптивной грамматике" ( грамматике с изменяемой системой правил (продукций - что фактически эквивалентно )). Там весь фокус в том - что "процедуру изменения правил грамматики" тоже можно описать при помощи грамматики. Мало того - таких "логик" может быть сколько угодно в зависимости от используемых "constraints" (т.н. "здравый смысл" это ведь тоже "constraints" , но даже он "применим" в сравнительно узком контексте.). Это всё к тому , что "диалектическая логика" является всего лишь одним членом совокупности формальных систем. И абсолютизировать её не имеет никакого смысла.
«Это всё к тому , что "диалектическая логика" является всего лишь одним членом совокупности формальных систем » — Общее у меня с вами то, что оба исходим из возможности построения диалектической логики. Только я скептически отношусь к идее 'диалектической логики' как формальной системы. Весь смысл диалектической логики состоит в том, что она представляет из себя модель естественного мышления, - в принципе неформальную. Диалектическую логику скорее всего следует отнести к семейству неформальных логик (informal logic).
В самом деле:
Если формальная логика запрещает противоречие высказываний, то диалектическая логика исходит из лежащего в основе развития мысли противоречия высказываний (1).
Если формальная логика отвлекается от субъекта рассуждений, то диалектическая логика есть логика субъектная (2).
Грубо, это выражается в положении: "Вы мне «брито » - я вам: «стрижено »". В диалектической логике учитывается субъект рассуждений в статусе носителя утверждений и возражений. Денотат субъекта рассуждений обозначен как иррациональный элемент в рациональной логической структуре. Уже одно это не допускает полной формализации системы.
В формальной логике истинность передается от посылок к заключению. В диалектической логике взаимоисключающие посылки в исходном положении истинностной оценки не имеют (3). Истинность суждений обнаруживается/не обнаруживается (достигается/не достигается) по окончании аргументативного совместного рассуждения оппонентов.
И вообще, традиционная формальная логика (математическая логика) использует лишь тот класс высказываний, которые можно оценить в терминах истинно и ложно. В то время как диалектическая логика задействует высказывания, не принимающие истинностные значения (высказывания-вопросы, высказывания-оценки, высказывания-императивы) (4).
При таком положении нельзя заранее просчитать результат диалектического рассуждения, как того требует формальная система.
--