Правила посылок

· Из двух частных посылок невозможно сделать заключение.

· Из двух отрицательных посылок невозможно сделать заключение.

· Из двух утвердительных посылок заключение всегда утвердительное.

· Если есть частная посылка, то заключение всегда частное.

· Если есть отрицательная посылка, то заключение всегда отрицательное.

Фигуры силлогизма – взаимное расположение терминов силлогизма друг относительно друга. Всего выделяют четыре фигуры категорического силлогизма.

Модусы:

1. I фигура:

· Модус Barbara: обе посылки и вывод являются общеутвердительными суждениями;

· Модус Celarent: большая посылка является общеотрицательным суждением, меньшая —общеутвердительным, а вывод — общеотрицательным;

· Модус Darii: большая посылка является общеутвердительным суждением, а меньшая посылка и вывод — частноутвердительными;

· Модус Ferio: большая посылка является общеотрицательным суждением, меньшая — частноутвердительным, вывод — частноотрицательным;

2. II фигура:

· Модус Cesare: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — общеотрицательным;

· Модус Camestres: большая посылка является общеутвердительным суждением, меньшая посылка и вывод являются общеотрицательными суждениями;

· Модус Festino: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, а вывод — частноотрицательным. Иными словами, вывод является обращением вывода модуса Ferio;

· Модус Baroko: большая посылка является общеутвердительным суждением, меньшая посылка и вывод — частноотрицательными.

Правила второй фигуры:

· одна из посылок является отрицательным суждением,

· вывод является отрицательным суждением,

· большая посылка является общим суждением

3. III фигура:

· Модус Darapti: большая и меньшая посылки являются общеутвердительными суждениями; вывод является частноутвердительным суждением.

· Модус Disamis: большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

· Модус Datisi: большая посылка является общеутвердительным суждением, меньшая посылка и вывод – частноутвердительными.

· Модус Felapton: большая посылка является общеотрицательным суждением, меньшая посылка — общеутвердительным, вывод — частноотрицательное суждение.

· Модус Bokardo: большая посылка и вывод — частноотрицательные суждения, меньшая посылка - общеутвердительное суждение.

· Модус Ferison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Правила третьей фигуры:

· меньшая посылка является утвердительным суждением;

· вывод является частным суждением.

4. IV фигура:

· Модус Bramantip: большая и меньшая посылки являются общеутвердительными суждениями, а вывод — частноутвердительным, при этом средний термин — субъект меньшей и предикат большей посылок.

· Модус Camenes: большая посылка — общеутвердительное суждение, меньшая посылка и вывод — общеотрицательные.

· Модус Dimaris: Большая посылка и вывод — частноутвердительные суждения, меньшая посылка — общеутвердительное суждение.

· Модус Fesapo: большая посылка — общеотрицательное суждение, меньшая — общеутвердительное суждение, вывод — частноотрицательное суждение.

· Модус Fresison: большая посылка — общеотрицательное суждение, меньшая посылка — частноутвердительное суждение, вывод — частноотрицательное суждение.

Правила четвертой фигуры:

· если большая посылка является утвердительным суждением, то меньшая посылка является общим суждением;

· если меньшая посылка является утвердительным суждением, то вывод является частным суждением,

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

Диаграмма Эйлера-Венна.

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

Рисунок. Диаграмма Эйлера -Венна

Если у нас есть два высказывания X и Y, то их на диаграмме изображают двумя кругами, как правило, разного цвета.

Рисунок. Логическое умножение двух высказываний X и Y