интеллектуальная операция сопоставления каждому натуральному числу некоторого
множества объектов называется счетом.
Затем, установив это соответствие, мы можем применить к столам операции,
свойства и отношения, заданные на множестве натуральных чисел. Например, если
числу 3 сопоставлено три стола, числу 2 – два стола, то числу +(3,2) = 2+3 = 5 будет
сопоставлено пять столов. Так можно складывать множества столов, повторяя им
сложение чисел. Если Е(4) = И, т.е. число четыре есть четное число, то мы можем
утверждать, что четыре стола есть четное число столов. Если <(4,5) = И, т.е. число
четыре меньше, чем число пять, то также можно утверждать, что четыре стола есть
меньшее число столов, чем пять столов. Таким образом, множества столов ведут себя
так же как числа от единицы до n. Поэтому мы можем говорить также о некоторой
структуре N
E
(эмпирической структуре, подобной N), в которой только вместо чисел
используются множества столов: {T
1
} – множество из первого стола, {T
1
, T
2
} –
множество из первого и второго стола, {T
1
, T
2
, T
3
}- множество из первого, второго и
третьего стола, …, {T
1
, T
2
, …, T
n
} – множество из первого, второго, …, n-го стола. Во
всем остальном структура N
E
не будет отличаться от структуры N – на ней будут
определены те же операции и предикаты, что и на N. Структуры N и N
E
будут очень
похожи, обладая высоким подобием между собой. Такого рода подобия структур
называются в математике изоморфизмом (когда подобие полное), или гомоморфизмом
(когда подобие частичное).
Описанная процедура может проводиться в научном познании для любой
структуры. Если дана чистая структура S, то можно пытаться найти в реальности ее
аналог S
E
, который будет высокоподобен структуре S (изоморфен или гомоморфен ей),
но, в отличие от чистой структуры S, структура S
E
будет уже такова, что, по крайней
мере, ее элементы будут восприниматься органами чувств, или, как говорят в
философии, будут принадлежать эмпирической реальности. Так, в структуре N
E
ее
элементами являются множества столов, которые уже можно видеть глазами и осязать
руками. Структуру S
E
мы будем называть эмпирической реализацией структуры S.
Итак, замечательное свойство математических структур состоит в том, что для них
возможно построение эмпирических реализаций, которые уже хотя бы частично могут
восприниматься органами чувств, или, как говорят, относятся к чувственной
реальности. С этой точки зрения наука использует не просто структуры, но такие,
которые обладают эмпирической реализацией и потому могут быть приложены к
исследованию окружающего нас материального мира.