My suspicion is that most people who don't like philosophy have lots of philosophical ideas - they are just really dogmatic about them and don't like to be challenged.
Philosophy is like maths. You can build a lot of bridges with a crummy understanding of maths. The Romans did it with the most pathological notation for numbers imaginable, and lacking all sorts of basic mathematical concepts. So you can say all that maths stuff is just nonsense and you can do it all by these seventeen-hundred ambiguous rules of thumb you really carefully follow. It's just you're not actually avoiding maths - you're just doing it in a really ad-hoc, inflexible, and inelegant manner. That's what people are doing when they say philosophy is a load of bunk but they still believe a whole load of things about the universe.
Philosophy is absolutely nothing like math. Math can be proven. Math maps to physical quantities. Changing how you interpret math doesn’t change the physical world. Philosophers do what is equivalent of arguing that prime numbers aren’t real because base 10 is arbitrary. Philosophers have proven nothing about the universe, those are the contributions of physics. The things philosophers discuss about the universe is more akin to religion and mythology. You, again, keep trying to take credit for the work of other fields.
That's just wildly wrong. I think you should probably just try to deepen your understanding of fields you're interested in, and leave your prejudices at the door.
Here's a paper by Tarski, widely cited by both mathematicians and philosophers and containing both formal and informal reasoning: http://www.thatmarcusfamily.org/philosophy/Course_Websites/R... I don't know how one could "remove the philosophy" from this work without making it far less useful to mathematicians. The entire reason the T-schema is used in model theory is because of Tarski's philosophical argument that it provides a meaningful definition of truth.
I'm not clear on whether you think The Concept of Truth in Formalized Languages falls into the "actually just mathematics" category or the "making up random equations" category. If the latter, I assure you that Tarski's proofs are sound. Here's a simple explanation of the most famous result from the paper in case you found the original proof inaccessible: https://qubd.github.io/files/TarskiUndefinability.pdf. A more general discussion of Tarski's work and other axiomatic theories of truth can be found at the Stanford Encyclopedia of Mathematics: https://plato.stanford.edu/entries/truth-axiomatic/
The proofs are math. We've already established that math is sound. This discussion is not about the merits of math, we're talking about philosophy. Things like "The transfer of understanding from one person to another is not automatic. It is hard and tricky. Therefore, to analyze human understanding of mathematics, it is important to consider who understands what, and when." are philosophy. It's not difficult to separate, you're just trying to make it seem like it is to blur the lines between a pseudoscience and actual science. Again, disguising worthless philosophical ramblings with mathematics doesn't make your philosophy any more useful.
