Scott Mayers wrote: ↑Wed Jan 22, 2020 9:16 am
As to my point about how the formal proof of one system tends to assume another logic on the 'first order' level, this tends to be 'circular' because one system requires some prior metalogic to prove the logic you are 'testing' and thus cannot necessarily be closed with respect to their dependency upon a collection of systems.
For instance, to prove the Propositional Calculus, you usually need some prior assumption of the validity of a set of boolean truth-functioning tables. Formal Zermelo-Frankel Set theory relies on assuming Predicate logic which is itself dependent upon Propositional logic to prove 'closed' (i.e. 'complete'). Boolean algrebra requires trusting Set theory. Boolean systems include 'multivariables' but requires the first stage is to assume a binary 'set' of values, for instance, and a 'set' of operations declared to be used.
So my question is which metalogic system is most basic an doesn't require another system of logic ASSUMED in order to prove it complete?
There isn't one, all contexts are assumed and context is inescapable, this thread addresses this: