Этот язык не нуждается в словаре. Здесь выражают 257 плюс знаком +, минус — знаком — и «равно» — знаком =, а количество обозначают буквами и цифрами. Например, х будет числом жетонов, которые я имею в правой руке, а у — числом жетонов в левой руке. Значит, х — 1 = у + 1 означает, что число жетонов у меня в правой руке, уменьшенное на единицу, равно числу жетонов в левой руке, увеличенному на единицу; и х + 1 = 2 у — 2 означает, что число в моей правой руке, увеличенное на единицу, равно взятому дважды числу в левой руке, уменьшенному на единицу. Значит, данные нашей задачи заключены в этих двух уравнениях: х — 1 = у+ 1; х + 1 = 2 у - 2, которые при выделении неизвестного первого члена принимают вид: * = у + 2; х = 2у-3. Из двух последних членов этих уравнений мы образуем уравнение х + 2 = 2 у — 3, которое последовательно принимает вид: 2 = 2 у — у — З; 2 + 3=2у — у; 2 + 3 = у; 5 = у. Очевидность рассуждения состоит исключительно в тождестве, которое обнаруживается при переходе от одного суждения к другому Наконец, из х = у + 2 мы выводим также х = 10 — 3 = 7. Этот алгебраический язык ясно показывает, как в рассуждении суждения связаны друг с другом. Понятно, что последнее суждение заключено в предпоследнем, предпоследнее — в том, которое ему предшествует; таким образом восходят от одного суждения к другому лишь потому, что последнее тождественно предпоследнему, предпоследнее — тому, которое ему предшествует, и т. д.; признано, что это тождество и создает всю очевидность рассуждения. Когда рассуждение развертывается при помощи слов, очевидность также состоит в тождестве, которое замечается между двумя суждениями. В самом деле, ряд суждений 258
— 186 —
|