Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
| принятых
высказываний. В моем понимании система базисных высказываний включает все "непроти- воречивые сингулярные высказывания определенной ло- гической формы — все мыслимые сингулярные высказы- вания о фактах. Поэтому система всех базисных вы- сказываний будет содержать много взаимно несовме- стимых высказываний. В качестве первого приближения можно, по-видимо- му, попытаться назвать теорию «эмпирической» в том случае, если из нее выводимы сингулярные высказыва- ния. Однако эта попытка не приносит успеха, так как для выведения сингулярных высказываний из некоторой теории всегда нужны другие сингулярные высказыва- ния— начальные условия, говорящие о том, что сле- дует подставлять на место переменных, входящих в эту теорию. Мы могли бы с большим правом попытаться назвать теорию «эмпирической» тогда, когда сингуляр- ные высказывания выводимы из нее с помощью других сингулярных высказываний, являющихся начальными условиями. Но и эта попытка оказывается неудачной, так как даже неэмпирическая, например тавтологиче- ская, теория позволяет выводить некоторые сингуляр- ные высказывания из других сингулярных высказыва- ний. (В соответствии с правилами логики мы можем, например, сказать, что из конъюнкции высказываний «Дважды два — четыре» и «Здесь имеется черный во- рон» следует, помимо других высказываний, высказыва- ние «Здесь имеется ворон».) Оказывается недостаточ- ным также и требование, чтобы из теории вместе с не- которыми начальными условиями можно было вывести больше следствий, чем из одних начальных условий. Это требование действительно исключает тавтологиче- ские теории, но оно не может исключить синтетические метафизические высказывания (например, из высказы- ваний «Каждое событие имеет причину» и «Здесь про- изошла катастрофа» можно вывести «Эта катастрофа имеет причину»). В результате мы приходим к тому требованию, что теория должна позволять нам, грубо говоря, выводить 8-913 „ больше эмпирических сингулярных высказываний, чем мы могли бы вывести из одних начальных условий* 5 . Это означает, что наше определение должно опираться на особый класс сингулярных высказываний, и именно по этой причине нам нужны базисные высказывания. Ввиду того, что нелегко детально показать, как слож- ная теоретическая система помогает нам в дедукции сингулярных или базисных высказываний, я предлагаю следующее определение. Теория называется «эмпири- ческой» или «фальсифицируемой», если она точно раз- деляет класс всех возможных базисных высказываний на два следующих непустых подкласса: во-первых, класс всех тех базисных высказываний, с которыми она не- совместима (которые она устраняет или запрещает), * 5 Формулировки, эквивалентные только что приведенной, неод- нократно выдвигались в качестве критерия осмысленности предло- жений (а не критерия демаркации, применяемого к теоретическим системам) после выхода в свет этой моей книги даже теми крити- ками, которые с пренебрежением отнеслись к моему критерию фаль- сифицируемости. Однако нетрудно увидеть, что в качестве критерия демаркации настоящая формулировка эквивалентна фальсифицируе- мости. Действительно, если базисное высказывание Ъ г не следует из 6i, но следует из конъюнкции b l с теорией ί (что и утверждает настоящая формулировка), то это равносильно утверждению о том, что конъюнкция bi с отрицанием & 2 противоречит теории жүктеу/скачать 3,46 Mb. Достарыңызбен бөлісу:
|