Логика

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

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

логическая операция, которая раскрывает объём понятия на основе какого-либо признака (основание деления). Различают дихотомическое деление, т .е. деление понятия строго на два объёма, пополам, по типу: «A и не- A», и деление по видоизменению признака, т.е. деление на более, чем два объема по единому критерию.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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