Аксиома и атрибуты Бытия

      Основой концепта Парменида о существовании служит его аксиоматическое положение:
«Бытие есть, а небытия нет вовсе».
      Это исходное положение Парменид считал самоочевидным и не требующим доказательств. Оно проявляет (в нем проявлен) признак функциональности, имеющий смысл как Противоположение (Противопоставление), результатом которого являются Отличия, то есть изначальные отличительные признаки, некий прообраз предметности или аргументации (например, «есть» vs. «не есть»). В свою очередь, в процессе Сличения (сопоставления) этих Отличий возникает Различие (или Различение) как результат этой функции сопоставления. Именно Различие, имеющее Значение, обладает функциональностью существования (Бытия).
Таким образом, значение референта, именуемого Бытием, проходит стадии своего становления, которые можно изобразить следующей последовательностью:
Противоположение ; Отличия ; Сличение ; Различие ; Бытие
(Противоположение (функциональное начало, исходная функция) ; Отличие (результат в виде двухэлементного логического множества) ; Сличение (функция, преобразующая Отличия) ; Различие (результат сличения, приобретающий значение) ; Бытие (функция существования, итоговая функция Различия)).
Иными словами: Противоположение выступает как исходная функция, порождающая Отличие — двухэлементное логическое множество («есть» / «не есть»). Затем "вступает в силу" функция Сличения (Сопоставления), в результате чего возникает Различие, обладающее потенциалом Значения. И, наконец, само Различие несет в себе функцию Существования (Бытия), то есть Бытие есть не что иное, как функционирующее Различие.
Здесь речь идёт не о временной, а о смысловой последовательности, где под «смыслом» понимается функциональное значение определённого этапа становления Бытия. Иными словами, последовательность отвечает на вопрос: «Что за чем логически следует из аксиомы?»
• Не сначала Бытие, а потом Различие;
• и не Отличия без сличения дают Бытие;
• а именно: Противоположение ; Отличия ; Сличение ; Различие ; Бытие.
     В логическом  аспекте  аксиома является изначальным логическим принципом, формализующим  структуру логики как таковой  в виде двоичных значений  "ДА" и "НЕТ" ("Истина" и "Ложь"). Сама аксиома лишена атрибутов — она не содержит дополнительных определений Бытия или небытия, но служит основой для всей последующей дедукции, выявляющей свойства Бытия.
     Из аксиомы Парменид выводит следующие свойства Бытия:
      • Бытие едино и неделимо;
      • Бытие неподвижно и неизменно;
      • Бытие вечно (вневременно).
     Эти атрибуты — уже результат рассуждений, опирающихся на аксиому. Однако они могут содержать скрытые, ошибочные предпосылки или быть уязвимыми для критики. Например, вывод о неделимости бытия исходит из допущения, что деление внесло бы небытие (разрывы), но само понятие «часть» можно осмыслить без привлечения небытия — например, как Различие внутри бытия. Именно эти концептуальные трудности обсуждал Платон в своём «Пармениде».
     Почему важно это различать?
     Смешение аксиоматической части философии Парменида и её атрибутивной части ведёт к неверной постановке вопроса о противоречиях. Когда мы спрашиваем, есть ли в системе Парменида противоречия, необходимо уточнять:
     1. Противоречит ли сама аксиома каким-либо логическим законам?
Нет. Аксиома «бытие есть, небытия нет вовсе» — это исходное логическое утверждение, не содержащее определений Бытия. Она не нарушает закон непротиворечия, если не вводить дополнительных определений.
     2. Содержат ли атрибуты внутренние противоречия или ведут к антиномиям?
Да. Именно здесь обнаруживаются проблемы. Как показал ещё Платон, из понятия единого бытия можно вывести как его единство и неделимость, так и наличие частей, множественность и т. д. Эти антиномии не опровергают аксиому напрямую, но ставят под сомнение корректность её применения к характеристике бытия. По сути, они показывают, что чисто рассудочное мышление, пытаясь помыслить абсолютное единство, неизбежно впадает в противоречия.
     Сам Парменид, вероятно, не считал свои атрибуты противоречивыми. Он полагал, что они строго следуют из аксиомы (хотя ни статусом аксиомы, ни логическим посылом это великое утверждение у самого Парменида не было объявлено — он не использовал термин «аксиома» в позднейшем смысле). Однако уже античная философия (софисты, Платон, Аристотель) продемонстрировала, что эти следствия могут быть оспорены. При этом сама аксиома оставалась и остается для последующих мыслителей фундаментальной.