Notes and Reflections on Books and Media
by Hannah Leitheiser
~ 380 BC
It's like being run over by a train. 'This therefore this. This must be this and this, and is not this, so the other. It can not be otherwise than the other, therefore we prove...'
I feel like, guy, you're trying to do mathematics with words. A lot of work to train computers to understand language has shown such approaches fail, short of the most trivial domains. Now, true, there's some logic in thinking and some language in thinking, so you might suspect cross-over, but I feel language is not formal enough to sustain your kind of analysis. Nonetheless, I'll try to ferret out your points as best I can.