Find kilder: “Abstrakt struktur” – nyheder – aviser – bøger – scholar – JSTOR (juni 2009) (Lær hvordan og hvornår du kan fjerne denne skabelonbesked)
En abstrakt struktur er et formelt objekt, der er defineret af et sæt love, egenskaber og relationer på en måde, der er logisk, om end ikke altid historisk uafhængig af strukturen af kontingente erfaringer, for eksempel dem, der involverer fysiske objekter. Abstrakte strukturer studeres ikke kun inden for logik og matematik, men også inden for de områder, der anvender dem, som f.eks. datalogi, og inden for de studier, der reflekterer over dem, som f.eks. filosofi (især matematikkens filosofi). Faktisk er moderne matematik i en meget generel forstand blevet defineret som studiet af abstrakte strukturer (af Bourbaki-gruppen: se diskussionen der, ved algebraisk struktur og også struktur).
En abstrakt struktur kan repræsenteres (måske med en vis grad af tilnærmelse) af et eller flere fysiske objekter – dette kaldes en implementering eller instantiering af den abstrakte struktur. Men selve den abstrakte struktur er defineret på en måde, der ikke er afhængig af egenskaberne ved en bestemt implementering.
En abstrakt struktur har en rigere struktur end et begreb eller en idé. En abstrakt struktur skal indeholde præcise adfærdsregler, som kan bruges til at afgøre, om en kandidatimplementering rent faktisk passer til den pågældende abstrakte struktur. Vi kan således diskutere, hvor godt en bestemt regering passer til begrebet demokrati, men der er ikke plads til debat om, hvorvidt en given træksekvens er eller ikke er et gyldigt skakspil.