Все S есть Р → Некоторые Р есть S

Например: «Все студенты первого курса сдали зачет по логике» →«Некоторые, сдавшие зачет по логике, - студенты первого курса».

Ни одно S не есть Р→ Ни одно Р не есть S

Например: «Ни один студент второй учебной группы не является неуспе­вающим» → «Ни один неуспевающий не является студентом второй учебной группы».

Некоторые S есть Р→ Некоторые Р есть S

Например: «Некоторые женщины - юристы» → «Некоторые юрис­ты - женщины».

Частноотрицательные суждения не обращаются. Следовательно, обращению подлежат: А →I; Е→ Е; I→ I

Смысл обращения состоит в следующем: используя этот логический при­ем, мы уточняем наши знания об объеме предиката суждения и его отноше­нии к субъекту, так как объектом нашей мысли становится предмет, отра­женный предикатом исходного суждения.

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

- превращая исходное суждение «S есть Р», устанавливаем отношение S к не-Р;

- суждение, полученное путем превращения, обращается, в результате устанавливается отношение не-Р к S.

Заключение, полученное путем противопоставления предикату, зависит от количества и качества исходного суждения. В соответствии с этим данный вид непосредственного умозаключения осуществляется следующим образом:

Все S есть Р → Ни одно не-Р не есть S

Например, «Все адвокаты имеют юридическое образование» → «Ни один не имеющий юридического образования не является адвокатом».

Ни одно S не есть Р→ Некоторые не-Р есть S

Например, «Ни одно предприятие нашего города не является рентабель­ным» → «Некоторые нерентабельные предприятия являются предприя­тиями нашего города».

Некоторые S не есть Р → Некоторые не-Р есть S

Например, «Некоторые студенты не являются отличниками» → «Не­которые неотличники - студенты».

Частноутвердительные суждения посредством противопоставления пре­дикату не преобразуются.

Смысл умозаключений посредством противопоставления предикату со­стоит в том, что в них выясняется отношение предметов, не входящих в объ­ем предиката, к предметам, отраженным субъектом исходного суждения. Устанавливая отношение между этими предметами, мы уточняем наши зна­ния, высказываем нечто новое, что не было в явной форме выражено в ис­ходном суждении.

Умозаключение по логическому квадрату - это такой вид непосредствен­ных умозаключений, который позволяет получать вывод, учитывая свойства отношений между категорическими суждениями А, Е, I, О. Отношения между данными суждениями иллюстрированы схемой логического квадрата. При этом устанавливается следование истинности или ложности одного суждения из истинности или ложности другого суждения в соответствии с теми логическими законами, которые проявляют себя в соответствующих отношениях. В общем виде это можно представить таким образом:

Обозначения на схеме: И - истинность; Л - ложность; ? - неопределенность.

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

Например, пусть дана истинная посылка А: «Все войны есть продолжение политики». Из нее следуют выводы:

1) Е - «Ни одна война не является продолжением политики» - ложный;

2) I - «Некоторые войны являются продолжением политики» - истинный;

3) О - «Некоторые войны не являются продолжением политики» - лож­ный.

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

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

Различают несколько видов опосредованных умозаключений: а) силло­гизмы; б) условные умозаключения; в) разделительные умозаключения.

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

Простой категорический силлогизм (от гр. syllogismos - сосчитывание) - это такой вид дедуктивного умозаключения, в котором из двух истинных ка­тегорических суждений, связанных общим термином, получается третье суждение - вывод, являющийся категорическим суждением.

В основе вывода по категорическому силлогизму лежит аксиома силло­гизма: «Все, что утверждается или отрицается о роде (классе), необходимо утверждается или отрицается о виде (или члене данного класса), принадле­жащем к данному роду». Например:

Гражданин, совершивший преступление, привлекается к уголовной ответственности _____________Петров совершил преступление__________

Петров привлекается к уголовной ответственности

Как и в суждениях, категорический силлогизм имеет термины. Но если в суждениях их два, то в категорическом силлогизме - три. Различают мень­ший, больший и средний термины.

Меньшим термином силлогизма называется понятие, которое в заключе­нии является субъектом.

Большим термином силлогизма называется поня­тие, которое в заключении является предикатом. Меньший и больший тер­мины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин). Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой; посыл­ка, в которую входит больший термин, называется большей посылкой.

Средним термином силлогизма называется понятие, входящее в обе по­сылки и отсутствующее в заключении. Средний термин обозначается латин­ской буквой М (от латинского medius - средний). Средний термин служит для сравнения большего термина с меньшим и установления логической связи между посылками. Сами по себе эти термины не могут быть сравниваемы.

Сравнение может происходить через посредство среднего термина. Обратим­ся к нашему примеру простого категорического силлогизма: мы не могли бы связать термин «Петров» с термином «привлекается к уголовной ответствен­ности», если бы у нас не было термина «гражданин, совершивший преступле­ние», который связывается, с одной стороны, с термином «привлекается к уголовной ответственности», с другой стороны - с термином «Петров» и, та­ким образом, служит логической связкой между терминами «Петров» и «при­влекается к уголовной ответственности».

Поставив в нашем примере на место терминов суждения термины силло­гизма, получим:

Гражданин, совершивший преступление /М/,

привлекается к уголовной ответственности /Р/

Петров /S/ является гражданином, совершившим преступление /М/

Петров /S/ привлекается к уголовной ответственности /Р/

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