NS,
Sorry it’s taken me a while to reply…
…It's a bootstrap paradox
If you start with :
If you can't show something to be impossible, it is possible (note, I don't agree with that but for the purposes of illustrating the paradox, let's accept Prof D's starting position)
I do start with that yes – though I’d probably qualify the “possible” with “conceptually” or “theoretically”. How for example would I eliminate the possibility that I’m merely programmed to think that square circles are impossible?
In other words, any statement of fact is necessarily delimited by our ability to know things to be facts and we’re not omniscient.
Followed by:
If something is possible, it rules out it being impossible
(Which you agreed with)
Yes. I can’t rule out that anything is categorically impossible when there’s necessarily a theoretical possibility of being wrong about that – it’s the “unknown unknowns” problem.
Then it follows that you have shown it by that logic to be impossible from a starting point of just not being able to show that it is impossible.
I’ve read this several times and still can’t make sense of it. Maybe it’s me, but can you clarify please?