Encontrar fuentes: «Estructura abstracta» – noticias – periódicos – libros – scholar – JSTOR (junio de 2009) (Aprende cómo y cuándo eliminar este mensaje de la plantilla)
Una estructura abstracta es un objeto formal que se define por un conjunto de leyes, propiedades y relaciones de una manera que es lógicamente, si no siempre históricamente, independiente de la estructura de las experiencias contingentes, por ejemplo, las que involucran objetos físicos. Las estructuras abstractas se estudian no sólo en la lógica y las matemáticas, sino en los campos que las aplican, como la informática, y en los estudios que reflexionan sobre ellas, como la filosofía (especialmente la filosofía de las matemáticas). De hecho, la matemática moderna ha sido definida en un sentido muy general como el estudio de las estructuras abstractas (por el grupo de Bourbaki: véase la discusión allí, en la estructura algebraica y también en la estructura).
Una estructura abstracta puede ser representada (quizás con cierto grado de aproximación) por uno o más objetos físicos – esto se llama una implementación o instanciación de la estructura abstracta. Pero la estructura abstracta en sí misma se define de una manera que no depende de las propiedades de ninguna implementación particular.
Una estructura abstracta tiene una estructura más rica que un concepto o una idea. Una estructura abstracta debe incluir reglas precisas de comportamiento que puedan utilizarse para determinar si una implementación candidata se ajusta realmente a la estructura abstracta en cuestión. Así, podemos debatir si un determinado gobierno se ajusta al concepto de democracia, pero no cabe debatir si una determinada secuencia de jugadas es o no una partida de ajedrez válida.