Пкс. Его особенностью является то, что он имеет две посылки. Пкс – дедуктивное умозаключение, имеющее две посылки и один вывод, причем и посылки, и вывод являются простыми суждениями.
Собаки лают, кошки мяукают, значит, юристы гуляют.
Ослы упрямы, мужчины упрямы, значит, мужчины ослы.
Понятия, которые входят в состав ПКС, называются терминами ПКС. В любом ПКС есть 3 термина. 1 из 3 терминов входит в обе посылки, но не входит в вывод, это средний термин ПКС – M. Два других термина образуют вывод и входят в одну из посылок каждый – крайние термины ПКС. Крайний термин, который в выводе является предикатом (здесь, это ослы) называется большим термином ПКС – P. И это же обозначение сохраняется в той посылке, в которой он находится. Посылка, в которой находится больший термин – большая посылка, она записывается первой. Крайний термин, являющийся субъектом вывода, называется меньшим термином ПКС – S. Это же обозначение сохраняется в той посылке, в которой он находится.
P ------ M
S ------ M
S ------ P
Разновидности ПКС – 4 основные разновидности ПКС, которые называются фигурами. Они отличаются расположением среднего термина М в посылках.
Люди смертны, мы люди, значит мы смертны. |
Ослы упрямы, мужчины упрямы, мужчины - ослы. |
Студенты находчивы, студенты умны, значит некоторые умники находчивы. |
Студенты люди, люди разумны, значит некоторые разумные существа – студенты. |
Модусы – конкретные разновидности ПКС. Они отличаются типом суждений, представленных в посылках и выводе.
M a/e/i/o P
S a/e/i/o M
S a/e/i/o P
Всего 256 модусов из них только 22 модуса являются выводами с необходимостью.
Правила ПКС:
Хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных вывода нет.
Логики не носят шляпу, бараны не носят шляпу, среди логиков есть бараны.
Если одна из посылок отрицательная, то вывод должен быть отрицательным.
Девушки не курят, только некоторые из наших студентов являются девушками, значит, среди наших студентов есть курящие.