Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
| эмпирического со-
держания является то, что сравнение логического и эм- пирического содержаний двух высказываний ρ и q при- водит к одному и тому же результату, если рассматри- ваемые высказывания не содержат метафизических эле- ментов. Поэтому мы выдвинем следующие требования: (а) два высказывания, имеющие равное логическое со- держание, должны иметь и равное эмпирическое содер- жание; (Ь) высказывание р, логическое содержание ко- торого больше, чем логическое содержание высказыва- ния q, должно иметь также большее или по крайней мере равное эмпирическое содержание; (с) если эмпи- рическое содержание высказывания р больше, чем эм- пирическое содержание высказывания q, то логическое содержание р также должно быть больше или логиче- ское содержание этих высказываний несравнимо. Огра- * 7 «р — >q·», согласно приведенной трактовке, означает, что ус- ловное высказывание с антецедентом р и консеквентом q тавтологич- но, или логически истинно. (Когда я писал текст этой книги, я еще не вполне осознавал это обстоятельство; не понимал я и важности того факта, что утверждение о выводимости является метаязыковым утверждением, см. также прим. *19 к гл. III.) Таким образом, «р— >-q» в данном контексте необходимо читать как «из р следует q·». 8 Карнап говорит: «Металогический термин «равен по содержа- нию» определяется как «взаимно выводимый»» [11, с. 458]. Книги Карнапа [14 и 15] были опубликованы слишком поздно для того, чтобы я имел возможность рассмотреть их здесь. * 9 Если логическое содержание ρ превосходит логическое содер- жание q, то мы также говорим, что р логически сильнее q, или что «го логическая сила превосходит логическую силу q. 159 ничение в пункте (Ь) «или по крайней мере равное эм- пирическое содержание» следует добавить потому, что ρ может быть, к примеру, конъюнкцией q с некоторым чисто экзистенциальным высказыванием или с каким-ли- бо другим метафизическим высказыванием, которому мы можем приписать определенное логическое содер- жание. В этом случае эмпирическое содержание ρ не будет превышать эмпирическое содержание q. Анало- гичные соображения обусловливают необходимость до- бавить к пункту (с) ограничение «или логические со- держания этих высказываний несравнимы» (см. [70. прил. *VII]). Таким образом, сравнивая степени проверяемости или эмпирическое содержание высказываний, мы бу- дем — в случае чисто эмпирических высказываний — приходить, как правило, к тем же самым результатам, что и при сравнении логического содержания высказы- ваний, то есть отношений выводимости. Следовательно, сравнение степеней фальсифицируемости можно прово- дить в значительной степени на основе отношений вы- водимости. Оба типа отношений образуют форму реше- ток, полностью связанных в узлах, представляющих про- тиворечие и тавтологию (см. разд. 34), что можно также выразить, сказав, что из противоречия следует лю- бое высказывание, а тавтология следует из любого вы- сказывания. Необходимо также отметить, что эмпири- ческие высказывания, как мы это установили, можно охарактеризовать как высказывания, степень фальси- фицируемости которых находится в открытом интерва- ле, ограниченном степенями фальсифицируемости про- тиворечий, с одной стороны, и тавтологий — с другой. Аналогичным образом жүктеу/скачать 3,46 Mb. Достарыңызбен бөлісу:
|