Логика - это наука о теоретических моделях естественных и искусственных рассуждений.
"Логика - это теоретическая наука о правильных рассуждениях", (с) Анисов А.М.
Логика - (от греч. logos — слово, понятие, рассуждение, разум), или Формальная логика, — наука о законах и операциях правильного мышления.
( Ивин А.А., Никифоров А.Л. Словарь по логике. М., Гуманит, изд. центр ВЛАДОС, 1997. )
Естественные рассуждения могут протекать по правилам или без правил. Что значит "без правил"? Например, ассоциативно:
"Ночь. Улица. Фонарь. Аптека". (1)
"Кот. Кринка. Сметана. Хозяйка. Прут" (2)
"Вопрос. Суждение. Оценка. Императив. Диалог" (3)
Искусственное рассуждение компьютера всегда осуществляется по правилам. Но вернусь к естественным рассуждениям человека.
1. Где в какой парадигме происходят правильные рассуждения?
В теоретической модели аристотелевской традиционной логики (одна парадигма логики) происходят правильные рассуждения. Правила здесь задаются следующей группой логических законов:
Группа 1 (законы традиционной формальной логики - ТФЛ).
- Закон абстрактного тождества;
- Закон запрещенного противоречия; (4)
- Закон исключения третьего.
Удивительно, но в другой парадигме - элементарной диалектической логике (вторая модель естественных рассуждений), осуществляются тоже правильные рассуждения. Здесь прямо противоположные правила задаются следующей группой логических законов:
Группа 2 (законы элементарной диалектической логики - ЭДЛ).
- Закон конкретного тождества;
- Закон разрешенного противоречия; (5)
- Закон включения третьего.
"Каноны формальной логики " общепризнанные. А вот каноны диалектической логики дискуссионные. Было бы ошибкой закрывать на это глаза. Две противостоящие концепции ДЛ:
- гносеолого-онтологическая (Логика с большой буквы);
- рассудочно-логическая (Элементарная диалектическая логика).
Первая по сути философская метафора. Она отождествляет логику и познание согласно формуле "не надо 3-х слов": диалектика, логика и теория познания есть одно и то же ("банальная синонимичность ").
Вторая концепция является дополнительной к формальной логике, хотя обе самостоятельные и разные.
Кроме того, в противовес расхожему мнению, формальная логика вовсе не есть исключительно единственный репрезентант слова "Логика".
--