Абстрактная структура — это абстракция , которая может относиться к геометрическим пространствам или структуре множества, или ипостасная абстракция , которая определяется набором математических теорем и законов, свойств и отношений таким образом, который является логически, если не всегда исторически независимым [1] . ] структуры случайного опыта, например, связанного с физическими объектами. Абстрактные структуры изучаются не только в логике и математике , но и в областях, которые их применяют, таких как информатика и компьютерная графика , а также в исследованиях, которые размышляют над ними, таких как философия (особенно философия математики ). Действительно, современная математика была определена в очень общем смысле как исследование абстрактных структур (группой Бурбаки : см. обсуждение там алгебраической структуры , а также структуры).
Абстрактная структура может быть представлена (возможно, с некоторой степенью приближения) одним или несколькими физическими объектами – это называется реализацией или созданием экземпляра абстрактной структуры. Но сама абстрактная структура определяется таким образом, чтобы не зависеть от свойств какой-либо конкретной реализации.
Абстрактная структура имеет более богатую структуру, чем концепция или идея . Абстрактная структура должна включать точные правила поведения, которые можно использовать для определения того, действительно ли реализация-кандидат соответствует рассматриваемой абстрактной структуре, и она должна быть свободна от противоречий . Таким образом, мы можем спорить о том, насколько хорошо то или иное правительство соответствует концепции демократии , но нет места для споров о том, является ли данная последовательность ходов правильной игрой в шахматы (например, подходы Каспарова ).