Then it is unclear what you mean.
Again, suppose a separate universe exists. We would detect it, if only we were there. We aren't there and cannot be there.
How is that different than the claim that we would know whether the nth digit of pi is 7 if only we could calculate it, but we have not calculated it and we cannot calculate it?
The
nth digit of
pi provably exists, because
pi exists and has an
nth digit. Given sufficient time, we could calculate it. The obstacle is a practical one, not a theoretical one.
The hypothetical other universe does not provably exist. It is
defined as not being provable. No amount of time could change this. The obstacle is insurmountable even in theory. There is no way to distinguish between this hypothetical universe and a completely imaginary entity.
What do you count as a functional definition of "is"?
ETA: And it is misleading to separate the word "is" there. The logical interpretation does not try to separate "there" from "is" and "there is" is, fundamentally, the existential claim.
In this context, it is equivalent to "exists". In others, it generally means "exhibits behavior consistent with the definition of", or something quite similar.
Your statement was "there is stuff which cannot be detected, even in principle", which is equivalent to "there exists stuff which cannot be detected, even in principle" - but you have still failed to provide any coherent means by which stuff which cannot be detected can be said to exist. You may as well have said "blue is not blue". The statement is invalid, self-contradictory, incoherent.
Again, I am open to being corrected on this front, but thus far all you have done is repeat the original point phrased in a slightly different way. If interaction-slash-detectability is
not the requirement for existence, then what would you say it is, and how does this allow you to differentiate between real and imaginary non-interactive entities?
Look, if your point is that this hypothesis falls short of a scientific claim, then I absolutely agree. Anyone hypothesizing the actual existence of undetectable things is not thereby doing science.
But there is, of course, no guarantee that science will discover every truth, or even that every true claim is "scientific" in a fairly broad sense.
This isn't about the scientific validity of a claim, though they certainly aren't scientifically valid. It is a simple statement that trying to claim undetectable entities could be real makes no sense.
What the difference would be is this: a statement alleging the existence of an undetectable entity would be true (were it true), and a statement alleging the existence of Sherlock Holmes would be false.
"What is the difference between a real non-interactive entity and a non-real non-interactive entity?"
"Well, one's real."
This is not helpful.
Again, I'm puzzled by your arguments. Can you please tell me something? What, in your opinion, is the connection between truth and knowability? Do you concede that some things may be true but unknowable?
Yes, for purely practical reasons. As you said, the
nth digit of
pi can never be calculated simply because we lack the time. It is
practically unknowable - but this is not the same as being
actually unknowable. The
nth digit of
pi does exist. It has a value. Given sufficient time, it could be calculated.
But this is not equivalent to being
actually unknowable. If something is
actually unknowable - that is, in no situation could we ever state that it is true - then, in every meaningful sense, it is false. Saying otherwise is just playing games with language.
This is, ultimately, another utterly trivial statement. It serves only to dismiss nonsense like garage dragons, gravity leprechauns, electromagnetism pixies, and so on. But it is important nonetheless.
If it is wrong, then there is a coherent answer to the question Carl Sagan asked when he introduced the garage dragon concept:
"What is the difference between a garage dragon and no dragon at all?"