There are ideas and theories that are entirely plausible but cannot be proven with our current tools of logic and our current understanding of science. Existence as possibility and Phenomenological homotopy fall into this category as well.
Is there something to be extracted out of them? May it mean something for the existential relativity (the observer independent created realities, the multiple views of reality of the one single underlying etc.)
Can we divide them somehow epistemologically into:
- probably unprovable regardless of the level of knowledge
- probably provable under future discoveries ?