ЗАКОНЫ И КАТЕГОРИИ СВЯЗИ

Недавно в Петербурге опубликована моя статья под тем же заглавием. Сайт "Интелрос" перепечатал ее по адресу: http://www.intelros.ru/readroom/credo_new/kr2-2020/41814-zakony-i-kategorii-svyazi.html. Размещать ее в блоге не стану, т.к. эта проблематика не скоро вернет себе актуальность даже внутри самой философии, не говоря уже о ее социальных аспектах. Но такая работа отражает вечную потребность познания во внутреннем совершенствовании. Речь идет о первой попытке сформулировать общие законы связи, тогда как рациональная диалектика вплоть до К.Маркса и его последователей выделяла только законы развития, хотя и называла себя "Учением о наиболее общих законах развития и связи в природе, обществе и мышлении" (формулировка Ф. Энгельса).

КАТАСТРОЙКА В США

Эта современная "катастройка" дала бы нам хорошую возможность освободиться самим и освободить весь мир от тяжкого бремени англосаксонского господства. Дала бы, не будь мы сами так слабы рассудком и бесхарактерны, не будь у нас в крови того низкопоклонства перед Западом, которое одинаково признавали Иосиф Сталин и Николай Бердяев. 

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

Текущее «восстание» в США справедливо называют революцией двоечников. Подобная ей давно уже произошла в нашей стране, в т.ч. в российских школах и вузах, вытеснив из них знающих и добросовестных преподавателей; и продолжает победно катиться по всем закруглением земного шара.

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

Логика, 7. ТЕОРИЯ ДОКАЗАТЕЛЬСТВА И ОПРОВЕРЖЕНИЯ

1. ПОНЯТИЕ И СТРУКТУРА ДОКАЗАТЕЛЬСТВА

Доказательством называется рассуждение, которое обосновывает истинность некоторого суждения путем выведения его из других суждений, принятых за истинные. С формальной стороны, доказательство имеет много общего с умозаключением. Но отличается тем, что 1) заключение в нем не следует за посылками как результат, а предшествует им как то, что требуется доказать, и называется тезисом; 2) от самих посылок требуется содержательная истинность, и они называются аргументами; 3) логическая связь аргументов и тезиса должна быть полностью развернута и наглядно представлена; поэтому процесс доказательства называется демонстрацией; 4) один и тот же тезис может доказываться с помощью разных аргументов и умозаключений.

Тезис, аргументы и демонстрация образуют структуру доказательства. Если хоть один ее элемент отсутствует в речи или не соответствует требованиям, рассуждение перестает быть доказательством. Напр., энтимема «Сократ – человек, а все люди смертны» не является доказательством, т.к. в ней тезис не сформулирован и демонстрация не завершена. Сокращённый полисиллогизм «Прогулки полезны для здоровья, т.к. клетки тела нуждаются в кислороде» тоже не доказательство, т.к. в нем демонстрация не развернута. В формально правильном силлогизме «Ни одна ворона не черная; этот жук черный; следовательно, этот жук не ворона» заключение истинное и демонстрация развернута, но посылки содержат ложное утверждение и не могут служить аргументами.

Тезис доказательства должен быть сформулирован ясно, понятными словами, без двусмысленностей, точно по количественным, качественным и модальным признакам (напр., категорическое общее утверждение для любой ситуации, или – как нечто возможное для некоторых субъектов в определенных ситуациях, и т.д.) Иначе оппонент может заявить, что вы сами не знаете, что доказываете. Напр, можно доказать возможность хорошей погоды в известный срок, но нельзя доказать необходимость этого.

Аргументы в доказательствах могут быть только трех видов:

1. Твердо установленные общие положения, напр. аксиомы науки, нормы права, принципы нравственности;

2. Суждения, принимаемые в качестве очевидных, напр. – проверенные научные формулы («Скорость падения тела в пустоте возрастает со временем» и т.п.), знания в пословицах («Не оставляй на завтра то, что можно сделать сегодня» и т.п.);

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

Демонстрация может быть только двух видов: дедуктивная и индуктивная. Последняя здесь понимается в традиционном смысле слова, т.е. – не включая умозаключений по аналогии, которые не признаются доказательством ни у науке, ни в юриспруденции. В любом случае, она не должна противоречить научным представлениям и здравому смыслу. Примером обратного может быть речь одного из персонажей Козьмы Пруткова, который указал расстояние от Москвы до Рязани, но отказался указать расстояние от Рязани до Москвы, «аргументируя» той аналогией, что время от пасхи до рождества не равно времени от рождества до пасхи.

Опровержением называется доказательство, которое устанавливает ложность или необоснованность тезиса, выдвинутого спорящей стороной. Т.е. это вид доказательства, а именно – доказательство антитезиса, как положения, несовместимого с тезисом. Следовательно, оно имеет ту же структуру, что обычное доказательство, и те же виды и способы.

2. ВИДЫ И СПОСОБЫ ДОКАЗАТЕЛЬСТВА И ОПРОВЕРЖЕНИЯ

Доказательства делятся на прямые и косвенные. Прямым называется такое доказательство, в котором тезис выводится из аргументов без введения дополнительных предположений. Напр., релятивистская физика выдвигает тезис о замедлении хода времени для движущегося тела. Один из аргументов: мюоны, рожденные космическим излучением в верхних слоях атмосферы, достигают поверхности Земли, хотя их собственное время жизни (в системе отсчета, где скорость их нулевая) для этого явно недостаточно.

Косвенным называется такое доказательство, в котором тезис обосновывается при помощи введения антитезиса, т.е. – дополнительного предположения, несовместимого с тезисом. При этом антитезис должен находиться с тезисом в отношении строгой дизъюнкции (союз «либо-либо»). Такому требованию всегда удовлетворяет контрадикторное, а зачастую – и контрарное тезису суждение. Напр., предположим, что ход времени для движущегося тела не замедляется (контрадикторный антитезис) или ускоряется (контрарный антитезис). В обоих случаях получим, что мюоны из верхних слоев атмосферы не могут достигать Земли. Но это противоречит фактам; следовательно, антитезис ложен, а тезис доказан.

Косвенное доказательство имеет два вида:

1. Апагогическое (греч. apagogos – отводящий), или доказательство от противного. Его формула: Если из антитезиса выводится противоречие, то тезис истинен. Так доказывается, напр., геометрическая теорема о том, что прямые, перпендикулярные к одной плоскости, параллельны между собой. Предположим, что они не параллельны, т.е. где-то пересекаются. Тогда они, вместе с линией, соединяющей точки их выхождения из данной плоскости, образуют треугольник, в котором сумма углов должна быть больше 180^о (ведь по условию каждая из них образует с плоскостью угол 90^о). Но это противоречит аксиомам евклидовой геометрии; следовательно, антитезис ложен, а тезис истинен (в рамках такой геометрии). Апагогическое доказательство надежно, только если оно опирается на контрадикторное тезису суждение. По существу, оно основано на принципе исключенного третьего и на законе снятия двойного отрицания.

2. Дизъюнктивное доказательство, оно же – разделительное доказательство, или доказательство методом исключения. По структуре оно совпадает с разделительно-категорическим умозаключением вида modus tollendo ponens (см. т. 4.2.2). Формула этого доказательства: Если известно, одно из группы суждений, содержащих тезис, обязательно истинно, и доказано, что кроме тезиса все другие суждения в этой группе ложны, то тезис истинен. Напр.: ход времени для движущегося тела либо замедляется (тезис), либо не изменяется, либо ускоряется. Если уже доказано, что он изменяется и при этом не ускоряется, следовательно, он замедляется, и тезис доказан.

Сильная сторона дизъюнктивного доказательства – его психологическая убедительность, т.к. тут предполагается разбор всех возможных случаев. Но здесь (как и в умозаключениях вида modus tollendo ponens) есть риск ошибиться, обусловленный неполнотой перечня альтернатив, что может случиться по недостатку знаний, по ошибке или по причине недобросовестности доказывающего. Так, Ж.-Ж. Руссо в своей знаменитой книге «Общественный договор» рассуждал: право либо дано нам природой, либо основано на соглашении; но оно не дано нам природой, следовательно, его источником является сознательное соглашение людей. Но он не учел, что право отражает экономические отношения между множеством индивидов и между разными социальными группами, а такие отношения складываются без сознательного контроля со стороны большинства людей.

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

Опровержением тезиса считается доказательство (любым способом) истинности антитезиса, либо – сведение тезиса к абсурду (reductio ad absurdum, см. т. 4.2.5). Пример последнего: если требование уплатить просроченный налог представлено в сумме, соответствующей ее значению до недавней деноминации рубля, то должник может заявить, что это абсурд, и выиграть время для подготовки к уплате без дополнительных штрафных санкций.

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

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

3. ТИПИЧНЫЕ ОШИБКИ ДОКАЗАТЕЛЬСТВА

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

Ошибкой относительно тезиса является также доказательство слишком малого или слишком многого. Слишком мало – когда тезис остается частью недоказанным. Если порядочность человека доказывается только тем, что он ранее не совершал уголовных преступлений, остается открытым вопрос о его нравственных качествах. Слишком много – когда из аргументов следует не только тезис, но и какое-то ложное утверждение, или утверждение, противоречащее тезису. Пусть некто пытается доказать, что корень квадратный из 4 равен 2 на том основании, что 2-я степень означает якобы удвоение данного числа; но из этого следует явно ложное утверждение, что корень квадратный из 6 равен 3. Поэтому говорят: кто доказывает слишком много, тот ничего не доказывает.

Ошибка «круг в доказательстве» (лат. circulus in demonstrando) возникает при нарушении требования, чтобы истинность аргументов обосновывалась независимо от тезиса. Пример – доказательство пятого постулата Евклида (через точку вне данной прямой можно провести только одну прямую, параллельную данной) исходя из утверждения, что сумма углов треугольника всегда равна 180⁰, тогда как само это утверждение доказывается с помощью данного постулата.

Близка к этому случаю ошибка «предвосхищение основания». Тут в качестве аргумента приводится общее положение, которое включает в себя тезис и помимо него недоказуемо. Напр: это добропорядочный человек, а такие люди не крадут; следовательно, не он украл.

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

4. УЛОВКИ В СПОРЕ

Различаются два вида спора: полемика (от греч. polemikos – воинственный, враждебный) и дискуссия (от лат. discussio – рассмотрение, исследование). Второй из них основан на добросовестном соблюдении правил логики, а его научная разработка начинается с выступления Сократа Афинского (V в. до н.э.), который определил диалектику как искусство отыскивать истину в споре (через дискуссию). При этом Сократ сознательно обращал диалектику против софистов (греч. мудрецы или, иронически, мудрователи), которые до него разрабатывали эристику, как учение о полемике, допускающее победу в споре любой ценой. В последнем случае риторика господствует над логикой. Хотя в научном и моральном отношениях диалектика безусловно превосходит эристику, в реальности часто приходится сталкиваться с недобрыми намерениями людей и с недобросовестной полемикой, а порой на хитрость противника приходится отвечать хитростью. В науке, в общем и целом, преобладает дискуссия, однако и полемика нередко встречается; в юридической сфере скорее преобладает полемика.

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

Позволительные уловки:

1) условное временное принятие довода противной стороны, пока мы не можем его опровергнуть;

2) требование новых доказательств уже доказанному;

3) оттягивание возражения;

4) приведение доводов вразброс (чтобы противник не сразу понял, какую мысль мы доказываем);

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

Непозволительные уловки можно построить на любом умышленном нарушении принципов логики, моральных норм или правил дискуссии. Их основные типы таковы:

1) применение софизмов, т.е. умышленно ложных умозаключений. По логической структуре софизмы не отличаются от логических ошибок (паралогизмов), но с целью обмана им придаётся хитроумная форма. О софистических опровержениях писал еще Аристотель, а сегодня в информационном поле нетрудно найти множество примеров как самих софизмов, так и их разоблачений. Софизм может выступать как нарушение любого закона логики или правила умозаключений. Но чаще всего в софизмах, так же как в паралогизмах, ключевую роль играет простейшая из логических ошибок: подмена понятий (эквивокация). Приведем для образца только один софизм, т.н. детский, но нередко встречающийся и во взрослой жизни. Его формула: нельзя наказывать человека за то, что он не сделал; поэтому вы не можете меня наказать за то, я не выполнил положенную работу или заданный урок. Однако под словом «сделал» тут понимается проступок, а неправомерное бездействие или невыполнение обязанностей тоже есть грубый проступок, порой – даже уголовное преступление.

2) применение argumentum ad hominem (аргумента к человеку) вместо argumentum ad rem (обращения к сущности дела). Разновидности: апелляция к авторитетам (хотя ни один авторитет не может быть решающим в деле); обращение к чувствам публики; попытки опорочить личность противника; т.н. палочные аргументы – угроза применения силы; «аргументы к невежеству» – использование заведомо непонятных оппоненту данных (напр., текстов на иностранном языке). Против новых научных положений часто используют «аргументы к здравому смыслу», рассчитанные на инерцию мышления большинства: напр., «очевидно ведь», что солнце ходит вокруг Земли, а не наоборот. Часто используется т.н. чтение в сердцах, когда оппоненту приписываются нечистые мотивы, и т.д.

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

*  *  *

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

Логика, 6. ВЕРОЯТНОСТНЫЕ УМОЗАКЛЮЧЕНИЯ

1. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

Здесь мы имеем в виду традиционное понимание индукции (греч. «наведение»), т.е. умозаключения от частного знания к более общему знанию. В основе такого умозаключения лежит перечисление нескольких предметов со сходными свойствами, и перенесение этих свойств на все предметы того же вида. Напомним: в англоязычной логике индуктивным называют всякое вероятностное умозаключение, включая, в частности,  умозаключения по аналогии. Дедукция достоверна, но фактически не дает принципиально нового знания, хотя разворачивает старое, что важно для практики. В отличие от нее, умозаключение по индукции дает новое знание, но в общем случае не является достоверным. Напр., кто-то из своего ограниченного опыта может заключить, что все химически элементарные вещества при комнатной температуре являются либо твердыми телами, либо газами; однако ртуть при тех же температурах – жидкая.

Вывод по индукции бывает и достоверным, но только в двух особенных случаях:

1) т.н. полная индукция, когда в посылках перечисляются свойства всех возможных на данной области предметов. Но это выполнимо только для обозримых множеств, напр., при анализе анкет сотрудников одного не очень большого предприятия; в науке подобная ситуация встречается редко. Разновидностью полной индукции является доказательство по случаям. Фактически мы его уже рассматривали в конце темы 4, как т.н. рассмотрение по случаям; т.е., оно может быть представлено и как вид дедуктивного умозаключения.

2) т.н. математическая индукция. Она опирается на единообразие свойств чисел натурального ряда, и применяется ограниченно, главным образом – в самой математике. Ее символическая запись: P(0) @ "n [P(n) ® P(n+1)] Þ P(m). Это формула исчисления предикатов, и может рассматриваться как дедуктивное умозаключение. Фактически то же относится к полной индукции в целом: она превращается в силлогизм, если явно ввести посылку вроде «Все предметы данной области рассмотрены». Можно сказать, что достоверные умозаключения по индукции сводятся к формам дедуктивных умозаключений.

Однако сама индукция как таковая, т.е. – неполная индукция, имеет градации по степени достоверности вывода, в зависимости от применяемых интеллектуальных средств. Тут можно выделить четыре уровня:

1) популярная индукция, т.е. индукция через заведомо неполное перечисление, при котором не обнаружился контрпример. Допустим, для проверки на всхожесть семян из одной пачки, наудачу берут из нее и высеивают несколько семян, и при удаче заключают, что все семена в пачке всхожие. Типичная ошибка такой индукции – поспешное обобщение. Напр., долго считалось, что все лебеди белые, но  в 1606 г. в Австралии были открыты черные лебеди. Популярная индукция лежит в основе многих распространенных заблуждений и суеверий. Известно, что подбор «подходящих» примеров позволяет «доказать» всё что угодно. Но люди склонны верить тому, что им нравится, или – что принято большинством, и зачастую некритически принимают подобные «доказательства».

Даже популярную индукцию можно усовершенствовать целенаправленным поиском контрпримеров (еще в XVII в. так советовал поступать английский философ Ф. Бэкон). Напр. – найти в пачке и проверить на всхожесть также внешне подозрительные семена, и в результате точнее оценить ожидаемый от весеннего сева эффект. Развивая этот подход, получим

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

3) индукция с обоснованием заключения с разных позиций. Так, знаменитые биологи Э. Геккель и А.Н. Северцов использовали в обосновании своих заключений метод тройной индукции: с позиций сравнительной анатомии, с позиций эволюционной эмбриологии и с позиций палеонтологии. Подобным образом была построена и теория естественного отбора Ч. Дарвина, что обеспечило ей высокий авторитет в науке (хотя она, заметим попутно, не лишена существенных недостатков). Оба указанных приема усиления достоверности индукции могут применяться совместно. Кроме того, применяется

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

Индукция является естественной формой обобщения опыта; поэтому она активно разрабатывалась вместе с бурным развитием эмпирического познания мира, начиная с Научной революции XVI–XVII веков. Особенно большой вклад в ее разработку внесли английские мыслители Ф. Бэкон, Д. Гершель и Д.Ст. Милль. Правда, еще в XVIII в. философ (тоже английский) Д. Юм раскритиковал наивный индуктивизм в науке. Тем не менее, во 2-й половине XIX в. известный немецкий биолог Э. Геккель пытался обосновать «всеиндуктивизм». Но в XX в. английский философ К. Поппер выступил, наоборот, с позиции крайнего антииндуктивизма; однако эти крайние позиции натолкнулись на существенные затруднения. Диалектическая методология и здравый смысл всегда выступали за сочетание индукции и дедукции, как ведущих типов мышления, соответственно, в эмпирическом и в теоретическом познании, и за союз обоих типов познания.

2. МЕТОДЫ УСТАНОВЛЕНИЯ ПРИЧИННОЙ СВЯЗИ

Еще Ф. Бэкон задумался о разработке таких приемов на основе умозаключений по индукции, а в XIX в. Дж. Ст. Милль выдел пять основных методов этого рода. Нельзя сказать, что они часто употребляются в практике, но в сложных случаях могут понадобиться. Поэтому с ними стоит ознакомиться, не забывая, конечно, что такие заключения о причинах явлений имеют вероятностный характер, как индукция в целом.

1) Метод единственного сходства: если только одно обстоятельство предшествует данному явлению или сопровождает его, то оно и есть причина данного явления. Напр., период собственных колебаний маятника при любых его весе, форме, материале, расположении и т.д. зависит, как показал Г. Галилей, только от расстояния от точки подвеса маятника до его центра тяжести. Чтобы при этом методе результат был достоверным, надо подбирать или создавать разнообразные ситуации, иначе можно оказаться «жертвой случайности». Напр., присутствие одного и того же человека при нескольких возгораниях может быть случайным совпадением или продуктом провокации. Учитывая такие возможности, еще древнеримские юристы сформулировали принцип «post hoc nihil propter hoc» – «после этого еще не значит вследствие этого».

2) Метод единственного различия: если нет события, когда нет данного обстоятельства, то оно и является причиной этого события. Так была установлена, напр., причина нервного заболевания «бери-бери» в некоторых странах Юго-Восточной и Южной Азии. Ею оказался отказ от потребления неочищенного риса, в оболочке которого содержится витамин В₁. В соседних странах, где потребляли в пищу также неочищенный рис, не наблюдалось такого заболевания (дефицита витамина В₁).

3) Объединенный метод сходства и различия: причиной считается то обстоятельство, которое всегда присутствует при наличии данного явления или события, и всегда отсутствует, когда его нет. Так было, напр., однажды выяснено, что причиной ускоренного износа деталей машины стала бракованная партия технической смазки. Метод сильный, но сложен в применении: тут желательно использовать табличную запись для учета, обзора и полного анализа всех случаев.

4) Метод сопутствующих изменений: если изменение одного явления всегда вызывает изменение другого явления, то первое явление есть причина второго. Этот метод позволяет учитывать не только наличие или отсутствие факторов, но также их интенсивность. Напр., так выясняется, что ширина зазоров между рельсами железной дороги изменяется обратно пропорционально температуре, а сила тяготения – обратно пропорционально квадрату расстояния между телами (Р. Гук, И. Ньютон).

5) Метод остатков: если все рассмотренные обстоятельства не объясняют данное явление, то его вероятная причина – та часть обстоятельств, которая не была рассмотрена (может быть, ввиду каких-то затруднений). Этот метод наиболее слабый: ведь остаток обстоятельств зачастую страдает недостаточной определенностью, так что конкретная причина и механизм ее действия часто остаются неясными. Напр., известно, что данный человек не пришел на работу не из-за болезни, не по семейным обстоятельствам и не вследствие его задержания полицией. Но дальше остается только догадываться, что причина его неявки имеет криминальный характер, и – какой именно.

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

Зато тот же метод, причем – «в чистом виде», т.е. без последующих исследований, нередко используется в политике для «обоснования» клеветнических обвинений в адрес противника или предполагаемой жертвы. В частности, его представляет знаменитое «highly likely» (англ. «весьма вероятно»), запущенное в оборот с легкой руки британского премьер-министра Терезы Мэй в 2018 г. Так Мэй оценила предположение об отравлении Россией в Лондоне бывшего шпиона Сергея Скрипаля, доныне не имеющее иных доказательств; а теперь highly likely уже широко гуляет по стогам русофобской политики. Удобно ведь: можно не напрягаться в «обоснованиях»!

Желающие подробнее ознакомиться с индуктивными методами установления причинной связи могут найти их разбор в разных изданиях, напр.: Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1994. С. 315–327. А мы перейдем к рассмотрению умозаключений по аналогии.

3. УМОЗАКЛЮЧЕНИЯ ПО АНАЛОГИИ

Греч. analogia означает соответствие, сходство. В логике так называется умозаключение путем переноса свойств с более познанного предмета на менее познанный. В отличие от индукции и дедукции, уровень общности знания здесь не меняется, выведение идет как бы «от частного знания к частному». В литературе умозаключения подобного типа иногда называют традуктивными, от лат. traductio — перемещение. Уровень их достоверности еще ниже, чем у индукции, в методологии научного познания и в юридической практике даже принят принцип «аналогия не аргумент». В самом деле, нередко встречаются ложные аналогии,  с нулевой вероятностью, напр. когда от внешней привлекательности человека заключают к его нравственным качествам. «Оправдать» подобную аналогию может только удача, но все же она часто встречается.

Тем не менее, умозаключения по аналогии применяются в исследованиях – там, где нет возможности использовать более надежные формы познания. Кроме того, аналогия часто становится источником плодотворных гипотез. Такую их роль в развитии физики подчеркивали, напр., Д. Дидро и А. Эйнштейн, а в технике многие изобретения сделаны и делаются по аналогии с живой природой. Так, поверхностная структура кожи дельфина натолкнула конструкторов кораблей и самолетов на создание обшивки, значительно улучшившей скоростные качества судов по сравнению с просто гладкой обшивкой. На аналогии основано моделирование – важный метод исследования, прогнозирования и проектирования; но при этом применяются специальные методы «доработки» аналогии, напр. теория физического сходства. Однако моделирование является уже предметом не собственно логики, а методологии научного познания, и мы его тут не рассматриваем.

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

И все же, при всех стараниях повысить вероятность правильного заключения по аналогии, остается верной старая пословица «всякое сравнение хромает». Умозаключение в форме аналогии бывает достоверным, лишь когда заранее доказано изоморфное отношение между свойствами сравниваемых предметов; но тут аналогия фактически сводится к силлогизму. Напр., известно, что количество солдат во всех взводах данной роты одинаково, и в первом взводе 18 солдат; тогда вопрос о числе солдат в третьем взводе решается автоматически. То же относится к т.н. строгой аналогии, в которой переносимый признак необходимо следует из основания. Напр., проказа четко диагностируется по ряду признаков, как через аналогию с их наличием у других прокаженных, так и дедуктивно.

Различают рациональную аналогию, которая построена на отношениях понятий, и разные типы чувственно-образной аналогии. Выделяются, напр. фигуральная аналогия (пример из творчества Козьмы Пруткова: «Специалист подобен флюсу: полнота его одностороння»), эмпатия (греч. «вчувствование»: человек может настроиться на сопереживание другому человеку, чему помогает, напр., подражание его позам и действиям); символическая аналогия – представление предмета в поэтических образах (пряжка как цветок, раствор – «взвешенная неразбериха» и т.п.); фантастическая аналогия – напр., уподобление животных людям в баснях и в других художественных произведениях). Два последних вида нередко применяются для стимулирования изобретательской деятельности, а фантастическая аналогия используется отчасти в интеллектуальных экспериментах. Напр., один из таких экспериментов А. Эйнштейна основан на наблюдении одного человека за ходом времени в разных системах отсчета, что в реальности невозможно. Но в целом научная аналогия стремится к рациональным структурам.

Различают два вида рациональной аналогии:

1. Аналогия свойств, формула которой: если предметы А и В обладает свойствами a, b, c, ..., m, и предмет А обладает также свойством n, то предмет В тоже обладает свойством n. Напр., взаимно подобная геологическая история различных местностей нередко сказывается в подобном же наборе полезных ископаемых, что существенно облегчает их поиск. Разновидностями такой аналогии с возможностью применения численных методов считаются экстраполяция (от лат. extra – сверх и polio – приглаживаю) и интерполяция (от лат. inter – внутрь и т.д.) Допустим, ребенок с рождения за 7 лет вырос от 50 см до 110 см; тогда по интерполяции получим его рост в возрасте 3,5 года около 80 см, а по экстраполяции получим его рост еще через год около 118 см. Эти методы нередко применяются в механике, в технике и в социально-статистических исследованиях, конечно, с осознанием неизбежной приблизительности и невысокой надежности результатов. Но существует большой и важный класс нелинейных, «скачкообразных» процессов, для которых применение интерполяции и экстраполяции в принципе неправомерно. Так, по достижении юношеского возраста экстраполяция по росту становится абсолютно бессмысленной.

2. Аналогия отношений, формула которой: если А подобно С, и В подобно D, и между А и В есть отношение r, то между С и D тоже есть отношение r. Напр., буржуазная форма собственности подобна ее т.н. германской форме, а социалистическая  форма собственности подобна ее т.н. азиатской форме. Отсюда следует ожидать смены буржуазной формы общества его социалистической формой, что и совершилось в действительности. Однако сама эта смена оказалась неустойчивой, что говорит о ненадежности такой аналогии. И в научной методологии признано, что аналогия отношений еще менее достоверна, чем аналогия свойств, т.к. слабее связана с природой сравниваемых предметов. Поэтому она чаще применяется не в науке, а художественной литературе, в виде метафор: человек в обществе отчуждения как подобие одинокого волка по Г. Гессе, и т.п.

Логика, 5. ДЕДУКЦИЯ В ЛОГИКЕ ПРЕДИКАТОВ

Логика, 5. ДЕДУКЦИЯ В ЛОГИКЕ ПРЕДИКАТОВ

Читатель может ожидать, что в этой теме мы будем рассматривать умозаключения на почве символического исчисления предикатов. Но те из них, которые обычно применяются в построении общенаучных текстов, сводятся к фактуальным формулам, и уже представлены нами в теме 3 и в публикации «Логическая символика» на этом блоге. Более сложные схемы фигурируют только в формулах математической логики и в текстах некоторых математизированных дисциплин. А в общенаучных рассуждениях тут обычно применяют средства, разработанные традиционной логикой. Правда, они не всегда автоматически дают правильный результат, приходится соблюдать некоторые правила; тем не менее, для большинства случаев они удобнее в применении. Их мы и представим в данной теме. Причем с некоторыми из них читатель уже фактически знаком по темам предыдущим.

1. НЕПОСРЕДСТВЕННЫЕ УМОЗАКЛЮЧЕНИЯ

Непосредственными называются дедуктивные умозаключения логики предикатов, в которых имеется только одна явная посылка (речь идет о простых суждениях). К ним относятся 1) умозаключения по логическому квадрату, 2) превращение, 3) обращение и 4) противопоставление предикату. При этом первый вид уже фактически рассмотрен нами в теме 3, как отношения суждений в логическом квадрате. Только ради напоминания приведем один пример: из посылки «Некоторые животные не млекопитающие» можно непосредственно сделать вывод «Неверно, что все животные млекопитающие».

Превращение – непосредственное умозаключение, при котором изменяется качество посылки без изменения ее количества. При этом предикат заключения отрицает предикат посылки: (SaP) ® (SùаùP). Напр., из посылки «Некоторые части речи – глаголы» непосредственно заключаем «Некоторые части речи не есть неглаголы». Смысл этого умозаключения сводится к закону снятия двойного отрицания; поэтому превращению подлежат все типы суждений языка AIOE.

Обращение – непосредственное умозаключение, при котором субъект и предикат меняются местами при сохранении качества суждения: (SаP) ® (PаS). Обращение не распространяется только на тип суждений О в языке AIOE. Однако обращение суждений с пустым предикатом может привести, в конечном счете, к ложному заключению. Напр., из суждения «Ни один человек не открыл философский камень» по обращению следует «Ни один открывший философский камень не человек», откуда по превращению вытекает странное утверждение «Некоторый не-человек открыл философский камень».

Кроме того, обращение бывает полное, когда сохраняется также количественная характеристика суждения, или – обращение с ограничением, когда из общей посылки выводится частное заключение. Это завис от т.н. распределённости терминов в исходном суждении. С формальной стороны, учение о распределённости терминов входит в состав учения о суждении. Но реальная потребность в нем возникает только на данном этапе освоения курса; поэтому сейчас мы его и рассмотрим.

Термин считается распределённым в данном суждении, если его объем полностью включается в объем другого термина или полностью из него исключается. Напр., в суждении «Все лебеди – птицы» субъект распределён, а предикат не распределён. В суждении «Некоторые инженеры – авиастроители» оба термина не распределены. А в суждении «Все люди в норме разумны» фактически распределены оба термина, т.к. нам пока не известны другие разумные существа, кроме людей; но тут, как видим, окончательное решение зависит от контекста. Всегда распределены оба термина только в общеотрицательном суждении (тип Е в языке AIOE), напр. «Ни один человек не птица».

Обращение бывает полным, когда оба термина в нем (субъект и предикат) распределены или не распределены. Так обращаются суждения типа Е и I. Обращение происходит с ограничением, когда один из его терминов распределен, а другой – нет. Так суждения типа А обращаются в суждения типа I. Напр., «Все лебеди – птицы» в «Некоторые птицы – лебеди». Заметим, что то же заключение можно сделать по логическому квадрату.

Противопоставление предикату – непосредственное умозаключение, при котором субъект и предикат меняются местами, причем изменяется качество предиката и суждения в целом, по схеме (SаP) ® (ùPùаS). Это умозаключение можно рассматривать как превращение и обращение, проведенные одно вслед за другим. По его формуле получаются выводы типа: A®E, E®I, O®I. Из суждений типа I не получается необходимый вывод по противопоставлению. Напр, из посылки «Некоторые студенты – спортсмены» нельзя сделать по этой схеме основательный вывод «Некоторые не спортсмены не являются студентами» (хотя в таком утверждении нет фактической ошибки).

При рассмотрении непосредственных умозаключений, и в других задачах логики предикатов, помогают т.н. круги (диаграммы) Эйлера. Это графические изображения соотношения объемов субъекта и предиката суждения, в которых наглядно представляются связь и распределённость терминов в посылках. Есть еще более полные графические схемы того же рода – диаграммы Д. Венна, но к ним редко приходится прибегать в практической логике. Образцы тех и других диаграмм обильно представлены в сети интернет; некоторые из них мы размещаем на данном блоге отдельной публикацией. Материал этот, на наш взгляд, доступен для самостоятельного освоения; но если возникнут вопросы, пишите в комментариях, автор готов дать пояснения.

2. СИЛЛОГИЗМ, ЕГО ФОРМЫ И ПРАВИЛА

Греч. syllogismos означает умозаключение вообще, и не случайно, т.к. это самая распространенная на практике форма умозаключений. Конкретнее, силлогизмом называется вывод из двух или более посылок, связанных некоторыми общими для них (т.н. средними) терминами. Заключение здесь получается как связывание остальных (т.н. крайних) терминов через удаление среднего термина. Напр., даны два суждения: «Все киты млекопитающие» и «Все млекопитающие дышат легкими». Здесь средний термин «млекопитающие», и такая структура позволяет получить достоверный результат «Все киты дышат легкими».

Аксиома силлогизма гласит: признак признака предмета есть признак самого предмета. Структура простого категорического (или ассерторического, т.е. немодального) силлогизма включает три суждения:

       М – Р  ...  большая посылка (лат. maior): та, которая содержит предикат заключения Р;

       S – М  ...  меньшая посылка (лат. minor): та, которая содержит субъект заключения S;

       S – P  ...  само заключение (лат. conclusio);

буквой М здесь обозначается средний термин (от лат. medium – средний).

В простом категорическом силлогизме может быть только три термина. Частая ошибка – «учетверение терминов», напр.: «Металлы – химические элементы, бронза – металл, следовательно, бронза есть химический элемент». Заключение ошибочно, т.к. бронза – сплав меди напр. с оловом. А корень этой ошибки заключается в неодинаковом значении слова «металл» в посылках: сначала это химическая категория, потом – техническое понятие. По существу мы здесь имеем т.н. эквивокацию, как нарушение принципа тождества: в результате ее, в силлогизме оказывается фактически четыре термина.

По расположению среднего термина М в посылках (играет ли он роль субъекта или роль предиката) различают четыре фигуры простого категорического силлогизма. Заключение во всех фигурах имеет вид S – P, а термины в посылках изменяют свое место и расположены следующим образом:

       1-я фигура:  М – Р,  S—M

       2-я фигура:  P – M,  S—M

       3-я фигура:  М – Р,  M—S

       4-я фигура:  P – M,  M—S

Для наглядности применяют графическое изображение фигур силлогизма; мы помещаем его рядом на данном блоге. Поясним только, что в этих схемах верхняя горизонталь всегда представляет большую, нижняя – меньшую посылку, а линия, соединяющая горизонтали, соединяет и общий для посылок (средний) термин M. Первая фигура обычно используется для выведения частного знания из общего; таким образом, она как бы непосредственно представляет принцип дедукции, и на практике является наиболее распространенной. Пример: «Всё живое растёт; клетка – живое; следовательно,  клетка растёт».

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

В каждой фигуре силлогизма выделяются различные модусы. Это разновидности той же фигуры с учетом количественных (общая или частная) и качественных (утвердительная или отрицательная) характеристик каждой посылки и заключения. Формальная комбинация этих функторов дает 256 модусов, по 64 в каждой из четырех фигур. Но правильными (всегда выполнимыми) являются только 24 модуса, по 6 в каждой фигуре. При этом 5 из них – т.н. ослабленные модусы, в которых заключение формулируется как частное суждение, хотя те же посылки дают и общее заключение. Таков напр. модус EAO второй фигуры: он получается просто как вывод по логическому квадрату из модуса EAE: если все S не-P, то и некоторые S не-P. А если отбросить «ослабленные», то правильных модусов получается всего 19: по 4 в первой и второй фигурах, 6 в третьей и 5 в четвертой фигуре. Таким образом, из 256 формально возможных модусов правильные составляют всего 7,42%.

Естественно возникает вопрос, как отбирать правильные модусы из большого числа неправильных. В Средние века правильные модусы наделяли условными названиями на основе языка AIOE: придумывали латинские слова с тремя гласными, последовательность которых отражала характер посылок и заключения, и заучивали эти слова по фигурам наизусть. Напр., в первой фигуре – модусы Barbara, Darii, Ferio и др., во второй фигуре – модус Cesare и др. Согласные в этих искусственных словах тоже значимы: они показывают, к какому модусу первой фигуры и каким способом сводится данный моду. Это хорошие упражнения для развития памяти и закрепления знаний; однако состоятельность модуса можно выяснить и без таких упражнений.

Для этого надо, во-первых, знать правила посылок. Для категорического силлогизма они таковы:

1. Должна быть хотя бы одна общая посылка (из двух частных вывода нет).

2. Если хотя бы одна из посылок частная, то заключение должно быть тоже частным.

3. Должна быть хотя бы одна утвердительная посылка (из двух отрицательных вывода нет).

4. Число отрицательных посылок должно быть равно числу отрицательных заключений.

Мы сразу добавим еще правила посылок для стандартного модального силлогизма:

5. Должна быть хотя бы одна посылка о необходимости (из посылок о возможности вывода нет).

6. Если хотя бы одна из посылок – о возможности, то заключение должно быть о возможности.

Учитывая те и другие пункты, можно сформулировать обобщенные правили посылок: 1) нет вывода при обеих слабых посылках (т.е. частных, или отрицательных, или о возможности); 2) качество, количество и модальность заключения определяются наислабейшими посылками; поэтому утвердительное заключение может быть только при всех утвердительных посылках, общее – только при всех общих посылках, заключение о необходимости – только если нет посылок о возможности. Эти обобщенные правила распространяются не только на простые, но на всякие силлогизмы.

Во-вторых, надо знать правила терминов. Для простого силлогизма они таковы:

1.В силлогизме должно быть (напомним) ровно три термина.

2. Средний термин должен быть распределён хотя бы в одной из посылок.

3. Термин, не распределённый в посылке, не должен быть распределён в заключении.

Примеры нарушения этих правил в простых категорических силлогизмах: 1) Многие растения (М) окрашены хлорофиллом (Р); Грибы (S) – растения (М); следовательно, Грибы (S) окрашены хлорофиллом (Р). Здесь термин M «растения» не распределен ни в одной из посылок, поэтому правильного модуса не получается. 2) За полярным кругом бывают белые ночи; Ленинградская область не находится за полярным кругом; следовательно, В Ленинградской области не бывает белых ночей. Вывод ложен, т.к. термин P «Ленинградская область» распределён в заключении, а в посылках не распределён.

Еще проще решать силлогизмы с помощью кругов Эйлера или (в более сложных или ответственных случаях) с помощью диаграмм Д. Венна. Процесс этот вполне нагляден, надо только внимательно строить диаграммы; мы приводим пару примеров для разных модусов простого категорического силлогизма.

3. СОКРАЩЁННЫЕ И СЛОЖНЫЕ СИЛЛОГИЗМЫ

Энтимема (от греч «в уме») – сокращённый силлогизм, в котором опущено заключение или одна из посылок. Напр.: «Все образованные люди учились, значит, и Сократ учился» (опущена посылка «Сократ – образованный человек»). Или: «Все пластмассы плавятся при нагревании, а полиэтилен – пластмасса» (опущено заключение «Полиэтилен плавится при нагревании»).

Полисиллогизм (сложный силлогизм) это цепь из двух или более силлогизмов, в которой заключение предыдущего силлогизма становится посылкой последующего. Если оно превращается в большую посылку, этот полисиллогизм называется прогрессивным, если в меньшую – регрессивным. Пример прогрессивного полисиллогизма из трех простых силлогизмов: «Всё, что развивает ум, полезно будущему экономисту; Изучение логики развивает ум; Изучение логики полезно будущему экономисту (первое заключение; добавляются посылки:) Изучение логики требует знаний о силлогизмах; Знание о силлогизмах полезно будущему экономисту (второе заключение; добавляются еще посылки:) Полисиллогизм есть форма силлогизма; Знание о полисиллогизмах полезно будущему экономисту (последнее заключение)».

Сами полисиллогизмы чаще всего применяются в сокращённой форме, в виде т.н. соритов (от греч. sorites – кучеобразный). Они получаются из полисиллогизма путем выбрасывания заключения предшествующего силлогизма и одной из посылок каждого последующего силлогизма. Если опущена большая посылка, сорит называется прогрессивным, или гоклениевским; если меньшая – регрессивным, или аристотелевским. Пример регрессивного сорита: «Все экономисты – специалисты; Все специалисты образованы; Все образованные люди имеют диплом; следовательно, все экономисты имеют диплом». В сорите каждый термин, кроме терминов заключения, входит в посылки два раза: один раз как субъект, и один раз как предикат.

Эпихейрема – сложносокращённый силлогизм, обе посылки которого представляют собой энтимемы (сокращённые простые силлогизмы). Напр: «Дыхание необходимо для жизни, т.к. без кислорода клетки тела не вырабатывают энергию. Деятельность легких необходима для дыхания, т.к. она насыщает кровь кислородом. Следовательно, деятельность легких необходима для жизни».

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