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

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

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

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

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

Их эквивалентность следует из соображений Тарского; ср. Ibidem, S. 313, строки с 13 по 16 [р. 194, строки с 12 по 15 англ. перевода].

Ср. Ibidem, S. 320 [р. 201], Определение 27 и последующие.

Мы можем использовать его, например, чтобы определить случай выполнения некоторого закона (записанного не как обобщение, то есть записанного без квантора общности впереди) как конечную последовательность объектов, удовлетворяющих этому закону, или — что мне кажется более важным — чтобы определить опровергающий пример для любой (открытой или замкнутой) пропозициональной функции как конечную [и адекватную] последовательность объектов, не удовлетворяющую ей.

Под словом «теоретическое» я понимаю здесь не противоположность «практическому», поскольку наш интерес вполне может быть практическим: этот термин надо понимать скорее как «спекулятивное» или «умозрительное» [как когда мы говорим об умозрительном интересе к ранее существовавшей проблеме] в противоположность «перцептивному», или как «рациональное» — в противопоставлении «сенсуальному».

Ср. Hayek F.A. Scientism and Study of Society // Economica, N.S., vols. 9, 10, 11 (1942, 1943, 1944) [позднее опубликовано также в его книге: "The Counter-Revolution of Science", 1952].

(Добавлено при переводе на английский язык). Часть более полного изложения этой истории можно найти (хотя и с меньшим упором на вопрос о том, что на практике принималось как объяснение) в моей венецианской лекции: Popper К. R. Philosophy and Physics: Theories of the Structure of Matter// Atti del XII Congresso Internazionale di Filosofia. Vol. 2. Sansoni, Florence, 1961, pp. 367-374. Остальные части можно найти в первой половине моей книги «Conjectures and Refutations», особенно в главах 6, 3 и 4. (Последняя из этих глав пересекается и дополняет некоторые разделы данной лекции).

В переводе этой работы на английский я сделал этот пример несколько менее отталкивающим.

(Добавлено при переводе на английский язык). Впервые я высказал эти замечания о понятиях «причины» и «действия» в разделе 12 моей книги "Logik der Forschung" ("The Logic of Scientific Discovery"). См. также мои книги: "Poverty of Historicism", pp. I22f. (рус. перевод — «Нищета историцизма». М., 1993, с. 140-142), "Open Society and Its Enemies" (рус. перевод — «Открытое общество и его враги». М., 1992, особенно прим. 7 к гл.25), и статью: Popper К. Я. What can Logic do for Philosophy? // Aristotelian Society, Supplementary Volume, 22, 1948, pp. 145 и далее.

(Добавлено при переводе на английский язык). Этот анализ не следует понимать в том смысле, что технолог или инженер занимается только «применением» теорий, предоставляемых ему чистым ученым. Напротив, технолог и инженер постоянно сталкиваются с проблемами, которые надо решать. Эти проблемы имеют разную степень абстрактности, но обычно имеют, хотя бы отчасти, теоретический характер. Пытаясь решить их, технолог или инженер, как и все остальные, используют метод предположений, проб, проверок, опровержения и устранения ошибок. Это очень хорошо объясняется на р. 43 книги Дж. Т.Дэвиса «Научный подход» (Davies J. Т. The Scientific Approach, 1965) — книги, в которой можно найти много хороших примеров приложения и иллюстраций прожекторной теории науки.

Релевантное предсказание в некотором смысле соответствует «испытанию кислотой», или experimentum crucis: чтобы предсказание P могло быть релевантным испытанию теории T , мы должны иметь возможность сформулировать такое предсказание P', которое не противоречит начальным условиям и остальной части нашего горизонта ожиданий (допущениям, теориям и т. п.) на данный момент, не считая T и которое в сочетании с начальными условиями и с остальной частью нашего горизонта ожиданий противоречит P. Вот что мы имеем в виду, когда говорим, что Р(= Е) должно быть (в отсутствии T ) «неожиданным».

Опытные экзаменаторы могут счесть, что слово «легко» здесь несколько нереалистично. Как сказал однажды, размышляя вслух, председатель государственной экзаменационной комиссии в Вене: «Если студент на экзамене на вопрос „Сколько будет 5 плюс 7?" отвечает „восемнадцать", мы ставим ему проходной балл, но если он отвечает „зеленое", я потом иногда думаю, что все-таки нам следовало бы завалить его».

(Добавлено при переводе на английский язык). В более поздний период (начиная с 1950 г.) я проводил гораздо более резкое различие между теоретическими, или объяснительными, и практическими, или «инструментальными», задачами науки, и подчеркивал логическую первичность теоретической задачи по отношению к инструментальной. В частности, я старался особо отметить, что предсказания имеют не только инструментальный аспект, но также — и в основном — аспект теоретический, поскольку они играют решающую роль при проверке теории, как было показано ранее в данном Приложении (см. также мою книгу "Conjectures and Refutations", особенно главу 3.)