Modeling the Dialectic
Robert A. Herrmann

TL;DR
This paper investigates three formal first-order finite dialectical schemes, demonstrating differences in their finite models and constructing an infinite natural number model, while proving that one scheme lacks any finite model.
Contribution
It introduces and analyzes three dialectical schemes, showing their finite model properties and providing an infinite model for all but one scheme.
Findings
Schemes 1 and 2 have different finite models
An infinite natural number model exists for schemes 1, 2, 3
Scheme 3 has no finite model
Abstract
Three formal first-order finite dialectical schemes are investigated. It is shown that schemes 1 and 2 have significantly different finite models. Further, an infinite natural number model for schemes 1, 2, 3 is constructed, and it is shown that scheme 3 has no finite model.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical and Theoretical Analysis · Computability, Logic, AI Algorithms · History and Theory of Mathematics
