базируется на модальной логике, в частности на том, что если две вещи тождественны, то они тождественны с необходимостью
Хочу заметить, что в классической логике тождество - это тоже достаточно нетривиальная вещь. Например, есть принцип Лейбница, который декларирует, что равные объекты имеют одинаковые свойства. В логике первого порядка он формализуется правилом, что в любой формуле можно заменить объект на равный ему (строго говоря, речь идёт о частичной замене переменных, например, формулу

можно заменить на

и при условии

истинность сохранится). Но, увы, в логике второго порядка это ни фига не работает.
Вот равны ли

и

? Чисто арифметически - равны, ибо это доказуемо в арифметике. Но термы-то разные. Арифметика первого порядка не оперирует понятием "термы", для неё они просто разные имена одного и того же объекта. Можно в любой формуле заменить

на

и арифметика "не заметит". А вот в логике второго порядка такой фокус не пройдёт, ибо она может оперировать не только свойствами, выразимыми формулами языка, но и невыразимыми. И два этих выражения имеют кучу свойств, которые невыразимы формулами языка и при этом отличаются.
Короче, в логике второго порядка подход другой. Там равенство - это просто произвольно выбранное отношение эквивалентности: объекты из одного класса эквивалентности считаются равными "в определённом смысле", хотя в другом смысле они могут считаться различными.
-- Ср янв 28, 2026 17:36:57 --вы инструментальными методами не можете определить чувствует ли другой человек боль или нет
Представьте себе, нейрофизиологи именно этим и занимаются.
зомби он или нет, существует ли он вообще или это ваш сон и т.д.
А вот эти вопросы уже просто бессмыслица. Поэтому на них и нельзя ответить "инструментальными методами".
Аналогично вот сейчас рассуждают о том что нам делать с роботами, если создадут роботов поведенчески почти идентичных людям, будут ли они чувствовать боль, не причиним ли мы им боль если будет так то или так то к ним относится.
Ну так если они начнут жаловаться, то нам наверняка нужно будет это учесть.
Ну и вот теперь у онтологии теории относительности есть сложности с нелокальными корреляциями из квантовой механики и основной способ подружить в этом вопросе теорию относительности и квантовую механику, он как раз инструменталисткий.
Я не знаю никакой "онтологии теории относительности". Если "сложности", о которых Вы говорите, это парадокс Эйнштейна-Подольского-Розена, то экспериментальное его разрешение не таким образом, как ожидал Эйнштейн, проблемой для теории относительности не стало.
Реальная проблема отношений теории относительности и квантовой механики - это неквантуемость гравитации. Но это не имеет отношения к парадоксу ЭПР. Там скорее источник проблемы в том, что квантовая теория поля изначально строится как теория возмущений с нулевым приближением в виде плоского пространства-времени без поля. Потом к этому нулевому приближению даются поправки в виде диаграмм Фейнмана первого, потом второго, а потом и более высоких порядков. Так вот, оказалось, что этот процесс последовательных приближений в случае с гравитацией не сходится (так называемая "неперенормируемость").
Короче, ни каким онтологиям это не имеет никакого отношения.