blank stare
blank stare
eg., we can apply the rule, "-A cannot follow from A", etc. regardless of the A
eg., we always know that if the number of apples is 2, then it cannot be any of "all numbers without 2" -- which quantifies over all numbers
You will not find a "gap" for a given number, whereas with LLMs, gaps of this kind are common
You can't think of any domains where we are unable to apply this rule? I feel like I'm surrounded by people claiming "A, therefore -A!!"
And if I'm one of them, and this were a reasoning dead-zone for me, I wouldn't be able to tell!
I dont see cases where people recognise the contradiction and then perform it.
Mathematicians who publish proofs that are later proven inconsistent!
I suspect we have fundamentally different views of how humans work. I see our behavior and beliefs as _mostly_ irrational, with only a few "reasoning live-zones" where, with great effort, we can achieve logical thought.