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