Как выражения, пропозициональные функции различаются в порядках, еслипорядок основывается на индексах связанных переменных выражения. Не различая твердо формулы и объекты, он не думал о маневре, по которому выражения высокого порядка указывали бы всякий раз атрибуты низкого порядка, или интенсиональные отношения.
Рассел имел также независимый мотив для сохранения лишних порядков. Он думал, что эти различения помогут против класса парадоксов, не рассмотренных на предыдущих страницах, так называемых семантических парадоксов. Парадокс Греллинга10 возникает из того, что предикат может быть истинен о самом себе (подобно «короткой», которое является коротким словом и т. д.). Мы получаем парадокс, спрашивая о том, является ли «не истинно о себе» истинным о себе. Другой такой парадокс пришел от древности как парадокс Эпимени-да, или парадокс лжеца. Его традиционные формы могут бесконечно варьироваться, но существенная логика его может быть изложена, вероятно, так:
«дает ложность, когда присоединяется к закавычиванию самого себя»
0 коммент.:
Отправить комментарий