Дмитрий Гусев - Краткий курс логики - Искусство правильного мышления

Законы мышления (законы логики)– объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.

Закон противоречия– один из основных законов логики, по которому два противоположных суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными, но могут быть одновременно ложными.

Закон тождества– один из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определённой (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.).

Импликация (импликативное суждение)– вид сложного суждения, образованного из простых суждений при помощи условного союза «если… то». Первая часть импликации – это основание, а вторая часть – следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание.

Индукция (индуктивное умозаключение)– вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идёт от меньшего к большему, знание расширяется, и поэтому её выводы чаще всего вероятностны.

Квадрат логический– схематичное изображение отношений между простыми сравнимыми суждениями ( A , I , E , O ). Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними.

Квантор– указатель на объём субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.

Контрадикторность (противоречие)– 1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта.

2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот.

Контрарность (противоположность)– 1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант.

Конъюнкция (конъюнктивное суждение)– вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и».

Круг в определении (тавтология)– вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается.

Логика Аристотеля (аристотелевская, формальная, традиционная, двузначная)– это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет своё практическое значение, как и геометрия Евклида.

Логика интуитивная– неявное знание и неосознанное (чаще всего) практическое использование основных принципов правильного мышления, которое формируется стихийно в процессе жизненного опыта приблизительно к 6–7 годам жизни человека.

Логика символическая (математическая, современная)– разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика – это раздел высшей математики.

Модус простого силлогизма– совокупность простых суждений ( A , I , E , O ) – посылок и вывода силлогизма.

Обобщение понятия– логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких-либо признаков.

Обращение (конверсия)– способ преобразования простого суждения, который заключается в том, что субъект и предикат суждения меняются местами. Обращение также считается одним из видов непосредственных умозаключений.