@
Speedyman I assume that academic texts of mathematical symbolic logic, from basic to advanced ones are correct.
I assume that development of math, logic and set theory since at least George Boole and later through today is right and, open to new dyscoveries, still defines what the corpus of knowledge on logic IS.
I assume that mathematicians had already rightly anf historically dropped with not a tear the discursive like kind of what once was called logic (and never was) as a trivial tool for rethorics.
So, it´s not at all nor only MY personal way on thinking on logic.
Since serious logic was born, breaking with "common sense" nebulous "reasoning", Aristóteles said what I´m also saying debunking the old Sophists.
And along history, my colleages mathematicians, with best developed tools, think, teach, work, research and say the same!
Tell me ONE who, as part of the centuries long mathematical known journey, says what YOU seem to be saying?
Please, don´t include thinkers from outside the recognized mathematical corpus and history.
Neither the personal believes of math thinkers aside math itself.
As simple examples, Descartes contributions to math are part of mathematical kowledge but his Discourse on Method is NOT.
Newton´s calculus is a solid aspect of math, but his dreams related to alchemy are not part of Chemistry.
Not Science nor Math need for alien help to define itselves.
That enough answered, my previous question to you still stands.
What and why is wrong the view that serious mathematical logic is formal and makes no assertion on the ontological status of it´s symbolic propositions?