Abstrakt struktur - Abstract structure
En abstrakt struktur är en hypostatisk abstraktion som definieras av en uppsättning lagar, egenskaper och relationer på ett sätt som är logiskt om inte alltid historiskt oberoende av strukturen för kontingenta upplevelser, till exempel de som involverar fysiska objekt. Abstrakta strukturer studeras inte bara i logik och matematik utan i de områden som tillämpar dem, som datavetenskap och i de studier som reflekterar över dem, till exempel filosofi (särskilt matematikfilosofin ). Faktum är att modern matematik har definierats i mycket allmän mening som studiet av abstrakta strukturer (av Bourbaki -gruppen: se diskussion där, om algebraisk struktur och även struktur).
En abstrakt struktur kan representeras (kanske med en viss approximation) av ett eller flera fysiska objekt - detta kallas en implementering eller instansiering av den abstrakta strukturen. Men själva abstraktstrukturen definieras på ett sätt som inte är beroende av egenskaperna hos någon särskild implementering.
En abstrakt struktur har en rikare struktur än ett koncept eller en idé . En abstrakt struktur måste innehålla exakta beteenderegler som kan användas för att avgöra om en kandidatimplementering faktiskt matchar den aktuella abstraktstrukturen, och den måste vara fri från motsättningar . Således kan vi debattera hur väl en viss regering passar in i demokratibegreppet , men det finns inget utrymme för debatt om huruvida en given följd av drag är ett giltigt schackspel.
Exempel
- En sorteringsalgoritm är en abstrakt struktur, men ett recept är det inte, eftersom det beror på egenskaperna och mängderna av dess ingredienser.
- En enkel melodi är en abstrakt struktur, men en orkestrering är det inte, eftersom den beror på egenskaperna hos vissa instrument.
- Euklidisk geometri är en abstrakt struktur, men teorin om kontinentaldrift är inte, eftersom den beror på jordens geologi .
- Ett formellt språk är en abstrakt struktur, men ett naturligt språk är det inte, eftersom dess grammatikregler och syntax är öppna för debatt och tolkning.
Se även
- Abstraktion inom datavetenskap
- Abstraktion i allmänhet
- Abstraktion i matematik
- Abstrakt objekt
- Deduktiv apparat
- Formella vetenskaper
- Matematisk struktur
- Objektteori
 |
Den här matematiska logikrelaterade artikeln är en stubbe . Du kan hjälpa Wikipedia genom att utöka den . |
