But why?? ncatlab contains formalizations of many branches of philosophy, such as this on Hegel https://ncatlab.org/nlab/show/Science+of+Logic https://ncatlab.

But why?? ncatlab contains formalizations of many branches of philosophy, such as this on Hegel https://ncatlab.org/nlab/show/Science+of+Logic https://ncatlab.org/nlab/show/Science+of+Logic