Пять тезисов оппонента Александра Болдачева на Философском штурме
Свое отношение к элементарной диалектической логике Александр Владимирович Болдачев сформулировал в пяти пунктах:
1. Нет никакой так называемой вами "элементарной диалектической логики", в смысле, работающей логической системы - есть только несколько слов "(утверждения и
(
Read more... )
mp_gratchev, 8 Май, 2014 - 22:11, ссылка
http://www.philosophystorm.org/vozrazheniya-v-adres-elementarnoi-dialekticheskoi-logiki#comment-89791
Болдачев. Фрагмент цельной законченной мысли:
[И теперь давайте посмотрим на ваши ответы на мои пять пунктов:
По первому пункту. Элементарная диалектическая логика - это работающая логическая система естественного мышления людей. Тут вопрос признания или отрицания очевидных фактов.
Вы постоянно манипулируете двумя смыслами термина "логика":
(1) логика, как естественная форма мышления/языка, и
(2) логика, как формальная система правил оперирования суждениями.
Понятно же, что когда речь идет о прикладном использовании логики, о формализации естественного мышления в рамках проекта ИИ, то имеется в виду логика во втором смысле (как формальная система правил), а не в первом. В первом смысле логика спора/диалога существует наравне с женской логикой - их статус как системы естественного мышления людей абсолютно одинаков. И этот статус не имеет никакого отношения к области прикладного применения, где могут фигурировать только формальные логические системы.
Итак, логики спора/диалога в виде формальной системы, которую только и можно противопоставлять традиционной формальной логике (что вы сделали сами) не существует. С таким же успехом наравне с естественной логикой спора/диалога можно предложить и женскую логику в качестве генератора новых мыслей?]
Далее, построчное рассмотрение:
["Вы постоянно манипулируете двумя смыслами термина "логика": (1) логика, как естественная форма мышления/языка, и (2) логика, как формальная система правил оперирования суждениями"].
Нет двух смыслов термина логика, а есть два совершенно разных понятия:
(а) оригинал и
(б) модель.
Здесь 'модель' - проект диалектической логики (ЭДЛ) и традиционная формальная логика (ТФЛ). 'Оригинал': естественное рассуждение (естественное мышление).
[Понятно же, что когда речь идет о прикладном использовании логики, о формализации естественного мышления в рамках проекта ИИ, то имеется в виду логика во втором смысле (как формальная система правил), а не в первом].
Естественное мышление - оригинал. Его, в рамках проекта ИИ, программируют либо, взяв за основу модель "формальную логику", либо берут за основу диалогическую (или диалектическую) логику и др. собственные модели.
Литература:
1. Кузнецов И.П. Кибернетические диалоговые системы. - М.: Наука, 1976.
2. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям. Серия "Науки об искусственном" 2002.
[В первом смысле логика спора/диалога существует наравне с женской логикой - их статус как системы естественного мышления людей абсолютно одинаков. И этот статус не имеет никакого отношения к области прикладного применения, где могут фигурировать только формальные логические системы].
Ну, здесь Вами опровергнуты смыслы, которые сами же и придумали.
На самом же деле, работает следующая пара: модель-оригинал. Оригинал один: естественное рассуждение. И две модели: традиционная формальная логика (ТФЛ) и элементарная диалектическая логика (ЭДЛ).
<[И этот статус не имеет никакого отношения к области прикладного применения, где могут фигурировать только формальные логические системы].
Область прикладного применения: искусственный интеллект и искусственный разум. Формализации подлежат ТФЛ и ЭДЛ.
[Итак, логики спора/диалога в виде формальной системы, которую только и можно противопоставлять традиционной формальной логике (что вы сделали сами) не существует].
Нет, не так. Скажем, в юриспруденции в зале судебного заседания или в Совбезе ООН широко пользуются и апеллируют к формальной логике, но не к логике в формализованном (математическом виде), а на уровне содержательных понятий и законов.
В этом (содержательном!) смысле мною и противопоставляется традиционная формальная логика и элементарная диалектическая логика.
--
Reply
Leave a comment