Отношения между переменными имеют детерминистскую природу, если определенное проявление в одной переменной в необходимом или достаточном объеме обусловливает определенное проявление в другой. Отношение между типом системы и конфликтом было бы детерминистским, если бы имело силу положение о том, что в отношениях между демократиями всегда (или в отношениях только между ними) господствует мир.
Детерминистские гипотезы отношений не допускают исключений. Поэтому для опровержения детерминистской гипотезы достаточно единственного общего рассмотрения. Поэтому проверка детерминистской гипотезы происходит как целенаправленный поиск контрнаблюдений (фальсификаторов). Теоретический прогресс заключается в отборе таких гипотез, которые выдерживают подобные попытки фальсификации 6. Различие заключается в том, формулируется ли детерминистская гипотеза как необходимое или достаточное условие. Из этой позиции выводится характер контрнаблюдения, которое следует искать для того, чтобы опровергнуть гипотезу. Непосредственным условием могла бы считаться гипотеза об отношении между типом системы и конфликтом, сформулированная следующим образом: только если два государства являются демократическими, между ними господствует мир. В этом случае контрнаблюдение касалось бы двух государств, одно из которых не было бы демократическим. В качестве достаточного условия гипотеза должна была бы гласить: всегда, если два государства являются демократическими, между ними господствует мир Здесь контрнаблюдение касалось бы двух воюющих друг с другом демократических государств. Более сложные теории основываются на нескольких гипотезах отношений, построенных друг на друге. При этом может возникнуть проблема, заключающаяся в желании сделать заключение от подтвержденных отношений к таким, которые не являются непосредственным объектом исследований. Это возможно с помощью логических выводов. Логические цепи, которые мы называем также аргументами, состоят из посылок, считающихся истинными, и из выводимых из них заключений. Ниже мы приведем пример логически правильного и логически неправильного заключения (ср.
Follsdal/ Walloe/ Elster 1988: 244-256). (1) Во всех демократиях (D) господствует мир (F). (2) Все общества благосостояния (W) являются демократиями (D). —?Во всех обществах благосостояния (W) господствует мир (F). (1) Во всех демократиях (D) господствует мир (F). (2) Все демократии (D) являются обществами благосостояния (W). —?Во всех обществах благосостояния (W) господствует мир (F). Первое заключение является логически последовательным, второе - нет. К этому результату мы придем, выразив посылки и заключения в количественных связях. Вслед за тем мы проверим, включаются ли количественные связи заключения в количественную связь посылок. В первом аргументе (1) демократические государства входят в класс миролюбивых государств (DeF), а (2) государства, живущие в условиях благосостояния - в класс демократических государств (We D). Обобщение этой информации дает количественное соотношение: We DeF. Оно с необходимостью включает содержание первого вывода: государства, живущие в условиях благосостояния, входят в класс демократических государств (WeF). Таким образом, количественные связи вывода включаются в количественные связи посылки. Во втором аргументе количество демократических государств (1) входят в класс миролюбивых государств (DeF) и (2) в класс государств, живущих в условиях благосостояния (DeW). Но F и W представляют собой различные основные количества, о соотношении которых посылки ничего нам не говорят. Поэтому мы не можем исключить, что количество государств, живущих в условиях благосостояния, включает и воюющие государства. Тем самым вывод, согласно которому все государства, живущие в условиях благосостояния, входят в класс миролюбивых государств (WeF), логически неправилен. Эта количественная связь не включаются в количественные связи посылок. Следовательно, детерминистские гипотезы отношений не поддаются однозначному опровержению. Кроме того, на их основе можно строить или исключать с логической убедительностью другие гипотезы отношений. 2.1.1