Логика — наука о формах и законах правильного мышления.

Логическая форма — структура, схема построения мысли, рассмотренная независимо от конкретного содержания мыслей.

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

Понятие — форма мысли, в которой выделяются и обобщаются предметы по их существенным признакам.

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

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

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

Часть объема — совокупность элементов объема (подкласс), которая обладает каким-то особым признаком, отличающим ее от других.

Элемент объема — отдельный предмет, обладающий всеми признаками, включенными в содержание понятия.

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

Единичное понятие — понятие, в объеме которого ровно один элемент.

Общее понятие — понятие, в объеме которого более одного элемента.

Собирательное понятие выделяет в качестве элементов своего объема совокупности предметов.

Несобирательное понятие выделяет в качестве элементов своего объема отдельные предметы.

Конкретное понятие — понятие, элементами объема которого являются предметы, факты, события.

Абстрактное понятие — понятие, элементами объема которого являются свойства и отношения, мыслимые отдельно от предметов.

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

Отношение несовместимости между понятиями имеет место тогда,когда у них нет общих элементов объема.

Эквивалентность — вид совместимости, при котором объемы понятий полностью совпадают.

Пересечение, или перекрещивание — вид совместимости, при котором объемы понятий частично совпадают.

Подчинение — вид совместимости, когда все элементы объема одного понятия суть элементы объема второго, но не наоборот.

Противоречие — вид несовместимости, при котором несовместимые понятия в сумме исчерпывают весь родовой объем.

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

Соподчинение — вид несовместимости, когда два понятия, не исчерпывая весь родовой объем, являются видами данного рода.

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

Обобщение понятия — логическая операция, противоположная ограничению.

Деление понятий — логическая операция разбиения объема понятия на непересекающиеся части.

Определение — логическая операция раскрытия содержания понятия или придания смысла некоторому выражению или термину.

Суждение — это форма мысли, в которой нечто утверждается илиотрицается(свойство предмета, действие, наличие некоторой ситуации, отношение между предметами, существование предмета).

Субъектом суждения называется понятие о предмете суждения, а предикатом суждения — новая информация, то, что утверждается или отрицается о предмете суждения. Субъект и предикат называются терминами суждения.

Основной логической характеристикой суждения является егоистинностная характеристика— каждое суждение является либо истинным, либо ложным и этим отличается от других форм мысли.

Виды простых суждений: (1) атрибутивные, т.е. утверждающие или отрицающие, что предмету (классу предметов) присуще или не присуще некоторый признак — свойство; (2) реляционные, или суждения об отношениях, в которых утверждается или отрицается отношение междупредметами (классами предметов); (3) суждения существования, в которых утверждается существование или несуществование некоторого предмета (класса предметов).

Объединенная классификация простых атрибутивных суждений: (А) общеутвердительные, (Е) общеотрицательные,(I) частноутвердительные и (О) частноотрицательные. Единичные суждения в традиционной логике приравниваются к общим.

Реляционные, или суждения об отношениях обладают особыми свойствами. Эти свойства суть: (1) рефлексивность, (2) симметричность и (3) транзитивность.

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

Основные логические союзы: (1) конъюнкция, (2) слабая дизъюнкция, (3) сильная дизъюнкция, (4) импликация, (5) эквиваленция и (6) отрицание. Истинностные значения логических союзов задаются определением. Истинностные значение сложных суждений устанавливают при помощи таблиц истинности, для построения которых нужно знать определения перечисленных логических союзов (связок).

Отношения между суждениями делятся на две группы: (а) совместимости и (б) несовместимости. Суждения называются совместимыми, если они могут быть одновременно истинными и несовместимыми, если имеет местообратное.

Совместимостьмежду суждениями бывает трех видов:

(1) эквивалентность, (2) подчинение, (3) частичная совместимость.

Несовместимость между суждениями бывает двух видов:

(1) противоположность и (2) противоречие.

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

Отношения между сложнымисуждениямиустанавливаются сравнением их таблиц истинности.

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

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

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

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

Непосредственное умозаключение — дедуктивный вывод из одной посылки.

Превращение и обращение — основные виды непосредственных умозаключений.

Противопоставление предикату и противопоставление субъекту — производные виды непосредственных умозаключений.

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

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

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

Модусы силлогизма — разновидности силлогизма по каждой фигуре, которые различаются типом суждений (А, Е, I, О), входящих в их состав. Модусы подразделяются па правильные и неправильные.

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

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

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

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

Неполная индукция — индуктивное умозаключение, которое представляет собой переход от знания о некоторых элементах класса к заключению о всем классе. Неполная индукция дает лишь правдоподобное знание.

Популярная индукция — умозаключение путем простого перечисления..

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

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

Строгая аналогия — умозаключение, в котором перенос признака с одного предмета (системы) на другой опирается на отношение изоморфизма или гомоморфизма. Строгая аналогия дает достоверное знание.

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

Аргументация — обоснование какого-либо суждения посредством других суждений.

Тезис аргументации — суждение, истинность или ложность которого подлежит обоснованию.

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

Демонстрация — рассуждение, которое показывает связь аргументов с тезисом.

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

Нестрогая аргументация — рассуждение, основанное на правдоподобной демонстрации, при которой тезис лишь относительно подтверждается аргументами.

Доказательство и опровержение — разновидности строгой аргументации.

Подтверждение и критика — разновидности нестрогой аргументации.

Прямая аргументация — тип обоснования, при котором аргументы и демонстрация непосредственно обращены к тезису.

Косвенная аргументация — тип обоснования, при котором связь аргументов и демонстрации с тезисом опосредована некоторым другим суждением.

Сведение к абсурду — разновидность косвенной аргументации.

Метод исключения альтернатив — разновидность косвенной аргументации.

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