Логика и аргументация: Учебное пособие для вузов. - Рузавин Георгий Иванович - Страница 35

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

Все планеты вращаются вокруг Солнца.

Все планеты шарообразны.

Все шарообразные тела отбрасывают круглую тень.

Земля шарообразна.

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

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

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

Ложь вызывает недоверие, ибо она противоречит истине.

Лесть есть ложь, ибо она умышленно извращает истину.

Лесть вызывает недоверие.

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

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

Некоторые грибы ядовиты.

Некоторые растения - грибы.

Некоторые растения ядовиты.

Как мы уже знаем, из двух частных посылок нельзя получить никакого заключения. Но это правило справедливо лишь для узкой теории силлогизма, в которой в качестве посылок используются простые атрибутивные суждения. Если же посылками являются выделяющие суждения, то полученное заключение будет вполне правомерным. Выделяющими называются суждения, в которых рассматривается не только отношение субъекта к предикату, но и предиката к субъекту. Например, в суждении "все ромбы - параллелограммы" объем субъекта составляет лишь часть объема предиката, ибо класс ромбов включается в класс параллелограммов. Поэтому, если мы рассматриваем приведенное суждение как выделяющее, тогда обязаны сказать, что все S есть Р, но не все Р есть S. Совсем иной характер имеет суждение "Все ромбы - равносторонние параллелограммы", потому что здесь объем субъекта полностью совпадает с объемом предиката. В этом случае выделяющее суждение будет иметь форму: "Все S есть Р, и все P есть S".

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

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

В приведенном выше примере объем понятия "грибы" целиком входит в объем понятия "растения", т.е. объем предиката входит в объем субъекта. Именно в силу такого выделяющего суждения в посылке, заключение оказывается правомерным, что наглядно можно представить с помощью круговых диаграмм изображенных на рис. 11.

Теория категорического силлогизма Аристотеля, как мы видели, рассматривает дедуктивные умозаключения из посылок, которые являются суждениями о принадлежности или непринадлежности свойства определенному классу предметов. Свойство же класса с современной точки зрения можно представить как функцию-высказывание с одной свободной переменной. Действительно, рассмотрим, например, функцию-высказывание Х > 0, т.е. множество всех положительных чисел. Как нетрудно понять, эта функция-высказывание выражает общее свойство всего класса положительных чисел. Аналогичным образом функция-высказывание "х обладает свойством проводить электричество" обозначает те и только те предметы, которым присуще указанное свойство. На основании этих примеров мы приходим к обобщению, что функцию-высказывание с одной свободной переменной можно заменить классом тех и только тех предметов, которые обладают некоторым общим свойством. Обратите внимание, что при этом переменная является единственной и свободной, т.е. не связанной с кванторами. Итак, всюду, где речь идет об общем свойстве предметов, его можно представить как функцию-высказывание или класс. Любой предмет, индивидуум или элемент класса, обладающий соответствующим свойством, будет принадлежать данному классу, что можно символически представить так:

x ∈ К,

где х - обозначает элемент;

К - класс таких элементов;

символ " ∈ "обозначает принадлежность элемента классу.

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

Рассмотрим в этих целях основные отношения между классами, но предварительно введем некоторые новые понятия. Если каждый элемент класса K₁ есть одновременно элемент класса К₂, тогда класс K₁ есть подкласс класса К₂. Символически: K₁ ⊂ К₂ или К₂ ^⊃ K₁. Говорят также, что класс K₁ входит или включается в класс K₂. Отношение включения обозначается символом "⊂".

Может случиться, что элементы одного класса будут элементами другого класса, а элементы последнего - элементами первого, т.е. если К₁ ⊂ К₂ и К₂ ⊂ К₁ , тогда К₁ = К₂.

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

Отношения между классами характеризуются следующими основными законами:

1. Для всякого класса К К ⊂ К.

2. Если K₁ ⊂ К₂, а К₂ ⊂ К₁, то К₁ = К₂.

3. Если К₁ ⊂ К₂, а К₂ ⊂ К₃, то К₁ ⊂ К₃.

4. Если К - не пустой подкласс класса L, и если классы L и М раздельны, то классы А и М также раздельны.

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

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

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