✓ checked
trust me, bro:
here is the receipt.
the claim
Hegel's theory of logic can be formalized
the verdict
SUPPORTED
the evidence backs this
Recorded sources
3 sources for · 0 against
Is it true that Hegel's theory of logic can be formalized?
Yes. Recent philosophical and computational literature demonstrates that Hegel's dialectic-speculative logic can be and is being subjected to formalization through various logical and algorithmic frameworks.
Verdict: SUPPORTED · 3 sources for, 0 against · Last checked
The analysis
Papers 4, 5, and 6 explicitly discuss and demonstrate ongoing efforts and frameworks for the formalization of Hegel's dialectical logic, supporting the claim without contradictory evidence in the provided literature.
Evidence for · 3
Get citation
Nuzzo, A. (2023). Form, Formality, Formalism in Hegel’s Dialectic-Speculative Logic. doi.org. https://doi.org/10.1080/01445340.2023.2181581
See more details
More for · 2
Get citation
Ficara, E. & Priest, G. (2023). Introduction: The Formalization of Dialectics. doi.org. https://doi.org/10.1080/01445340.2023.2182598
Get citation
M, E. M. & Z, J. (2022). Artificial Intelligence Inheriting the Historical Crisis in Psychology: An Epistemological and Methodological Investigation of Challenges and Alternatives.. doi.org. https://doi.org/10.3389/fpsyg.2022.781730
Related receipts
Receipt History
first checked05 Aug 2026
judged → SUPPORTED · 8005 Aug 2026
Anyone with this link can read the claim and its public receipt, including any
personal information in that text. Open permanent receipt.
Check your own claim
Challenge the receipt
Requests are recorded for review. This does not start an automatic check
or guarantee a response time.
Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work
Terms · Privacy · How verdicts work