Объяснение логических терминов
А

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

Метки:, , , , ,

Похожие страницы