Mihail-P-Grachyov обратиться по имени
К различению формальной и диалектической логики Воскресенье, 21 Октября 2018 г. 22:32 (ссылка)
Горгипп, 5 Октябрь, 2018 - 22:10, ссылка
Для формальной логики второстепенно содержание, для диалектической - форма. Так выходит из приведённых определений. А как же единство формы и содержания той и другой? Если они логики...
Не в том направлении копают! Различие между ФЛ и ДЛ не по линии "содержание-форма", а по линии отношения двух логик к противоречию.
Для формальной логики первостепенно исключение противоречий из рассуждений. А для диалектической логики первостепенно в рассуждении продуктивное противоречие.
Для ФЛ противоречие статично (оно есть, либо его нет). Для ДЛ противоречие динамично. Оно источник развития рассуждения (индивидуального, или совместного).
Что касается формы, то формы мысли ФЛ и ДЛ рассматривают одни и те же: понятия, суждения, умозаключения. Плюс вопросы, оценки, императивы.
Элементарная диалектическая логика как нормативная дисциплина.
Логика - это нормативная дисциплина. Разумеется, одним из центральных в ней выступает вопрос том, как строить правильные рассуждения (по каким правилам и законам).
Группа 1 (законы традиционной формальной логики - ТФЛ).
- Закон абстрактного тождества;
- Закон запрещенного противоречия;
- Закон исключения третьего.
- Закон двойного отрицания.
Группа 2 (законы элементарной диалектической логики - ЭДЛ).
- Закон конкретного тождества;
- Закон разрешенного противоречия;
- Закон включения третьего.
- Закон отрицания отрицания.
Комбинирование основных форм мысли.
Имеем четыре основные формы мысли (вопрос, оценка, императив, суждение) или пять видов высказывания (поскольку суждение распадается на 'отрицание' и 'утверждение'). Соответственно, каждая из четырех форм мысли инициирует свое правило в комбинации с тремя другими формами мысли.
Итак,
Правило 1 (правило высказывания). В правильно построенном диалоге в один момент времени каждый из совместно рассуждающих генерирует одно выражение:
- или вопрос (А?),
- или оценку (А*),
- или императив (А!),
- или утверждение (А.) (отрицание ~А.).
Правило 2 (правило вопроса). Вопрос должен быть либо
а. оценен (как правильно поставленный либо неправомерный), или
б. уточнен (встречный вопрос), или
в. отвечен (дан прямой ответ в виде утверждения/отрицания), или
г. проимперирован ("сними с повестки свой вопрос!").
Правило 3 (правило оценки). Оценка должна быть либо
а. Оценена (адекватная: правильная, уместная, справедливая; не адекватная), или
б. уточнена/поставлена под вопрос (например, на каком основании инициирована данная оценка?), или
в. принята (скорретировано высказывание, по поводу которого сделана оценка), или
г. проимперирована (например, "возьми свою оценку/слова назад!")
Правило 4 (правило императива). Императив (требование, просьба, приказ) должен быть либо
а. оценен (исполнимый/не исполнимый), или
б. уточнен (зачем? для чего?), или
в. исполнен, или
г. предъявлен встречный императив ("приготовь топор!" на требование: "свари суп из топора!")
Правило 5 (правило суждения). Суждение (отрицание, утверждение) должно быть либо
а. оценено (истинное/ложное в двузначной логике), или
б. уточнено (в каком смысле/контексте утверждаете А?), или
в. поддержано (инициировано новое релевантное утверждение/отрицание), или
г. проимперировано ("предъявите пример!").
Другими словами, в диалоге у каждого из собеседников всегда есть выбор, в какой из четырех форм он сгенерирует свою мысль (суждение, вопрос, оценка, императив).
В ответной реплике на каждую форму высказывания откликом может стать опять же каждая из перечисленных форм мысли.
Десять ключевых положений Элементарной диалектической логики
1. Исходная клеточка логической системы: высказывание.
2. Логическая система - субъектная.
3. Четыре основные формы мысли: вопрос, суждение, оценка, императив (комбинации их перехода друг в друга - канон ЭДЛ). Плюс понятие. Они же, инструменты сознательного применения ЭДЛ.
4. Диалог - логическая форма.
5. Противоречие: диалектико-логическое (насущная проблема, подлежащая разрешению).
6. Доказательство в совместном рассуждении - аргументация.
7. Истинность локальная.
8. Конъюнкция утверждения и отрицания истинная - пружина развертывания совместной мысли (каждый обосновывает истинность своих высказываний и пытается опровергнуть оппонента).
9. Локальный критерий истины: критика.
10. Продукт: признание правоты противоположной стороны, консенсус, синтез.
На первоначальной стадии проекта решаю не проблему формализации ЭДЛ, а укоренение модели естественного рассуждения, отличной от традиционной. Разумеется в исходном виде эта теоретическая модель исключительно содержательная и запись текста с использованием символов сути дела не меняет.
В практическом плане, Элементарную диалектическую логику я позиционирую как традиционную (повседневную логику рассуждений).
То есть, на одном поле работают и традиционная формальная логика (аристотелевская), и традиционная диалектическая логика (сократовская). Теоретическим выражением последней является ЭДЛ.
Итак, Диалектическая логика и формальная сходны по предмету (обе логики о нормах "правильных рассуждений"). Различие двух логик в их отношении к противоречию. Формальная логика делает ставку на искоренение любых противоречий в рассуждениях, а элементарная диалектическая логика поощряет продуктивные противоречия (обеспечивающие получение согласованного продукта).
--