В сути вещей

Здравствуйте, Вячеслав!

Да, ищу логическое определение единицы. И оно, на мой взгляд, таково: «1 А = {А = А}», где А – все что угодно, например: шарик, куча кирпичей и т. д., а {} – соответствует придаточному предложению (…, что …), совокупности чего-либо.

1 А = {А = А} может быть прочитано как: «Один А суть то, что А существует. Один А то же самое, что А равняется А. Один А есть то, что А остается тем же самым А. Один А это то, что А не изменяется».

Такое определение единицы базируется на понимании понятия «существовать» как «самотождественно», как то, что «не изменяется». Поскольку очень важно для понимания, что существует, а что не существует, … приведу пример.

Допустим, имеется квадрат красного цвета со стороной 10 сантиметров. Пусть «квадрат красного цвета со стороной 10 сантиметров» изменится – станет синим. Перестал ли существовать «квадрат» в этом случае? Нет. А вот «квадрат красного цвета со стороной 10 сантиметров» изменился – перестал существовать. «Квадрат красного цвета со стороной 10 сантиметров» не равен «квадрат синего цвета со стороной 10 сантиметров». А если изменить его сторону – с 10 сантиметров на 15 сантиметров? Квадрат опять не изменится, поскольку квадрат – это прямоугольник с равными сторонами (ромб с прямыми углами). И только изменив, например, его углы (сделав их не 90 градусов), квадрат перестанет существовать.

Математика со времен Рассела говорит о «существовании», как о «хотя бы один». Поэтому «хотя бы один» заменимо на «существовать». Но проблема в том, что со времен же Рассела говорится о «существовании», как не о «самотождественно». Т.е отрицается возможность замены «люди существуют» на «люди самотождественны». Т. е. «люди существуют» не то же самое, что «люди есть люди», что «люди = люди». Сам же Фреге утверждал, что «люди существуют» то же самое, что «люди самотождественны».

Что касается трактовки единицы, принятой в математике, то их две: аксиомы Пеано и определение Фреге-Рассела. Но в аксиомах Пеано лишь говорится, что единица существует, но не говорится, что есть единица. А определение Фреге-Рассела не пригодно в том смысле, что не понятно, как именно это определение можно использовать для подсчета чего-то определенного.

Здравствуйте, Владимир! Мне Вы разъяснили и убедили. Правда, в отношении меня всетаки потребовались конкретные примеры. И я бы назвал символьную запись определения единицы «1 А = {А = А}», как короткое обозначение, связывающее весь процесс вывода определения единицы с множеством конкретных примеров в один образ. Как интересно отнесутся к этому корифеи науки логики? Желаю успехов.