Аксиома и общие правила простого категорического силлогизма.
Аксиома ПКС существует в двух формулировках. Объемная формулировка: все, что можно сказать о классе объектов, можно сказать о каждом элементе данного класса и о любой их совокупности. Атрибутивная формулировка: признак признака вещи есть признак самой вещи.
Из этой аксиомы вытекают общие правила ПКС, которые действуют по отношению ко всем его разновидностям:
1. В ПКС должно быть только три термина (и три посылки). Ошибка «учетверение термина» возникает, когда один из терминов (обычно средний) употребляется в двух разных значениях. Например: Закон – устойчивая, повторяющаяся, необходимая связь между явлениями; депутаты отменили один из законов; следовательно, депутаты отменили одну из устойчивых, повторяющихся, необходимых связей.
2. Средний термин должен быть распределен хотя бы в одной из посылок. Ошибка «нераспределенность среднего термина» возникает в тех случаях, когда средний термин оказывается нераспределенным в обеих посылках. Например, нельзя получить достоверный вывод из следующих посылок:
Некоторые юристы (М – нераспределен) являются преподавателями
Иванов является юристом (М – нераспределен).
3. Термины, нераспределенные в посылках, нельзя распределять в заключении. Пример ошибки:
Некоторые юристы являются преподавателями (Р – нераспределен)
Иванов не является юристом
Иванов не является преподавателем (Р – распределен)
4. Из двух отрицательных посылок нельзя сделать вывода; если одна из посылок отрицательная, то и вывод отрицательный. Пример ошибки:
Некоторые юристы не являются судьями (отрицательная посылка)
Хирурги не являются судьями (отрицательная посылка)
5. Из двух частных посылок нельзя сделать вывода; если одна из посылок частная, то и вывод частный. Пример ошибки, где обе посылки частные:
Некоторые юристы являются спортсменами (частная посылка)
Некоторые граждане России являются юристами (частная посылка)