Из темы Введение в элементарную диалектическую логику: "«Среди советских философов и логиков, имевших смелость заявить, что есть одна логика – формальная, был Константин (Котэ) Спиридонович Бакрадзе, который писал: « "Не существует двух логик о формах и законах правильного мышления; существует одна наука, и эта наука – логика или формальная логика". http://philosophystorm.org/mp_gratchev/2861

                                                Лев Сергеевич Овчинников

                                                 ОНТИЧЕСКОЕ    

Дано: множество {x, y, 0}. Как мы можем говорить о таком множестве? Ведь множество состоит из элементов, к которым можно отнести х и у, но никак не 0. Почему 0 нельзя назвать элементом? Потому что 0 это знак, означающий отсутствие. Отсутствие элемента не может быть элементом. Или может?

Есть нюанс в том, что неизвестные х и у могут принимать значение 0. И тогда, договорившись 0 не включать в число элементов и оперируя множеством {x, y} можно однажды выяснить, что мы оперировали все-таки с 0, если одно из неизвестных окажется равным 0.