Практическая работа по "Логике"

Практическое  задание №11 

Задание: Определите фигуру и модус силлогизма: «Некоторые юристы-адвокаты. Семенов-юрист. Семенов-адвокат».

Решение: 

Некоторые юристы (М)- адвокаты (Р).

Семенов (S)- юрист (М).

Семенов (S)- адвокат (Р). 
 

Если в дедуктивном  умозаключении и посылки, и вывод  являются простыми суждениями (A, I, E, O; см. тему 4), то такое умозаключение  называется простым, или категорическим силлогизмом. 

Обе посылки  и вывод являются в данном силлогизме простыми суждениями (причем и посылки, и вывод — это суждения вида А — общеутвердительные). Обратим внимание на вывод, представленный суждением: «Семенов-адвокат». В этом выводе субъектом выступает термин «адвокат», а предикатом — термин «Семенов». Субъект вывода присутствует во второй посылке силлогизма, а предикат вывода — в первой. Также в обеих посылках повторяется термин «юрист», который, как нетрудно увидеть, является связующим: именно благодаря ему не связанные, разобщенные в посылках термины «Семенов» и «адвокат» возможно связать в выводе. Таким образом, структура силлогизма включает в себя две посылки и один вывод, которые состоят из трех (различным образом расположенных) терминов. 

* Субъект вывода  располагается во второй посылке  силлогизма и называется меньшим  термином силлогизма (вторая посылка также называется меньшей). 

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

* Термин, который  повторяется в двух посылках и связывает субъект с предикатом (меньший и больший термины), называется средним термином силлогизма и обозначается латинской буквой М, потому что «средний» на латинском — это medium. 

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

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

Учитывая то, что в первой посылке средний  термин связан с предикатом, во второй субъект связан со средним термином, а в выводе субъект связан с предикатом, составим схему расположения и связи терминов в приведенном примере: 

 

  
 
 
 
 
 
 

      Прямые  линии на схеме (за исключением той, которая отделяет посылки от вывода) показывают связь терминов в посылках и в выводе. Поскольку роль среднего термина заключается в том, чтобы связывать больший и меньший термины силлогизма, то на схеме средний термин в первой посылке соединяется линией со средним термином во второй посылке. Схема показывает, каким именно образом средний термин связывает между собой другие термины силлогизма в его первой фигуре. Кроме того, можно изобразить отношения между тремя терминами с помощью кругов Эйлера. В данном случае получится следующая схема: 

 
 
 

 
 
 
 
 

 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

I фигура 

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

Пример: 

Все студенты семинарии  изучают Священное Писание; 

Все студенты 2 курса  являются студентами семинарии; 

Следовательно, все студены 2 курса изучают Священное  Писание. 

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

Пример: 

Ни один студент  семинарии не является студентом  университета; 

Все студенты 2 курса  являются студентами семинарии; 

Следовательно, ни один студент 2 курса не является студентом университета. 

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

Пример: 

Все студенты 2 курса  изучают риторику; 

Иванов - студент  второго курса; 

Следовательно, Иванов изучает риторику. 

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

Пример: 

Ни один студент  семинарии не является студентом  университета; 

Некоторые молодые люди являются студентами семинарии; 

Следовательно, некоторые молодые люди не являются студентами университета 

При этом соотношение  крайних терминов таково, что некоторые  молодые люди 

могут быть студентами университета. 

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

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

большая посылка  является общей.

II фигура 

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

Пример: 

Ни один православный не является протестантом; 

Все англикане  являются протестантами; 

Следовательно, ни один англиканин не является православным. 

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

Пример: 

Всякое действие, подлежащее нравственной оценке, предполагает свободу воли; 

Отправления организма  независимы от воли; 

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

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

Ни один студент  семинарии не является студентом университета; 

Некоторые молодые  люди являются студентами университета; 

Следовательно, некоторые молодые люди не являются студентами семинарии. 

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

Пример: 

Все христиане  считают для себя обязательным жить по правилам Церкви; 

Некоторые люди, называющие себя христианами, не считают  для себя обязательным жить по правилам Церкви; 

Следовательно, некоторые люди, называющие себя христианами, таковыми не являются. 

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

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

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

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

III фигура 

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

Пример: 

Все люди являются разумными существам; 

Все люди являются теплокровными животными; 

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

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

Пример: 

Некоторые люди занимаются логикой; 

Все люди - разумные существа; 

Следовательно, некоторые разумные существа занимаются логикой. 

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

Пример: 

Все люди разумны; 

Некоторые люди занимаются логикой; 

Следовательно, некоторые существа, занимающиеся логикой, разумны. 

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

Пример: 

Ни один студент  университета не является студентом  семинарии; 

Студенты университета являются разумными существами; 

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

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

Пример: 

Некоторые люди не занимаются логикой; 

Все люди - разумные существа; 

Следовательно, некоторые разумные существа не занимаются логикой. 

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

Пример: 

Ни один женатый  не является монахом; 

Некоторые женатые  люди являются священниками; 

Следовательно, некоторые священники не являются монахами. 

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

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

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

IV фигура 

Модус Bramantip: большая и меньшая посылки являются общеутвердительными суждениями, а вывод — частноутвердительным, при этом средний термин — субъект меньшей и предикат большей посылок. Как и все остальные модусы IV фигуры, Bramantip является искусственным и не несет существенной информации, поскольку более сильный вывод получается из соответствующего модуса первой фигуры; иногда Bramantip и обозначается как Barbari. 

Пример: [1] 

Все явления  природы причинно обусловлены; 

Все причинно обусловленные  явления воспринимаются как естественные; 

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

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

Пример: 

Всякое зло  этой жизни есть зло преходящее; 

Никакого преходящего  зла не следует бояться;