В статье рассматриваются основные логические схемы и приемы, в соответствии с которыми строились рассуждения Парменида о «бытии». Особо рассматривается доказательство о невозможности происхождения «сущего» из «не-сущего» во времени. Отмечается, что основное ядро данного доказательства элеата представляет собой так называемое «косвенное доказательство» и в целом укладывается в рассуждение «через невозможное». Проводится формальная и содержательная реконструкция данного доказательства. Прослеживается сходство доказательства Парменида с «несовершенным умозаключением» Аристотеля.<br> Устанавливаются некоторые нелогические аргументы, использованные философом в его доказательствах принадлежности «бытию» различных атрибутов. Среди них выделяются такие, как ограничение на использование отрицательных выражений в языке, интуитивное принятие Парменидом ряда аксиом, убеждения философа относительно особенностей способности мышления.

The article considers the basic logical schemes and techniques under which Parmenides’ reasoning on «Being» was built. The proof of the impossibility of the origin of «being» from «nothingness» in time is especially considered. It is noted that the core idea of the Eleatics proof is the so-called «indirect evidence» and, on the whole, it fits into the reasoning «through the impossible». A formal and substantive reconstruction of this proof is made. The similarity of Parmenides’ proof with Aristotle’s «imperfect inference» is traced.<br> Some illogical arguments used by the philosopher in proving various attributes belonging to «being» are established. Among them figure out such as the restriction on the use of negative expressions in language; Parmenides’ intuitive acceptance of a number of axioms and philosopher’s beliefs toward to the peculiarities of thinking capacity.