There's a lot going on here - some interesting ideas and some serious misconceptions! So this will be a long answer. The main question of whether we can view models as homomorphisms between theories is an insightful one. Let me start with the issues I see in your account, and then I'll try to address that question.
It seems to me that the main thing that's missing is an accurate view of the core notion of "structure"/"model" in model theory: Note that I use the word "structure" rather than "interpretation", as you do in your question. This is because I prefer to reserve the word "intepretation" for the notion of interpretation between theories. Actually, I think the relationship between interpretations (in the sense of structures) and interpretations (between theories) is really what you're asking about. More on that later.
A structure for the language $L$ is a set $A$, equipped with functions $f\colon A^n\to A$ and relations $R\subseteq A^n$ interpreting the function and relation symbols in the language $L$. That is, the interpretations of the symbols in the language are not merely other symbols: they're honest functions and relations which we can reason about using ordinary (set-theoretic) mathematics.
Aside: At this point, the skeptic sometimes shouts: "Wait just a minute! We're doing logic here. First-order logic is supposed to be prior to set theory. How come you're talking about sets?" To which the model theorist replies: "No, model theory is a subfield of mathematics just like group theory or topology, and the objects of our study are sets with extra structure, just like in those other subfields. You can use first-order reasoning in your foundations of mathematics without talking about models at all. Likewise, you can study first-order theories and their models as an ordinary mathematical pursuit without worrying about the foundations of mathematics."
Back to your question. You write:
Because "the real numbers" as presented above lack any internal structure (we have only the symbols $\mathbb{R}$, $0$, $<$, and $+$ to go off of, and these are no more meaningful than the symbols we started with)...
But the real numbers have a huge amount of internal structure! When we talk about $\mathbb{R}$ as a model for your theory $\mathcal{T}$, $\mathbb{R}$ is really the set of real numbers, i.e. the set of Dedekind cuts or equivalence classes of Cauchy sequences.
...there is no way to determine the truth of a statement interpreted in $\mathcal{M}$.
I want to be clear here that for a general $L$-structure $\mathcal{M}$ and a general $L$-sentence $\varphi$, there is a mathematically precise definition of what it means for $\varphi$ to be true in $\mathcal{M}$ (denoted $\mathcal{M}\models \varphi$). This is essentially what you describe in your section "The Philosophical Argument". And what you say is true: for a general structure $\mathcal{M}$ and a general $L$-sentence $\varphi$, there is no general algorithm by which we can determine whether $\mathcal{M}\models \varphi$ or $\mathcal{M}\not\models \varphi$.
However, in many cases we can easily determine the truth of a statement interpreted in $\mathcal{M}$. For example, consider the sentence $\varphi$ given by $\forall x\, \exists y\, f(y,y) = x$. There is no proof of $\varphi$ from your theory $T$ (as we can see by noting that there are ordered abelian groups like $(\mathbb{Z},0,+,<)$ in which $\varphi$ is not true), but letting $\mathcal{M} = (\mathbb{R},0,+,<)$, we can prove that $\mathcal{M}\models \varphi$. How? By proving that for any real number $r$, there is a real number $r/2$ such that $r/2+r/2 = r$. How? Well, this follows from the fact that $\mathbb{R}$ is a field whose of characteristic $\neq 2$, but how do we know that's true? At the end of the day, the proof comes down to thinking about Dedekind cuts or Cauchy sequences and proving things about them in ordinary (set-theoretic) mathematics.
As it is usually stated, a formula is valid iff it is true in every interpretation. Without placing restrictions on what an interpretation can be, it is clear that no formula is valid - just interpret a sentence in a nonsense manner and the result is not true. For example, $\varphi\lor\lnot\varphi$ is not valid because I can declare a value "$C$" such that $C\land \lnot C$.
This is just wrong. As I mentioned above, "true in an intepretation (structure)" has a precise mathematical meaning, according to which many sentences are valid. Using your example, let $\varphi$ be any sentence, and let $\mathcal{M}$ be any structure. The meaning of "$\mathcal{M}\models \varphi\lor \lnot \varphi$" is "$\mathcal{M}\models \varphi$ or $\mathcal{M}\models\lnot \varphi$", which means "$\mathcal{M}\models \varphi$ or it is not true that $\mathcal{M}\models \varphi$". So regardless of whether $\mathcal{M}\models \varphi$ is true or not, we have that $\mathcal{M}\models \varphi\lor \lnot \varphi$. So $\varphi\lor\lnot \varphi$ is valid (true in every structure).
Because of this, I instead take "true in every interpretation" to mean "derivable from [classical] FOL alone"...
Well, it turns out that "true in every interpretation (structure)" is equivalent to "derivable from classical FOL alone", but this is a (hard!) theorem (the completeness theorem).
...This amounts to "protecting" the logic of first-order theories against interpretation.
If you like, the completeness theorem says that first-order theories don't need your "protection". You can search for formal proofs from $\mathcal{T}$, or you can reason in ordinary mathematics about all models of $\mathcal{T}$, and you'll come up with exactly the same set of logical consequences of $\mathcal{T}$! This is the beautiful thing about the completeness theorem: if we want to prove theorems about groups, we don't need to tie our hands behind our backs and allow only formal first-order proofs in the language of groups. We can use all of the tools of ordinary mathematics, freely considering subgroups and homomorphisms between different groups, using results from number theory, etc. etc.
Now what about homomorphisms between theories?
First, the correct notion of "homomorphism between theories" (even in different languages) is that of interpretation (between theories). The best place to read about this is in Model Theory by Hodges, Section 5.3 (or A Shorter Model Theory, Section 4.3). Basically, to interpret an $L$-theory $T$ in an $L'$-theory $T'$, you give an $L'$-formula $\varphi_D$ (the domain) and an $L'$-formula $\varphi_=$ which defines an equivalence relation on the domain, and for every symbol in the language $L$, you give an $L'$-formula which defines an element or function or relation of the appropriate arity on the equivalence classes in the domain, such that the translations of all sentences in $T$ are provable in $T'$.
Now a model of $T$ is not quite the same thing as an interpretation of $T$ in ordinary mathematics (which we can take to be ZFC set theory). There are two key differences.
First, given an interpretation of $T$ in ZFC, the domain of the interpretation is not a set, but rather a formula in the language of set theory, which defines a class, possibly a proper class. In model theory, we usually require a model to be a set, rather than a proper class, because we want to be able to do set-theoretic constructions with our models.
Second, remember that the domain of a model and the interpretations of symbols in the model are truly arbitrary - there's no requirement that they be definable by formulas in the language of set theory. Indeed, if $T$ is a theory with infinite models, then $T$ has a properly class of models, by Löwenheim-Skolem. But there are only countably many formulas in the language of set theory, so only countably many possible interpretations of $T$ in ZFC (if the language of $T$ is finite).
You can also look at the difference like this: Suppose $T$ is a theory and $T'$ is a set theory. If $T'$ proves that $T$ has a model, then $T'$ proves the consistency of $T$ (assuming that $T'$ can talk about $T$ and the notion of consistency and can prove the soundness of first-order logic - any reasonable set theory can do these things). On the other hand, if there is an interpretation of $T$ in $T'$, then we can prove (at the meta level) that if $T'$ is consistent, then $T$ is consistent. So there are different levels going on here...
If you want the traditional notion of "model of $T$" to line up exactly with "interpretation of $T$ in $T'$" for some theory $T'$, you can take $T'$ to be the full theory of the universe of sets. By this I mean the multi-sorted first-order theory in the (proper class sized) language with a sort $S_X$ for each set $X$, a constant symbol $c_x$ of sort $X$ for each element
$x\in X$, a function symbol of type $\prod_{i=1}^n S_{X_i}\to S_Y$ for each function $\prod_{i=1}^n X_i\to Y$, and a relation symbol $R_A$ of type $\prod_{i=1}^n S_{X_i}$ for each relation $A\subseteq \prod_{i=1}^n X_i$. The axioms of $T'$ are all first-order sentences in this language which are true in the universe of sets. The multi-sortedness ensures that all definable sets relative to $T'$ correspond to actual sets, and because absolutely everything is in the language, we can interpret the symbols in $T$ as totally arbitrary functions and relations, just as we can in the usual definition of "structure". It shouldn't be surprising that we need a proper class sized language to handle the flexibility of the notion of "structure" - as I noted above, there is a proper class of structures for any fixed language $L$, but given a set sized language $L'$, there can only be a set of interpretations of the language $L$ in the language $L'$.
These ideas have their ultimate expression in categorical logic. From the categorical logic point of view, every theory $T$ is viewed a category $C_T$ equipped with certain kinds of structure, corresponding to the logical operations. e.g. formulas are objects and conjunction $\land$ might correspond to categorical product. Then a model of a theory is a structure-preserving functor from $C_T$ to some other category $D$ with the same kind of structure. (To recover traditional models, we take $D$ to be the category of sets.) And an interpretation between theories $T$ and $T'$ is a structure-preserving functor $C_T \to C_{T'}$. Now interpretations and models are exactly the same kind of thing: structure-preserving functors. And pushing this further, every category with logical structure can be viewed as a theory, e.g. the semantic category $D$ in which our models live is just $C_{T''}$ for some other theory $T''$, and the distinction between models and interpretations disappears entirely. (If you do this with first-order logic and $D = $ the category of sets, you get $T'' = $ the full theory of the universe of sets, from the last bullet point.
This question and its answers are relevant.
Finally, at the end of your question, you mention interpretations between different logics. This is also a well-known idea (see e.g. the double negation translation of classical logic into intuitionistic logic). But it lives at a different level than interpretations between first-order theories. In intepretations between theories, we explain how to translate the non-logical symbols from one language into formulas in another, while preserving the meanings of the logical connectives. In translations between logics, we translate the logical connectives of one logic into formulas in another.
Best Answer
A first-order signature $L$ consists of function symbols and relation symbols.
An $L$-structure $\mathfrak{M}$ consists of a set $M$ and interpretations of all of the symbols in $L$ as functions and relations on $M$.
An $L$-interpretation consists of an $L$-structure $\mathfrak{M}$ and an assignment $\mathfrak{I}$ of variables to elements of $\mathfrak{M}$.
Given an $L$-interpretation $(\mathfrak{M},\mathfrak{I})$, we have a definition of what it means for this interpretation to satisfy an $L$-formula $\varphi$.
We say an $L$-formula $\varphi$ is valid if it is satisfied by all $L$-interpretations.
The point is that everything is done relative to a fixed signature $L$. At the end of your question, it seems like you're worrying about interpretations involving $L'$-structures where $L'\neq L$. You don't need to do this.