While the post covers quite a bit of ground, it feels (to me) like it conflates knowledge representation, language, biological systems (i.e., the messiness of implementation), computability, and realism.
I understand that many of those well-developed fields which exist on their own terms, have standard methods, standard questions and standard approaches to moving towards answers.
The article jump between these fields to ask and grope for an answer to a simple question that in many ways can't be asked or answered in these fields.
One thing to consider is that present day computers can follow the mechanical production of mathematical propositions close to completely. But computers have a lot of trouble producing or following arguments like this, in "natural language", which have a definite logic to them but whose operation is not based on only explicit, codified rules.
Edit: To me, this sort of speculation is what philosophy actually should be doing. The questions that are "ill-defined but compelling" are the questions that have lead significant intellectual progress. How Zeno's paradox lead (or at least related) to the invention of calculus, how Einstein's thought experiments lead to relativity, etc.
I understand that many of those well-developed fields which exist on their own terms, have standard methods, standard questions and standard approaches to moving towards answers.
The article jump between these fields to ask and grope for an answer to a simple question that in many ways can't be asked or answered in these fields.
One thing to consider is that present day computers can follow the mechanical production of mathematical propositions close to completely. But computers have a lot of trouble producing or following arguments like this, in "natural language", which have a definite logic to them but whose operation is not based on only explicit, codified rules.
Edit: To me, this sort of speculation is what philosophy actually should be doing. The questions that are "ill-defined but compelling" are the questions that have lead significant intellectual progress. How Zeno's paradox lead (or at least related) to the invention of calculus, how Einstein's thought experiments lead to relativity, etc.