|
|
Логика Учебное пособие. Учебное пособие Москва 2012 Краткая справка об
S
Круг, обозначающий предикат, является полным, а круг, соответствующий субъекту, – неполным (круг предиката как бы вырезает из него какую-то часть). Таким образом, в данном суждении субъект нераспределен, а предикат распределен (S-, P+).
Установление распределенности терминов в простых суждениях может показаться, на первый взгляд, надуманной и бессмысленной процедурой. Поэтому, забегая вперед, скажем, что умение устанавливать распределенность терминов необходимо для безошибочного преобразования простых суждений и установления правильности простых силлогизмов - разновидности дедуктивных умозаключений. Об операциях преобразования простых суждений пойдет речь в следующем параграфе, а о правильности простых силлогизмов будет говориться в третьей главе, посвященной третьей, после понятия и суждения, форме мышления - умозаключению.
2. 7. Преобразование простых суждений
Логическая операция преобразования простого суждения предполагает изменение его формы, или структуры, но не содержания. В результате преобразования простого суждения его содержание должно оставаться неизменным. Распределенность терминов в исходном суждении и в новом суждении должна оставаться одной и той же (термин, который был распределен в исходном суждении, должен быть распределен и в новом суждении, то же самое и с нераспределенным термином). Существует три способа преобразования простых суждений: обращение, превращение и противопоставление предикату.
Обращение (также часто называемое конверсией) – это преобразование простого суждения, при котором его субъект и предикат меняются местами. Например, суждение: Все акулы являются рыбами преобразуется путем обращения в суждение: Некоторые рыбы являются акулами. Здесь может возникнуть вопрос, почему исходное суждение начинается с квантора все, а новое – с квантора некоторые? Этот вопрос, на первый взгляд, кажется странным, ведь нельзя же сказать: Все рыбы являются акулами, следовательно, единственное, что остается, это: Некоторые рыбы являются акулами. Однако, в данном случае, мы обратились к содержанию суждения и по смыслу поменяли квантор все на квантор некоторые; а логика, как уже говорилось, отвлекается от содержания мышления и занимается только его формой, будучи формальной логикой. Поэтому обращение суждения: Все акулы являются рыбами можно выполнить формально, не обращаясь к его содержанию (смыслу). Для этого установим распределенность терминов в этом суждении с помощью круговой схемы. Термины суждения, т.е. субъект (акулы) и предикат (рыбы) находятся в данном случае в отношении подчинения:
P-
S+
На схеме видно, что субъект распределен (полный круг), а предикат нераспределен (неполный круг). Вспомнив, что термин распределен, когда речь идет обо всех предметах, входящих в него и нераспределен, когда – не обо всех (см. предыдущий параграф), мы автоматически мысленно ставим перед термином акулы квантор все, а перед термином рыбы квантор некоторые. Делая обращение указанного суждения, т.е. меняя местами его субъект и предикат и начиная новое суждение с термина рыбы, мы опять же автоматически снабжаем его квантором некоторые, не задумываясь о содержании исходного и нового суждений, и получаем безошибочный вариант: Некоторые рыбы являются акулами. Возможно, все это покажется чрезмерным усложнением элементарной операции, однако, как увидим далее, в иных случаях преобразование суждений сделать непросто без использования распределенности терминов и круговых схем.
Обратим внимание на то, что в рассмотренном выше примере исходное суждение было вида А, а новое - вида I, т.е. операция обращения привела к смене вида простого суждения. При этом, конечно же, поменялась его форма, но не поменялось содержание, ведь в суждениях: Все акулы являются рыбами и Некоторые рыбы являются акулами речь идет об одном и том же.
Рассмотрим все случаи обращения в зависимости от вида простого суждения и характера отношений между его субъектом и предикатом.
1. Суждение вида А, в котором субъект и предикат находятся в отношении равнозначности, обращается в суждение вида А: Все квадраты (S) -это равносторонние прямоугольники (P) Все равносторонние прямоугольники - это квадраты.
S+ = P+
2. Суждение вида А, в котором субъект и предикат находятся в отношении подчинения, обращается в суждение вида I: Все сосны (S) являются деревьями (S) Некоторые деревья являются соснами.
P-
S+
3. Суждение вида I, в котором субъект и предикат находятся в отношении пересечения, обращается в суждение вида I: Некоторые школьники (S) - это спортсмены (P) Некоторые спортсмены - это школьники.
S - P -
4. Суждение вида I, в котором субъект и предикат находятся в отношении подчинения, обращается в суждение вида А: Некоторые книги (S) являются учебниками (P) Все учебники являются книгами.
S -
P+
5. Суждение вида Е, в котором субъект и предикат находятся только в отношении несовместимости, всегда обращается в суждение вида Е: Все планеты (S) не являются звездами (Р) Все звезды не являются планетами.
S+ P+
6. Если попытаться подвергнуть обращению суждение вида О, то вместе с изменением его формы изменится и его содержание, которое, как мы помним, меняться не должно; т.е. суждения вида О не поддаются обращению: Некоторые школьники (S) не являются спортсменами (Р) Все спортсмены не являются школьниками. В данном случае новое суждение имеет квантор “все”, потому что предикат исходного суждения представляет собой распределенный термин:
S - P+
Приведем еще один пример, иллюстрирующий невозможность преобразования суждений вида О путем обращения: Некоторые книги (S) не являются учебниками (Р) Все учебники не являются книгами.
S -
P+
Итак, суждение вида А обращается или в суждение вида А, или в суждение вида I. Суждение вида I обращается или в суждение вида I, или в суждение вида А. Суждение вида Е всегда обращается в суждение вида Е, а суждение вида О не поддается обращению.
Второй способ преобразования простых суждений, называемый превращением (или обверсией), заключается в том, что у суждения меняется связка: положительная на отрицательную или наоборот. При этом предикат суждения заменяется противоречащим понятием. Например, то же самое суждение, которое мы рассматривали в качестве примера для обращения: Все акулы являются рыбами преобразуется путем превращения в суждение Все акулы не являются не рыбами. Это суждение может показаться странным, ведь обычно так не говорят, хотя на самом деле перед нами более короткая формулировка той мысли, что ни одна акула не может быть таким существом, которое не является рыбой, или что множество всех акул исключается из множества всех существ, которые не являются рыбами. Субъект (акулы) и предикат (не рыбы) суждения, получившегося в результате превращения, находятся в отношении несовместимости:
S P
акулы не рыбы
Приведенный пример превращения демонстрирует важную логическую закономерность, которая заключается в том, что любое утверждение равно двойному отрицанию (и наоборот). Как видим, исходное суждение вида А в результате превращения стало суждением вида Е. В отличие от обращения превращение не зависит от характера отношений между субъектом и предикатом простого суждения. Поэтому суждение вида А всегда превращается в суждение вида Е, а суждение вида Е всегда превращается в суждение вида А. Суждение вида I всегда превращается в суждение вида О, а суждение вида О всегда превращается в суждение вида I.
Третий способ преобразования простых суждений – противопоставление предикату – состоит в том, что сначала суждение подвергается превращению, а потом обращению. Например, чтобы преобразовать путем противопоставления предикату суждение: Все акулы являются рыбами надо сначала подвергнуть его превращению. Получится: Все акулы не являются не рыбами. Теперь надо совершить обращение с этим получившимся суждением, т.е. поменять местами его субъект (акулы) и предикат (не рыбы). В данном случае, чтобы не ошибиться, вновь прибегнем к установлению распределенности терминов с помощью круговой схемы. Субъект и предикат в этом суждении находятся в отношении несовместимости:
S + P +
акулы не рыбы
На схеме видим, что и субъект, и предикат распределены (и тому, и другому термину соответствует полный круг), следовательно, мы должны сопроводить как субъект, так и предикат квантором все. После этого совершим обращение с суждением: Все акулы не являются не рыбами. Получится: Все не рыбы не являются акулами. Суждение звучит непривычно, потому что оно представляет собой более короткую формулировку той мысли, что если какое-то существо не является рыбой, то оно никак не может быть акулой, или что все существа, которые не являются рыбами, автоматически не могут быть и акулами в том числе. Обращение можно было сделать и проще: вспомнив, что суждение вида Е всегда обращается в суждение вида Е, мы могли, не используя круговой схемы и не устанавливая распределенности терминов, сразу поставить перед предикатом (не рыбы) квантор все. Однако в данном случае был предложен другой способ, чтобы показать, что вполне можно обойтись без запоминания рассмотренных выше алгоритмов для обращения. (Здесь происходит примерно то же самое, что в математике: можно запоминать различные формулы, но также возможно обойтись и без запоминания, т.к. любую формулу нетрудно вывести самостоятельно).
Проще всего совершать все три операции преобразования простых суждений с помощью круговых схем. Для этого надо изобразить кругами Эйлера три термина: субъект, предикат и понятие, противоречащее предикату (не - предикат). Потом следует установить их распределенность, и из получившейся схемы будут вытекать четыре суждения: одно исходное и три результата преобразований. Главное, помнить, что распределенный термин соответствует квантору все, а нераспределенный – квантору некоторые, и также, что соприкасающиеся на схеме круги соответствуют связке является, а несоприкасающиеся – связке не является. Например, требуется совершить три операции преобразования с суждением: Все учебники являются книгами. Изобразим субъект (учебники), предикат (книги) и не - предикат (не книги) кругами Эйлера и установим распределенность этих терминов:
Р - не Р +
S +
учебники не книги
книги
Получившуюся схему можно прочитать четырьмя способами:
1. Все учебники являются книгами (исходное суждение).
2. Некоторые книги являются учебниками (обращение).
3. Все учебники не являются не книгами (превращение).
4. Все не книги не являются учебниками (противопоставление предикату).
Рассмотрим еще один пример. Надо преобразовать тремя способами суждение: Все планеты не являются звездами. Изобразим кругами Эйлера субъект (планеты), предикат (звезды) и не - предикат (не звезды). Обратите внимание на то, что понятия планеты и не звезды находятся в отношении подчинения: планета – это обязательно не звезда, но небесное тело, которое не является звездой – это не обязательно планета. Установим распределенность этих терминов:
не Р - Р +
S +
планеты звезды
не звезды
Получившуюся схему можно прочитать четырьмя разными способами:
1. Все планеты не являются звездами (исходное суждение).
2. Все звезды не являются планетами (обращение).
3. Все планеты являются не звездами (превращение).
4. Некоторые не звезды являются планетами (противопоставление предикату).
В заключение еще раз отметим, что частноотрицательные суждения (О) не поддаются обращению. Из этого следует, что частноутвердительные суждения (I) не поддаются операции противопоставления предикату, которая состоит из последовательно проведенных превращения и обращения. Частноутвердительное суждение (I) в результате превращения становится частноотрицательным суждением (О), которое следует подвергнуть обращению, что сделать невозможно по причине необращаемости суждений вида О.
2. 8. Отношения между суждениями
Простые суждения видов А, I, Е, О делятся на сравнимые и несравнимые. Сравнимые суждения имеют одинаковые субъекты и предикаты, но могут отличаться кванторами и связками, а несравнимые суждения имеют различные субъекты и предикаты. Например, суждения: Все школьники изучают математику и Некоторые школьники не изучают математику являются сравнимыми: у них совпадают субъекты и предикаты, а кванторы и связки различаются. Суждения: Все школьники изучают математику и Некоторые спортсмены – это олимпийские чемпионы являются несравнимыми: субъекты и предикаты у них не совпадают. Сравнимые суждения также называются идентичными по материалу. Они бывают, как и понятия, совместимыми и несовместимыми и могут находиться в различных отношениях между собой. Совместимыми называются суждения, которые могут быть одновременно истинными. Например, суждения: Некоторые люди – это спортсмены и Некоторые люди – это не спортсмены являются одновременно истинными и представляют собой совместимые суждения. Несовместимыми называются суждения, которые не могут быть одновременно истинными: истинность одного из них обязательно означает ложность другого. Например, суждения: Все школьники изучают математику и Некоторые школьники не изучают математику не могут быть одновременно истинными и являются несовместимыми (истинность первого суждения с неизбежностью приводит к ложности второго).
Совместимые суждения могут находиться в следующих отношениях.
1. Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения: Москва является древним городом и Столица России является древним городом находятся в отношении равнозначности.
2. Подчинение – это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения: Все растения являются живыми организмами и Все цветы (некоторые растения) являются живыми организмами находятся в отношении подчинения.
3. Частичное совпадение (или субконтрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: Некоторые грибы являются съедобными и Некоторые грибы не являются съедобными находятся в отношении частичного совпадения. Необходимо отметить, что в этом отношении находятся только частные суждения – частноутвердительные (I) и частноотрицательные (О).
Несовместимые суждения могут находиться в следующих отношениях.
1. Противоположность (или контрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: Все люди являются правдивыми и Все люди не являются правдивыми находятся в отношении противоположности. В этом отношении могут быть только общие суждения – общеутвердительные (А) и общеотрицательные (Е). Важным признаком противоположных суждений является то, что они не могут быть одновременно истинными, но могут быть одновременно ложным. Так два приведенных выше в качестве примера противоположных суждения не могут быть одновременно истинными, но могут быть одновременно ложными: неправда, что все люди являются правдивыми, но также неправда, что все люди не являются правдивыми. Противоположные суждения могут быть одновременно ложными, потому что между ними, обозначающими какие-то крайние варианты, всегда есть третий, средний, промежуточный вариант. Если этот средний вариант будет истинным, то два крайних окажутся ложными. Между противоположными (крайними) суждениями: Все люди являются правдивыми и Все люди не являются правдивыми есть третий, средний вариант: Некоторые люди являются правдивыми, а некоторые не являются таковыми, который, будучи истинным суждением, обусловливает одновременную ложность двух вышеуказанных крайних, противоположных суждений.
2. Противоречие (или контрадикторность) – это отношение между двумя суждениями, у которых предикаты совпадают, связки являются различными, а субъекты отличаются своими объемами, т.е. находятся в отношении подчинения (вида и рода). Например, суждения: Все люди являются правдивыми и Некоторые люди не являются правдивыми находятся в отношении противоречия. Важным признаком противоречащих суждений, в отличие от противоположных, является то, что между ними не может быть третьего, среднего, промежуточного варианта. В силу этого два противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них обязательно означает ложность другого и наоборот – ложность одного обусловливает истинность другого. (К противоположным и противоречащим суждениям мы еще вернемся, когда речь пойдет о логических законах противоречия и исключенного третьего).
2. 9. Логический квадрат
Отношения между простыми сравнимыми суждениями изображаются схематически с помощью логического квадрата, который был разработан еще средневековыми логиками.
|
|
|
Скачать 0.85 Mb.