Что касается постулированной Мелиссом связи между движением и пустотой, то ее можно разъяснить так. Если нечто (X) готово прийти в движение, т. е. передвинуться с места, где оно находится, в другое место, необходимо, чтобы это второе место, куда передвинется X, было пустым - чтобы там не было никакого объекта. Ведь если бы место, предназначенное для X, не было пустым, если бы там находился какой-то другой объект, то этот объект препятствовал бы движению X, останавливая его прежде, чем X мог бы достичь этого места. (Иначе два разных объекта оказались бы в одном и том же месте, что представляется невозможным.)
"Хорошо, Мелисс, - могли бы возразить философу, - но стоит только внести одно маленькое изменение, и твое доказательство рухнет. Этот второй объект (обозначим его У), занимающий место, куда должен передвинуться X, - пускай он уступит X дорогу! Ведь X будет остановлен, только если У станет упорствовать". На это Мелисс ответил бы: "У может уступить дорогу X, только переместившись, передвинувшись в другое место. Но У может занять другое место, только если оно опять-таки пустое. Доказательство, с помощью которого я остановил X, применимо и к У: У не уступает дорогу X не потому, что упорствует, а потому, что У тоже не может сдвинуться". К аргументации Мелисса одобрительно отнеслись многие философы, в частности атомисты - Демокрит, Эпикур. Для них такое доказательство стало аксиомой физики. Другие же, в том числе и Аристотель, отвергли его: дальше мы рассмотрим доказательство, которое можно ему противопоставить.
Мелисс намеренно оставался в тени Парменида, и его часто воспринимали как мыслителя второго плана. Двух изложенных мной доказательств Мелисса достаточно, чтобы убедить нас: в действительности это был самобытный и плодовитый ум. Без сомнения, так называемая элейская философия многим обязана Самосу.
Зенон
Третий философ в этом разделе - Зенон, друг и согражданин Парменида. Платон в диалоге
Мы располагаем ценными фрагментами, где Зенон выставляет аргументы "против множественности", т. е. против положения, что существуют многие объекты. Кроме того, Аристотель сохранил, в парафрастической форме, четыре аргумента "против движения", цель которых - доказать, что ничто не движется.
Аргументов против множественности было несколько. Все они излагались в форме антиномии. Зенон принял этот тип аргументации: он показывал, что, если существуют многие объекты, тогда эти объекты должны быть одновременно F и G, между тем как F и G обладают несовместимыми свойствами. Так, в антиномии, представленной в одном из сохранившихся фрагментов, показано, что элементы предполагаемой множественности должны быть одновременно очень малыми и очень большими, вернее сказать, они должны быть вовсе лишенными какой-либо величины и в то же время бесконечными по величине. Доводы, на которых Зенон основывал первый член своей антиномии, нам неизвестны. Аргумент, выдвинутый для обоснования второго члена, таков:
"Но если есть [многие?], то необходимо, чтобы каждое имело величину и толщину и чтобы из двух его частей одна была внеположна другой. Этот же довод относится и к той из двух частей, которая предшествует другой. Ведь и она будет иметь величину и что-то в ней будет предшествовать [остальному]. Все равно, сказать ли это один раз или повторять до бесконечности. Ибо ни одна из этих частей не будет ни последней, ни такой, у которой не было бы {описанного} отношения между частями. Таким образом, если сущие множественны, то необходимо, чтобы они были и малыми, и большими: настолько малыми, чтобы не иметь величины, настолько большими, чтобы быть беспредельными" (Симпликий.
В аргументации есть довольно странный пробел, но главные пункты ее понятны.