In paraconsistent logic, we have dialecticism. So is it possible to formalize the logic of Hegel, like Anton Friedrich Koch in "Hegel's on the logical big bang and the evolution of logical space", and formalize all the European philosophers' system, at least their arguments?

  • 1
    Can you clarify what you mean by "formalize all the European philosophers' system, at least their arguments?" – J D Nov 23 '19 at 15:04
  • Such as predicate logic,make use of philosophical logic,make a variation of classical logic like Relevance logic. – AnduinWilde Nov 23 '19 at 16:09
  • It is called dialetheism, but despite the superficial similarities it has little to do with Hegel's logic. Hegel conceived of Logic in a different old sense, as the conceptual movement in acquisition of knowledge, see What are the differences between philosophies presupposing one Logic versus many logics? It is closer to what is now called epistemology and is not formalizable as such. – Conifold Nov 24 '19 at 1:01
  • I suspect Hegel's logic may be formalised and thus considerably simplified, but I don't know of anyone who has attempted it. I would guess that it follows the structure required for non-dualism. This is not dialethism but is Aristotelian. It cannot be used to formalise the arguments of European philosophers. These are already either formal or not. . – user20253 Nov 24 '19 at 13:02

Hegel's logic has already been formalized by physicist and mathematician Urs Schreiber. However, there are likely only a few dozen people on earth who can understand it due to the formalization being done with cutting edge mathematical logic (such as homotopy type theory) and with a deep familiarity with the Science of Logic: https://ncatlab.org/nlab/show/Science+of+Logic

  • Welcome to SE Philosophy! Thanks for your contribution. Please take a quick moment to take the tour or find help. You can perform searches here or seek additional clarification at the meta site. – J D Dec 25 '19 at 17:39
  • 1
    I'm under the presumption that not many people people understand the Science of Logic. For example, there is only one book which comprehensively analyzes the last third of the logic, and not many people have read that book (Hegel's Theory of Judgement by Ioannis Trisokkas). Compare this to scholarship of other Hegel works. In general, scholarship on the Science of Logic is very limited. Out of those people with a thorough understanding, even fewer are familiar with mathematical logic, let alone homotopy type theory. – helloimhamid Dec 25 '19 at 20:34
  • My bad, I was only thinking about the math component. – Noah Schweber Dec 25 '19 at 23:58

There is an attempt at formalization ( using algebraic concepts such as group, ring, etc) in Dubarle and Doz, Logique et dialectique.

A review here :



In a humorous way, one could say that Hegel's Logic can be formalized as follows :

A = non-A = A & non-A

( Being is Nothingness/ Nothingness is being / Being and Nothingness are both Becoming, which, reciprocally, is both Being and Nothingness)

See : beginning of the Science of Logic.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.