Карл Поппер - Объективное знание. Эволюционный подход

К. Бюлер (в чем его отчасти предвосхитил Вильгельм фон Гумбольдт) ясно указал на дескриптивную функцию языка. Я в разных местах ссылался на это и аргументировал необходимость ввести в рассмотрение аргументативную функцию языка. См. например мою статью «Эпистемология без субъекта знания» (доклад, прочитанный в Амстердаме в 1967 г. и перепечатанный в качестве главы 3 настоящей книги).

См. Einstein A. Remarks on Bertrand Russell's Theory of Knowledge // The Philosophy of Bertrand Russell. Ed. by Schilpp P. A. The Library of Living Philosophers, Vol. V, 1944. Pp.290f. Перевод Шилппа этого утверждения на с. 291 гораздо ближе к подлиннику, чем мой, но мне показалось, что важность мысли Эйнштейна оправдывает мою попытку очень вольного перевода, который тем не менее, как я надеюсь, верен тому, что хотел сказать Эйнштейн.

См. Churchill W. S. My Early Life — A Roving Commission, впервые опубликовано в октябре 1930; процитировано по изданию Odham Press, London, 1947, chapter IX. Pp. 115 и след., с разрешения Hamlyn Publishing Group (курсива в оригинале нет). См. также издание Macmillan, London, 1944, Pp. 131 и след.

См. Tarski A. The Concept of Truth in Formalized Languages // Tarski A. Logic, Semantic, Metamathematics. Oxford: Clarendon Press, 1956. Pp. 152-278 (статья, впервые опубликованная в 1933 г. на польском, а в 1936 г. — на немецком языке); то же в журнале "Philosophy and Phenomenilogical Research". Vol.4, 1944. Pp.341-376 (см. главу 9 настоящей книги).

Выражение «осмысленное предложение (meaningful sentence)* (то есть предложение плюс его «смысл» (meaning), иначе говоря, высказывание или пропозиция) принадлежит Тарскому (в переводе на английский язык Вуджера). Тарского несправедливо критиковали за то, что он якобы придерживался взгляда, согласно которому истинность есть свойство (всего лишь) предложений (sentences), то есть (бессмысленных, хотя и) грамматически правильных последовательностей слов некоторого языка или формализма. На самом деле во всей своей работе Тарский обсуждает только истинность интерпретированных языков. Я не буду различать здесь высказывания, пропозиции, утверждения (assertions) и теории.

Насколько известно, все естественные языки обладают операцией отрицания, хотя известны искусственные языки, не содержащие этой операции. (Зоопсихологи даже утверждают, что нечто подобное операции отрицания можно наблюдать у крыс, которых можно научить нажимать рычаги с опознавательными знаками и понимать символы, которые меняют первоначальное значение этих знаков на логически противоположное. См. ссылки на Р.У.Брауна (R.W.Brown) и К.Л.Лэшли (К. L. Lash ley) в Hermann Hans. Psychologie der Sprache. Berlin: Springer, 1967. S.5I).

Тарский показывает, что для избежания парадокса «Лжец» требуется предосторожность, выходящая за пределы общепринятого здравого смысла: нам нельзя употреблять метаязмковой термин 'истинно (в L 1)' в языке L 1 (см. также главу 9 настоящей книги).

Профессор Д. У. Хэмлин (D. W. Hamlyn) оказал мне большую честь, дав изложение моих взглядов на «Природу науки» (см. "The Encyclopedia of Philosophy". Ed. by Edwards Paul. Vol. 3. P. 37). Большая часть его очерка совершенно правильна, но он совершенно не понял меня, когда суммировал мои взгляды таким образом: «Сама истина есть лишь иллюзия». Разве тот, кто отрицает, что можно достичь абсолютной несомненности в вопросе об авторстве комедий Шекспира или в вопросе об устройстве мира, тем самым принимает доктрину, согласно которой сам (или сама) автор шекспировских комедий или сам мир есть «лишь иллюзия»?

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

Разница между содержанием, или классом следствий, отдельного высказывания и конечного множества высказываний (такое конечное множество всегда можно заменить одним высказыванием), с одной стороны, и неаксиоматизируемым (или не финитно аксиоматизируемым) классом следствий, или содержанием, с другой стороны, важна, но здесь обсуждаться не будет. Классы следствий обоих сортов Тарский называет «дедуктивными системами»; см. гл. ХП работы Тарского: Tarski A. The Concept of Truth in Formalized Languages // Tarski A. Logic, Semantic, Metamathematics. Oxford: Clarendon Press, 1956, pp. 152-278. Тарский ввел понятие класса следствий за много лет до меня. Я пришел к этому понятию позднее, независимо от Тарского, в моей книге "Logik der Forschung", где я также ввел тесно связанное с ним понятие эмпирического содержания высказывания 5 как класс а эмпирических высказываний, несовместимых с S (или «воспрещаемых» S). Это понятие было впоследствии воспринято Карнапом (см. в частности его ссылку на мою "Logik der Forschung" на с. 406 его книги: Сатар R. Logical Foundations of Probability, 1950). Понятие правдоподобности я ввел в 1959 или J 960 году (см. примечание на с. 215 моей книги «Предположения и опровержения» {Popper K.R. Conjectures and Refutations. 3d ed., 1969)). Я хочу отметить, что в то время как в указанной книге я говорил об «истинно-содержании (truth-content)» и «ложно-содержании (falsity-content)», теперь я предпочитаю не использовать дефиса, когда эти термины используются как существительные (то есть за исключением таких — надеюсь, достаточно редких — фраз, как «мера истинно-содержания»). В этом я следую совету Уинстона Черчилля, о котором говорится на с. 255 второго издания книги Fowler. Modern English Usage, 1965.

Я использовал меру содержания впервые в 1954 году (ср. L. Sc. D., р. 400), а меры истинностного и ложностного содержания и т.д. — в C.&R. (р. 385). (Добавлено в 1978 г.). Нам может понадобиться также «тонкая структура» содержания (см. L. Sc. D., Новое приложение *vii).

Я обсуждал этот пример вкратце в примечании 7 к заметке, впервые опубликованной как Popper К. R. // The British Journal for the Philosophy of Science (B.J. P. S.). Vol. 5, 1954. Pp. 143 ff, а затем в моей книге L, Sc. D., 2-е изд., 1968, Новое приложение ix, см. p. 401. Я продолжал с тех пор работать над ним — см., например, мою статью в сборнике в честь Герберта ФеЙгля: Popper К. R. A Theorem on Truth-Content // Mind, Matter and Method: Essays in Philosophy of Science in honour of Herbert Feigl. Ed. by Feyerabend P. and Maxwell G. 1966. Pp. 343-353. В этой статье я показал, что если (неизмеренные) содержания двух дедуктивных теорий х и у сравнимы, то их истинностные содержания также сравнимы, и будут больше или меньше друг друга в соответствии с тем, больше или меньше их содержания. Как показал Дэвид Миллер, доказательство этой теоремы можно существенно упростить. Важно никогда не забывать следующего: хотя функции меры содержания, истинностного содержания и ложностного содержания в принципе сравнимы (поскольку в принципе сравнимы соответствующие вероятности), мы в общем случае не имеем средств для их сравнения, кроме как путем сравнения неизмеренных содержаний конкурирующих теорий, быть может чисто интуитивного. (Добавление 1974 г.: Теперь показано, что ложностное содержание также возрастает вместе с содержанием — см. четыре дискуссионные заметки Павла Тихи, Джона Г. Хэрриса и Дэвида Миллера в "The British Journal for the Philosophy of Science". Vol.25, 1974. Pp. 155-188).