May 21, 2021 12:09
Читая учебник по истории логики, задумался над термином "исчисление". Буль заменил предметы и операции символами - как до этого числа и операции в алгебре (алгебра логики). Так и исходно слово calculus означало камешек, используемый для счета. Т.е. суть в замене содержательного формальным, конкретного - абстрактным, несущего в себе множество связей и ассоциаций - стерильно-однозначным.
Этот ход присутствует даже в надписи на асфальте мелом (а кстати, англ. chalk - от calculus): ВАСЯ + МАША = ЛЮБОВЬ. Сколько всяких чувств впихнуто в этот знак равенства!
форма и содержание,
логика