Most languages do.
"x = true, x = false"
What does that mean? It's unclear. It looks contradictory.
Human language allows for clarification to be sought and adjustments made.
> besides not being checkable.
It's very checkable. I check claims and assertions people make all the time.
> That's literally why we have formal languages,
"Formal languages" are at some point specified and defined by human language.
Human language can be as precise, clear, and logical as a speaker intends. All the way to specifying "formal" systems.
> programming languages and things like COBOL failed: https://alexalejandre.com/languages/end-of-programming-langs...
Let X=X. You know, it could be you. It's a sky-blue sky. Satellites are out tonight. Language is a virus! (mmm) Language is a virus! Aaah-ooh, ah-ahh-ooh Aaah-ooh, ah-ahh-ooh
reply
Most languages do.
"x = true, x = false"
What does that mean? It's unclear. It looks contradictory.
Human language allows for clarification to be sought and adjustments made.
> besides not being checkable.
It's very checkable. I check claims and assertions people make all the time.
> That's literally why we have formal languages,
"Formal languages" are at some point specified and defined by human language.
Human language can be as precise, clear, and logical as a speaker intends. All the way to specifying "formal" systems.
> programming languages and things like COBOL failed: https://alexalejandre.com/languages/end-of-programming-langs...