[5. Горгий]
Исходя из того же построения, содействовал отвергающим критерий Горгий Леонтинский, хотя и с другими целями, чем ученики Протагора. В сочинении "О не-сущем, или О природе" он скомпановал последовательно три главы: первую о том, что ничего не существует; вторую — о том, что даже если оно и существует, то оно непостижимо для человека; и третью — о том, что если оно и постижимо, то уже во всяком случае невысказываемо и необъяснимо для другого [39].
А о том, что ничего не существует, он рассуждает следующим образом. Именно, если что-нибудь существует, то оно есть или сущее, или не-сущее, или сущее и не-сущее [вместе]. Но оно не есть ни сущее, как сейчас будет ясно, ни не-сущее, как будет показано, ни сущее и не-сущее вместе, как будет преподано и это. Значит, ничего не существует. Таким образом, не-сущее не существует. В самом деле, если не-сущее существует, то нечто должно существовать и не существовать: поскольку оно не мыслится сущим, оно не должно существовать; поскольку же оно есть не-сущее, то в таком случае оно все-таки есть. Однако совершенно нелепо чему-нибудь одновременно быть и не быть. Следовательно, не-сущее не существует. И еще иначе: если не-сущее существует, то не должно существовать сущее, потому что это "сущее" и "не-сущее" противоположны одно другому; и если не-сущему свойственно бытие, то сущему должно быть свойственно небытие. Но во всяком случае нельзя признать, что сущее не существует. Следовательно, не должно существовать не-сущее. Однако и сущее не существует. Действительно, если сущее существует, то оно или вечно, или преходяще, или и вечно и преходяще [одновременно]. Но оно ни вечно, ни преходяще, ни то и другое вместе, как мы покажем. Следовательно, сущее не существует.
В самом деле, если сущее вечно [начнем отсюда], оно не имеет никакого начала. Но все возникающее имеет какое-нибудь начало, вечное же, как пребывающее в непреходящем виде, не имеет начала. А так как оно не имеет начала, оно беспредельно. Если же оно беспредельно, его нигде нет, так как, если оно где-нибудь есть, от него отличается то, в чем оно есть, и, таким образом, сущее, чем-нибудь обнимаемое, уже не будет беспредельным. Ведь обнимающее больше обнимаемого, а большего, чем беспредельное, ничего нет, так что беспредельное не существует нигде. Однако оно не обнимается и в самом себе, потому что "то, в чем" и "в нем" будет тем же самым; и сущее станет двумя — местом и телом ("то, в чем" — место, а "в нем" — тело). Но это во всяком случае нелепо. Значит, и в самом себе сущее не существует. Поэтому: если сущее вечно, оно беспредельно; если оно беспредельно, оно нигде; если оно нигде, то его нет. Стало быть, если сущее вечно, то сущего вообще нет.
Однако сущее не может быть и преходящим (###). Если оно имеет происхождение, то оно имеет происхождение или из сущего, или из не-сущего. Но оно не имеет происхождения ни из сущего, так как если оно сущее, то оно не произошло, но уже существует, ни из не-сущего, так как не-сущее не в состоянии что-нибудь породить (ввиду того, что порождающее начало по необходимости нуждается в причастии к какому-нибудь существованию). Значит, сущее не есть и преходящее. На тех же основаниях не есть оно и обоюдное, т.е. вечное и преходящее одновременно: одно тут исключает другое, так что если сущее вечно, то оно не произошло, а если оно произошло, то оно не вечно. Значит, если сущее ни вечно, ни преходяще, ни то и другое вместе, то оно и не существует.
И иначе: если оно существует, оно или единое, или многое. Но, как сейчас увидим, оно и не единое, и не многое. Значит, оно не существует. В самом деле, если оно едино, оно или количественно, или непрерывно, или величина, или тело. Если оно есть что-нибудь из этого, оно не будет единым, но, будучи количественным, оно разделится; будучи же непрерывным, оно раздробится. Подобным же образом, если его мыслить как величину, оно тоже не будет неделимым. А если оно окажется телом, то оно тройное, потому что оно будет иметь длину, ширину и глубину. Нелепо ведь утверждать, что сущее не есть ничто из этого. Значит, сущее не едино. Однако оно и не многое. Ведь если оно не едино, то оно и не многое. Множество есть соединение того, что существует как единое, так что если устранить единое, то одновременно устранится и множество.
Итак, что ни сущее не существует, ни не-сущее не существует — это ясно из наших [соображений]. А что не существует и обоюдное, сущее и не-сущее это тоже легко понять. В самом деле, если только не-сущее существует и сущее существует, не-сущее должно быть тождественно с сущим, насколько это относится к бытию. И поэтому-то ни то ни другое из них не существует. Ведь то, что не-сущее не существует, известно всем. О сущем же доказано, что оно с ним тождественно. Значит, и оно не существует. Тем не менее, однако, если сущее тождественно с не-сущим, то не может существовать и обоюдное. Ведь если оно обоюдно, оно не тождественно; и если оно тождественно, то не обоюдно. Отсюда вывод, что не существует ничего. Действительно, если ни сущее, ни не-сущее, ни обоюдное не существуют, а сверх этого ничего не мыслится, то ничего и не существует.