Логики Шрёдингера — это разновидность неклассической логики, в которой ограничен закон тождества .
Эта логика мотивирована тем, что в квантовой механике элементарные частицы могут быть неотличимы даже в принципе на основе любых измерений. Это, в свою очередь, предполагает, что такие частицы нельзя рассматривать как самотождественные объекты в том смысле, в котором такие вещи обычно рассматриваются в рамках формальной логики и теории множеств. [1]
Логики Шрёдингера — это многосортные логики, в которых выражение x = y вообще не является корректной формулой . Формальную семантику можно обеспечить с помощью понятия квазимножества. Логику Шрёдингера ввели да Коста и Краузе. [2] [3]
Логика Шредингера не связана с квантовой логикой , которая является логикой высказываний, отвергающей законы дистрибутивности классической логики .