О видах отрицания de re
In this work, it’s shown that one needs to discern two kinds of negation as a de re operation. One kind, denoted as “universal negation”, in set-theoretical semantics is linked to obtaining of a complement of a set. In certain sense, it’s equivalent to classical propositional negation. The other kind, denoted as “class negation”, has different semantic nature. It’s widely presented in ordinary and scientific thought, being at the same time connected to some ideas in sphere of non-classical logic. A non-set-theoretical semantic structure, allowing to express and investigate the properties of class negation, is proposed.