Скачать 19.68 Кбайт
Онтологическая относительность
Это тоже может быть улажено путем индукции через неоднократные остенсии более утонченного вида, сопровождаемые выражениями вроде "то же самое яблоко" и "другое", но улажено в том случае, если эквивалент аппарата индивидуализации английского языка установлен, в противном случае неопределенность сохраняется, что иллюстрирует пример с "кроликом", "неотделимой кроличьей частью" и "появлением кролика в поле зрения в данный момент времени".
Такова ситуация с непосредственной остенсией. Другой тип остенсии я называю смещенной (deferred) остенсией. Она имеет место, когда мы указываем на канистру, а не на бензин, чтобы показать, что там бензин. Она также имеет место, когда мы объясняем абстрактный сингулярный термин "зеленый" или "альфа", указывая на траву или на греческую надпись. Такое указание является непосредственной остенсией, когда оно используется, чтобы объяснить конкретные общие термины "зеленый" или "альфа", но будет смещенной остенсией, когда используется, чтобы объяснить абстрактные сингулярные термины; ибо абстрактный объект, будь то цвет или буква "альфа", не содержит ни точку остенсии, ни вообще какую-либо точку.
Смещенная остенсия весьма естественно возникает тогда, когда, как в случае канистры с бензином, мы держим соответствие в уме. Другой пример такого рода дает гёделевская нумерация выражений. Таким образом, если 7 приписывается в качестве гёделевского номера6 букве "альфа", человек, вместивший в свое сознание гёделевскую нумерацию, без колебания говорит "семь", указывая на написание рассматриваемой греческой буквы. Ясно, что это уже дважды смещенная остенсия: первая ступень смещения переводит нас от надписи к букве как абстрактному объекту, вторая ведет нас от него к этому номеру.
Обращаясь к нашему аппарату индивидуализации, если он доступен, мы можем различать между конкретно общим и абстрактно сингулярным использованием слова "альфа" это мы видели. Обращаясь снова к этому аппарату и, в частности, к аппарату тождества, мы, очевидно, можем решать также, использовано ли слово "альфа" в его абстрактном сингулярном смысле, чтобы именовать гёделевский номер буквы. В любом случае мы можем различать эти альтернативы, если мы, к нашему удовлетворению, локализовали также эквивалент того, что говоривший назвал номером "7", ибо мы можем спросить его: действительно ли альфа есть 7.
Эти соображения показывают, что смещенная остенсия не добавляет новых существенных проблем к тем, которые встают при непосредственной остенсии. Коль скоро мы установили аналитические гипотезы перевода, охватывающие тождество и другие английские частицы, относящиеся к индивидуализации, мы можем разрешить не только затруднения с "кроликом", "попаданием кролика в поле зрения в данный момент времени" и остальным, но также и с выражением и его гёделевским номером - затруднения, возникающие при смещенной остенсии.
Это заключение, однако, слишком оптимистично. Непознаваемость референции проникает глубоко и сохраняется в своей утонченной форме, даже если мы примем в качестве зафиксированных и установленных тождество и остальной аппарат индивидуализации; даже если мы откажемся от радикального перевода и будем думать только об английском языке.
Рассмотрим ситуацию вдумчивого протосинтактика. В его распоряжении имеется система теории доказательства первого порядка, или протосинтаксис, чей универсум включает в себя только выражения, т.е. цепочки знаков некоего специального алфавита. Что же, однако, представляют собой эти выражения? Они суть изображения, символы (types), а не знаки (tokens)7. Конечно, можно предположить, что каждый из них представляет множество всех своих знаков. Иными словами, каждое выражение есть множество записей, по-разному размещенных в пространстве-времени, но сгруппированных вместе в силу их убедительного сходства в начертании. Связка x^y двух выражений, в данном порядке, будет множеством всех записей, каждая из которых состоит из двух частей, которые суть знаки х и соответственно у, следующих одна за другой в указанном порядке8. Но в таком случае х^у может быть пустым множеством, хотя х и у не пустые; ибо может статься, что записи, принадлежащие х и у, не следуют нигде в этом порядке и не следовали в прошлом и не будут следовать в будущем. Эта опасность возрастает с увеличением размеров х к у. Нетрудно видеть, что она приводит к нарушению закона протосинтаксиса говорящего, что х = z всякий раз, когда х^у= z^у.
Таким образом, наш вдумчивый протосинтактик не будет истолковывать предметы своего универсума как множество записей. Он может, правда, рассматривать атомы, единичные знаки в виде множества записей, ибо в таких случаях не будет риска иметь дело с пустотой. И затем вместо того чтобы принимать в качестве множеств записей свои цепочки знаков, он может привлечь математическое понятие последовательности и трактовать эти цепочки как последовательности знаков. Известный способ трактовки последовательностей состоит в отображении их элементов на числовую ось. При таком подходе выражение или цепочка знаков становится конечным множеством пар, каждая из которых является парой из знака и числа.
Такова ситуация с непосредственной остенсией. Другой тип остенсии я называю смещенной (deferred) остенсией. Она имеет место, когда мы указываем на канистру, а не на бензин, чтобы показать, что там бензин. Она также имеет место, когда мы объясняем абстрактный сингулярный термин "зеленый" или "альфа", указывая на траву или на греческую надпись. Такое указание является непосредственной остенсией, когда оно используется, чтобы объяснить конкретные общие термины "зеленый" или "альфа", но будет смещенной остенсией, когда используется, чтобы объяснить абстрактные сингулярные термины; ибо абстрактный объект, будь то цвет или буква "альфа", не содержит ни точку остенсии, ни вообще какую-либо точку.
Смещенная остенсия весьма естественно возникает тогда, когда, как в случае канистры с бензином, мы держим соответствие в уме. Другой пример такого рода дает гёделевская нумерация выражений. Таким образом, если 7 приписывается в качестве гёделевского номера6 букве "альфа", человек, вместивший в свое сознание гёделевскую нумерацию, без колебания говорит "семь", указывая на написание рассматриваемой греческой буквы. Ясно, что это уже дважды смещенная остенсия: первая ступень смещения переводит нас от надписи к букве как абстрактному объекту, вторая ведет нас от него к этому номеру.
Обращаясь к нашему аппарату индивидуализации, если он доступен, мы можем различать между конкретно общим и абстрактно сингулярным использованием слова "альфа" это мы видели. Обращаясь снова к этому аппарату и, в частности, к аппарату тождества, мы, очевидно, можем решать также, использовано ли слово "альфа" в его абстрактном сингулярном смысле, чтобы именовать гёделевский номер буквы. В любом случае мы можем различать эти альтернативы, если мы, к нашему удовлетворению, локализовали также эквивалент того, что говоривший назвал номером "7", ибо мы можем спросить его: действительно ли альфа есть 7.
Эти соображения показывают, что смещенная остенсия не добавляет новых существенных проблем к тем, которые встают при непосредственной остенсии. Коль скоро мы установили аналитические гипотезы перевода, охватывающие тождество и другие английские частицы, относящиеся к индивидуализации, мы можем разрешить не только затруднения с "кроликом", "попаданием кролика в поле зрения в данный момент времени" и остальным, но также и с выражением и его гёделевским номером - затруднения, возникающие при смещенной остенсии.
Это заключение, однако, слишком оптимистично. Непознаваемость референции проникает глубоко и сохраняется в своей утонченной форме, даже если мы примем в качестве зафиксированных и установленных тождество и остальной аппарат индивидуализации; даже если мы откажемся от радикального перевода и будем думать только об английском языке.
Рассмотрим ситуацию вдумчивого протосинтактика. В его распоряжении имеется система теории доказательства первого порядка, или протосинтаксис, чей универсум включает в себя только выражения, т.е. цепочки знаков некоего специального алфавита. Что же, однако, представляют собой эти выражения? Они суть изображения, символы (types), а не знаки (tokens)7. Конечно, можно предположить, что каждый из них представляет множество всех своих знаков. Иными словами, каждое выражение есть множество записей, по-разному размещенных в пространстве-времени, но сгруппированных вместе в силу их убедительного сходства в начертании. Связка x^y двух выражений, в данном порядке, будет множеством всех записей, каждая из которых состоит из двух частей, которые суть знаки х и соответственно у, следующих одна за другой в указанном порядке8. Но в таком случае х^у может быть пустым множеством, хотя х и у не пустые; ибо может статься, что записи, принадлежащие х и у, не следуют нигде в этом порядке и не следовали в прошлом и не будут следовать в будущем. Эта опасность возрастает с увеличением размеров х к у. Нетрудно видеть, что она приводит к нарушению закона протосинтаксиса говорящего, что х = z всякий раз, когда х^у= z^у.
Таким образом, наш вдумчивый протосинтактик не будет истолковывать предметы своего универсума как множество записей. Он может, правда, рассматривать атомы, единичные знаки в виде множества записей, ибо в таких случаях не будет риска иметь дело с пустотой. И затем вместо того чтобы принимать в качестве множеств записей свои цепочки знаков, он может привлечь математическое понятие последовательности и трактовать эти цепочки как последовательности знаков. Известный способ трактовки последовательностей состоит в отображении их элементов на числовую ось. При таком подходе выражение или цепочка знаков становится конечным множеством пар, каждая из которых является парой из знака и числа.
|
|