▲ | mjburgess 5 days ago | ||||||||||||||||||||||
We have dead-zones in adductive reasoning, not in induction or deduction. Almost all failures of reasoning in people are in abducing what model describes the situation at hand. 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 | |||||||||||||||||||||||
▲ | rel_ic 5 days ago | parent [-] | ||||||||||||||||||||||
> we can apply the rule, "-A cannot follow from A", etc. regardless of the A 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! | |||||||||||||||||||||||
|