Наименование: | Равенство. |
Определение: | Равенство — это логическое понятие, выражающее отношение взаимной заменимости объектов, которые именно в силу их взаимной заменимости считаются равными. |
Раздел: | Концепты философского дискурса |
Дискурс: | Философия |
Субдискурс: | Логика |
Связанные концепты: | Тождество |
Текст статьи: © М. М. Новосёлов. Подготовка электронной публикации и общая редакция: © Центр гуманитарных технологий. Ответственный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 29.07.2025. | |
Равенство — это логическое понятие, выражающее отношение взаимной заменимости объектов, которые именно в силу их взаимной заменимости считаются равными. Такое понимание равенства восходит к В последнем случае говорят просто о неразличимости, которую обычно приводят как критерий логического равенства, или тождества (см. Тождество), что, однако, неточно, поскольку неразличимость гарантирует, вообще говоря, только равенство в интервале [с точностью до] условий неразличимости, а это последнее, в отличие от логического равенства, не связано с обязательным выполнением транзитивности. Тем не менее, стало уже традицией говорить о принципе равенства неразличимых, который в языке логики предикатов первого порядка выражается аксиомой (экстенсиональности): Практикуемая в приложениях логики замена этих выражений конечным списком «содержательных» аксиом равенства для всех исходных индивидуальных функций и предикатов рассматриваемой теории с добавлением аксиом рефлексивности | |
Библиография | |
---|---|
| |