Мнение о "невозможности диалектической логики" - насколько оно обосновано?
Раз в два года сектор логики ИФРАН организует международные конференции, посвящённые памяти профессора Владимира Александровича Смирнова. Очередная конференция, "Пятые Смирновские чтения по логике", состоится 20-22 июня 2007 года в Москве. В материалах, предпосылаемых конференции, обнаружил статью В.А. Смирнова с броским посылом: " ( Read more... )
Comments 3
Что же имеется ввиду под словосочетанием "диалектическая логика" у Карла Поппера и на каком основании делается утверждение о невозможности ДЛ? Она невозможна как содержательная логика или как формальная? Скажем, невозможен вечный двигатель (противоречит закону сохранения и превращения энергии; возможность работы такой машины неограниченное время означала бы получение энергии из ничего). Казалось бы, и диалектическая логика допускает существенное нарушение, следствием которого становится неприемлемый для логического мышления вывод, а именно, вывод "произвольного утверждения":
"Одним из принципов диалектики, понимаемой как логика, является отказ от закона непротиворечия. Согласно этому подходу могут быть истинными противоречивые утверждения типа А и не-А. К. Поппер показывает, что при очень простых предпосылках - принятии, что из 'р' следует 'р или q' и из 'р или q' и 'не-p' следует 'q', - мы из противоречия можем вывести произвольное утверждение. Таким образом, в обычной логике принятие противоречивого утверждения разрушает всю систему ( ... )
Reply
Смирнов В.А.: "Одним из принципов диалектики, понимаемой как логика, является отказ от закона непротиворечия. Согласно этому подходу могут быть истинными противоречивые утверждения типа А и не-А".
В двух предложениях подряд сразу две неправильности, а именно:
1. Не отказ, а ограничение действия в пределах одной солиптической себе тождественной системы. "Солиптист а" не смеет утверждать (А & не-А). И "солиптист б" не смеет утверждать (А & не-А). Зато в их совместном рассуждении (а-б) допустимо (А & не-А). Только "солиптист в" третьей системы (а-б-в) должен помнить, что противоречие высказываний имеет уточненный вид: [Аа & (не-А)б]. С точки зрения четвёртой системы (а-б-в-г) всё три предыдущие системы и его собственная равноценны относительно выполнения законов формальной логики. Во всех четырёх системах законы формальной логики выполняются. Плюс, система (а-б) подвержена действию законов диалектики.
2. Да, противоречие (А & не-А) может иметь место. Только, 'истина суть процесс в диалектической логике' и по одной лишь этой причине ( ... )
Reply
Reply
Leave a comment