Владимир Булыгин - В сути вещей

Каждое убитое животное, включая и мамонта, можно отображать различными способами. Можно изображать его ноги, голову, хвост, … но можно обозначать так, как это уже делается. Пусть этим способом будет «зарубка, зарубка».

Как-то нужно различать животное, которое убито сейчас, от животного, которого убили ранее. Если животное, которое убили ранее, отображали «зарубка, зарубка», то пусть животное, которое убили сейчас, будет отображаться «зарубка, зарубка, зарубка, зарубка».

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

Тогда для «ранее убитое → убитое сейчас → убитое потом» будет соответствовать «зарубка, зарубка → зарубка, зарубка, зарубка, зарубка → зарубка». И далее в этом ряду может быть произвольно выбранное, но отличное от уже использованного, например, «зарубка, зарубка, зарубка».

Этот способ хоть и верен, но весьма громоздок и поэтому не удобен. … Возможно, «зарубка, зарубка» стоит изменить: левую зарубку рисовать под наклоном снизу-вверх, соединив верхний ее конец с верхним концом другой зарубки. …

Благодаря возможности «оставаться тем же самым», а не другим, всякая вещь есть то, что она есть.

Всякое единое не членится на (многие) части, если хотя бы одна из частей равна этому единому. Это важно! Последнее предложение выражает мысль иную, нежели мысль греческая [9]: «тождественное себе не может не изменяться, ни возникать и исчезать, ни двигаться, ни члениться на части – оно может только быть и быть тождественным себе». Всякое единое может члениться на (многие) части, если каждая из частей не равна этому единому (целому)!

Тогда, если верно, что «единое – это то, что не изменяется», что есть второе? Второе – не просто равное себе, но равное себе чего-то иного и которое следует после того, что равно себе (смотри табл. 3).

Таблица 3

Какой смысл вложен в определение числа как «различия тождества»? В том-то его и смысл, что, во-первых, быть числом – значит «оставаться тем же самым» и, во-вторых, быть числом – значит различаться по отношению к иным «оставаться тем же самым». P.S. Для множества квадратов «m = {красный квадрат, синий квадрат}» определенной единицей будет – «1 квадрат = {квадрат = квадрат}». Или, в более общем виде (с учетом рисунка 1), для «a = {b, c}; s = {b, p}; m = {a, s} = {{b, c}, {b, p}}» – «1 b = {b = b}».

Разговора с математиками об основаниях математики не получилось. Не получилось потому, что выход за пределы соображалки калькулятора самим калькуляторам не под силу, к сожалению. … Для гномиков с математического домика это явилось непреодолимой силой.

Как тут не вспомнить Рассела! Его философское развитие принципов математики [10]: «Теория дескрипций, упомянутая выше, впервые была изложена в моей статье «О денотации» в журнале «Майнд» (1905). Она так поразила тогдашнего редактора журнала, посчитавшего ее нелепой, что он упрашивал меня пересмотреть ее и не настаивать на публикации».

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

Вы написали, что «понятие единицы счета – понятие условное». Не соглашусь. Конечно, единице мы можем сопоставить и яблоко, и кучу яблок. Вместе с тем, мы пользуемся единицей как таковой (без привязки к яблоку или к куче яблок – и то и другое только сопоставляется единице).

Задача как раз и состоит в том, чтобы в определении единицы отразить то общее, что имеется как у того же яблока, так и кучи яблок, и выразить единицу через равенство (высказать о единице истину).

Так вот, в том-то и дело, что «один А – то же самое, что А = А» или «один А – то же самое, что 0 = А – А», где, как уже говорил, вместо А можно подставить как яблоко, так и кучу яблок.

Смысл значка «равно» – оставаться тем же, не изменяться. Когда мы говорим о единице (а не о единице чего-то определенного) мы как раз об этом – «оставаться тем же самым». И нам в этом случае (когда говорим о единице как таковой) не важно, что именно мы считаем (яблоки, вагоны, наборы инструментов и т. д.)

По сути, когда мыслим количество как совокупность единиц, выделяем «то, что не изменяется»: вместо {а, b, с} выделяем существование этих «a, b, c», т. е. {а = а, b = b, c = c}, т. е. {одно а, одно b, одно с}

Здравствуйте, Владимир!

Если я правильно понял, Вы ищите более точное и более общее определение единицы без привлечения материальных, а точнее чувственных образов, чтобы использовать строгое определение единицы в области логических наук?