Гипотеза — страница 10

опе­раций, цель которых состоит в получении следствий с их последующей проверкой. Эти операции (выведение следст­вий) и есть второй этап разработки гипотезы — ее развитие. Граница между первым (выдвижение) и вторым (развитие) этапами носит методологический характер, она не может быть выражена каким-то точным интервалом времени. Вооб­ще описанный в предыдущем параграфе трехэтапный цикл (выдвижение, развитие, проверка)

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

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

используются различные выводные конструкции. Предположим, что гипотеза, выражаемая суждением р может стать логическим основанием для следствия, пред­ставленного суждением q. Логический механизм развития и проверки такой гипотезы легко описывается следующим об­разом: импликация p→q принимается как одна из посылок условно-категорического умозаключения; вторая же посыл­ка образуется в результате проверки следствия и

представ­ляет собой его отрицание 1 q или утверждение q. Отрицание следствия соответствует схеме отрицающего (точнее: отрицающе-отрицаюшего) модуса условно-категорического умо­заключения (p→q) A~\q и. как известно, ведет к отрицанию основания ~\р, т. е. к признанию ложности гипотезы р. Ут­верждение следствия соответствует одному из «неправиль­ных» модусов (p→q) л q; напомним, что этот модус в состоя­нии сообщить основанию

(гипотезе р) лишь определенную степень вероятности. Итак, типичная картина развития и проверки гипотезы в принципе представима двумя следую­щими схемами условно-категорического умозаключения: (1) p →q (2) p→q ┐p q ________ ________ ┐p Вероятно, что p Схема опровержения гипотезы Схема подтверждения гипотезы Эти схемы и будут рассматриваться как основные для анализа гипотезы. (О некоторых тонкостях применения «не­правильного»