С этой целью сформулируем апорию в виде, удобном для формализации: «Если в миресуществует многое, то оно одновременно и конечно, и бесконечно». Обозначив предикаты «быть многим» S(x), «быть конечным» через P(x), а «быть бесконечным»через ùP(x),вышепроизведенное высказывание мы можем выразить следующим образом:

   x( S(x) ®(P(x) ÙùP(x)))

   Переднами логически ложная импликация, опираясь на которую, Зенон сделал выводвообще о немыслимости существования многого в бытии. Однако ошибка Зенона не втом, что он возмущался допущением, согласно которому «многое» одновременноконечно и бесконечно по числу его элементов, а лишь в том, что он заявил онемыслимости существования какого бы то ни было «многого», тогда как следовалоотрицать только такое «многое», которое в действительности не существует и даженевозможно, то есть актуальное бесконечное многое или потенциально бесконечноемногое – подлинная реальность.

 

<< | >>