Абстрактная структура - Abstract structure
Абстрактная структура является ипостасной абстракцией , которая определяется набором законов, свойств и отношений таким образом , что логически , если не всегда исторически зависит от структуры условных событий, например, те , которые вовлекают физические объекты. Абстрактные структуры изучаются не только в логике и математике, но и в областях, которые их применяют, таких как информатика , и в исследованиях, которые их отражают, таких как философия (особенно философия математики ). В самом деле, современная математика была определена в очень общем смысле как изучение абстрактных структур (группой Бурбаки : см. Обсуждение алгебраической структуры, а также структуры).
Абстрактная структура может быть представлена (возможно, с некоторой степенью приближения) одним или несколькими физическими объектами - это называется реализацией или созданием абстрактной структуры. Но сама абстрактная структура определяется способом, который не зависит от свойств какой-либо конкретной реализации.
Абстрактная структура имеет более богатую структуру, чем концепция или идея . Абстрактная структура должна включать в себя точные правила поведения, которые можно использовать для определения того, действительно ли реализация-кандидат соответствует рассматриваемой абстрактной структуре, и она не должна содержать противоречий . Таким образом, мы можем спорить о том, насколько хорошо конкретное правительство соответствует концепции демократии , но нет места для споров о том, является ли данная последовательность ходов правильной игрой в шахматы.
Примеры
- Алгоритм сортировки является абстрактной структурой, но рецепт не является, потому что это зависит от свойств и количеств его компонентов.
- Простая мелодия - это абстрактная структура, а оркестровка - нет, потому что она зависит от свойств конкретных инструментов.
- Евклидова геометрия - абстрактная структура, но теория дрейфа континентов - нет, потому что она зависит от геологии Земли .
- Формальный язык представляет собой абстрактную структуру, но естественный язык не является, потому что его правила грамматики и синтаксиса открыты для обсуждения и интерпретации.
Смотрите также
- Абстракция в информатике
- Абстракция в целом
- Абстракция в математике
- Абстрактный объект
- Дедуктивный аппарат
- Формальные науки
- Математическая структура
- Теория объекта
 |
Эта статья о математической логике - незавершенная . Вы можете помочь Википедии, расширив ее . |