Хотя я несколько раз слышал это возражение, в печати я встретил его лишь однажды, причем, что достаточно курьезно, в работе, не имеющей отношения к философии: Hilbert D., Bemays P. (1939), v. 2, р. 269 (где оно не имеет характера какого-либо возражения). С другой стороны, в обсуждениях моей работы профессиональными философами я не нашел никаких замечаний на эту тему (см. сноску 2).
См. работу: Gonseth F. (1938), р. 187.
См. работы: Nagel Е. (1938), Nagel E. (1942), р. 471. Замечание, идущее, может быть, в том же самом направлении, можно найти в работе: Weinberg J. (1942), р. 77; см., однако, его предыдущие замечание на р. 75.
Эта тенденция очевидна в ранних работах Карнапа (см., например: Carnap R. (1937), в частности, часть V) и в сочинениях других членов Венского кружка. См. об этом работы: Kokoszynska M. (1936a), Weinberg J. (1942)
О других результатах, полученных с помощью теории истины, см. работы: GodelK. (1936), Tarski A. (1935), р. 401, Tarski A. (1939), p. 111.
Некоторый объект, например, число или множество чисел, называется определимым (в данном формализме), если существует пропозициональная функция, определяющая его (см. сноску 22). Таким образом, хотя термин определимый имеет мета-математический (семантический источник, он является чисто математическим по своему объему, так как выражает свойство (обозначает класс) математических объектов. Благодаря этому понятие определимости можно переопределить в чисто математических терминах, хотя и не в рамках той формализованной дисциплины, к которой это понятие относится. Однако фундаментальная идея определения не изменяется. См. к этому, а также для дальнейших библиографических ссылок, работу: Tarski A. (1931). Различные другие результаты относительно определимости можно найти в литературе, например, в работе: Hubert D., Beniays P. (1939), v. 1, pp. 354, 369, 456П; Lindebaum A., Tarski A. (1936). Можно заметить, что термин определимый иногда употребляется в другом, мета-математическом (но несемантическом) смысле. Это происходит, например, в тех случаях, когда мы говорим, что некоторый термин определим в других терминах (на базе данной системы аксиом) Об определении модели системы аксиом см. работу: Tarski A. (1937).
