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

• Название: Объективное знание. Эволюционный подход
• Автор: Карл Поппер
• Издательство: Эдиториал УРСС
• Жанр: Философия
• Год: 2002
• ISBN: 5-8360-0327-0

Книга выдающегося философа и логика XX века Карла Раймунда Поп-пера «Объективное знание» вышла первым изданием в 1972, вторым — исправленным и дополненным, с которого сделан русский перевод, в 1979 г.

В ряду сочинений Поппера она занимает особое место: это — третья, после «Логики научного исследования» (1934, 1959) и «Предположений и опровержений» (1963), его классическая работа по философии, теории познания и логике науки. В ней подводятся итоги предшествующих исследований Поп-пером проблем индукции, фальсификационизма, критического рационализма, правдоподобности научных теорий и др., а также излагаются полученные к моменту ее написания результаты его разработок теории трех миров, роли понятия «истина» в философии науки, проблем эволюционной эпистемологии и т.д. Последние проблемы были в центре внимания Поппера до конца его жизни.

В русском переводе этой книги публикуется «Послесловие к русскому изданию Объективного знания», написанное одним из учеников, соавторов и ближайших друзей Карла Поппера Дэвидом Миллером.

---

300

Ср. Tarski A. The Semantic Conception of Truth and the Foundations of Semantics // Philosophy and Phenomenological Research. 1944. Vol.4. Pp.341-376; см. особенно раздел 19.

301

Подробнее см. Popper К. R. Conjectures and Refutations, а также главы 2 и 8 настоящей книги.

302

Похоже, что термин "object language" (буквально — «объектный язык») первоначально был введен для обозначения «языка, на котором говорят о (физических) объектах». Я использую его в смысле «язык, являющийся объектом исследования»: он исследуется теорией, формулируемой на метаязыке. (Это, конечно наводит на мысль о бесконечной иерархии метаязыков).

303

Лишь немногим менее философски важный результат относительно терминов типа (3) состоит в том, что как термины метаязыка они имеют тот же морфологический характер, что и термины типа (I); иначе говоря, они принадлежат морфологии, построенной в метаязыке (хотя и не той ее части, которая содержит морфологию и синтаксис языка-объекта и может быть построена в самом языке-объекте).

304

Ср. с. 152 английского перевода этой статьи Вуджера в книге: TarskiA. Logic, Semantics, Metamathematics, Oxford, Clarendon Press, 1956. (См. также прим. 13 на с. 340. — Прим. ред.)

305

Так, Тарский подчеркивал, что понятие истины можно было бы ввести не через определение, а через аксиомы.

306

См. Martin R.M. Truth and Denotation. A Study in Semantical Theory. London, Routledge & Keagan Paul, 1958.

307

См. Popper K.R. Conjectures and Refutations, примечание 33 на p. 116 с выражением признательности Александру Койрё.

308

См. Тарский A, Logic, Semantics, Metamathematics. Oxford, Clarendon Press, 1956, pp. 342-383.

309

Я в основном следую символике Тарского (особенно в том, что касается употребления заглавных курсивных букв для обозначения дедуктивных систем), за исключением того, что для класса истинных высказываний, который Тарский обозначает Tr, я использую символ T.

310

Tarski A. Logic, Semantics, Metamathematics. Oxford, Clarendon Press, p, 343.

311

Тарский ссылается на работу: Mazurkiewicz S. Die Grundlagen der Wahrscheiningskeits-rechnung I. Monatshefte tur Mathematik & Physik, Band 41, 1934, SS. 343-352. Из сноски 2 на S. 344 этой работы видно, что исчисление систем Тарского было известно польским математикам еше в 1930 году. Система Мазуркевича имеет определенный финитистский характер в отличие от моей собственной системы (см. Popper К. R. The Logic of Scientific Discovery, pp. 326-358), которую можно интерпретировать различными способами, например как исчисление вероятностей дедуктивных систем.

Я могу, пожалуй, упомянуть, что в настоящей работе я использую в качестве символов для функций меры, таких как вероятность, содержание и правдоподобность, строчные курсивные буквы, например, р(А), ct(A), vs(A). (Добавлено в 1978 г.) Везде, где это необходимо, я принимаю «тонкую структуру» вероятности. См. Popper К. R.  Logic of Scientific Discovery, New Appendix *VIL

312

См. Popper К. R. Conjectures and Refutations, Addendum 3, pp. 391-397.

313

См. Tarski А. Der WahrheitsbegrifT in den formalisierten Sprachen // Studia Philosophica, Bd. I, 1935, S. 261 [англ. пер.: Tarski A. The Concept of Truth in Formalized Languages// TarskiA. Logic, Semantic, Metamathematics, 1956, paper VIII, pp. 152-278]. Как я понимаю, Тарский предпочитает переводить «Aussage» и «Aussagefunktion» как «sentence» («предложение») и «sentence-function» («сентенциальная функция») — термины, используемые в переводе логических работ Тарского на английский, выполненным профессором Вуджером, — тогда как я пользуюсь здесь терминами «высказывание (statement)» и «пропозициональная функция (statement function)». Перевод Вуджера должен быть вскоре опубликован издательством Clarendon Press в Оксфорде. [Эта книга вышла в 1956 году. Есть и еще несколько различий между моим переводом и переводом Вуджера].

314

См. Tarski Л. Ibidem, S. 311 [p. 193], S. 313 [p. 195]. Заметим, что класс пропозициональных функций (или сентенциальных функций) включает класс высказываний, то есть замкнутых пропозициональных функций.

315

Первый из этих альтернативных способов очерчен Тарским в примечании 40 на S. 309 и далее [р. 191 англ. перевода, прим. 1]. (Там не говорится явно, что этот способ можно использовать для избежания бесконечных последовательностей, но ясно, что его можно для этого использовать). Второй метод описывается в примечании 43 на S. 313 и далее [р. 195 англ. перевода, прим. 1]. Способ, предложенный Тарским в этом примечании, технически слегка отличный от примененного Тарским в основном тексте, используется Карнапом в его «Введении в семантику» (Сатар R. Introduction to Semantics, 1942, pp.47 и далее [точнее pp. 45-48]). Хотя Карнап ссылается на Тарского, он упускает из вида то, что Тарский предвидел этот конкретный способ. (В прим. 7 на S.368 [р. 245 англ. перевода, прим. 2] Тарский указывает еще и третий способ — очень простой, но безусловно в высшей степени искусственный в понимании Тарского; более того, этот способ относится только к определению истины как таковому, а не к определению выполнения [удовлетворения], которое интересно само по себе).

316

 Карнап также использует это искусственное понятие.

317

 Основное различие между моим способом и способами, предлагаемыми Тарским (упомянутыми ранее в прим. 3) состоит в следующем. Тарский предлагает ставить в соответствие данной функции (либо бесконечные последовательности, либо) конечные последовательности определенной (зависящей от данной функции) длины, в то время как я использую конечные последовательности «достаточной длины» (Определение 22а), то есть не слишком короткие для рассматриваемой функции. Соответственно, мои конечные последовательности могут быть любой длины (свыше определенного минимума, зависящего от рассматриваемой функции). Но допущение конечных функций любой длины (если этого достаточно для наших целей) не приводит ни к какой неоднозначности, поскольку мы легко получаем теорему (ср. Лемму А.Тарского на S. 317 [р. 198 англ. перевода]), согласно которой, если f удовлетворяет x, то всякое g, являющееся расширением f, также удовлетворяет x (где g есть расширение f, если и только если для каждого fi существует gi такое, что gi = fi). Таким образом, эта теорема говорит, что нам достаточно рассматривать только самые короткие конечные последовательности из тех, которые адекватны рассматриваемой функции (конечно, всей рассматриваемой сложной функции, в отличие от ее компонентов).

318

Объекты (things) [так я называю их здесь; я мог бы называть их, как Тарский «индивидами», если бы не то, быть может, слегка запутывающее обстоятельство, что «индивиды» Тарского представляют собой индивидуальные классы исчисления классов] рассматриваемые Тарским в этом разделе его работы, суть классы; учитывая сказанное Тарским в параграфах 4 и 5, я буду говорить здесь о «последовательностях объектов» а не о последовательностях классов, имея в виду, что для любых объектов fi и fk, определено отношение вхождения fi ⊂ fk.

319

Ср. Определение 6 Тарского на S. 292 [р. 176 англ. перевода].

320

Tarski A. Ibidem, S. 294 [р. 178 англ. перевода]. Тарский явным образом определяет только выражение «переменная входит свободно в пропозициональную функцию x» [или Vf есть свободная переменная поопозипиональной функции

321

Это в точности напоминает Определение 22 Тарского [р. 193], за исключением того, что к условию Тарского добавлен пункт (1) (чтобы заменить бесконечные последовательности конечными), и что наш пункт (6) содержит небольшое изменение, поскольку в нем говорится о длине f (и д). [Перевод "erfullen" как «удовлетворять» имеет тот недостаток, что в определении выражения «f удовлетворяет x» используется интуитивное представление о том, что «x соблюдает (то есть удовлетворяет) такие-то условия». Но эти два «удовлетворяет» технически совершенно различны, хотя интуитивно и очень близки. В немецком тексте на S. 311 не проводится никакого терминологического различия, но на S. 312 в сноске, соответствующей сноске 1 на р. 193 английского издания, имеет место различие  между «erfьllt» и «befriedigt». В Определении 22, конечно, нет никакого круга].

322