Изложение диалектической логики по Минасяну

Аватар пользователя mp_gratchev
Систематизация и связи
История философии
Гносеология
Диалектика
Логика

 

      Изложение диалектической логики по Минасяну

 

Минасян А.М. и др. (14 соавторов). Диалектическая логика. — Ростов-на-Дону,
1966. (Требования диалектической логики. Основные законы диалектической
логики. Мышление и формы его бытия). Резкая критика положений этой книги
в статье М.П. Грачева
. (О книге сообщила В.П. Копп 13.05.08).

 

Авторский коллектив, взглавляемый профессором А.М. Минасяном, предложил в 1966 году свой вариант диалектической логики с позиций диамата. Диалектическая логика на их взгляд есть "наука о мышлении, наука о законах, формах, путях и средствах постижения истины"*.  Вот структура изложения ДЛ изданной в Ростове книге "Диалектическая логика":

 Начало цитирования.                        
Диалектическая логика под ред профессра А.М. Минасяна
Авторский коллектив в составе: Алексеев Н.А, Беляев П.Р.,
Видинеев Н.Р., Гриценко И.И., Ефимов В.И., Зуйкова, Е.М.,
Минасян А.М., Момджиян М.Г. Морозов Е. И., Семенистый В.Е.,
Режабек Е.А., Саакян Ю.А.,  Ставская Н.Р. Тайсумов М.У.

Часть первая. Основные требования диалектической логики.

Глава  I. Объективность рассмотрения
Глава II. Всесторонность рассмотрения
        § 1. Рассмотрение в чистом виде
        § 2. Содержание понятия "всесторонность рассмотрения"
        § 3. Конкретность рассмотрения
Глава III. Рассмотрение предмета в его развитии
Глава IV. Практика - критерий истины

Часть вторая. Основные законы диалектической логики
Глава    V.  Единство и борьба противоположностей
Глава   VI. Количество и качество
Глава  VII. Отрицание отрицания
Глава VIII. Общее и единичное
Глава   IX. Сущность и явление
Глава    X. Содержание и форма
Глава   XI. Необходимость и случайность
Глава  XII. Необходимость и свобода
Глава XIII. Причина и следствие

Глава XIV. Историческое и логическое
          § 1. Тождество и различие исторического и логического
          § 2. Дифференциация и интеграция наук
          § 3. Историческое и логическое в "Капитале" Маркса

Глава  XV. Абстрактное и  конкретное
Глава XVI. Возможность и действительность

Часть третья. Мышление и формы его бытия
Глава XVII. Материальные формы бытия мышления
§ 1. Тождество и различие мышления и речи
§ 2. "Несловесные языки" мышления
§ 3. Эстетическое мышление

Глава XVIII. Собственные формы бытия мышления
§ 1. Понятие
§ 2. Суждение
§ 3. Умозаключение

Глава  XIX. Приемы и методы познания
§ 1. Индукция и дедукция
§ 2. Моделирование
§ 3. Анализ и синтез

Глава   XX. Научная теория
§ 1. Гипотеза
§ 2. Теория
§ 3. Единство теории и практики

Конец цитирования.

Судя по структуре оглавления, в рассматриваемой "Диалектической логике" делается акцент на гносеологическом содержании научной дисциплины. Как известно, мышление изучают не только логика, но и гносеология, и психология и др. дисциплины. Специфика логики заключается в более узком предмете - изучении законов и форм правильных рассуждений в процессах познания окружающего мира (и коммуникативных процессах). К сожалению, её (логической специфики) в обсуждаемом тексте усмотреть нельзя.

В тексте  "Диалектической логики" по сути разворачивается теория познания и поэтому больше подошли бы здесь следующие уточнённые названия:

Для первой части монографии (исходя из напечатанного текста):

         "Основные требования диалектического познания".
          [А.М. Минасян] = [АМ]:
АМ> Для истинного познания вещи важное значение имеет принцип
АМ> "рассмотрения в чистом виде", а также отношение этого принципа
АМ>  к самой вещи (ДЛ, С.46).
АМ> ...познание движется в вечном противоречии между абсолютным и
АМ> относительным,  которое выражает собой неисчерпаемость процесса
АМ> познания (ДЛ, С.86).

Для второй части ближе название:
              "Основные законы и категории диалектики познания":
АМ> Законы диалектики отражают в себе один и тот же процесс -
АМ> развитие объективной действительности и её  п о з н а н и я.
АМ> [...] Каждый закон диалектики имеет свою особенность, занимает
АМ> особое место в их суббординации и выполняет особенную роль в
АМ> процессе  п о з н а н и я  (ДЛ, С.157).

АМ> Если закон единства и борьбы противоположностей дает ключ
АМ> к научному пониманию внутреннего источника самодвижения, а закон
АМ> количества и качества показывает, что  п о з н а н и е   есть переход
АМ> на определенных этапах количественных изменений в коренные
АМ> качественные и наоборот, то закон отрицания отрицания интегрирует
АМ> функцмониррование этих двух законов в ряде вытекающих одна из
АМ> другой стадий поступательного процесса, выражает собой объективную
АМ> тенденцию  п о з н а н и я  [разрядка везде моя. - M.G.] (ДЛ, С.191).

Правильные слова о познании. Только, на мой взгляд, в книге с названием "Диалектическая логика" речь, прежде всего, должна идти о "законах диалектической логики".

Возможно, это будут какие-то специальные законы. Возможно, законы формальной логики следует интерпретировать как законы диалектической логики (в предельном случае) или законы диалектики взять в  их логической функции. Во всяком случае, в целях раскрытия темы говорить следует о законах логики, в частности, а не о законах познания, вообще.

Часть третья:  "Мышление и формы его бытия"
Хотя эта часть и затрагивает основные формы вербального мышления, но опять же под гносеологическим, а не под логическим углом  зрения. Например, глава  XIX так прямо и называется "Приемы и методы познания" и к логике имеет лишь косвенное отношение.

Логика, диалектика и теория познания тесно связаны между собой. Однако это обстоятельство не дает оснований для подмены одной научной дисциплины другой. Между ними должна быть произведена чёткая нарезка границ исследования. Сначала структурированное изложение каждой дисциплины самой по себе (исходя, разумеется, из общих диалектических посылок), а уже затем объединение в одно целое.

Поскольку понятие "логика", при ближайшем рассмотрении, связано прежде с понятием "формальная логика", то представляет интерес авторская трактовка взаимоотношения формальной и диалектической логики.

"Предметом диалектической логики является теоретическое мышление" (ДЛ, С. 158). Я бы добавил слова "в том числе, теоретическое мышление", поскольку интерес представляет и обыденное мышление. Формальная логика рассматривает структуру рассуждений на любых уровнях мышления - как естественного, так и искусственного. Сведение предмета только к теоретическому мышлению необоснованно зауживает предмет диалектической логики.

АМ> в отличие от формально-логического закона исключенного третьего,
АМ> согласно которому два противоречащих суждения не могут быть
АМ> одновременно ложными: одно из них необходимо истинно; третье
АМ> суждение исключено, закон отрицания отрицания указывает как раз
АМ> на истинность третьего, поскольку согласно ему истина постигается в
АМ> качестве единства тезиса и антитезиса, т.е. в качестве третьего (ДЛ, С.196).

Здесь закон диалектики познания "Отрицание отрицания" (двойного отрицания) интерпретирован в качестве закона логики. К сожалению, в такой форме применения закон легко опровергается простейшим контр примером:

1. Эйфелева башня в Лондоне.
2. Эйфелева башня в Париже (не в Лондоне).
_________________________________________
3. Эйфелева башня в Париже.

В примере выполнено условие: указано на истинность третьего. Только оно совпадает, исходя из требований истинности, со вторым предложением.

АМ> Диалектической логике нет надобности изобретать какие-то новые
АМ> особые формы мышления, она берет их у формальной логики (ДЛ, С.404).

Рискованное заявление. Из него вытекает хвостизм диалектической логики. Она плетётся в хвосте логики формальной. Формальная логика изобретает всякий раз новые формы, а диалектическая логика их лишь подхватывает.

Собственно, так происходит и с "новыми" (в отличие от старых: понятий, суждений, умозаключений) формами мысли: вопросами, императивами, оценками. Они положены в основание формально-логических структур "логики вопросов", "логики норм", "логики оценок".

Между тем, было бы естественным предположить, что в рамках диалектической логики при сохранении исходного традиционного базиса  понятий, суждений и умозаключений разрабатываются собственные диалектические формы, обеспечивающие функционирование рационального диалектического мышления.

АМ> Может возникнуть вопрос: почему диалектическая логика в отличие от
АМ> формальной не вырабатывает себе собственных форм мышления?
АМ> Потому что нет такой необходимости, потому, что выработанные
АМ> формальной логикой формы наилучшим образом воплощают
АМ> диалектико-логическое содержание и не мешают своей внутренней
АМ> диалектике. [...] Понятие, суждение и умозаключение воплощают как
АМ> формально-логическое содержание, так и диалектико-логическое.

Есть необходимость. Во-первых, ДЛ и ФЛ  (при всём при том, что у них один предмет - стрктура, законы и формы правильных рассуждений) необходимо различать. И это различие выражается, в том числе, в своих особых формах мысли, законах и правилах рассуждений. Во-вторых, понятие, суждение и умозаключение являются недостаточными для "воплощения" содержания диалектической логики и её дальнейшего развития как научной дисциплины.
___________
*) Диалектическая логика, под ред профессора А.М. Минасяна. Ростов-на-Дону. 1966, стр. 17.

--
Грачев Михаил Петрович.

Москва, 01 мая 2016 г.

Связанные материалы Тип
Диалектическая логика И.Д. Андреева mp_gratchev Запись

Комментарии

Аватар пользователя rpa

Грачев,

неудивительно,что данный автор привлек ваше внимание! Вы так похожи,так похожи!)))

Не зря говорят: "каждый выбирает по себе..." )))

Аватар пользователя mp_gratchev

rpa, 1 Май, 2016 - 04:39, ссылка

Грачев, неудивительно,что данный автор привлек ваше внимание! Вы так похожи,так похожи! Не зря говорят: "каждый выбирает по себе..."

Мое внимание привлекла научная логика П.А. Рассомахина. Значит ли это, что данный автор ( П.А. Рассомахин) мною выбран по себе? - Нет, конечно! Просто темы названных выше авторов пересекаются с моим интересом к диалектической логике.

--

 

Аватар пользователя Геннадий Макеев

М.Грачёв

Специфика логики заключается в более узком предмете...(чем специфика гносеологии).

 

Если специфика логики так узка, тогда, по вашему, рассуждения в гносеологии не должны иметь логики, т.е. не должны быть оформленными рассуждениями, а чем-то непонятно чем познающем. Мне видится, что вы слишком заужаете понимание логической формы так,что любое поягательство на эти зауженные границы вы воспринимаете "в штыки". Т.е. вы, хотя и используете понятие "разрешение противоречия", но не хотите или не можете его применить к этим вами созданным границам.

Между ними(дисциплинами) должна быть произведена чёткая нарезка границ исследования.

Кто спорит, границы должны быть. Но они наверное должны не только быть в значении разделения дисциплин, но также и в значении их обьединения, дающего возможность логических переходов от одной дисциплины к другой, а ваша зауженность логики не позволяет это сделать, возможно потому, что понятия "точность", "чёткость" у вас не очень отличаются от тех, которые имеет в виду и требует, например, А. Болдачёв. Т.е. в этих понятиях и у вас и у него нет движения, а значит они могут ложно вами пониматься и применяться в отношении границ и логических/диалектикологических форм.

 

Аватар пользователя mp_gratchev

Геннадий Макеев, 1 Май, 2016 - 10:00, ссылка

М.Грачёв: [Специфика логики заключается в более узком предмете...(чем специфика гносеологии)]. Если специфика логики так узка, тогда, по вашему, рассуждения в гносеологии не должны иметь логики, т.е. не должны быть оформленными рассуждениями, а чем-то непонятно чем познающем. Мне видится, что вы слишком заужаете понимание логической формы так,что любое посягательство на эти зауженные границы вы воспринимаете "в штыки". Т.е. вы, хотя и используете понятие "разрешение противоречия", но не хотите или не можете его применить к этим вами созданным границам.

[Между ними (дисциплинами) должна быть произведена чёткая нарезка границ исследования]. Кто спорит, границы должны быть. Но они наверное должны не только быть в значении разделения дисциплин, но также и в значении их объединения, дающего возможность логических переходов от одной дисциплины к другой, а ваша зауженность логики не позволяет это сделать, возможно потому, что понятия "точность", "чёткость" у вас не очень отличаются от тех, которые имеет в виду и требует, например, А. Болдачёв. Т.е. в этих понятиях и у вас и у него нет движения, а значит они могут ложно вами пониматься и применяться в отношении границ и логических/диалектикологических форм.

Предмет докантовско-гегелевской логики — это  понятия, суждения, умозаключения. После Канта (трансцендентальная логика) и Гегеля (спекулятивная логика) предмет логики был расширен за счет включения в неё онтологии и гносеологии. Хотя и у Аристотеля основные законы логики синкретически распространяются на объективный мир.

Тем не менее после Аристотеля сложилось так, что логика отдельно - метафизика отдельно. Эта дифференциация позволила сформировать специальную дисциплину: формальную логику. Достижения ФЛ общеизвестны. А вот с диалектической логикой происходят непонятки.

Диалектическая логика в античности представлена диалектикой совместного рассуждения (диалоги Сократа в изложении Платона). Но если аналитика Аристотеля отпочковалась от диалога в виде строгой логической теории, то, у того же Аристотеля, диалектика не получила строгого оформления (разве что "диалектический силлогизм" как правдоподобное умозаключение - только получилось как-то натянуто, не правдоподобно, и с противоречием никак не связано), а перенаправилась в область риторики и эристического искусства аргументации ("Топика", "О софистических опровержениях").

 

Экспликация противоречий в логике, диалектике и метафизике

Рис.1. Расширение понятия "логика вообще" и сужение понятия "диалектическая логика".

Кантовско-гегелевское расширение логики в область философии сопровождалось дифференциацией самой философии на метафизическую и диалектическую. Причем у метафизической философии был определенный надежный базис в лице традиционной формальной логики. А у диалектической философии (гносеологии и  онтологии) своей логической основы не оказалось.

Вот и тюкают материалистическую диалектику все кому не лень, начиная с Поппера. Мол из противоречия следует всё что угодно. Справедливости ради, отмечу, что это Поппер на слуху,  - на самом деле, критика началась гораздо раньше - ещё в 19 веке*. Диалектикам приходится идти на уступки: диалектическая логика в конфликт с формальной логикой не вступает, дескать предметы разные - ФЛ о правильных рассуждениях, а ДЛ о познании.

 

"по вашему, рассуждения в гносеологии не должны иметь логики, т.е. не должны быть оформленными рассуждениями, а чем-то непонятно чем познающем" — Нет, не так. Рассуждение, оно и в гносеологии, и в быту есть рассуждение. А как научные (философские) дисциплины - логика отдельно, гносеология и онтология отдельно.

 

"вы слишком заужаете понимание логической формы так,что любое посягательство на эти зауженные границы вы воспринимаете "в штыки"" — Не посягаю, а только описываю и эксплицирую: где произошло расширение и где сужение. Нет, в штыки не воспринимаю. Моя задача разъяснение ситуации, как я её вижу.

 

"Но они наверное должны не только быть в значении разделения дисциплин" —  Мною показано, где объединение и где должно быть разъединение.

 

"Т.е. в этих понятиях и у вас и у него нет движения"  —  Почему же? У меня тоже есть движение от аристотелевских основных форм мысли (понятий суждений, умозаключений) в сторону расширения состава основных форм за счет неистинностных вопросов, оценок и императивов (неистинностные - значит высказывания не принимают значения "ложно/истинно"). Плюс новация: в дополнение к "умозаключению" предложена логическая форма связи высказываний в рассуждении - "диалог". Поскольку аристотелевский силлогизм не заточен на соединение суждений с вопросами, оценками и императивами.

 

___________________

*) "Имена Шопенгауэра, Ланге, Тренделенбургера, Ульрица, Экспера, Э.ф.Гартмана, Дюринга и пр., показывают, с каким единодушием философы различнейших направлений протестуют против диалектической логики" (Н.Г. [Х.Житловский] Материализм и диалектическая логика ("Рус. богатство", 1898, No 6, 7; псевд. – Н. Г.; отд. изд. 1907)/ РБ-6, С.60) . Любопытно, хотя бы один из перечисленных авторов в своей критике гегелевской диалектики употреблял термин "диалектическая логика"? Или Хаим Житловский - родоначальник традиции приписывать термин "диалектическая логика" авторам, которые этот термин не употребляли? Под "традицией" имею ввиду Н.И. Кондакова и А.И. Бродского, которые приписали Гегелю введение термина "диалектическая логика".

 

                   Подходы к формализации диалектической логики
                                         (Вариант В.И.Моисеева)

 Две традиции философской логики (диалектическая и формально-логическая). Традиционную логику относят к философским наукам. Вячеслав Иванович Моисеев усматривает в истории философии две традиции философской логики: парменидо-аристотелевскую (линия Парменида) и гераклито-платоновскую (линия Гераклита).

Отличаются две линии тем, что по линии Парменида шло поступательное движение формальной логики с её законами тождества, (не)противоречия и исключенного третьего, а по линии Гераклита осуществляется трудное становление диалектической логики, законы которой выходят за пределы законов тождества и непротиворечия.

Венцом развития формальной логики стала строгая теория математической логики, тогда как диалектическая логика запуталась в собственных содержательных противоречиях, хотя подспудно стремится к строгой структуризации и общезначимости.

Свою задачу В.И.Моисеев видит в том, чтобы "развить линию Гераклита до уровня более строгой и структурно выраженной теории" диалектической логики (Моисеев В.И. Лекция 12. Логика переменной несовместимости - pdf, С.2). При этом автор руководствуется следующими идеями.

 

1. Идея диалогического взаимодействия формальной и диалектической логики. О чём две логики спорят?

Сила формальной логики в её слабости. В формальной логике представлен образ некоторого статического и абстрактного логоса, не способного выразить движение, органическую связь и конкретно-общее. Но статичность и неизменность обеспечивает строгость описания предмета и обоснованность выводов из исходных посылок.

Формальной логике предъявляют претензию в том, что мол её строгость  - это строгость бездыханного трупа, все части которого на месте, но в целом организм не функционирует. Она не способна выразить движение и целостность.

Встречный счёт, который формальная логика предъявляет логике диалектической, прежде всего, заключается в указании на ключевое понятие "противоречия", которое не допускает формирования строгой структуры, а если таковая уже имеется, то появление противоречий разрушает ткань наличной системы.

Формальная логика стремится вычистить из содержательной теории все противоречия на пути формализации научной теории. Диалектическая логика призывает сохранить те противоречия, которые составляют импульс саморазвития теории.

Таким образом спор, конфликт между формальной и диалектической логикой завязывается вокруг "противоречия" в основании логики - их недопущении. А если допускать, то как сделать это корректно, непротиворечиво?

 

2. Идея изменения неизменного или уровневости логики.

Скажем, человек с возрастом меняется, но при этом остается тем же человеком (Иановым, Петровым, Сидоровым). "Если бы не было тождественного момента в изменении, - пишет В.И.Моисеев, - то мы не могли бы сказать, что кто-то один меняется, это были бы просто два разных объекта во времени" (там же - pdf, С.3).

Осталось лишь зафиксировать этот инвариант или тождество:

        А=А                    (1)

Формальная логика - это одноуровневая логика неизменности мыслей. При переходе на другой уровень  каждый раз необходимо оговаривать, что меняется в мыслях и отслеживать статичность нового качества.

 

3. Идея совмещения несовместимого (логика переменной несовместимости).

Совместимость и несовместимость - это ключевые понятия закона противоречия. Идея несовместимости, - пишет В.И.Моисеев, - возникает в логике в связи с операцией отрицания:

                 А и неА                 (2)

"Мысль неА несовместима с мыслью А. Но что это значит?,  Что значит быть несовместимым?" - задается вопросом автор. Это такое отношение двух мыслей, при котором актуализация одной делает невозможной актуализацию другой мысли: "Когда утверждает себя мысль А, то она уничтожает собой неА, вытесняет её, и наоборот - утверждение неА приводит к уничтожению и вытеснению из бытия А".

Но если проиндексировать уровни А через А1, А2, А3, ... Аn, - то на всех уровнях сохраняется неизменной и сущность А, и присутствуют изменения на фиксированных уровнях А1, А2, А3, ... Аn.

Итого: "Отсюда можно сделать тот первый вывод, что формальная логика - это логика фиксированных отношений совместимости для некоторой системы мыслей, в то время как альтернативная ей другая логика, которую обычно называют диалектической логикой. - это логика меняющихся отношений совместимости и несовместимости, логика переменной совместимости" (там же, pdf - С. 4).

 

4. Идея демаркации двух логик.

С позиций формальной логики противоречие - это ошибки. Тогда как сторонники диалектической логики в противоречии усматривают позитивное начало. И то, и другое содержание в символьном виде имеет одну и ту же структуру (2).

Ошибочное рассуждение и в диалектической логике есть ошибочное рассуждение. Как различить между собой обычную ошибку и противоречие как побудительный импульс развития мысли?

Такого рода проблему В.И.Моисеев называет проблемой критерия  логической  демаркации  (КЛД). По мнению автора, решение этой проблемы является решением самого феномена диалектической логики. Достаточно лишь указать отличие диалектических противоречий от формальнологических, как сразу можно будет построить теорию диалектической логики (построить  непротиворечивую логику противоречий). А поскольку проблема КЛД не решена до сих пор, то поэтому диалектической логике не удается достичь уровня настоящей научной теории.

 

Понятие антиномии.

Антиномия - это особое противоречие, которое не представляет собой проявление ошибки ("Поэтому антиномии можно так же называть диалектическими противоречиями" (Моисеев В.И. Лекция 13. Логика антиномий. pdf, С.1).

Антиномия - это не просто два противоречащих суждения, а противоречащие суждения вместе с их диалектическим разрешением (снятием).

Тогда, механизм разрешения противоречия  выражается в дифференциации субъекта суждения Х на два аспекта Х1 и Х2, где Х1 = Х↓с1, Х2 = Х↓с2, так что в суждении возникают два субъекта Х1 и Х2 по правилам  логики Проективно Модальной Онтологии В.И. Моисеева.

 

Источник:

http://neoallunity.ru/lec/lec12.pdf

http://neoallunity.ru/lec/lec13.pdf

 

               Подходы к формализации диалектической логики
                                  (Вариант А.А. Ивина)

                             Коннексивная импликация

            (в книге Ивина А.А. "Импликации и модальности. М.: ИФ РАН, 2004")

 

Начало цитирования.

Следующий отрывок из «Первой аналитики» Аристотеля вызвал многочисленные и противоречивые комментарии: «... невозможно, чтобы одно и то же было необходимо и когда другое есть и когда его нет: я имею в виду, например, <такое отношение>, что когда А бело, то В необходимо велико, и что когда А не бело, то В <также> необходимо велико... В таком случае, если В не велико, то и А не может быть белым. Если же <предположить>, что В необходимо велико, когда А не бело, то с необходимостью вытекает, что В велико, когда оно не велико, а это невозможно» [2].

Здесь Аристотель ясно указывает два кажущихся ему логически истинными утверждения с импликацией, не являющейся стандартной. В терминах пропозиционального исчисления они представляются так:

~((p → q) & (~ p → q)),                         (1)

~ (~ Р → P).                                         (2)

Второе из этих утверждений, согласно которому никакое высказывание не может имплицироваться его собственным отрицанием, можно назвать «тезисом Аристотеля».

В «De Syllogismo Hypothetico» Боэций приводит следующую форму вывода:

 «Si est A, cum sit В, est С;                            (3)
... atqui cum sit В, non est С;                         (4)
non est igitur А»,                                           (5)

что можно передать так:

«если р, то если q, то г;                              (3.1)
и если q, то не-r;                                        (4.1)
следовательно, не-р».                                (5.1)

Символически:

– 53 –

(p → (q → r) & (q → ~r) → ~p                        (6)

Ход мысли Боэция, приведший его к утверждению обоснованности вывода данной формы, был, по-видимому, таким: импликации

«если q, то г» и «если q, то не-r»                  (7)

являются взаимно несовместимыми, что по modus tollens влечет не-р [3].

Тезисы Аристотеля и Боэция ложны в случае материальной импликации, но удовлетворяют, по мнению С.МакКолла, коннексивной импликации, предложденной Секстом Эмпириком. Согласно последнему, импликация является коннексивной в том случае, когда ее антецедент несовместим с противоположностью консеквента.

Аристотелевский тезис имплицитно использует коннексивную импликацию: не-р никогда не имплицирует р, так как не-р не является несовместимым с не-р.

Если р несовместимо с не-q, т.е. р коннексивно имплицирует q, то р никогда не будет несовместимым с отрицанием не-q. т.е. не будет верным имплицирование р не-q. Это и утверждается тезисом Боэция.

Неоднократно предпринимались попытки показать, что Аристотель и Боэций, принимая обоснованность указанных форм вывода, ошибались. Имеются, однако, работы, в которых утверждается приемлемость этих форм в случае тех или иных видов импликации. Е.Нельсон выводит тезис Боэция из своего определения логического следования. Т.Сторер принимает в качестве одной из аксиом, характеризующих импликацию, связывающую описательное высказывание с императивным, формулу:

~ (р → q) ≡ (р →~ q).                           (8)

П.Стросон в качестве примера закона, справедливого для связки «если, то» в ее стандартном, или главном, употреблении, называет формулу:

~ ((если р, то q) & (если р, то не-q)).    (9)

В ряде работ отстаивается точка зрения, что импликации

(р → q) и (р →~ q)                              (10)

являются несовместимыми в случае каузальной импликации, в случае сослагательных условных предложений и др.

– 54 –

 

В этой связи представляется интересным исследование логических следствий принятия утверждения о несовместимости импликаций

(если р, то q) и (если р, то не-q).        (11)

Особенностью коннексивной импликации является, таким образом, то. что она удовлетворяет принципам

~ (р →~ р)                                        (12)

~ (~ р → р)                                       (13)

и т.п., аналоги которых неприемлемы в случае материальной, строгой, сильной и других стандартных импликаций.

Обычно теория коннексивной импликации строится независимо от теорий иных импликаций и не сопоставляется с ними.

Можно, однако, определить коннексивную импликацию как строгую импликацию, на антецедент или консеквент которой налагаются определенные ограничения.

Четыре возможных варианта коннексивной импликации задаются следующими определениями:

Д1. р→1 q = Df L (р⊃q) & ~ L ~р,                (14)
Д2. р→2 q = Df L (р⊃q) & ~ Lq,
ДЗ. р→3 q = Df L (р⊃q) & (~ Lр ∪ ~ Lq),       (15)
Д4. р→4 q = Df L (р⊃q) & ~ L ~р & ~ Lq.      (16)

Согласно Д1, коннексивная импликация есть строгая импликация с возможным антецедентом.

По Д2 – это строгая импликация с не являющимся необходимым консеквентом.

Согласно ДЗ и Д4 – строгая импликация с возможным антецедентом или/и ненеобходимым консеквентом.

Присоединение любого из этих определений к стандартным системам строгой импликации позволит показать, что каждая из них содержит некоторую теорию коннексивной импликации.

Система коннексивной импликации, содержащаяся в модальной системе Т, дополненной определением Д1 (система I 1T), определяется следующими аксиомами, присоединяемыми к классической логике высказываний (∆ – произвольная тавтология этой логики, ... – материальная импликация, ≡ – материальная эквивалентность):

А1. (р → q) & р ⊃ q                                    (17)
А2. р ⊃ (р → р),                                         (18)
A3, (р → q) & (р → г) ≡ (р → q & г),            (19)

– 55 –

А4. (р → q) ⊃ ~(q → ~p),                            (20)
A5. (p → q) ⊃ (∆ → (p ⊃ q)),                        (21)
A6. ~(b → ~p) ⊃ ((∆ → (p ⊃ q)) ⊃ (p → q))   (22)

Дополнительным правилом вывода является правило экстенсиональности, позволяющее заменять одно или более вхождений некоторого выражения в доказанную формулу вхождениями эквивалентного ему выражения.

Источник: http://iph.ras.ru/page49535495.htm

Конец цитирования.

--

Грачев Михаил Петрович.
Москва, 14 мая 2016 г.

Аватар пользователя mp_gratchev

 

                        Приписывание диалектической логики Гегелю
                                     (истолкование М.И.Белоногова)

 

Начало цитирования.
Гегель - логик. Главная его заслуга - создание логики категорий. Задача, перед которой остановился Аристотель, задача, которая и поныне кажется неразрешимой, и даже несказуемой – в значительной мере если не разрешена Гегелем, то существенно продвинута к решению. Возможно, именно современное тотальное убеждение, исходящее от позитивизма, что логику категорий создать невозможно, лежит в основе непонимания работ философа.
Нет такой логики! – утверждают позитивисты [5, с.26]. Мы отвечаем: Есть такая логика!
Именно построению диалектической логики  посвящена «Наука логики», где Гегель идет от абстрактного к конкретному.
Логика Аристотеля научила человечество строить целое из частей, это логика механизма или механистическая логика. Логика Гегеля, наоборот, дает алгоритм построения частей из целого. Это - логика организма, логика холизма, которой следует природа,  логика саморазвития, которая действует во всяком процессе природы - будь то химическая реакция или социальное движение. В конкретном познании логика должна быть опредмечена  в специфических терминах самого познаваемого процесса, чего и добивался Энгельс в своей «Диалектике природы».  Увы, мы по-прежнему далеки от реализации этого требования классика марксизма.
Конец цитирования.

Источник: http://philosophystorm.ru/article/belonogov-mi-est-takaya-logika

Утверждение о создании Гегелем категориальной логики (после многочисленных исследований по этой теме приверженцами диалектического материализма) не является каким-то научным или философским откровением.

Заявление, что Гегелем строилась диалектическая логика, слишком ко многому обязывающее утверждение. Такое заявление возможно только с позиций собственного развёрнутого образа диалектической логики. Да, категориальная проекция диалектической логики на логику бесконечных понятий вполне правомочна.

Но такая проекция без диалектики конечных понятий и суждений криворукая и одноглазая.  Для полноты картины необходим тесный диалог формальных логиков и диалектиков.
--

Аватар пользователя Геннадий Макеев

Михаил Петрович, в своей теме я только что указывал Болдачёву на отсутствие центра.
Если нет сущего центра, то и не откуда (на)браться силы, которая бы довела движение до предела.
Вот вы говорите, что ..." У меня тоже есть движение от аристотелевских основных форм мысли...".
Но ведь аристотелевские основные формы мысли основываются на аксиомо-движении,т.е. такой аксиоматики, которая "имеет силу для всего существующего".А это сущие аксиомы. Вот эта-то сила аксиом(связывающая логику с метафизикой) и теряется на пути от понимания аристотелевских форм к современности.
А раз сила теряется, то  и складывается так разрывающе, как вы говорите: " После Аристотеля сложилось так, что логика отдельно - метафизика отдельно". Выходит зря Аристотель говорил о сущих аксиомах как самодостоверных началах именно в своей "Метафизике". Я думаю,что совсем не зря.

Тут ясно, что должно быть некое абстрагирование логики, но это абстрагирование(конкретизирующее дисциплину логики) должно опираться на связующую силу сущей аксиоматики, как у Аристотеля, но ведь дело в том, что у современности, разделившей логику и метафизику подобной опоры не видно, т.к. с пониманием сущей аксиоматики пока беда.

Аватар пользователя mp_gratchev

Геннадий Макеев, 15 Май, 2016 - 08:51, ссылка

Тут ясно, что должно быть некое абстрагирование логики, но это абстрагирование (конкретизирующее дисциплину логики) должно опираться на связующую силу сущей аксиоматики, как у Аристотеля, но ведь дело в том, что у современности, разделившей логику и метафизику подобной опоры не видно, т.к. с пониманием сущей аксиоматики пока беда.

В современной формальной логике есть такой раздел, который называется "философская логика"*. В этом разделе аккумулируют все онтологические и гносеологические "силы" символической логики.

Что касается диалектической логики, то в марксистском варианте она так прочно сцепила диалектику, логику, гносеологию и онтологию (знаменитые "не надо 3-х слов"), что вся "сила" ушла на поддержание этой сцепки в позиции статус-кво. Самодостоверные начала: единство и взаимодействие противоположностей, количественно-качественный переход, отрицание отрицания и др. категориально-парные схемы силовых отношений.

 

__________________

*) "Философская логика - широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами символической логики" (статья А. С. Карпенко в Новой философской энциклопедии: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.).

--