Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
| k».
Высказывания вида «Суще- ствует то-то и то-то в области k» или «Такое-то и та- кое-то событие имеет место в области k» (см. разд. 23) могут быть названы «сингулярными экзистенциальными высказываниями», или «сингулярными высказываниями о существовании». А высказывания, которые получаются при отрицании последних, например «Не существует то- го-то и того-то в области k» или «Событие такого-то и такого-то рода не имеет места в области k», можно на- звать «сингулярными неэкзистенциальными высказыва- ниями» или «сингулярными высказываниями о несущест- вовании». Теперь мы можем сформулировать еще одно правило для базисных высказываний: базисные высказывания имеют форму сингулярных экзистенциальных высказы- ваний. Это правило означает, что базисные высказы- вания выполняют условие (а), поскольку сингулярное экзистенциальное высказывание никогда не может быть выведено из строго универсального высказывания, то есть из строгого высказывания о несуществовании. Они также выполняют условие (Ь) — это совершенно ясно из того факта, что из каждого сингулярного экзистен- версальных, их отрицания должны быть потенциальными фальсифи- каторами, и такие отрицания, следовательно, могут быть базисными высказываниями (конечно, в том случае, если выполняются условия, которые будут сформулированы нами далее). Подстановочные же высказывания vice versa имеют форму отрицания базисных высказы- ваний (см. также прим. *9 в гл. X). Интересно отметить, что базис- ные высказывания (которые слишком определенны для того, чтобы быть выводимыми из одних только универсальных законов) имеют большее информативное содержание, чем их подстановочные отри- цания; это означает, что содержание базисных высказываний пре- восходит их логическую вероятность (поскольку оно должно превы- Таковы некоторые соображения, лежащие в основе моей теории логической формы базисных высказываний (см. также [71, с. 386]). 135 циального высказывания можно вывести чисто экзи- стенциальное высказывание, просто опустив все указа- ния на какую-либо конкретную пространственно-времен- ную область. Чисто же экзистенциальное высказывание действительно может противоречить той или иной теории. Следует заметить, что конъюнкция двух базисных высказываний p и г, не противоречащих друг другу, в свою очередь является базисным высказыванием. Иног- да мы даже можем получить базисное высказывание, присоединяя одно базисное высказывание к другому высказыванию, не являющемуся базисным. Например, можно построить конъюнкцию базисного высказыва- ния г— «Существует стрелка прибора в месте и» с син- гулярным высказыванием о несуществовании ρ — «Не существует движущейся стрелки прибора в месте k», поскольку очевидно, что конъюнкция г-р («г и не-р») двух этих высказываний эквивалентна сингулярному экзистенциальному высказыванию «Существует по- коящаяся стрелка прибора в месте и». Отсюда следует, что если нам дана теория t и начальные условия г, из которых мы выводим предсказание р, то высказывание г-р будет представлять собой фальсификатор теории и, следовательно, являться базисным высказыванием. (С другой стороны, условное высказывание г — >р, то есть «Если г, то р», уже не является базисным, по- скольку оно эквивалентно отрицанию базисного выска- зывания, а именно отрицанию г-р.} Таковы формальные требования к базисным выска- зываниям, которые выполняются всеми сингулярными экзистенциальными высказываниями. В дополнение к перечисленным требованиям базисное высказывание должно также выполнять одно материальное требова- ние, относящееся к событию, которое, как утверждает- ся в базисном высказывании, совершается в месте жүктеу/скачать 3,46 Mb. Достарыңызбен бөлісу:
|