Есть ли у кого-нибудь интуитивные предположения о том, каким может быть двойственное отношение тождества? То есть существует ли «естественное» понятие, выраженное таким высказыванием, как «это не тот случай, когда а не тождественно b», где это последнее утверждение может быть использовано для выражения высказывания, двойственного высказыванию «а тождественно b». '?
Возможно, вы ищете что-то вроде дополнения отношения обособленности . Отдельность фокусируется на различении вещей, а не на их идентификации.
На практике мы бы склонялись к сильному логическому предположению, a
которое не является идентичным b
, основываясь на том, что одно имя называется «а», а другое — «б», потому что различие в именах подразумевает пространственное и/или временное различие в условиях, при которых каждое из них встречается. Бремя доказательства ложится на тех, кто утверждает, что «Геспер — это Фосфор».
Предпосылка о том, что классическая философская логика имеет какой-то сильный принцип тождества, сама по себе немного подозрительна. Корабль Тесея был важным парадоксом с первых дней философии.
Настоящая проблема заключается в том, что «то же самое» требует устранения неоднозначности, если мы говорим в логическом контексте. Таким образом, формальные языки в вычислительной технике часто имеют несколько предикатов одинаковости [например, Лисп eq
, eql
и equal
].
Возможно, прагматичный принцип Пирса указывает путь. a
не тождественно b
тогда и только тогда, когда эффекты a
не идентичны эффектам b
.
Очевидным логическим ответом было бы отрицание выражения идентичный (т. е. не идентичный). Другая возможность: «отличается» (т. е. А отличается от Б).
Алексис
пользователь9166