|
Отношение тождества (неразличимых) в его формальном аспекте можно уподобить универсальным физическим постоянным, которые, как известно, не зависят от системы отсчета, где измеряются их значения. Напротив, отношение тождества (неразличимых) в его содержательном аспекте, отнесенное к возможностям различения, уже не является универсальной постоянной – это ковариантная величина, относительная к определенной “системе отсчета”. Очевидно, что только содержательный аспект позволяет включить эмпирическую неразличимость в объём понятия о тождестве неразличимых. С формальной точки зрения мы не можем принять редукцию тождества к эмпирической неразличимости, не впадая в противоречие или не ослабляя логический смысл понятия. Именно формальная точка зрения не позволяет поставить понятие тождества в зависимость от того или иного порога различения индивидов, поскольку имеется в виду универсальная приложимость этого понятия. Таким образом, проблемная ситуация здесь налицо: чтобы понятие тождества получило нетривиальный смысл в приложениях, его формальный аспект должен иметь опору в содержательном; между тем именно в этом последнем аспекте, основанном на возможностях различения, отношение тождества не может выражаться иначе, как неразличимостью, несовместимой с формальным аспектом. Традиционный подход к преодолению этой трудности состоит в том, чтобы рассматривать тождество как теоретическую идеализацию реальных отношений. Он вводит тождество как предел, к которому стремится переменная неразличимость. И хотя на практике такое тождество недостижимо, теоретически всё же полагают, что предельный переход завершен. Таким образом, в теорию тождество вводится как достижимая абстрактная реалия, отличная от любого из тех ее эрзац-представлений, которые мы получаем методом последовательных приближений. Но по завершении перехода к пределу кажется вполне естественным истолковать тождество в его формальном (логическом) аспекте, по принципу Лейбница, как единственную абсолютную (“последнюю”) неразличимость, а все её конечные приближения – как неразличимости относительные, обусловленные особенностями средств различения. Существенным теоретическим следствием указанного традиционного подхода является такая топология на универсуме, при которой структура универсума отделена (независима) от “внешней” для нее практики измерений. Поэтому традиционная концепция строится не на интервальных, а на точечных образах. Она опирается, с одной стороны, на представление об универсуме как точечном множестве, а с другой – на далеко идущую гипотезу о возможности (трансцендентной) индивидуации всех элементов этого множества. — 123 —
|