An Attempt at a Symbolic Paraphrase of the Onto-logical Dynamics in Hegel’s ‘ Science of Logic’

Standard logic consists of a univocal vocabulary and rigorous rules of derivation, through which syntactically coherent or semantically true conclusions are reached, starting from axioms; Hegel's speculative logic, in the Science of Logic, possesses characteristics irreducible to it. Hegelian logic cannot be expressed even through non-classical-standard formalizations, not even paraconsistent ones (the author essentially considers dialetheism). It is fundamentally an ontological logic, which does not admit the principle of non-contradiction, nor that of the excluded middle, nor that of identity, as understood by Verstand (as a principle according to which identity and diversity are different from each other - but if identity is different from diversity, then it too is in itself difference). The author attempts to express this dialectical logic symbolically, to show how incomparable it is with standard logics and with (at least some) non-standard logics. He uses a plurivocal vocabulary, which cannot follow rules extrinsic to the dialectical self-constitution of concepts and, ultimately, of speculative truth.