в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...

В книге 'Идентичность в физике: исторический, философский и формальный анализ' современные метафизики ломают голову при размышлении об онтологии, соответствующей принципиально неразличимым частицам в квантовой механике. Такое противоречит метафизическому принципу тождества неразличимых Готфрида Лейбница, поэтому надо либо каким-то образом приписать идентичность неразличимым частицах, либо строить метафизику без тождества неразличимых. Кстати, это еще одна причина неадекватности атомизма 19-ого века в духе летающих бильярдных шаров. Неразличимость впервые появилась в статистике, использованной Максом Планком в статье 1900 года для обоснования уравнения плотности энергии черного тела...