"Сильные" имена - вывод в виде общего суждения из двух общих посылок:
"Слабость" модуса - следствие вывода частного заключения из двух общих посылок:
"Слабые" модусы имеют самостоятельное значение:
"Слабые" модусы являются производными от "сильных" модусов:
5 "слабых" модусов - пять вариантов дедукции:
Barbara, Celarent - "слабые" модусы первой фигуры:
Camenes - "сильный" модус четвертой фигуры:
В модусах, содержащих общее суждение в обеих посылках, единичной может быть только одна посылка:
В реальной практике мышления исходный категорический силлогизм чаще всего звучит в чистом виде:
В ряду фигур есть 15 похожих модусов:
В энтимеме может отсутствовать только одна из посылок:
Дедукция - вид умозаключения:
Дедукция:
Единичное суждение - частный случай общего суждения:
Если хотя бы одна посылка частная, то заключение должно быть общим:
Заключение - единичное, если в модусе одна из двух общих посылок - единичная:
Заключение должно быть отрицательным, если хотя бы одна посылка отрицательна:
Из "сильных" модусов можно вывести:
Из 256 теоретически возможных модусов выделяется правильных модусов:
Количество возможных модуляций:
Логика - наука о закономерностях и формах мышления:
Основная задача логики - отделение правильного мышления от неправильного:
Последняя гласная в модусах, стоящих на первых местах, означает общее суждение:
Последняя гласная в модусах, стоящих на последних местах в списке имен, означает частное суждение:
Правила посылок указывают на необходимость общего заключения из двух общих посылок:
Простой категорический силлогизм - чисто категорическое дедуктивное умозаключение:
Сложное дедуцирование - цепочка простой дедукции:
Сложный силлогизм - разновидность дедукции:
Умозаключение - одна из основных логических форм:
Энтимема - сокращенный силлогизм: