В целом различают следующие логики:
* Формальная логика (Закономерность мышления) – конструирование и исследование правил преобразования высказываний, сохраняющих их истинное значение безотносительно к содержанию входящих в эти высказывания понятий. Она обладает четко определенными методами, правилами и законами. К ней можно отнести традиционную логику, математическую логику, символический аппарат и логические исчисления;
* Неформальная логика (Образ мышления) – область исследований в логике, в теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке. В настоящее время неформальную логику используют для анализа научного гуманитарного знания.
Иногда неформальную логику определяют, как ответвление логики, задачей которой является разработка неформальных стандартов, критериев и процедур для анализа, интерпретации, оценки, критики и построения аргументации в повседневном дискурсе (американские философы Джонсон и Блэр, 1987 г.). Ряд логиков считают основной задачей неформальной логики изучение логических ошибок;
* Диалектическая логика (Концепция мышления) – философский раздел Марксизма. Диалектическая логика понималась как систематически развернутое изложение диалектики мышления или как научная теория познания динамики развития действительности объективного мира. Более подробно в диалектическом подходе развития мышления.
Категориальное мышление [8—10]
Метод категориального мышления мы специально выделили из общей логики. Правда, такой подход профессионалы официально не воспринимают, как метод в мышлении. Суть этого метода заключена в категориях, на основе которых можно создать философскую систему мышления с определенным предельно общим логическим порядком.
Еще в древности философы стремились прийти к высшему и универсальному логическому порядку в своем мышлении при познании и созидании действительности. Поэтому они развивали свое мышление по своим разработанным и выбранным из суждений, доказательств и опровержений категориям.
Например, в Античном периоде (500 л. до н. э. – 500 г.) Аристотель целенаправленно вывел десять категорий: «сущность», «субстанция», «количество», «качество», «отношение», «пространство», «время», «состояние», «действие», «обладание» и «претерпевание». По Аристотелю, эти категории логически и системно выражают наиболее существенные понятийные и категориальные отношения. Иными словами, по этим категориям можно обозначить некий предельно общий логический порядок или логическую систему развития мышления.