|
{≠} -> {x = x} -> {{x = x}, {y = y}} -> {{x = x}, {y = y}, {z = z}}
где
0 = {≠} = {}, 1 = {x = x}, 2 = {{x = x}, {y = y}}, 3 = {{x = x}, {y = y}, {z = z}}
В отношении чего-то можно сказать, что оно есть тоже самое. Х есть (существует, быть) -
это характеристика Х со стороны качества. Х есть Х равносильно Х = Х.
Именно в определении единицы 1 = {Х = Х} = {0 = Х - Х} виден переход качества в количество.
А функция "следовать за " т.е. " ->" есть "различие с различным", такое что
{x = x} ≠ {≠};
{{x = x}, {y = y}} ≠ {≠} и {{x = x}, {y = y}} ≠ {x = x};
{{x = x}, {y = y}, {z = z}} ≠ {≠} и {{x = x},{y = y},{z = z}} ≠ {x = x} и {{x = x},{y = y},{z = z}} ≠ {{x = x}, {y = y}}
Цитирую Спинозу в статье Фреге "ЛОГИКО-МАТЕМАТИЧЕСКОЕИССЛЕДОВАНИЕ О ПОНЯТИИ ЧИСЛА":
вещь может называться единой или единственной лишь по отношению к своему
существованию, а не по отношению к своей сущности, ибо мы мыслим вещи под [категорией]
числа только после того, как они подведены под некоторый общий род. Так, например, человек,
держащий в руке сестерцию и империал, не подумает о числе «два», если он не имеет
возможности назвать их одним и тем же именем, а именно: «монетами» или «деньгами», ибо в
этом случае он может утверждать, что имеет две монеты, так как этим именем он обозначает как
сестерцию, так и империал»
|
