Читать «Неоконченный поиск. Интеллектуальная автобиография» онлайн - страница 177

19

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

20

20 Так как не-a принадлежит информационному содержанию а, в а информационному содержанию не-а, но а не принадлежит своему собственному информационному содержанию (если только оно не самопротиворечиво).

21

21 Доказательство (которое в представленной здесь частной форме было продемонстрировано мне Дэвидом Миллером) достаточно прямолинейно. Утверждение «b или t, или и b, и t» следует из «а или t, или и a, ut» у если и только если оно следует из а; то есть если и только если теория t следует из «а а не-b». Однако поскольку а и b противоречат друг другу (по допущению), последнее утверждение эквивалентно а. Таким образом, «b или t, или ub_yut» следует из «а или t, или а и t», если и только если t следует из а, a это, по предположению, неверно.

22

22 J. W. Н. Watkins, Hobbes System of Ideas (London: Hutchinson, 1965) c. 22 и далее; второе издание, 1973, с. 8 и далее.

23

23 (Это примечание первоначально составляло часть текста.)

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

Следуя предложению Фреге, введем понятие да-или-нет проблемы или, короче, i/проблемы: для любого предложения а (скажем, «Трава зеленая») соответствующая у-проблема («Зелена ли трава?») может быть записана как «у (а)». Сразу видно, что у(а)= у(не-а): проблема того, является ли трава зеленой, как проблема идентична проблеме, является ли трава не зеленой, даже несмотря на то, что эти два вопроса по-разному сформулированы, и несмотря на то, что ответ «Да» на один вопрос эквивалентен ответу «Нет» на другой.

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