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

настоящей книги.

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