Основные этапы истории логики. Возникновение различных логик. Имена ученых, внесших существенный вклад в развитие логики.

Как самостоятельная наука логика сложилась в IV в. до н.э. Ее основателем по праву считается древнегреческий философ Аристотель (348 – гг. до н.э.). В своих научных трудах, посвященных логике, Аристотель впервые дал ее систематическое изложение и назвал “традиционной” формальной логикой. Традиционная формальная логика включала в то время такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются: “Первая аналитика”и “Вторая аналитика”, в которых дана теория силлогизмов, определение и деление понятий, теория доказательства; “Топика” –содержит учение о вероятных “диалектических” доказательствах; “Категории”, “Об опровержении софистических аргументов”, “Об истолковании”. Позже византийские логики объединили все перечисленные работы Аристотеля под общим названием “Органон” (орудие познания). Законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего – Аристотель изложил в своем главном произведении “Метафизика”. Законы мышления Аристотель рассматривал первоначально как законы бытия, а логические формы истинного мышления считал отображением реальных отношений. Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным – суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истинны, создал свою логику. В “Аналитиках” Аристотель довольно основательно разработал модальную логику. Аристотель видел в логике орудие, или метод исследования. Основным содержанием аристотелевской логики является теория дедукции. В логике Аристотеля содержаться элементы математической (символической) логики, в его работах прослеживаются начала исчисления высказываний, а его учение о силлогизме составило основу логики предикатов – одного из направлений современной математической логики.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисип и др.), именно она дополнила аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков считается основой другого направления математической логики – логике высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена, именем которого названа 4-я фигура категорического силлогизма; Порфирия, известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями (“дерево Порфирия”); Боэция, сочинения которого дли тельное время служили основными логическими пособиями.

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

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561– гг.). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении “Новый Органон”(в отличие от старого, аристотелевского “Органона”). Разработка индуктивного метода – огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С.Миллем (1806– 1873 гг.). Таким образом, основателями индуктивной логики по праву считаются Ф. Бэкон и Дж. Милль, позднее в рамках этой логической теории были построены многочисленные дедуктивные теории для исследования логической проблематики.

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

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1569–1650гг.) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении “Правила для руководства ума”. В 1662 г. в Париже вышла книга “Логика, или Искусство мыслить”, написанная последователями Декарта А. Арно и П. Николем, известная также под названием “Логика Пор-Рояля” (так как авторы были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль). Эта книга оказала заметное влияние на всю последующую историю развития логики. Крупный вклад в исследование логических проблем внесли немецкий философ Г.Лейбниц (1646–1716 гг.), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX-XX вв.; немецкий философ И. Кант (1724– гг.) и др. западно-европейские философы и ученые.

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

Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711–1765 гг.), А.Н. Радищев (1749–1802 гг.), Н.Г. Чернышевский (1828–1889 гг.). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Каринский (1804–1917 гг.) и Л.В. Рутковский (1859–1920 гг.). Одним из первых начал развивать логику отношений философ и логик С.И.Поварнин (1807–1852 гг.). Во второй половине XIX в. подлинную революцию в логике совершило широкое применение разработанных в математике методов: алгебраических, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Это направление разрабатывается в трудах Дж. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ-дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической (или символической) логики. Однако при всех новациях предмет логического анализа в основном оставался прежним.

Символическая логика – интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, “логик” (например, логика высказываний, логика предикатов, вероятностная логика и так далее). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности – “истинно” и “ложно” – допускается много значений истинности. Отметим, что в связи с двузначностью традиционной логики ее еще называют пропозициональной логикой. В разработанной польским логиком Я. Лукасевичем (1878– гг.) трехзначной логике вводится третье значение – “возможно” (“нейтрально”). Им же построена система модальной логики со значениями “возможно”, “невозможно”, “необходимо”и т.п., а также четырехзначная и бесконечнозначная логики. Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия – от 0 до 1, временная логика и другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики, исследующий структуры языка предписаний, т.е. высказываний со значением “обязательно”, “разрешено”, “запрещено”, “безразлично”, которые широко используются в правотворческой и правоохранительной деятельности.

Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить ее. Это два направления, две ступени в развитии формальной логики. Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770–1831) и с материалистических позиций переработанная в философии марксизма.

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

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

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

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

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

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

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

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

Основные законы логики

Закон тождества

В этом законе непосредственно проявляется природа самых фундаментальных свойств логической мысли – определенности и последовательности. У самого основателя логики он формулируется неоднократно в его “Метафизике”. “Если слова ничего [определенного] не означают, то конец всякому рассуждению..., ибо невозможно что-либо мыслить, если не мыслят что-то одно; а если мыслить что-то одно возможно, то для него можно будет подобрать одно имя” (Аристотель. Соч. Т. 1. М., 1975. С. 127). “Каждое слово должно быть понятно и обозначать что-то, и именно не многое, а только одно; если же оно имеет несколько значений, то надо разъяснить, в каком из них оно употребляется” (Там же. Т. 2. С. 280). Этим выражается суть закона тождества, хотя современные учебники предпочитают иные, уточненные, формулировки. Одной из причин этого является, например, то, что в логике следует говорить не о словах, с помощью которых выражаются мысли, а о понятиях (хотя они – те же слова, но их смысл и содержание строго задаются).

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

Известная поговорка “начал за здравие, а кончил за упокой” выражает как раз ошибку, порожденную нарушением этого закона. Иногда она совершается непроизвольно. Причем причиной ее возникновения чаще всего является многозначность слов. Как, скажем, понимать такое предложение: “Партия фортепиано доставила большой коммерческий успех”? Идет ли здесь речь о блестящем исполнении и большом сборе благодаря нему или имеются в виду проданные за хорошую цену музыкальные инструменты? Ответить на этот вопрос можно только после уточнения слова “партия”, ибо оно имеет даже не два значения, а больше. В задачнике по логике К.Г. Павловой приводится лозунг, который одно время был в ходу в учреждениях почтовой связи: “За связь без брака!” Звучит он даже несколько фривольно, потому что слово “брак”, помимо дефекта, может означать супружество.

Неоднозначность выражений может возникать и из-за двусмысленных грамматических конструкций. Путаница, вызванная такого рода обстоятельствами, знакома каждому благодаря знаменитому “казнить нельзя помиловать”. Разумеется, эта широко известная фраза не является единственной из числа тех, в которых отсутствует однозначность. В качестве примера можно указать на высказывание: “Беспечность порождает самонадеянность”. В нем нельзя понять, что имеется в виду под порождаемым, а что под порождающим. Совершенно аналогичны в этом отношении выражения вроде: “Взвод сменяет караул” или “Меньшинство подчиняет большинство”. Остроумно использовал двусмысленность выражения А.П. Чехов, вложив в уста одного из персонажей сообщение: “Перед вами череп обезьяны очень редкой разновидности. Таких черепов у нас всего два, один – в Национальном музее, другой – у меня”.

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

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

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

Следует, однако, помнить, что суть закона тождества не сводится к этой символической записи. Дело в том, что у него есть еще один аспект, который не укладывается в эту формулу и даже в некотором смысле противоречит ей. Открывается это тогда, когда приходится осмысливать не одни только вещи или их отдельные свойства и признаки, но и присущие им необходимые связи, благодаря которым все они соединяются в некое нерасторжимое единство. Нам легче пояснить это сначала на примере. Допустим, предметом рассуждения у нас будет Северный полюс. Эта точка на Земле может быть охарактеризована несколькими разными признаками: она является местом, где сходятся все меридианы, или еще местом, где параллель стягивается в точку, может она быть названа и местом, откуда все направления ведут на юг. Каждый из этих признаков неотъемлемо присущ самой северной точке планеты. Поэтому никакой ошибки не будет, если мы заменим понятие “Северный полюс” на понятие “точка северного полушария, где сходятся все меридианы” или любое другое из перечисленных. Однако тождество типа А = А здесь уже не выдерживается, потому что признаки эти различны, задают хотя и один и тот же объект, но как бы с разных сторон: один раз через меридианы, другой раз через параллели, в третьем случае через направление на юг. И можно было бы назвать множество еще и других признаков, характерных для того же самого Северного полюса: место, где земная ось пересекает земную поверхность, место, где оборот вокруг земной оси можно сделать в несколько шагов, место, где видимые звезды не заходят за горизонт при суточном вращении Земли, и многое другое.

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

Содержание логического процесса, в конечном счете, сводится к получению новых высказываний из исходных. Однако поскольку для этого необходимо правильно отождествлять разные понятия, то этот аспект закона тождества уже нельзя выразить упомянутой формулой А = А. Смена понятий при этом, наоборот, происходит и даже делается необходимой, чтобы мысль не топталась на месте, не повторяла одно и то же, как это звучит в универсальном рецепте средневековых алхимиков: возьми то, что требуется, сделай то, что нужно, и получишь то, что желаешь. Но только смена должна регулироваться законом тождества, то есть извлекаться должны выводы, которые действительно вытекают из данных высказываний, хотя и отличаются от них. Так, понятие “точка Земли, где длина параллели равна нулю”, правильно будет отождествлять с понятием “точка, где видимые звезды описывают круги с центром над головой наблюдателя”, хотя в признаках второго понятия трудно узнать при-знаки первого. Но закон тождества будет нарушен, если любое из этих же понятий будет отождествлено, скажем, с “точкой, где длина параллели равна одному километру”, или с “точкой, где центр вращения звезд смещен на один градус от вертикали”, хотя отличие последних признаков от соответствующих первых двух не такое разительное.

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

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

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

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

Для понимания сложных комплексных систем в их динамике выделение отдельных этапов и периодов совершенно необходимо, какие бы трудности это ни порождало.

Закон противоречия

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

У самого родоначальника науки о правильном мышлении запрет на одновременные утверждения и отрицания в качестве нормы и коренного условия для получения достоверных выводов упоминается многократно. И данные им формулировки закона, налагающего запрет на противоречия, и поныне могут считаться корректными и точными: “Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении” (Аристотель. Соч. Т. 1. С. 125). Доказать этот закон нельзя, считает Аристотель, потому что для доказательства нужны какие-то уже твердо установленные первоначальные основоположения, между тем данный закон является как раз самым первым, что мы открываем в мышлении, и он становится как бы шаблоном, по которому проверяется потом любое рассуждение. “Поэтому все, кто приводит доказательство, – говорится несколькими строками далее, – сводят его к этому положению как к последнему, ведь по природе оно начало даже для других аксиом” (Там же.). Вместе с тем, не имея возможности доказать, можно, однако, возразить тем, кто возьмется его отвергать, добавляет затем Аристотель, потому что свое отрицание они должны выразить определенно: например, им нельзя сказать, что закон верен и неверен. “Но если такую необходимость признают, то доказательство уже будет возможно; в самом деле, тогда уже будет налицо нечто определенное. Однако почву для ведения доказательства создает не тот, кто доказывает, а тот, кто поддерживает рассуждение: возражая против рассуждений, он поддерживает рассуждение”. Получается, даже отвергать этот закон можно лишь при условии его соблюдения.

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

- Так вы говорите: никаких убеждений нет? - спрашивает его Рудин.

- Нет и быть не может.

- Это ваше убеждение?

- Да.

- Как же вы говорите, что их нет? Вот вам одно на первый случай.

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

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

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

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

Во времена Пушкина французский язык был обязательным для преподавания, и за границей были убеждены, что в России каждый дворянин говорит по-французски. Сообщения об этом можно найти и у Бальзака, и у Стендаля, и у других писателей. Между тем в “Дубровском” Пушкин в весьма карикатурных тонах изображает современного ему представителя образованного сословия, который в разговоре с учителем французского языка пользуется главным образом только жестикуляцией да спрягает на французский манер русские слова. Тем не менее, и та, и другая оценка знаний языка мо-гут считаться одинаково верными, если каждую из них считать лишь так называемой собирательной характеристикой образования того времени. Такие характеристики распространены в художественной литературе. Нельзя понимать их буквально. Они дают представление о комплексе в целом, затрагивая каждый элемент его только косвенно, и описывают признаки каждого отдельного индивида лишь с большим или меньшим приближением. Утверждение о том, что русское дворянство XIX века знало французский язык, означает только, что среди его представителей всегда можно было найти таких, кто действительно владел языком. Но авторы этих утверждений, конечно, не были столь наивными, чтобы полагать, будто знают абсолютно все одинаково; данная ими характеристика описывает общество, а не каждого в отдельности. Она не исключает того, что попадаются и такие, кто не освоил иностранного языка. Поэтому обе взаимоисключающие оценки дворянства и его образования хотя и относятся к одному и тому же сословию, но имеют в виду разных людей в нем и не образуют противоречия в одном и том же отношении.

Кроме того, слово “знать”, как и многие другие слова, почти всегда имеет расплывчатые смысловые границы. Поэтому в разных случаях оно может передавать совершенно разную информацию. Что, например, означает высказывание: “Данный человек знает иностранный язык”? Иной может довольно бойко говорить с иностранцем на его языке о каких-нибудь знакомых им обоим вещах, но откажется вести синхронный перевод. Дело в том, что в беседах достаточно воспринимать, как в радио- или телепередачах, только сорок процентов сообщаемых слов, остальное улавливается по смыслу. И абсолютная правильность разговорной речи тоже никогда не соблюдается. При переводах же, где нужна аутентичность, нарушения не допускаются. И если, далее, кто-то делает более или менее сносные письменные переводы с иностранного языка на свой, то это еще не значит, что у него получится переводить на иностранный язык со своего, потому что там требуется усвоить некоторые дополнительные тонкости, например сочетаемости слов, которые не отражаются ни в каких грамматических правилах. Можно знать иностранный язык достаточно, чтобы общаться с представителями других стран, но слабо знать для работы переводчиком и совершенно не знать для выполнения более сложных задач, скажем, для редактирования текстов или сочинения на чужом языке. Можно, следовательно, в некотором смысле знать иностранный язык и в то же время в некотором другом смысле не знать его.

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

Встречающиеся порой самопротиворечивые формулировки тех или иных мыслей порождаются, конечно, не одной только многозначностью слов. Причин для этого довольно много. Еще в глубокой древности Гераклит, Платон и другие философы указывали, что порой одно и то же ощущение может оцениваться по-разному: после удовольствия оно воспринимается как страдание, после страдания оно же кажется удовольствием. Точно так же любой поступок может приносить добро одним, и он же оборачивается злом для других. Даже средневековые палачи могли считаться “добряками”, если они из сострадания к сжигаемым на костре придушивали их перед тем, как поднести огонь. Примеры подобной зависимости одних и тех же явлений от внешних условий можно приводить бесконечно. В принципе, ответ логики на возникающие из-за этого вопросы состоит в том, что закон противоречия запрещает приписывать противоречащие признаки только одному и тому же явлению; если в других обстоятельствах оно выглядит как иное, значит надо брать его вместе с этими обстоятельствами и не считать его тем же самым, когда оно ими изменено. Правда, науке известны некоторые проблемы, где такой ответ не представляется исчерпывающим, требует дополнительных уточнений, о которых ведутся споры. Подобные не до конца решенные проблемы имеются в каждой науке, составляя периферию научных изысканий. Наше рассмотрение ограничивается самыми общими сведениями о законах логики, углубление в спорные вопросы представляется здесь излишним.

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

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

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

Законы логики не составляют в этом смысле исключения.

Закон исключенного третьего

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

Когда же у другого понятия отмечается только отсутствие какого-либо признака и ничего не говорится о том, какой ему вместо него присущ, то тогда возникает отношение контрадикторности или противоречия: “белый” и “небелый”, “утро” и “не утро”, “добрый” и “недобрый”, “экспорт” и “не экспорт”. Противоречащие понятия, в отличие от противоположных, делят весь массив родственных предметов строго на две разновидности: обладающих каким-то признаком и не обладающих им. Цвет - либо белый, либо небелый, никаких других альтернатив не существует; про белое и черное так сказать было бы нельзя, потому что помимо этих двух есть и другие цвета. Поступок - либо добрый, либо недобрый, торговая операция - либо экспортная, либо не экспортная (к последним, очевидно, относятся как импорт, так и все торговые дела, относящиеся к сфере внутреннего обмена).

Выражаясь словами Аристотеля, “не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо, что бы то ни было одно - либо утверждать, либо отрицать” (Аристотель. Соч. Т. 1. С. 141).

Отрицать любое данное высказывание противоположным или противоречащим ему можно не только с помощью использования соответствующих понятий - контрарных и контрадикторных. Отрицание обоих видов может создаваться и иным путем. Возьмем суждение “Все планеты имеют спутники”. Если нам понадобится отвергать такое утверждение, то достигнуть этого можно двумя выражениями: 1) “Некоторые планеты не имеют спутников”, 2) “Ни одна планета не имеет спутников”. Первое из них, как легко увидеть, всего лишь отрицает истинность исходного суждения, суть такого отрицания можно при желании выразить и такими словами: “Неверно, что все планеты имеют спутники”. Второй же вариант добавляет сверх этого, что признак “иметь спутники” вообще по сути дела неприложим к планетам. Поэтому второй способ отрицания сильнее первого и должен быть отнесен к разряду контрарных, в то время как первый - контрадикторный. Таким образом, пара суждений “Все планеты имеют спутники” и “Некоторые планеты не имеют спутников” образует противоречие. Никаких иных средних альтернатив между ними придумать невозможно. Поэтому одно из пары высказываний обязательно истинно, а другое обязательно ложно. Про другую пару высказываний - “Все планеты имеют спутники”, “Ни одна планета не имеет спутников” - так сказать было бы нельзя, поскольку контрарные суждения бывают ложными оба (как это и есть в данном случае).

Закон исключенного третьего применим, следовательно, к высказываниям противоречащим и не-применим к высказывания противоположным. Правда, здесь есть одно существенное исключение. Оно касается индивидуальных, строго единичных предметов или явлений, применительно к которым бессмысленно говорить “все” или “некоторые”. Противоположные и противоречащие высказывания в этом случае не различаются. Так, высказывание “Бородинское сражение состоялось 26 августа 1812 года” можно отрицать лишь одним способом: “Бородинское сражение не состоялось 26 августа 1812 года”; конечно, чисто формально можно образовать и такую конструкцию: “Все Бородинские сражения...” или: “Некоторые Бородинские сражения не состоялись 26 августа 1812 года”. Однако никакой новой информации такое надуманное искусственное изложение той же самой мысли не даст. Все возможные альтернативы исчерпываются исходным суждением и указанным нами единственным его отрицанием. Поэтому закон исключенного третьего распространяется также и на такую пару суждений, хотя, строго говоря, они являются противоположными, а не противоречащими (противоречащие суждения для таких понятий нельзя образовать).

Более кратко закон исключенного третьего можно сформулировать так: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано.

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

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

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

Кроме того, поскольку в не-А входит очень широкий, даже необъятно широкий круг предметов и свойств, то нельзя, пользуясь одним только законом исключенного третьего, определить, какой из них надо назвать вместо А, когда выяснится, что А по каким-либо причинам невозможно. Неправильно было бы говорить, что температура в комнате +20 градусов либо +22 градуса. Хотя, если принять за А утверждение о первой величине температуры, то вторая войдет в не-А и обе они несовместимы в одном высказывании точно так же, как противоречащие понятия. Всегда истинным будет лишь высказывание, что в комнате либо +20 градусов, либо неверно, что в комнате +20 градусов. Лишь в этой общей форме закон исключенного третьего представляет собой всегда выполняющуюся норму мышления.

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

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

Однако такие затруднения не имеют принципиального характера. Они говорят лишь о том, что закон исключенного третьего, как и всякий другой закон, требует продуманных понятий. Иначе он не действует. Однако в математике из-за того, что здесь приходится сталкиваться с бесконечностью в раз-личных ее проявлениях, проблема эта еще дальше усложняется. Очень трудно, например, ответить на вопрос: существует или не существует наименьшая положительная величина (или, скажем, величина наиболее близкая к 1, 2, 7, 9,3 и т.д.)? Мы в состоянии перебрать лишь конечное множество чисел, среди которых нужного нам мы не находим, но пробежать всю бесконечную последовательность никогда не удастся. Совершенно аналогичные затруднения вызывает и вопрос относительно протяженности точки: имеет она ее или нет? Евклид, давая точке определение, назвал ее тем, что не имеет частей. Она, получается, не делится и размеров не имеет. Очень многие соображения заставляют так полагать. Но тогда нам приходится считать, что любое конечное число точек протяжения не создает, ибо нуль, умноженный хоть на триллион, остается нулем. Однако бесконечное число точек, хотим мы этого или не хотим, доступно это нашему пониманию или недоступно, создает протяженную линию, стало быть, протяжение каким-то образом все же заложено в точке.

Голландский математик Л. Брауэр (1881-1966) изложил все эти затруднения в обобщенной форме. Когда перед нами конечное множество предметов, то мы всегда можем ответить на вопрос о том, существует среди них предмет с какими-то заданными свойствами или не существует. Для этого достаточно все их перебрать. Но если множество бесконечно и мы не находим в нем предмета с нужными нам свойствами, то делать в таком случае вывод о том, что их нет вообще, мы не имеем права, так как в силу необъятности полную проверку осуществить нельзя. Альтернативное разделение - существует или не существует такой-то предмет, обладает или не обладает предмет такими-то свойствами - в этом случае не то, чтобы теряет силу, но оно ничего не дает, потому что любой из двух вопросов не получает ответа. Брауэр последовательно критиковал применение закона исключенного третьего в доказательствах, затрагивающих бесконечные множества. Некоторые математики делают отсюда вывод о необходимости разработать логические системы, в которых данный закон не являлся бы универсальным. Но на практике дальше гипотез дело пока не пошло. Отказ от его использования порождает куда большие трудности хотя бы из-за того, что в этом случае придется признать несостоятельными так называемые доказательства от противного.

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

Закон достаточного основания

Четвертый основной закон формальной логики выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Формулируется он обычно так: всякая мысль истинна или ложна не сама по себе, а в силу достаточного основания. Это значит: любое положение, прежде чем стать научной истиной, должно быть подтверждено аргументами, достаточными для признания его твердо и неопровержимо доказанным. Тем самым дается объяснение: по каким причинам имеет место данное положение, а не другое.

Закон достаточного основания был введен, как уже отмечалось, Лейбницем и не сразу получил признание логиков. Это объясняется тем, что у самого автора этого закона он представляет собой неотъемлемый элемент его собственных философско-мировоззренческих убеждений, в частности, его учения о предустановленной гармонии. Математика, которой немецкий мыслитель занимался, прежде всего, и где им оставлен наибольший вклад в науку, не довольствуется установлением каких-то истин касательно вычисления площадей углов и т.д. Она стремится все свои положения строго доказать, вывести. В основе этого стремления лежит убеждение, что в природе царствует жесткий порядок, в мире вещей господствуют твердые числовые, геометрические и прочие соотношения; среди них нет места случайностям, и если математика все же занимается таковыми, то все равно отыскивает и в них закономерности, подчиняет их действию однозначно предсказуемых факторов. Такой под-ход Лейбниц переносил на все бытие в целом и был убежден, что, в конечном счете, все происходящие вокруг нас события можно объяснить как однозначно обусловленные предшествовавшими им обстоятельствами, потому что все существующее имеет причину для своего существования. В принципе, по его мнению, всегда можно, не довольствуясь одним только свидетельством наблюдений и опыта о происшедшем, доказать, почему произошло так, а не иначе, отыскав причины. Методы, подобные математическим, считал он, в принципе могут вытеснить опытное познание.

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

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

Закон достаточного основания, в конечном счете, покоится на универсальной взаимосвязи всех явлений и процессов. В природе нет ничего изолированного, нигде нет непроходимых перегородок. Каждая частица вещества испытывает на себе воздействие великого множества факторов и даже запечатлевает в себе и хранит следы таких воздействий. В капле воды отражается вселенная; один-единственный лучик света от бесконечно далекой звезды, разложенный в спектр, дает информацию о ее химическом составе, приоткрывая для разума окно в недоступные миры; палеонтологи по одной единственной кости в состоянии восстановить полный скелет давно вымерших животных. Всеобщая обусловленность вещей в природе является самой последней основой научного познания. Закон достаточного основания вводит ее в логику, превращая в фундаментальный принцип доказательного мышления. В такой интерпретации этот закон известен, конечно, не с семнадцатого века. Его открытие в таком виде состоялось еще в Древней Греции. Родоначальником учения о всеобщей причинной обусловленности в природе является философ Демокрит (ок. 460-370 гг. до н.э.), более известный как автор гипотезы об атомарном строении вещества. Он первым стал настойчиво подчеркивать существование причинных зависимостей, доказывая, что именно на них должно быть прежде всего направлено внимание исследователей природы. Познание причины даже одного явления, говорил он, для меня дороже персидского престола. После него многие мыслители и ученые разрабатывали дальше учение о причинности, называемое детерминизмом. Идеи Лейбница - один из важнейших этапов дальнейшего плодотворного развертывания теории детерминизма.

Умозаключения

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

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

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

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

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

Превращение – логическая операция, изменяющая качество суждения без изменения его количества.

В художественных и научных текстах иногда прибегают к двойным отрицаниям: “Политика не может не первенствовать”, “Ссора возникла не без причины”. Подобные выражения встречаются порой в литературе. Чаще всего они представляют собой стилистический прием, подчеркивающий определенные оттенки смысла предложений. Но для логики важно только то, что в результате таких переформулирований меняется качество суждения, значит, меняется логическая форма: утвердительное по смыслу высказывание (“Политика иногда первенствует”, “Ссора имеет причину”) подается как отрицательное. Может быть и наоборот: отрицательное высказывание удобнее выразить в утвердительной форме (вместо “Линия не прямая” “Линия кривая”, вместо “Договор не письменный” “Договор устный”, вместо “Преступник не является совершеннолетним” – “Преступник несовершеннолетний”. В рассуждениях нельзя путать логическую форму с содержанием, ведь одно может меняться, когда другое остается неизменным. Поэтому логика разрабатывает для преобразования качества суждений специальные правила. Они чрезвычайно просты. При превращении утвердительных суждений частица “не” вносится одновременно в связку и в предикат (“Яблоко зрелое” – “Яблоко не является незрелым”); можно было бы проделать то же самое и в обратном порядке. При превращении отрицательных суждений частица “не” переносится из связки в предикат (“Зима не является снежной” – “Зима бесснежная”).

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

Противопоставление предикату есть последовательное применение к суждению операции превращения, а затем к полученному результату - операции обращения. В языке такая операция проделывается довольно часто, хотя не всегда осознается как специфическая логическая процедура. Допустим, нам сказали: “Корова – парнокопытное животное”. Отсюда можно сделать вывод: “Никакое непарнокопытное животное не есть корова”. Достаточно немного вдуматься в смысл сказанного и станет понятно, что такой вывод действительно вытекает из первого утверждения. Мы получим его в строгом виде, если сначала превратим исходное суждение, а затем полученный результат обратим: “Корова - парнокопытное животное” => “Корова не есть непарнокопытное животное” => “Никакое непарнокопытное животное не есть корова”. Правда, в большинстве случаев получаются неупотребительные, трудные для понимания языковые конструкции.

Противопоставление объекту представляет собой последовательное применение к суждению операции обращения, затем к полученному результату – операции превращения. В естественном употреблении это преобразование мысли чаще всего встречается в отрицательных суждениях, к тому же использующих отрицательные понятия: “Неделимая частица химического вещества не есть молекула” => “Молекула – делимая частица химического вещества”; “Бескорыстие – доброта” => “Доброта не есть корысть”.

Индукция и ее виды

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

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

Наблюдение природных явлений и обобщение полученных результатов представляют собой один из самых распространенных методов постижения окружающего мира. Факты наталкивают человека на общие закономерности, наводят на них. Поэтому Аристотель называл этот вид умозаключения наведением (индукция – латинский перевод этого слова). Через индукцию люди выявили очень много полезных качеств у вещей. Например, уже в очень отдаленные времена они определили целительные свойства различных веществ. У многих народов имеются выверенные веками приметы о погодных явлениях в своей местности, накоплены знания о повадках животных, об особенностях растений и о многом другом. Результаты такого первичного изучения порой просто поражают глубиной своего проникновения в суть вещей. Древние египтяне, например, додумались, что курица высиживает яйца теплом своего тела, и сделали отсюда обобщающий вывод о том, что эту функцию может выполнять тепло любой другой природы; вдобавок, не имея термометров, они умудрились все-таки зафиксировать нужную им температуру с помощью специальной жировой смеси и сделали, таким образом, первые инкубаторы.

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

По структуре индукция выглядит как простой перебор предметов определенного рода:

Ворона насиживает яйца.

Сорока насиживает яйца.

Галка насиживает яйца.

Грач насиживает яйца.

Сойка насиживает яйца.

Все перечисленные птицы относятся к семейству вороновых.

Вывод: все вороновые насиживают яйца.

Заключение, таким образом, приписывает всем особям данного рода признак, который отмечен у его отдельных представителей. В этом месте может возникнуть вопрос: вправе ли мы делать вывод обо всех вороновых, если перечислили только какую-то часть их? Утвердительный ответ тут, разумеется, более чем сомнителен. Строго говоря, для того чтобы на него отважиться, надо было бы опираться на гораздо более широкую базу данных или же, в противном случае, ограничить наше утверждение только каким-то одним видом вороновых. Вывод в таких умозаключениях, как правило, вероятностный. Тем не менее, нам очень часто приходится делать обобщения обо всей совокупности, опираясь на знание лишь части ее. Объясняется это отчасти тем, что индуктивные выводы могут быть и достоверными. Отчасти же дело в том, что в любом случае индукция вскрывает преобладающую черту у предметов данного рода. И полученный нами вывод является как раз именно таким, ибо кукушки с их гнездовым паразитизмом тоже относятся к вороновым. Из-за этого общее правило для этих птиц иногда нарушается, хотя все равно его нельзя считать полностью неверным.

Индукцию принято подразделять на полную и неполную; последняя в свою очередь распадается еще на две разновидности. Кроме того, имеется также научная индукция.

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

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

Наука тоже использует такие умозаключения. Совершенно достоверные выводы получаются также с помощью так называемой математической индукции. Она применяется к математическим выражениям или к высказываниям, записанным в виде формул, разработанных в символической логике, причем к таким, в которые входит натуральное число n. Иногда можно показать, опираясь на математические методы, что выражения, содержащие n, сохраняют свою силу при замене n на (n+1). Когда это удается, то отсюда делают вывод, что, следовательно, выражение верно при любом числе на месте n. Обычно такой прием используется для формул, которые легко установить только при небольших числах n (скажем, возможное число сочетаний по два, по три). Затем по методу математической индукции распространяют формулу на все возможные комбинации вообще. Положение о связи выражений, содержащих n и (n+1), называют аксиомой математической индукции. С учетом роли этой аксиомы такую схему рассуждения следует скорее отнести к дедуктивным. Сходство ее с индукцией лишь внешнее.

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

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

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

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

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

Научная индукция

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

В отличие от дедуктивных умозаключений правомерность индукции в качестве одного из возможных методов развития науки в прошлом вызывала споры. В ее становлении и признании, в разработке методов научной индукции выдающаяся роль принадлежит английскому философу Ф. Бэкону (1561-1626 гг.). В своем незавершенном труде “Новый органон” (в противовес сборнику логических трактатов Аристотеля под названием “Органон”) он провозглашает широкую программу обновления научного знания. Призывает отбросить всякие авторитеты, покончить с догматическим преклонением перед стариной. “Настоящие древние – это мы. Древность – это юность нашего мира!” – говорит мыслитель, подчеркивая этим, что цивилизация последующего времени старше той, что зародилась когда-то; она вбирает в себя прежние достижения и добавляет к ним новые. Она поэтому должна быть мудрее. Бездумное преклонение перед старыми авторитетами, учит мыслитель, только вредит знанию. Мы должны непрерывно пополнять свои познания на основе систематического экспериментирования и опытных обобщений. Ф. Бэконом было задумано множество остроумных экспериментов для изучения самых разных явлений. Он много и плодотворно трудился над разработкой методов повышения достоверности индуктивных умозаключений.

После него крупный вклад в систематизацию и развитие методов научной индукции внес Д.Милль (1806-1873 гг.). Надо сказать, Милль во-обще считал индукцию единственным надежным источником знания, его основой и первоначалом. Поэтому его называют всеиндуктивистом. Тем не менее, его фундаментальный труд “Система логики силлогистической и индуктивной” представляет собой единственный в своем роде свод знаний об индукции. Метод сходства. Этот метод больше всего похож на обычную индукцию. Отличие связано с тем, что с помощью этого метода устанавливается причинная зависимость. В обычной индукции показывается связь двух признаков (скажем, “быть сплавом” и “быть теплопроводным”). А в методе сходства вместо таких признаков рассматриваются какие-либо явления, действия или события, предположительно связанные отношением причинности. И остальные методы научной индукции, поскольку с их помощью тоже устанавливаются причинно-следственные зависимости, точно так же вместо признаков рассматривают действия. На основе метода сходства, таким образом, показывается, что одно и то же явление a, в каких бы разных обстоятельствах и в каких бы неодинаковых проявлениях оно ни выступало, во всех наблюдаемых случаях сопровождается явлением A. Эти результаты суммируются в виде вывода о том, что A есть причина a; в принципе может, конечно, быть и так, что этим методом выявляются следствия, порождаемые a. Вывод, как и в обычной индукции, вероятностный (за исключением случаев, когда индукция по методу сходства полная). Учение о движении как причине тепла довольно убедительно подтверждается индукцией по методу сходства (хотя не только ею). Надо только перебрать как можно больше явлений, где встречается тепло:

Огонь несет тепло.

Свет несет тепло.

Дым несет тепло.

Трение несет тепло.

Удар несет тепло.

Вулканы несут тепло.

Животные организмы несут тепло.

Разлагающиеся растения несут тепло.

Все перечисленные явления содержат в себе движение.

Вывод: движение несет тепло.

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

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

У американского писателя С. Льюиса в его книге “Эроусмит” приводится такой любопытный эпизод. На одном из маленьких островов вспыхнула эпидемия чумы. Туда отправилась группа врачей с новой, созданной ими вакциной против этой опасной болезни. По прибытии на место между ними, однако, возник спор о порядке применения привезенного лекарства. Одни предлагали давать его всем больным без исключения. Другие же находили такой образ действия нерациональным: средство против чумы новое, поэтому поначалу не было ясно, пригодно ли оно вообще в массовом масштабе; и так как эпидемии рано или поздно останавливаются сами собой, то значит после завершения борьбы с ней так и не выяснится, есть ли вообще эффект от применения вакцины. Отсюда возникло мнение, что надо давать ее только половине больных, и тогда из сравнения выяснится, каково действие нового средства против чумы.

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

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

Метод сопутствующих изменений можно применять тогда, когда интенсивность причинного воздействия может плавно или скачками изменяться и при этом также изменяется и интенсивность вызванного им следствия. Когда нам заранее неизвестно, что является причиной данного явления a, но установлено, что его изменение коррелируется (связано) с изменениями другого явления A, то отсюда можно сделать довольно уверенный вывод о том, что одно порождает другое. Даже то простое наблюдение, что “Солнце нагревает камни”, могло быть получено людьми еще в очень архаичные времена, ведь чем ярче светит Солнце, тем горячее камни.

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

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

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

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

В отличие от обычной индукции здесь изучаемое явление a берется не изолированно; оно выступает вместе с другими явлениями b, c, d, от которых оно в силу тех или иных обстоятельств не отделяется. И возможных причин тоже несколько: наряду с A также B, C, D. В процессе исследования либо выясняется, что B, C, D являются причинами соответственно b, c, d, и тогда для a остается признать причиной A. Либо просто показывается, что из всей совокупности действующих причин B, C, D не имеют к a никакого отношения, и делается тот же вывод, что и в первом случае.

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

Метод остатков редко можно осуществить на основе одних лишь наблюдений. Как правило, для та-кой индукции требуются тщательные сопоставления, экспериментальные проверки, специальные расчеты.

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

Аналогия

Говоря формально, умозаключение по аналогии строится следующим образом: два предмета обладают рядом сходных признаков a, b, c, причем один из них имеет еще и признак d. Тогда можно сделать предположение, что и у второго тоже есть этот признак. Следует помнить, что данный вид умозаключения не всегда приводит к обоснованным выводам. Как правило, они являются лишь более или менее предположительными; к ним, поэтому чаще всего прибегают как к первоначальным ориентировочным рабочим гипотезам, когда еще нет более надежных способов получить ответы на интересующие нас вопросы. Они могут служить методологическими ориентирами в научных исследованиях, суживают зону поиска. Полученные с помощью аналогии результаты потом обычно проверяют другими методами.

Выдающийся английский мыслитель Ф. Бэкон предположил, что Земля, Луна и другие планеты притягивают все предметы на расстоянии подобно тому, как магнит притягивает железо. Догадка основывалась на том, что в открытых морях при появлении над ними Луны, как замечали моряки, начинается прилив, как будто этот естественный спутник нашей планеты притягивает к себе воду. Однако наделение планет свойствами, аналогичными магнитным, из-за некоторого сходства с магнитом могло быть, конечно, только гипотетическим и нуждалось в проверке. Так и волновые свойства света стали неоспоримой научной истиной только после их экспериментального подтверждения.

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

Сталкиваться с такими убеждениями приходится довольно часто, особенно в студенческих аудиториях. Есть, однако, много причин доказывать, что такие убеждения имеют очень шаткую почву. Начнем с того, что течение эволюционного процесса происходит по-разному для разных организмов, потому что время эволюции измеряется не числом лет, а числом поколений, между тем человек – один из долгожителей в царстве животных. Некоторые бактерии, как известно, действительно успели за несколько десятков лет приспособиться к новым лекарственным препаратам, изобретенным в двадцатом веке, иными словами, претерпели определенную эволюцию. Все это так. Но ведь у этих организмов новое поколение появляется ежечасно, так что 40-50 лет означают для них историю длинной в 40-50 тысяч поколений. У человека с его не менее чем двадцатилетним периодом смены поколений на эволюционные изменения аналогичного порядка потребовались бы сотни тысяч, если не миллион лет. Не надо забывать, что время существования цивилизации – не более чем мгновение в многомиллиардной истории жизни на Земле, и человек как один из долгоживущих животных организмов должен относиться к числу самых медленно изменяемых видов при прочих равных условиях.

Сказанное, однако, не означает, будто отбора в обществе вообще нет. Наоборот, выдвижение лучших, наиболее даровитых, прозорливых, результативных с одновременным отсевом бесталанных – наипервейшее условие прогресса. Механизмы, обеспечивающие такой отбор во всех областях деятельности, во всех профессиях, играют куда более важную роль, чем пресловутый материальный интерес. Но в силу скоротечности цивилизации, появившейся всего примерно десять тысяч лет назад, с ее последующими многократными потрясениями и зигзагами результаты такого отбора не успевают закрепиться генетически и не наследуются потомками с такой же надежностью, как, скажем, расовые признаки, прямохождение, речь. Достаточно сказать, что дети подавляющего большинства гениальных мыслителей и деятелей культуры ничем не выделяются среди других людей. К тому же и сами общественные институты мешают генетическому закреплению признаков, повышающих жизнеспособность в обществе: если бы самые сильные и быстрые волки оставляли своим волчатам готовую крепкую нору с тучным стадом поблизости, то, скорее всего их вид деградировал бы очень быстро.

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

Т.е., кто по аналогии переносит на человека законы эволюционной борьбы за существование, часто так же неправомерно усматривают в ней неизбежную тяжкую плату за восхождение вверх: она беспощадна к слабым, но без этого не смогут выдвинуться лучшие и не будет прогресса. В действительности, однако, естественный отбор вовсе не обеспечивает прогресс, как это не раз специально подчеркивал Дарвин, вернее, он обеспечивает как прогресс, так и регресс, все зависит от условий. Верно, что в результате борьбы за существование побеждают сильнейшие, но, заметьте, не сильнейшие вообще, а сильнейшие только применительно к данным условиям. Это значит, сменятся условия – и те, кто сейчас одолевает, начнут проигрывать, их жизнеспособность снизится, они перейдут в разряд слабых. Так, далекие предки нынешних китов обитали на суше, но их оттеснили более сильные особи сначала в прибрежные воды, а затем и в открытый океан. Стали ли в процессе такой эволюции киты сильнее? Вопрос бессмысленный. Логика естественного отбора не допускает ответа на него. Учение Дарвина всего лишь вскрыло механизм заполнения живым веществом новых экологических ниш и освобождения тех, которые по каким-либо причинам исчезают. При этом происходит как развитие вверх, так и деградация. И осуществляется как то, так и другое через одну и ту же борьбу и победу сильнейших (для данных условий жизни). Как это ни парадоксально, но совершенно не имеют оправдания довольно распространенные взгляды, будто тяжелые условия жизни улучшают породу людей, хотя и верно, что выживают в них только крепкие и здоровые.

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

Учение Дарвина показывает: сравнивать итоги развития с предшествующими этапами надо осторожно именно потому, что оно несет качественные преобразования. То, что было до, и то, что появилось после, чаще всего несопоставимо между собой, и поэтому выводы об улучшениях и ухудшениях обосновывать очень трудно. Если о развитии общества позволительно делать заключения по аналогии с развитием в природе, то правомернее всего, как представляется, переносить сюда именно этот отрицательный вывод теории эволюции. Иногда приходится слышать различные пугающие прогнозы насчет вырождения человечества. Они подтверждаются достоверными статистическими данными о неуклонном росте числа заболеваний. Конечно, бить тревогу по поводу столь удручающего положения дел, разумеется, надо.

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

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

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

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

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

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

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

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

Доказательства

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

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

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

Вполне допустимо вкладывать в термин “доказательство” расширенный смысл, так что опровержение станет его разновидностью. В определенной мере это оправдано и часто делается. Потому что в результате опровержения тоже появляются какие-то твердо установленные истины, пусть даже их содержанием являются не сама внешняя реальность, не предметы или явления, а чьи-то высказывания, которым дается новая оценка. Опровержение тоже имеет три обычных компонента всякого доказательства: тезис, аргументы и демонстрацию. Вместе с тем и их различие тоже нельзя игнорировать. Ведь в то время, как доказательство есть умозаключение об умозаключении, опровержение, в отличие от него, представляет собой умозаключение о доказательстве. Объектом внимания в этом случае являются положения, уже доказанные или кажущиеся таковыми. Опровержение имеет целью устранить их. С такой точки зрения доказательство и опровержение противонаправлены. Правда, можно было бы учесть то обстоятельство, что когда опровержение является правильным, когда в итоге его проведения открывается ложность тех истин, которые считались доказанными, то в таком случае одновременно открывается, что и само прежнее доказательство не являлось таковым на деле. Значит и опровержение тогда надо признавать не умозаключением о доказательстве, а умозаключением об умозаключении, ошибочно принятом за доказательство. Опровержение как логическое действие с учетом таких обстоятельств полностью подпадает под определение доказательства и могло бы рассматриваться какой-то разновидностью его проверки. И оно вдобавок может подразделяться на те же виды, что и доказательства.

Виды доказательства

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

Прежде всего они делятся на прямые и косвенные, затем косвенные в свою очередь распадаются еще на два подвида – разделительные и всем известные со школы доказательства от противного, называемые еще апагогическими (от греч. apagogos – уводящий, отводящий). Прямой способ является самым распространенным и наиболее надежным. При его использовании берется непосредственно сам тезис и с помощью различных логических процедур показывается, что он вытекает из каких-то общепризнанных посылок. В качестве таких обосновывающих процедур мо-гут выступать все изученные ранее виды умозаключений – от непосредственных в простейших случаях до силлогизмов и индукции. И вдобавок все они могут перемежаться, образуя подчас чрезвычайно тонкие, сложные и трудные для понимания рассуждения. Многие из них доступны только специалистам. Примеры прямых доказательств из школьных курсов математики, физики, химии может припомнить каждый. Скажем, доказательство равенства треугольников при равенстве одной из их сторон и прилегающих к ней углов относится к числу прямых. Что касается косвенных доказательств, то к ним прибегают в тех случаях, когда тезис прямо доказать нельзя. Поэтому берут какие-то иные (хотя обязательно логически связанные с тезисом) положения и устанавливают их истинность или ложность. После того, как это удается, можно делать выводы о самом тезисе. Так, в доказательстве от противного объектом внимания сначала делается противоречащее тезису утверждение. Как известно, противоречащие суждения подпадают под действие закона исключенного третьего: когда одно из них истинно, другое обязательно ложно и наоборот. Благодаря такой логической зависимости достаточно доказать истинность или ложность одного из них, тем самым автоматически определится истинностное значение другого. Следовательно, вместо доказательства тезиса, когда это по каким-либо причинам затруднено, можно доказывать ложность антитезиса.

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

В обиходной речи мы довольно часто строим рассуждения описанным образом, как бы отбрасывая противоречащую альтернативу вместо рассмотрения прямой: “Да какой же он актер, если декламировать не умеет?!” или: “Имел бы этот автомобиль удачную конструкцию, не выходил бы он из строя каждый месяц”. Хотя в таких и подобных им конструкциях упоминается обычно или только тезис, или только антитезис, другой же компонент может явно не высказываться, все равно в принципе сам ход рассуждения идет по схеме доказательства от противного (и при необходимости легко восстанавливается), потому что здесь вместо обоснования требуемого тезиса опровергают противоречащий: он может быть актером или не быть им; допустим, он актер, тогда ему надо уметь декламировать, но этого у него нет, следовательно, нельзя считать его актером.

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

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

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

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

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

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

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

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

Правила доказательства логики высказываний

1. Правила по отношению к тезису и их возможные нарушения

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

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

Например, с первого взгляда можно не заметить ничего примечательного в высказываниях: “Журналист – мастер слова”, “Верблюд – двугорбое животное”, “Законодатель – хранитель интересов народа”. Между тем, если внимательно проанализировать их логическую форму, то придется признать все их ложными, ведь они являются общеутвердительными суждениями и, следовательно, в них утверждается, будто все верблюды имеют по два горба, а все законодатели только и думают об интересах народа. Из-за того, что в них употреблены понятия в собирательном смысле, каждое из них отражает преобладающую черту, а не обязательную для всех, о ком говорится. Эти суждения, строго говоря, являются частными, хотя и выглядят общими, и только при учете таких поправок с их помощью можно обосновать правильные выводы.

Не менее важно точно задавать и не упускать из внимания модальность, когда она имеется. Допустим, в каком-нибудь соглашении или контракте записано: “Договор может быть расторгнут, если его исполнение наносит ущерб одной из сторон”. И предположим далее, что он не был расторгнут. В обычном условно-категорическом умозаключении отсутствие следствия доказывает отсутствие основания и поэтому можно было бы сделать вывод о том, что рассматриваемый договор не наносит ущерба сторонам. Однако в данном случае такой вывод, очевидно, не получится, так как в договоре сказано, что он всего лишь может быть расторгнут при наличии убытков от него, но обязательным отказ от него не является. Его вполне могут все же сохранить ради каких-нибудь иных целей.

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

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

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

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

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

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

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

Вообще этот прием используется часто там, где надо протащить, навязать, сделать обязательными для всех неприемлемые с какой-либо точки зрения идеи, придав им предварительно более привлекательный вид. В одной старой французской кинокомедии есть такой забавный эпизод. Сын просит у отца денег: “Папа, дай мне тысячу франков на завтраки в школе”. Отец не отказывает ему, но говорит: “Раз ты просишь тысячу, тебе надо пятьсот, получишь двести. На сто!” Получается, вроде бы и согласился, что надо дать, и подтвердил делом свое намерение. Но только не то намерение, на которое рассчитывал сын.

Еще одной распространенной ошибкой является переход к личности. В этом случае вместо обсуждаемого тезиса разговор сбивается на отстаивающего его автора, на его поведение, манеру говорить, достоинства и недостатки. Скажем, критики ельцинских реформ имеют все основания согласиться с Жириновским, что любая реформа должна только улучшать жизнь. Но сторонники шоковой терапии в экономических преобразованиях просто отмахиваются от таких замечаний: “А это сказал Жириновский”. Каким бы одиозным ни был автор критики, обсуждать надо его слова, а не политическое лицо.

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

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

2. Правила по отношению к аргументам и их возможные нарушения

Аргументы также называются основаниями доказательства. Они представляют собой фундамент обосновываемой мысли. Существует три правила:

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

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

Ярким примером такого рода ошибки является широко распространенная в наши дни неправильная оценка продовольственного обеспечения в дореволюционной России. О нем судят по вывозу за рубеж сельхозпродукции в те времена: раз вывозили хлеб, значит его производили много. Между тем вывоз продуктов питания вовсе не является показателем уровня продовольственного потребления и благополучия. Продовольствие, как и всякий другой товар, устремляется туда, где за него могут больше заплатить, а не туда, где в нем наибольшая нужда. К тому же этот продукт, как правило, не является рентабельным: в настоящее время убытки от него в развитых государствах покрываются дотациями за счет бюджета. И вывозить его можно, следовательно, лишь в обмен на другое продовольствие (или особенно ценные ресурсы); тогда ущерб взаимно компенсируется. Превышение же экспорта сельскохозяйственной продукции над импортом наносит ущерб своему потребителю и характерно только для отсталых стран, у которых нет своего национального научно-технического потенциала для создания собственной промышленной продукции. Во все времена продовольствие везли в преуспевающие, богатые страны из отсталых и нищих, оставляя население последних на скудном рационе.

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

Наши дореволюционные экономисты с горечью писали, что Россия, подобно Индии, Китаю и другим отсталым странам, является экспортером хлеба, потому что немецкие или французские ремесленники были в состоянии заплатить за него больше собственного жителя. И в то время как в случае голода передовые общественные деятели по примеру Л.Н. Толстого устраивали благотворительные столовые, помещики эшелонами отправляли зерно в сытую Европу на продажу. Опираться в оценке уровня продовольственного обеспечения на экспорт продовольствия как на показатель значит начинать рассуждение на эту тему с неверного положения, совершать ошибку, называемую в логике основным заблуждением.

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

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

С ситуацией такого рода приходится нередко сталкиваться при решении сложных научных проблем, как это имеет место, к примеру, при изучении истории возникновения Библии. Когда-то Спиноза сделал для ее исследователей ключевое указание: она написана в разное время. Догадка опиралась на то простое обстоятельство, что любой естественный язык непрерывно меняется. Современный русский заметно отличается от языка Пушкина и Фонвизина, тем более от языка Петра I. А произведения Афанасия Никитина или летописца Нестора наши нынешние соотечественники могут читать только в переводе. Этим обстоятельством пользуются иногда для приблизительной датировки произведений и упоминаемых в них событий. Отдельные составные части Библии тоже написаны стилем разных эпох.

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

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

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

Правило соразмерности аргументов предназначено к тому, чтобы исключить из доказательства недостоверные, вероятностные умозаключения. В житейской практике они широко распространены и часто воспринимаются как вполне доказательные. Могут, например, сказать: “У него повышенная температура и болит горло, следовательно, у него ангина” или: “Изделие не раскупается, потому что оно дорого стоит”. Утверждения такого рода, подкрепленные такими пусть даже истинными довода-ми, не являются, конечно, доказательствами; боль в горле и повышенная температура бывают не только при ангине, а товары могут не пользоваться спросом не только из-за высокой цены. Такие замечания представляют собой лишь пояснения к известным обиходным ситуациям и обстоятельствам, когда большая строгость рассуждений не нужна.

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

Очень часто наличие следствия превращается в аргумент, доказывающий наличие основания, хотя правила условно-категорического умозаключения запрещают такие выводы. Бывает также, что один из многих признаков предмета ошибочно превращается в единственный. Зная, к примеру, что миномет ведет навесную стрельбу, мы можем из этого сделать обоснованный вывод: “Если данное орудие миномет, то оно ведет навесной огонь”. Или еще такой: “Если данное орудие не может вести навесной огонь, то оно не миномет”. Такие утверждения будут правильными, потому что свойства “быть минометом” и “быть приспособленным к ведению навесной стрельбы” использованы при выводе на своем месте, как требуют правила логики. Однако попытайся мы строить вывод обратным путем, как это нередко, не подумав, делают (“Раз навесная стрельба, то это - миномет”), то аргумент станет недостаточным. Для действительного обоснования такого вывода надо еще указать и на особый снаряд, и на то, что у орудия отсутствует механизм подавления отдачи, и что оно переносится и хранится в разобранном виде. Когда мы переберем все признаки, отличающие миномет от гаубиц и мортир, способных тоже вести навесную стрельбу, и когда все суждения будут действительно истинными, только тогда наш обратный вывод будет доказанным.

Слишком слабый аргумент получается и тогда, когда мысль передает содержание действий, оказавшихся в конечном счете безрезультатными, неумелыми, запоздалыми, короче, так или иначе недостаточными для достижения цели. Представьте себе, кто-нибудь говорит: “Теорема Ферма давно доказана, ведь этим занимались столько великих математиков”. Однако такой аргумент только кажется состоятельным. Для решения этой проблемы в самом деле прилагалось много сил. Верно поэтому, что многие и многие выдающиеся математические умы брались доказать теорему, но верно и то, что никто не сумел довести доказательство до конца. Следовательно, то, что приводится в качестве аргумента, хотя и является истинным высказыванием и по содержанию тоже на самом деле поддерживает утверждаемый тезис, но все-таки не исключает ложность этого тезиса.

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

Общей спецификой перечисленных высказываний является то, что в их содержании предполагается противонаправленность разных стихий или устремлений вроде действия и противодействия, хотя не в каждом из них это проступает одинаково отчетливо. Для того чтобы выводы таких рассуждений были обоснованы по-настоящему, надо подкреплять их еще и другими, дополнительными, уточняющими доводами. Можно сказать и иначе: в высказываниях такого рода помимо указания направления действий должна быть дана еще и количественная их оценка. Это значит, надо, чтобы было отмечено, насколько эти действия соответствовали, насколько затрагивали, насколько на деле меняли объект, на который направлялись. Короче, насколько действие компенсировало противодействие. Только тогда сделанные выводы будут достаточно обоснованными.

Надо, правда, оговорить, что недостаточность аргументов может проистекать из причин объективных, независящих от воли и желания людей. Всем, наверное, доводилось сталкиваться с обстоятельствами, когда приходится принимать решение, но ни один из возможных его вариантов не получает надежного обоснования. В таких случаях вступают в силу соображения весомости аргументов, а не их доказательности. Обращаясь к уже упомянутому фильму “Место встречи изменить нельзя”, можно найти подобные обстоятельства. Один из следователей, Шарапов, подобрал несколько аргументов в пользу своего мнения, что человек, подозреваемый в убийстве своей жены, арестован неправомерно: время совершения преступления оказалось иным, чем полагали сначала, поведение подозреваемого не вписывается в версию и т.д. Но в ответ слышит одно категорическое возражение: у арестованного в его новой квартире найдено орудие убийства, и один этот факт перевесит все остальные доводы. Сам по себе этот факт еще не является окончательным доказательством, как нет полностью доказательных аргументов и на другой стороне. Но тот перевешивает по значению все остальное.

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

Некоторые авторы совершенно оправдано говорят о том, что надо различать мысль доказанную и аргументированную. Расхождение между ними аналогично разнице между знанием и мнением. Знание доказано, оно опирается на твердо установленные истины. Мнение же определяется выверенными установлениями лишь отчасти. Оно обосновано всегда только в некоторой степени. На него влияют личностные задатки и склонности, зависит оно от случайных внешних обстоятельств и факторов самого разного рода. Также и аргументированная мысль в отличие от доказанной, хотя и подкрепляется доводами, но в своей совокупности они не обеспечивают полное обоснование. Назначение аргументов в таком случае скорее в том, чтобы отметить причины, по которым отдают предпочтение той или иной идее, отстаивают то или иное решение, хотя сами по себе эти идеи и решения могут порой не согласовываться с требованиями научности, справедливости, полезности. Их придерживаются, доказывают, отстаивают, но только потому, что и отказ от них тоже чреват своими не-приемлемыми последствиями. Таких проблем, где трудно указать единственно верный путь к решению, очень много и в науке, в производстве, и в политике.

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

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

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

3. Правила по отношению к демонстрации и их возможные нарушения

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

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

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

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

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

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

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

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

Сходная ошибка называется: от сказанного в собирательном смысле к сказанному в разделительном смысле. Она возникает тогда, когда собирательным характеристикам придается значение разделительных. Так, о гейзерах каждый знает, что они представляют собой фонтанирующие естественные источники горячей воды и пара. Хотя это в общем верно, но только с учетом, что таким образом отмечается самая примечательная их черта, то, что прежде всего привлекает в них к себе. Можно сильно разочароваться, побывав в Долине гейзеров на Камчатке, когда увидишь, что постоянно фонтанируют только два-три гейзера. Еще несколько дают периодические выбросы длительностью в полми-нуты - минуту и успокаиваются, оставаясь часами бездеятельными. Большинство же представляют собой бурлящие кипятком воронки.

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

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

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

Доказательство весьма часто подменяется ссылкой на авторитет Обращение к авторитету. какого-либо источника или инстанции. В прошлом это могли быть какие-либо священные книги – Коран, Талмуд, Библия и тому подобное. В советское время роль непререкаемого авторитета отводилась партийным документам, принимавшимся самыми разными инстанциями правившей тогда партии. Встречается такой догматический подход и в науке тоже, когда авторитет выдающихся мыслителей заменяет все прочие аргументы и доказательства. У средневековых схоластов нередко самым верным способом убедить служила ссылка на Платона или Аристотеля. Известно, что Галилею стоило большого труда доказать независимость скорости падения тел от их тяжести. Его современники дол-го не могли его понять только потому, что Аристотель ошибочно утверждал влияние веса тела на скорость его падения.

Надо, правда, оговорить, что не всякая ссылка на авторитет может считаться уклонением от правильного обоснования. При обсуждении сложных узкоспециальных вопросов нередко приходится обращаться к признанным специалистам за советом или оценкой. Ведь не все одинаково разбираются в тонкостях математики, физики, химии и т.д. Далеко не всегда медики убеждают пациентов в необходимости прибегнуть к тем или иным методам лечения. “Один для меня – десять тысяч, если он наилучший”, - провозглашал выдающийся древнегреческий философ Гераклит. В этом нет ничего удивительного. Только надо, чтобы авторитет имел действительные практические достижения, доказал делом свои недюжинные познания. Большинство людей не понимают и не в состоянии понять теорию относительности и квантовую механику. И тем не менее они верят в их истинность, потому что доверяют их выдающимся создателям, которые с помощью великих, всем очевидных достижений доказали свою компетентность.

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

Другие нарушения правил доказательного рассуждения мы только перечислим: обращение к невежеству, обращение к силе, обращение к выгоде. Их названия говорят сами за себя.