“I don’t see the point of calling it a logic if it isn’t mathematically formaliz

“I don’t see the point of calling it a logic if it isn’t mathematically formalized.”

That is where you err. Math is a primitive language that for simple reason is less vulnerable to some categories of inflation and conflation. But mathematical reducibility is small compared to axiomatic reducibility which is why the foundations of math are expressed axiomatically.

Logic of sets is greater than mathematical reducibility. The logic of operations is greater than logical or mathematical reducibility.

So no, unless you can explain something operationally you ae always of necessity speaking in analogy not causality.

Ergo. math is logically formalized and logic is operationally formalized – the opposite of your presumption. :/

Reply addressees: @LiminalRev @AutistocratMS