Дилемма – разновидность условно-разделительного силлогизма, в первой посылке которого из одного или двух оснований вытекает два или одно следствие, вторая посылка является дизъюнкцией оснований или следствий, а вывод представляет собой утверждение следствия или дизъюнкции следствий (конструктивная дилемма простая и сложная, соответственно) или же отрицание основания или дизъюнкции оснований (деструктивная дилемма простая и сложная соответственно).
Закон достаточного основания – один из основных законов логики, по которому любая мысль (тезис) для того, чтобы иметь силу, должна быть доказана (обоснована) какими-либо аргументами (основаниями); причём эти основания должны быть достаточными для доказательства исходной мысли (тезиса), т. е. тезис должен вытекать из оснований с достоверностью.
Закон исключённого третьего – один из основных законов логики, по которому два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными.
Законы мышления (законы логики) – объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.
Закон противоречия – один из основных законов логики, по которому два противоположных суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными, но могут быть одновременно ложными.
Закон тождества – один из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определённой (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.).
Импликация(импликативное суждение) – вид сложного суждения, образованного из простых суждений при помощи условного союза «если… то». Первая часть импликации – это основание, а вторая часть – следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание.
Индукция (индуктивное умозаключение) – вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идёт от меньшего к большему, знание расширяется, и поэтому её выводы чаще всего вероятностны.
Квадрат логический – схематичное изображение отношений между простыми сравнимыми суждениями (
Квантор – указатель на объём субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.
Контрадикторность (противоречие) – 1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта.
2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот.
Контрарность(противоположность) – 1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант.
Конъюнкция (конъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и».
Круг в определении (тавтология) – вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается.
Логика Аристотеля (аристотелевская, формальная, традиционная, двузначная) – это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет своё практическое значение, как и геометрия Евклида.
Логика интуитивная – неявное знание и неосознанное (чаще всего) практическое использование основных принципов правильного мышления, которое формируется стихийно в процессе жизненного опыта приблизительно к 6–7 годам жизни человека.