추상구조
Abstract structure |
추상적 구조는 예를 들어 물리적 사물을 포함하는 조건부 경험의 구조와 역사적으로 항상 독립적이지 않다면 논리적으로 일련의 법칙, 속성 및 관계에 의해 정의되는 저변적 추상화다. 추상적 구조는 논리학이나 수학뿐만 아니라 그것을 응용하는 분야, 컴퓨터 과학으로서, 그리고 그것을 성찰하는 학문, 예를 들면 철학(특히 수학의 철학)에서 연구된다. 사실, 현대 수학은 매우 일반적인 의미에서 추상적 구조에 대한 연구로 정의되었다(Bourbaki 그룹에 의해: 거기에서, 대수적 구조와 구조에서 토론을 보라).
추상적 구조는 하나 이상의 물리적 객체에 의해 (아마도 어느 정도 근사치로) 표현될 수 있다. 이를 추상 구조의 구현 또는 인스턴스화라고 한다. 그러나 추상적 구조 그 자체는 어떤 특정한 구현의 속성에 의존하지 않는 방식으로 정의된다.
추상적인 구조는 개념이나 아이디어보다 더 풍부한 구조를 가지고 있다. 추상 구조는 후보 구현이 실제로 문제의 추상 구조와 일치하는지 여부를 결정하는 데 사용될 수 있는 정확한 행동 규칙을 포함해야 하며, 모순이 없어야 한다. 따라서 우리는 특정 정부가 민주주의라는 개념에 얼마나 잘 부합하는지에 대해 논쟁할 수도 있지만, 주어진 일련의 움직임이 유효한 체스 게임인지 아닌지에 대해서는 논쟁의 여지가 없다.
예
- 분류 알고리즘은 추상적인 구조지만 레시피는 그 성분의 성질과 양에 따라 달라지기 때문에 그렇지 않다.
- 단순한 선율은 추상적인 구조지만, 오케스트레이션은 특정 악기의 특성에 따라 달라지기 때문에 그렇지 않다.
- 유클리드 기하학은 추상적인 구조지만 대륙 이동 이론은 그렇지 않다. 왜냐하면 그것은 지구의 지질학에 달려 있기 때문이다.
- 형식 언어는 추상적인 구조지만 자연 언어는 그렇지 않다. 왜냐하면 문법과 구문의 규칙은 토론과 해석에 열려 있기 때문이다.
