> Speaking of reconciliation, might I interest you in a reconciliation of Aquinas and Spinoza, by way of Galois Theory?
This is kind of bad faith.
> They developed a great deal of formal logic... it seems more like they were mostly slathering on the tech debt. How am I mistaken?
https://plato.stanford.edu/entries/abelard/
> Abelard was the greatest logician since Antiquity: he devised a purely truth-functional propositional logic, recognizing the distinction between force and content we associate with Frege, and worked out a complete theory of entailment as it functions in argument (which we now take as the theory of logical consequence). His logical system is flawed in its handling of topical inference, but that should not prevent our recognition of Abelard’s achievements.
and you might be more familiar with Ockham's Razor. There are others, but you can do your own research if you're interested. There was a lot of work that needed to be done in between Aristotle's incomplete Syllogisms and the incomplete understanding of propositional logic that Sophists used, that helped birth Frege's Begriffsschrift.
