Skepdick wrote: ↑Mon Aug 26, 2019 2:17 pm So, it seems to me you have invented an alphabet: https://en.wikipedia.org/wiki/Alphabet_ ... languages)
Ehhh....I am observing a universal set of symbols which already existed and will continue to exist.
And you have defined a bunch of inference rules for how to manipulate your alphabet: https://en.wikipedia.org/wiki/Formal_sy ... entailment
They define eachother as they are composed of eachother.
And it seems that in certain places you choose to replace some symbols with other symbols: https://en.wikipedia.org/wiki/Rewriting
Isomorphism.
And your symbols evolve over time in accordance with your rules: https://en.wikipedia.org/wiki/Cellular_automaton
They cycle recursively in constant variation. Obviously for efficiency a symbol would have to be applied to define some "string"....but that simple would be reabsorbed into the assumptive nature of the argument itself.
This is common sense to most formalists/computer scientists/mathematicians (or whatever label they assign to themselves) it's just the verboseness from 1 to 11 is not necessary once you have the technical terms at your disposal.
False, because they begin assumptions within their systems, what theories they apply as well as choice theory,/color]
If you go on to build a system which can interpret your formal rules ( https://en.wikipedia.org/wiki/Self-hosting_(compilers) ) then you are on your way of having created a coherent formal language. Which (despite the Munchhausen Trillema) is actually pulling itself up by its own bootstraps.
And computing does the same thing...it creates problems and then solves them.
And so if your system works, then it can be said that you have invented a meaningful language. At which point you have arrived at the Anti-foundationalist perspective: https://en.wikipedia.org/wiki/Anti-foundationalism
false, assumption is it's own foundation...it is just that this foundation appears chaotic because of its variation but it exists according to given forms.
I see where your argument is going, and it is "a" definition, but the problem occurs is that this argument can be mapped according to either what is provided above or some variation of it.