Относительная самостоятельность логической формы, ее независимость от конкретного содержания мысли открывает благоприятную возможность для отвлечения от этого содержания, вычленения логической формы и ее специального анализа. Этим и определяется существование логики как науки. Этим же объясняется и наименование — «формальная логика».

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

• геометрией как наукой о пространственных формах и их отношениях,

• морфологией растений и животных,

• юридическими науками, исследующими формы государства и права.

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

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

1. лишены наглядности и

2. неразрывно связаны с языком.

В то же время они качественно отличны друг от друга как по своим функциям, так и по структуре. Главное отличие их как структур мысли состоит в степени их сложности. Это разные структурные уровни мышления:

• • Понятие, будучи относительно самостоятельной формой мысли, входит составной частью в суждение.

  • Суждение, в свою очередь, будучи относительно самостоятельной формой, в то же время выступает составной частью умозаключения.

  • Умозаключение — составная часть доказательства, которое само входит звеном в теорию.

Таким образом, они представляют собой не рядом стоящие формы, а иерархию этих форм. И в этом отношении они подобны структурным уровням самой материи — элементарным частицам, атомам, молекулам, телам.

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

1.2. Диалектическая логика

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

Диалектическая логика дает ориентиры  разумного  мышления,  обеспечивающие  развитие  познания, его движение к истине.

Диалектическая логика – это диалектика в действии, в ее применении к мышлению, познанию, практике. Она изучает способы мышления, обеспечивающие совпадение содержания знания с объектом, т.е. достижение объективной истины.

Отличие диалектической логики от формальной:

• формальная логика, пользуясь методом формализации, исследует  формы  мышления в отвлечении от  его содержания и  исторического развития;

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

1.3.  Историческая справка

Критика приведенных выше определений - по ссылке http://philosophystorm.org/k-voprosu-o-raznitse-mezhdu-formalnoi-i-dialekticheskoi-logikoi#comments.

Оттуда же:

"Терминологическое различение диалектики, полагаю, надо проводить по нескольким направлениям:

А. Диалектическая логика. У диалектической логики фиксирую три лексических значения.

1. (философское) Логика с большой буквы. В этом смысле ДЛ охватывает собой:

   • диалектическую онтологию,

   • диалектическую гносеологию и

   • диалектическую методологию.

2. Формальная диалектическая логика. Это то, что предлагает В.И. Моисеев (логика переменной несовместимости), А.А. Ивин (коннексивная диалектическая логика), Решер (см. здесь) и Ваше предложение ("в полном соответствии с матапаратом логики предикатов").

3. Элементарная диалектическая логика - наука о правильных рассуждения с включенным продуктивным противоречием как источником развития мысли. Это мой вариант (ТФЛ + диалектика = ЭДЛ).

4. Диалектическая логика как методология.

Б. Диалектика.

1. Диалектика как античное искусство правильных диалогических рассуждений.

2. Марксистская диалектика - учение о наиболее общих законах развития в природе обществе и мышлении.

3. Формальная диалектика широких западных исследований.

4. Диалектика как методология.

В. Формальная логика.

1. Аристотелевская силлогистика.

2. Формальная логика как устоявшаяся учебная дисциплина. Это и есть ТФЛ (традиционная формальная логика).

3. Математическая формальная логика:

   • Классическая формальная логика высказываний.

   • Классическая формальная логика предикатов.

4. Неклассическая формальная логика:

   • логика вопросов;

   • логика оценок;

   • логика императивов;

   • логика времени;

   • паранепротиворечивая логика.

5. Формальная логика как метод.

Дано.

Г. Определение ЭДЛ.

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

Элементарная диалектическая логика пересекается с А, Б и В. Наука и метод друг другу не альтернатива. Когда наука или учение усвоены и освоены, то они становятся методом. Или органоном, как последователи назвали учение Аристотеля".

Конец цитирования (ссылка)

1.5. Содержание упомянутой критики позиции Юрком74 следующее:

К вопросу о разнице между формальной и диалектической логикой

Две цитаты с популярного сайта Юрком74.

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

Цитата 2.

- "формальная логика, пользуясь методом формализации, исследует  формы  мышления в отвлечении от  его содержания и  исторического развития";

- "диалектическая  логика  исследует  именно  содержательную  сторону мышления в процессе его углубления в сущностные связи объекта; она формулирует свои результаты в виде принципов развития мышления и познания".

Источник: https://jurkom74.ru/ucheba/formalnaya-i-dialekticheskaya-logika

Что здесь не так? Всё не так!

Во-первых, не ясно из цитируемого, что такое общее присутствует в формальной и диалектической логике, что позволило бы объединить их общим названием: "Логика". Возможно, у них общий предмет? А именно, Логика как наука о правильных рассуждениях. С тем различием, что традиционная формальная логика исследует рассуждения, исключающие противоречия, а диалектическая логика исследует рассуждения с инкорпарированным продуктивным противоречием.

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

В-третьих, содержание мышления исследует, скажем, психология. Но никак не логика - ни формальная, ни диалектическая.

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

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

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

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

--

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

Москва, 23 августа 2021