Apologies to any formalist!
Here's the basic thought: $\mathbb{R}$ is a well-defined concept with unambiguous meaning in reality. Everyone can imagine an infinite series of digits (signifying the decimal representation of a real between $0$ and $1$ - let's please skip periods and other technicalities) - or perhaps let's just use binary sequences, whatever seems easier to imagine, so it seems rather clear what a real numbers is.
Similarly, consider the definition of a function: A relation that asigns an element of one set to exactly one element of another set - in this case an element of the reals to an element of the reals, or a bit more formal, an element of $\mathbb{R}^\mathbb{R}$, so this contains all possible mappings of reals onto other reals. This certainly includes all possible functions from subsets of $\mathbb{R}$ to $\mathbb{R}$. Now, whether such a function is a bijection is a clearly defined question as well, so that should, from this "realist" perspective, imply a defined value for CH and, more specifically, the cardinality of the reals.
Subsets and similar definitions appear similarly clearly defined.
Now, it seems clear to me why there's difficulties from any theory (in the strict formal mathematical, but also in any different sense) to establish truths about incountable sets - necessarily, anything humans can possibly state in any formal or informal language is countable, and as a result, there cannot be enough statements to ensure that for each real number there is a statement that is true for only that one specific real number. That's not even going into the unfathomably huge powerset of the reals where the relevant functions reside.
I know of research regarding this question in formal set theory, and I find it marvelous. But almost all of it is based on first-order logic, and most remotely relevant results happens in at least ZF, if not ZFC. It seems very obvious to me that it'll be hard at best to expect a definitive result on an uncountable set from essentially countable arguments - this makes the progress we have even more marvelous, of course, but it also seems hopeless to hold an ultimate answer.
There's certainly a lot of interesting results coming from this, but this question is not primarily about those results. Instead, it's two-fold:
a) Is there any (current, reasonable) results on the cardinality of the reals that is founded in the abstract (and hard to capture mathematically in a clearly consistent way) ideas above? This is explictly not restricted to research in first-order set theories, as explained above, and instead asks for results from different perspectives, if they exist.
b) Has there been any examination on how the results that come from strictly formal set theory compare to the above mentioned intuition? To explain: I've often seen, for instance, the claim that a certain forcing is "adding" sets - but adding sets and removing sets from the power set (i.e. the available functions) might easily be confused, and moreover the "base" (such as a countable model of ZFC) might already clearly not be relevant to "reality" as described above, so any derived results might not apply to "reality". Further, if someone looked for a specific real or function on reals as defined "in the intuitive sense" to be present in a certain model, would it always be there? Or perhaps, are there definable (in the broadest way possible) reals or functions of reals missing from some commonly considered models?
I completely understand that it's highly likely that these questions have no definitive answers, but I am curious about how mathematicians think about these questions.
Consider the following preprint on arXiv (arXiv: math/9209209v1 [math.LO]) by Garvin Melles:
"Natural Internal Forcing Schemata extending ZFC. A Crack in the Armor surrounding CH?"