4) Еще один вид связки называется импликацией. В переводе с латинского это означает просто «связь» (implicatio). Но здесь подразумевается не простая связь, а причинно-следственная: «Если бы люди знали, что обманывать плохо, то не обманывали бы. Заметьте этот союз «если… то». Получается алгоритм: при условии А наступает Б. То есть у субъекта может появиться такой предикат, после появления которого он получит еще один предикат: «Как потопаешь, так и полопаешь». А если у субъекта отнять предикат, то он потеряет и другой предикат: «Кто не работает, тот не ест». Важное замечание: импликация – это возможная причинно-следственная связь, но необязательно «железная». Можно поработать, но при этом все равно не поесть. Вернемся к нашему примеру: люди перестанут обманывать, когда узнают, что это плохо, но при этом надо, чтобы они не только это знали, а еще и применяли бы это знание к своим поступкам. А кроме того, люди могут не обманывать даже без знания о том, что это плохо, – просто по доброте душевной.
5) Последний вид связки – эквиваленция (равнозначность). А вот это уже «железная» причинно-следственная связь, когда появление причины обязательно приведет к появлению следствия: «Люди не будут обманывать, только если узнают, что это плохо». И никак иначе! Заметьте разницу между фразами:
Импликация: «Если утром выпить кофе – можно быстро взбодриться». После кофе можно взбодриться, но необязательно это произойдет.
Эквиваленция: «Только если я не выпью утренний кофе, буду весь день сонный». Кофе точно взбодрит.
Итак, у нас есть пять видов связок в суждениях, давайте их закрепим:
● соединительная – качество у предмета есть;
● отрицательная – качества у предмета нет;
● разделительная – качество у предмета есть/нет, и при этом другое качество есть/нет;
● импликация – если качество у предмета есть/нет, то и другое качество есть/нет;
● эквиваленция – только если качество у предмета есть/нет, то и другое качество есть/нет.
Выглядит довольно абстрактно, не так ли? Поэтому логика и называется формальной: она заставляет нас обращать внимание больше на форму мысли, чем на ее содержание. Вот что открыли ученые на заре рационального мышления: если мыслить правильно по форме, то и содержание будет правильным! Иногда это выглядит настоящим чудом: понимая только формальные правила, можно делать корректные выводы даже из кажущейся бессмыслицы.
Прочтите, например, это высказывание: «Если кумок содержит гарнию, то он является фиттером. А в твоем кумке нет гарнии». Какой вывод можно сделать из этих непонятных суждений?
Они только на вид непонятные – мы не знаем что такое кумок, гарния и фиттер. Но такое знание нам и не нужно – достаточно понимания логики этих суждений. Благодаря правилам языка мы легко определим, где тут субъект, где предикат и как они связаны. Поэтому и вывод, думаем, вы сделали однозначный: «Твой кумок не фиттер».
Помните? Логика не требует знать все на свете: действительно, невозможно превратиться в энциклопедию – объема памяти ни у одного человека не хватит. Для того чтобы правильно мыслить, не надо быть эрудитом, но надо разбираться в логике.
Прежде чем перейти к следующему пункту анализа суждений, рекомендуем потренироваться распознавать логические связки: вооружитесь нашим списком из пяти видов связок и сделайте следующее. Возьмите любой интересующий вас текст – например, откройте наугад любую страницу этой книги и прочтите ее всю, обращая внимание исключительно на связки в суждениях. Выделите все виды, которые удастся обнаружить в тексте. Это непростая, но крайне полезная тренировка логики.
Итак, мы разобрали три элемента суждения: субъект, предикат, связки. Осталось обсудить четвертый.
4. Квантор
– это замечание о том, относится ли признак, выраженный в предикате суждения, ко всему или к части объема понятия, выражающего субъект.● В некоторых суждениях идет речь о каждом
представителе понятия: «все книги», «каждый пингвин», «любой рабочий день», «ни один из космонавтов», без исключений. Так и в нашем примере «Любой знает, что обманывать плохо» квантор – это «любой», то есть «все» или «каждый».● В некоторых суждениях говорится только о части
элементов, входящих в состав понятия: «в некоторых книгах», «большинство пингвинов», «бывают особенные рабочие дни», «иногда попадаются космонавты».● И, наконец, есть суждения о единичных
вещах: «только в одной книге мне попадалась такая идея», «пингвин Николай из Московского зоопарка», «в ближайшую среду в офисе», «космонавт Степан Николаев видел в космосе Ктулху».Давайте превратим наши рассуждения о четырех элементах любого суждения в алгоритм их логической проверки. Вернемся к примеру «Любой знает, что обманывать плохо» и посмотрим, насколько логично такое суждение.
1. Проверяем субъект.
Понимаю ли я, о чем идет речь? Кто такой «любой»? Имеются в виду реальные люди или литературные персонажи тоже считаются? Словом, непонятно, о каком «любом» говорится.