The issue isn’t flaws or flawlessness. In my bat example, you could perfectly imagine Tom sitting in an easy chair with a glass of scotch saying to himself, ‘I’m glad I wrote that story about the bat’. But that wouldn’t help. I never said it’s impossible for Tom to sit in a chair and say that, I said that it was impossible to write a story about a bat.
The issue isn’t logical detail simpliciter, but logical detail relative to the purported impossibility. In the triangle case, you have to imagine, not Tom sitting in his chair thinking ‘I’m glad I proved that E-triangles have more than 180 internal degrees’ (no one could deny that that is possible) but rather the figure itself. It can be otherwise as vague and flawed as you like, so long as the relevant bits are there. Very likely, imagining the proof in the relevant way would require producing it.
And you are asserting something, you’re asserting the possibility of something in virtue of the fact that it is in some sense actual. To say that something is logically impossible is to say that it can’t exist anywhere, ever, not even in a fantasy. To imagine up that possibility is to make it sufficiently real to refute the claim of possibility, but only if you imagine, and thus make real, the precise thing being claimed to be impossible.
The issue isn’t flaws or flawlessness. In my bat example, you could perfectly imagine Tom sitting in an easy chair with a glass of scotch saying to himself, ‘I’m glad I wrote that story about the bat’. But that wouldn’t help. I never said it’s impossible for Tom to sit in a chair and say that, I said that it was impossible to write a story about a bat.
The issue isn’t logical detail simpliciter, but logical detail relative to the purported impossibility. In the triangle case, you have to imagine, not Tom sitting in his chair thinking ‘I’m glad I proved that E-triangles have more than 180 internal degrees’ (no one could deny that that is possible) but rather the figure itself. It can be otherwise as vague and flawed as you like, so long as the relevant bits are there. Very likely, imagining the proof in the relevant way would require producing it.
And you are asserting something, you’re asserting the possibility of something in virtue of the fact that it is in some sense actual. To say that something is logically impossible is to say that it can’t exist anywhere, ever, not even in a fantasy. To imagine up that possibility is to make it sufficiently real to refute the claim of possibility, but only if you imagine, and thus make real, the precise thing being claimed to be impossible.