[9. ОПЕРАЦИИ С ПРЯМОЙ]
Однако чтобы не показаться какими-то софистами и не тратить все содержание возражений на одни только геометрические принципы, давайте перейдем к дальнейшему и, как мы обещали раньше [316], рассмотрим теоремы, следующие у них за принципами.
Например, говоря о разделении данной линии на две части [317], они говорят о разделении или той линии, которая дана на доске, или той, которая мыслится на основании перехода от этой. Однако они не могут говорить о разделении линии, данной на доске, поскольку эта линия является имеющей чувственную длину и ширину, а та прямая линия, о которой говорят они, есть длина без ширины, так что, не будучи, по их мнению, линией на доске, она не может быть и разделена на две части как линия. Но не может быть разделена и линия, которая мыслится по переходу от этой [линии на доске]. Действительно, пусть, например, будет дана линия, состоящая из девяти точек, причем от каждого конца будет считаться четыре и четыре точки, а одна из них будет находиться между двумя четверками [точек] [318]. Если при этих условиях целая линия делится на две [равные] части, то делящее попадает либо между этой пятой точкой и другой четверкой точек, либо на самую эту пятую точку так, что разделит ее [пополам]. Однако было бы неразумным считать, что делящее проходит между упомянутой пятой точкой и одной из четверок [точек], поскольку результаты деления оказались бы неравными и один из [отрезков] состоял бы из четырех точек, а другой из пяти. Но было бы еще гораздо неразумнее этого думать, что сама точка делится пополам, потому что [тогда] у них уже не оставалось бы точки, лишенной всякого размера, раз она делится пополам делящим.
То же самое рассуждение [получается] и тогда, когда они говорят о делении круга на равные части [319]. Действительно, если круг делится на равные части, то, поскольку он обязательно содержит посередине себя центр, который как раз является точкой, этот центр должен быть приписан к одной из половин [круга] или должен будет сам делиться пополам. Однако отнесение центра круга к той или иной из его половин делает деление пополам неравным; а если и сам он делится пополам, то это противоречит тому, что точка лишена промежутков и частей.
Далее, делящее линию или есть тело, или оно бестелесно. Но оно не может быть ни телом, поскольку [тело] не могло бы разделить нечто лишенное частей и бестелесное, с чем невозможно столкнуться, ни бестелесным. Ведь если это бестелесное есть опять-таки точка, то оно не может производить деления, поскольку не имеет частей и делит опять-таки не имеющее частей; если же оно есть линия, то в свою очередь, раз оно должно делить своими собственными границами, а ее границы лишены частей, оно опять не производит никакого деления.
И иначе: та граница, которая производит деление, делит линию на две части, или попадая в середину между двумя точками, или оказываясь в середине самой точки. Однако невозможно, чтобы она оказывалась в середине точки, потому что, как мы сказали выше [320], [в данном случае] было бы необходимым, чтобы точка вообще оказывалась делимой и уже не лишенной размеров. Но еще неразумнее было бы думать, что она оказывается посередине двух точек. Во-первых, никакая граница не может падать в середине того, что непрерывно. Во-вторых, если даже допустить возможность этого, то она должна была бы раздвинуть то, посередине чего она поместилась бы, если оно действительно непрерывно. Однако оно не способно двигаться. Следовательно, и рассуждение относительно того, что производит деление, тоже ведет к апории.
Впрочем, пусть даже мы согласимся с ними в том, что отнятие производится от чувственных прямых. Все равно и в этом случае у них ничего не получится. Действительно, отнятие может происходить или от всей прямой, или от ее части; и то, что отнимается, будет отнимаемым или в качестве равного от равного, или в качестве неравного от неравного, или наоборот. Но, как мы установили в рассуждении против грамматиков [321] и против физиков [322], ничто из этого не может быть проведено беспрепятственно. Следовательно, для геометров невозможно что-нибудь отнимать от прямой или ее делить.
КНИГА IV ПРОТИВ АРИФМЕТИКОВ
Так как из количества одно содержится в области непрерывных тел (оно, как известно, называется величиной, и им занимается главным образом геометрия), другое же содержится в области тел прерывных — это есть число, и относительно него возникает арифметика, — то, переходя от геометрических принципов и теорем к дальнейшему, мы подвергнем рассмотрению и то, что относится к числу. Ведь с устранением этого последнего не сможет возникнуть и относящаяся к нему наука.