The crux of Wittgenstein can be summed up thus (and I am totally stealing this from Jean-Yves Girard).
It's not about the rules of logic, it's about the logic of rules [1]
The axioms and deductive rules of ALL formal languages are invented/designed by humans, not discovered, so it begs the question: Who invents the rules and why?
Logic (when seen as a formal language itself) is a subset of Programming Language Theory [2]
It's not about the rules of logic, it's about the logic of rules [1]
The axioms and deductive rules of ALL formal languages are invented/designed by humans, not discovered, so it begs the question: Who invents the rules and why?
Logic (when seen as a formal language itself) is a subset of Programming Language Theory [2]
1. https://doi.org/10.1017/S096012950100336X
2. https://en.wikipedia.org/wiki/Programming_language_theory