Оосновные понятия
Изменения логика - исследует логические связи суждений, которые описывают процесс изменения и становления объектов.
Интуиционизм - направление логики, которое в интуиции усматривает основание математики и формальной логики.
Имманентная диалектика - логика конкретных вещей. Отражает предметы мира в их естественных и материальных связях, когда сами эти связи, как нечто обусловливающее способности суждения, отдельно не рассматриваются, не обнаруживаются, не фиксируются.
Логика оценок и норм (деонтическая логика) - исследует различные нормы и нормативные понятия. В ней деонтические понятия рассматриваются как модальные характеристики суждений, в которых говорится о тех действиях, состояниях, которые возникают в результате того или иного действия.
Логицизм - направление, концепция современной логики, сводящее математику к логике.
Многозначность - совокупность логических систем, которые базируются на принципе многозначности и применяют такие значения, как "неопределенно", "бессмысленно", "возможно" и т. д.
Многозначная логика - это совокупность логических исчислений (исчислений высказывания и предикатов), в которых высказываниям может приписываться более двух истинных значений.
Модальное суждение - это характеристика суждения в зависимости от свойства (характера) устанавливаемой им достоверности.
Неклассическая логика - совокупность логических теорий, которые находятся в оппозиции к логике классической и являются не только ее критикой, но и дополнением.
Нечеткая логика - логика расплывчатых множеств, которая в качестве переменных использует не только буквы и числа, но и слова и словосочетания.
Неформальная логика, или отрицательная диалектика,
представляет собой переходный этап от формальной логики к трансцендентальной диалектике.
Причинности логика - концентрируется на изучении структур и отношений высказываний о причинных связях. Это те отношения, которые рассматриваются в качестве сравнительной модальности: "...есть причина...", "...есть следствие...", "предопределено", "детерминировано".
Релевантная логика - логика логического следования, систематизирует только уместные, т. е. релевантные принципы логики, учитывает содержательные связи между антецедентом и консеквентом.
Решетка - это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.
Топологическая логика (греч. - место) считается направлением неклассической логики, которая исследует относительное место двух двухместных высказываний в ряду значений истинности от 0,1,2,..., до п, когда значение 0 рассматривается как самая высокая степень истины (абсолютно истинно), значение п - как самая низкая (абсолютно ложно).
Трансцендентальная диалектика - логика единого, смысла, идеала и целокупностей. Ее смысл - в трансценденции, сфера ее применения - разум.
Формальная логика является методом эмпирических наук и обеспечивает структурность, строгость и отрефлексированный характер любого знания, помещающегося в формат рассудка.
Эпистемическая логика - раздел модальной логики, исследует логические связи суждений, которые включают понятия: "полагает", "сомневается", "убежден", "знает", "отвергает" и т. д.
