"Рациональное объяснение действия" - читать интересную книгу автора (Девятко)

4. Логика гипотетического рассуждения

Структура условно-категорического умозаключения. Перенос предиката. Почему подтверждение следствия не подтверждает гипотезу, а опровержение следствия опровергает ее? Гипотезы-идентификации. Идентификации признаков. Умозаключение о связи предикатов. Объясняющая гипотетическая теория. Разработка гипотезы. Что означает "Hypoteses поп fingo"? Пример проверки гипотезы.
По своей логической форме гипотеза - это умозаключение, объясняющее чередование явлений как результат некоторого порядка. Предикату суждения приписывается субъект, взятый из другого суждения. Основанием для такого переноса является тождество предикатов суждений. Очевидно, что наличие общих свойств у различных объектов не является достаточным основанием для их отождествления. Например, люди давно заметили, что в живом организме различные органы выполняют определенные функции, необходимые для жизнеобеспечения целого. В обществе тоже можно установить функции, аналогичные функциям нервной системы (связь и коммуникация), мозга (управление), кровоснабжение (финансы) и т. п. Отсюда можно умозаключить, что общество - один из организмов. На основе такой аналогии, как рассказывает Плутарх, римский сенатор Менений Агриппа сумел убедить восставших граждан, что им только кажется, будто все в организме достается только желудку, который наряду с другими органами полезен для целого. В данном случае произошло отождествление предикатов.
Новое суждение - гипотеза - обязательно сопровождается словами "Может быть...", так как наличие общих признаков не дает достаточных оснований распространять свойства, присущие одному классу событий, на другой класс. Эти основания являются лишь более или менее убедительными. Вероятное знание никогда не превратится в достоверное. Герберт Спенсер, рассматривая вопрос об органической природе общества, обратил внимание на признаки, отличающие общество от организма. Например, органы восприятия у живого организма локализованы, а в обществе они "разлиты" по индивидам. Так гипотеза Менения Агриппы была поставлена под сомнение.
В основе гипотетического умозаключения лежит аналогия - вывод, что свойство, присущее некоторому классу объектов, присуще и другому классу объектов, поскольку те имеют ряд одинаковых свойств с первыми. Аналогии часто наводят на гениальные догадки, но чаще оказываются выдумками, как прямая аналогия организма и общества. Нужно отличать аналогию от метафоры, которая принадлежит области образного, а не логического мышления.
Выдвижение гипотезы - процесс эвристический, опирающийся преимущественно на опыт и интуицию исследователя. Первоначально гипотеза предстает в форме метафоры, но уже анализ внутренней непротиворечивости гипотезы означает переход к ее разработке - выведению следствий, которые обеспечивают ее соответствие наблюдаемым фактам. Разработка гипотезы предполагает установление ее логической структуры.
С логической точки зрения гипотеза представляет собой условно-категорическое умозаключение20. Первая посылка такого умозаключения - условное суждение "Если,.. то...". Вторая посылка в категорической форме утверждает или отрицает предшествующий (антецедент), либо последующий (консеквепт) элементы импликации "Если,.. то...". Импликация такова, что из ложной посылки может следовать истина, а из истинной ложь следовать не может.
Имеются два правильных модуса условно-категорического умозаключения. Только они гарантируют истинность заключения при истинных посылках. Первый модус утверждающе-утверждающий:
А®В

А
????
В
Отрицающе-отрицающий модус условно-категорического умозаключения имеет вид:
А®В

-В
????
-А
Следствие гипотезы (соответствующее второй посылке условно-категорического силлогизма) может быть подтверждено (В), либо опровергнуто (-В). Отрицание следствия ведет к отрицанию основания. Подтверждение следствия дает лишь вероятностное, правдоподобное суждение.
Таким образом, разработка гипотезы, связанная с установлением вытекающих из нее следствий, подчинена двум схемам научного вывода: 1) опровержение гипотезы и 2) подтверждение гипотезы. Принципиальный момент заключается в следующем: опровержение следствия опровергает гипотезу, а подтверждение следствия не подтверждает гипотезу, но только делает ее вероятной. Отсюда, в частности, следует, что гипотеза не может быть подтверждена, но зато может быть опровергнута.
Разработка гипотезы предполагает выдвижение максимально возможного количества следствий. Конечно, исследователь заинтересован в подтверждении своих идей, и его подтверждения с каждым разом увеличивают вероятность того, что гипотеза истинна, но достаточно одного хорошего опровержения, чтобы гипотеза оказалась ложной. Самые падежные результаты исследования вытекают из опровержений. Правда, система теоретического знания строит эшелонированную систему защиты от опровержений, поскольку не все базовые суждения теории непосредственно связаны с экспериментальными данными. Ясно одно: опровержения обладают большей силой, чем подтверждения.
Первый тип гипотезы - идентификация - установление субъекта суждения на том основании, что только данному субъекту из всех известных субъектов могут быть приписаны определенные свойства (предикаты). Формальная запись гипотезы-идентификации имеет следующий вид: А,В,С...(х). Надо определить, что стоит за х. Речь идет о разгадывании обыкновенной загадки: по заданным параметрам идентифицировать класс принадлежности субъекта. Например, зная некоторые признаки - "без тела, а живет оно, без языка - кричит" - надо назвать предмет.
В источниковедении такого рода гипотезы-загадки называются конъектурами: по известным признакам требуется восстановить искаженный, либо пропущенный текст. В естественных науках идентификации часто отождествляются с открытиями. В историю астрономии вошла знаменитая гипотеза Леверрье о существовании планеты Нептун. Эта гипотеза, доказанная логически, получила блестящее подтверждение путем наблюдения. Врачебный диагноз представляет собой гипотетическую идентификацию болезни по некоторым симптомам. Здесь всегда остается доля сомнения, только патологоанатом гипотез не измышляет. В криминалистике гипотезы-идентификации называются версиями.
В социологии гипотезы-идентификации, на первый взгляд, встречаются редко. Это обусловлено ошибочным представлением, будто идентификационные задачи решаются без особых затруднений. Например, опрашивая людей на улицах Москвы, мы делаем неявное гипотетическое умозаключение, что объект опроса - москвичи. Если бы гипотеза об идентификации была поставлена и проверена, мы бы обнаружили, что признаки "находиться на улицах Москвы" и "быть жителем Москвы" неэквивалентны. Риск ошибки достигает здесь в зависимости от района столицы очень высокого уровня.
Второй тип гипотезы - идентификации признаков уже установленного объекта. Обычно, проектируя исследование, социологи не называют эту конструкцию гипотезой, поскольку уверены: что-нибудь получится. Речь идет об обычном вопросе. "Каковы литературные предпочтения промышленных рабочих?", "Сколько легковых автомобилей приходится на одного россиянина?", "Где осуществляются знакомства будущих супругов?" - эти типичные для социологических исследований вопросы-гипотезы означают, что в выражении А(х) надо установить значения признака А для известной группы. В итоге получаются "линейки", состоящие из одно- и многомерных распределений. В данном случае речь идет о проекте обследования, где "проверка" заключается в идентификации признаков.
Третий тип гипотезы - умозаключение о связи предикатов - можно назвать гипотезой par excellence. Это вероятностное суждение о том, что при определенных условиях наблюдается ковариация двух признаков: А ® В. Данный тип гипотетического умозаключения включает две разновидности. Во-первых, связь может устанавливаться между признаками одного объекта, либо класса объектов (единиц исследования). Например, гипотеза о взаимосвязи престижа профессии и дохода относится к одним и тем же "единицам". Во-вторых, единицы гипотетического конструкта могут различаться. Например, в гипотезе о ковариации уровня образования супругов и стабильности семьи содержатся соответственно единицы "индивид" и "семья".
Четвертый тип гипотезы - объясняющая теория. В отличие от предыдущих гипотетических конструктов, она представляет собой идею, включающую систему гипотез, позволяющую упорядочить и прогнозировать эмпирически наблюдаемые события. Экскурсанту, наблюдающему с галереи поведение людей на токийской бирже, покажется, что безумцы с потрясающей скоростью размахивают руками и одновременно говорят по трем телефонам. На самом деле здесь все подчинено стройной логической теории. Более трудно объяснить массовые общественные движения, но исследователь обязан верить, что есть истинная теория массовых общественных движений и создавать соответствующие гипотезы.
Гипотеза никогда не возникает на пустом месте. Невозможно начинать исследование с предположения, будто о предмете изучения ничего не известно. Гипотеза отличается от измышления тем, что представляет собой итог предварительной работы научных школ и, во всяком случае, требует освоения всего, что достигнуто определенной отраслью науки. Более того, серьезная гипотеза бывает равномощна научной революции, и постановку новых гипотез принято расценивать как результат большей значимости, чем ответ на уже известные вопросы.
В социологической науке, понятийный аппарат которой нагружен риторическими фигурами, распознать гипотетический конструкт бывает нелегко. Одна картина мира и соответствующие ей исследовательские программы не сменяют другие, а сосуществуют с ними. Поэтому в социологии вынуждены сосуществовать и противоречивые гипотезы, что не позволяет ей считаться нормальной наукой. Ясно одно: если социология хочет быть научной дисциплиной, она должна не просто творить картины мира, но конструировать их из гипотез.
В принципе, любое предположение о состоянии мира можно считать гипотезой до тех пор, пока оно не опровергнуто. Гипотеза - это вопрос. Научная гипотеза - это вопрос, заданный в соответствии с научными правилами. Когда на вопрос получен ответ, гипотеза становится предложением науки. Любое предположение может стать гипотетическим, сколь бы очевидным оно ни казалось. Иное дело, что область предположений, подлежащих процедурной проверке, невелика сравнительно с корпусом предложений теории.
Гипотеза логически вытекает из достигнутого данной областью науки уровня знаний и представляет собой одновременно результат предшествующей работы и задачу нового исследования.
Знаменитое высказывание Исаака Ньютона "Hypotheses non fingo" (гипотез не измышляю) следует понимать не как отказ от гипотетических предположений вообще, а как отказ от измышления гипотез. "Hypotheses поп fingo" означает, собственно говоря, следующее: не пользуюсь фикциями и ложными предположениями в качестве посылок объяснения21.
Проверить гипотезу можно логическим путем, либо путем формирования "внешних" протокольных предложений, описывающих события по возможности непосредственно. Социолог имеет дело преимущественно с "внешней" проверкой гипотез и соответствующей схемой соотнесения гипотетического предложения с фактами. Гипотеза представляет собой ту или иную версию общей схемы: доказано, что некоторый класс объектов при определенных условиях обладает с некоторой вероятностью следующими свойствами - сохранятся ли эти свойства при иных условиях?
Например, считается установленным фактом, что женщины обычно выходят замуж за мужчин с более высоким уровнем образования, а мужчины предпочитают заключать брак с женщинами, имеющими образование более низкое, чем то, которое получили они сами. Рассматриваемая зависимость установлена для развитых стран, где существует достаточно отчетливая система идентификации уровня образования. В большинстве случаев речь идет о городском населении.
Разрабатывая данную проблему, исследователь ищет способы опровержения вывода. Если он считает возможным опровергнуть вывод в целом, он должен повторить решение задачи на той же или близкой по качественным параметрам совокупности и попытаться установить процедурные ошибки, которые допустили его предшественники. Если ошибок в процедуре не обнаружено, но получены иные результаты (например, мужчины предпочитают выбирать в супруги более образованных, чем они сами, женщин), эти результаты должны быть опубликованы как прецедент противоречия. Тем самым вывод о соотношении образования супругов входит в корпус научного знания под знаком вопроса. Такого рода расхождения, встречаются достаточно редко, разумеется, если соблюдены методологические каноны. Поэтому в науке придается особо важное значение такому критерию, как репутация автора или степень доверия к результатам его работы. Бывает, что неординарные результаты просто игнорируются профессиональным сообществом - это происходит потому, что, не имея возможности повторить каждый проект, исследователи предполагают какие-либо процедурные нарушения. Доверие - одна из важнейших эпистемических норм и условие нормального функционирования научного сообщества. Поэтому доказанное положение ставится под вопрос не в целом, а путем введения новых допущений, т. е. путем последовательной спецификации вывода.
Предположим, что горожане развитых стран вступают в брак под определенным влиянием "обратно пропорциональной" тенденции относительно образования мужчин и женщин: мужчина должен быть "выше". Первый вопрос, который мы задаем на пути опровержения этой генерализации, звучит примерно так: во всех ли случаях сохраняется такое соотношение? Ответ, естественно, отрицательный: не во всех. После этого начинается выдвижение исследовательских гипотез. Гипотетические предположения сводятся к установлению факторов, которые, возможно, изменяют установленную ранее зависимость в максимальной степени.
Продемонстрируем различные версии гипотез относительно уровня образования супругов. Мы должны проверить, не "работает" ли в данном случае переменная, стоящая за "образованием". В частности, известно, что жены, как правило, младше мужей. Тогда не следует ли предположить, что мужья имеют более высокое образование преимущественно тогда, когда жены младше их. В остальных случаях (когда жены и мужья имеют одинаковый возраст и когда жены старше мужей) такое соотношение менее выражено. Следовательно, задача состоит в том, чтобы убрать искажающее влияние возраста и посмотреть на взаимосвязь образования супругов в более чистом контексте.
Попробуем пояснить это в "жизненных", если угодно, качественных терминах. Оля и Леша полюбили друг друга еще в десятом классе, когда им было по семнадцать лет и решили пожениться. Заметим, что здесь открывается возможность разработки альтернативной обобщающей гипотезы, противоречащей установленному обратному соотношению уровней образования супругов: "Оля" и "Леша" - это сотни тысяч молодых людей, вступающих в брак именно в тот период, когда их уровень образования одинаков - они заканчивают среднюю школу и вступают в самостоятельную жизнь. Беллетристическое изложение обстоятельств жизненного пути не должно затемнять главного - постепенного возрастания влияния третьей переменной на различия в образовании супругов.
Казалось бы, ничего не происходит, когда Леша не поступает в университет и вынужден служить полтора года в армии. А Оля поступила в институт (заметим: уровень образования девушек в этом возрастном периоде выше, чем уровень образования мужчин). Надо отдать ей должное: она дождалась возвращения Леши и армии и они, наконец, поженились. Оля перешла на третий курс, а ее муж поступил на первый. (Как видим, базовая социологическая гипотеза применительно к тысячам таких семей не оправдывается.)
Для социолога "Оля" и "Леша" - идеальные типы. На разных этапах жизненной траектории "типов" соотношение их уровней образования меняется, и задача научного сотрудника заключается в том, чтобы установить, что приводит к изменению соотношения образований миллионов "Оль" и "Леш". Пока гипотеза развертывается без демонстрации каких-либо эмпирических данных в квазилогической, точнее, нарративной манере.
Теперь можно построить альтернативную гипотезу, опровергающую базовое предположение в определенном интервале возраста: в семьях, где возраст каждого из супругов не превышает 25 лет, их образование одинаково. Проверить данную гипотезу легко. Можно даже не проводить самостоятельного исследования, а запросить в банке данных сведения по подвыборке семей, где возраст мужа и жены не превышает 25 лет. Несомненно, признаки возраста и образования супругов используются в любом обследовании семей. Отсюда вывод: обратное соотношение уровней образований супругов не подтверждается в группе молодых семей.
А как обстоит дело в старших возрастах? Нетрудно догадаться, что у миллионов Оль после вступления в брак рождаются дети, что в большинстве случаев препятствует активной учебе. Леша догоняет Олю (которая сидит в декрете, да и потом все силы отдает ребенку) по уровню образования и успешно делает карьеру. Здесь начинается отрыв образования мужей от образования жен. Нетрудно построить таблицу для подвыборки семей с большим стажем и посмотреть на частотное распределение. И в том, и в другом случаях мы "очистили" научный вывод от влияния возраста. Базовая гипотеза не опровергнута целиком, но зато область ее подтверждения существенно ограничена.
Далее мы должны проверить, нет ли еще каких-либо существенных переменных, опровергающих исходную генерализацию. Соблюдается ли "обратное" соотношение уровней образования в семьях без детей, с одним ребенком, с двумя и более детьми. Может быть, значительные различия существуют между первым и последующими браками? Кого-нибудь из младших научных сотрудников озарит идея, что активная, профессиональная и образовательная карьера женщины дает ей шансы освободиться от тягот семейной жизни. Следовательно, в браке остаются лишь те женщины, которые проявляют сдержанность в своих образовательных планах. Базовая гипотеза, как мы видим, усиливается.
Опровержение базовой гипотезы посредством выдвижения новых гипотез может осуществляться не только путем их интенсификации (включения в контекст дополнительных ограничений), но и посредством экстенсификации - расширения области исходных понятий таким образом, чтобы первоначальный тезис мог рассматриваться в качестве частного случая нового предположения. Допустим, что образование жен, как правило, ниже, чем образование мужей, и попробуем экстенсифицировать понятие "образование". Образование - лишь институциональное выражение умственных способностей личности и не проверить ли гипотезу, что жены отстают по умственному развитию от мужей, поскольку в семье муж должен казаться умнее, чем на самом деле. Впрочем, такую гипотезу никто не проверял, хотя ее техническое исполнение ничем не отличается от предыдущих версий.
Теперь мы можем сформулировать более строгое определение гипотезы. Гипотеза - это утверждение о том, какую конфигурацию может принять при проверке распределение единиц исследования в пространстве переменных. Оперируя сочетаниями переменных (контекстами) исследователь создает различные гипотезы бинарного и комбинированного типов. Например, нетрудно придать формальный вид знаменитой гипотезе Шарля Монтескье о предрасположенности многочисленных народов к деспотической форме правления. Кроме многочисленности в число факторов деспотизма французский просветитель включил "низкорослость" и "темперамент". Совокупность объясняющих гипотез - фрагмент пространства признаков - уже представляет собой компонент теории. Теория, конечно, не сводится к сочетанию гипотетических предложений. Она включает в себя неявное знание, мировоззренческие установки и техники проверки общих предложений и систему инструментов, от которых зависит конструируемая картина мира. Но все же гипотетические отношения между переменными - смысловое ядро теории.
Связь между переменными принимает положительные, отрицательные и нейтральные значение. Соответственно, и гипотезы можно подразделить на положительные, отрицательные и (независимые.) нейтральные. Как правило, исследователи заинтересованы в установлении положительных тесных связей между признаками, хотя отрицательные и независимые отношения не менее важны.
Некоторые формальные определения помогут прояснить суть дела. Обозначим гипотезу о положительной связи между переменными С(х,у), гипотезу об отрицательной связи С-(х,у), гипотезу о независимости переменных С°(х,у). Далее, нам понадобится выражение типа C+(х; C(y,z)), означающее, что "имеется положительная связь между х и положительной корреляцией между х и z. Аналогичным образом предположение о том, что корреляция между х и у не является фиктивной, т.е. не обусловлена влиянием третьей переменной t, формулируется следующим образом: С° (t; C(x,y)). Гипотетическая структура С(х, у; C(z,w)) прочитывается следующим образом: величина корреляции между переменными z и w зависит от значений переменных х и у одновременно.