Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

один или множество предметов, обладающих данным содержанием (количество объектов, охватываемых этим понятием). По объёму понятия бывают общими, единичными и нулевыми (пустыми).

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

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

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

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

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

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

понятие, которое по объёму является меньшим по отношению к какому-либо другому понятию – родовому. Видовые и родовые понятия находятся в отношении подчинения.

понятие, которое по объёму является большим по отношению к какому-либо другому понятию – видовому.

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

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

элемент простого атрибутивного суждения, обозначающий какой-либо признак (свойство) его субъекта, или то, что говорится о субъекте. Предикат обозначается латинской буквой P.

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

1. Логическое отношение между понятиями, объёмы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объёмы двух понятий.

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

показатель числа объектов, охватываемых объёмами субъекта и предиката в простом суждении. Субъект и предикат называются терминами простого суждения. Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении речь идёт обо всех объектах, входящих в объём этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом. Термин считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в этот термин, и обозначается знаком «–», а на круговых схемах Эйлера изображается неполным кругом.

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

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

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

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

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

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

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

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

наиболее важные (общие и существенные) признаки того объекта, который обозначается этим понятием. Между объёмом и содержанием понятия существует обратное отношение: чем больше объём понятия, тем меньше его содержание, и наоборот.

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

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

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

это форма мышления, в которой что-либо утверждается или отрицается, и которое является либо объективно истинным либо объективно ложным.

простое суждение, в котором предикат является каким-либо атрибутом (свойством, признаком) субъекта.

вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E.

вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и утвердительной связкой: «Все S есть P». Общеутвердительные суждения обозначаются латинской буквой A.

простое суждение, в котором выражается какое-то отношение между объектами. Релятивное суждение можно представить как атрибутивное, в котором предикат указывает на какое-либо отношение к субъекту.

вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть P». Частноотрицательные суждения обозначаются латинской буквой O.

вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и утвердительной связкой: «Некоторые S есть P». Частноутвердительные суждения обозначаются латинской буквой I.

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

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

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

форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

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

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

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

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

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