> blub is a forp and all forps are tworby. Is blub tworby or not?
GPT4:
Given the statements:
Blub is a forp.
All forps are tworby.
From the second statement, it is clear that every entity that is a forp is also tworby.
Thus, since Blub is a forp (from the first statement), Blub must be tworby.
There are humans that can't do this. So even if it's just a stochastic parrot, the stuff it's parroting does encode some reasoning, so it would be strange if an arbitrarily powerful parrot (not claiming that GPT-4 has reached that level) couldn't pattern match its way to some common kernel of reasoning, small as it may be.
GPT4:
Given the statements:
From the second statement, it is clear that every entity that is a forp is also tworby.Thus, since Blub is a forp (from the first statement), Blub must be tworby.
There are humans that can't do this. So even if it's just a stochastic parrot, the stuff it's parroting does encode some reasoning, so it would be strange if an arbitrarily powerful parrot (not claiming that GPT-4 has reached that level) couldn't pattern match its way to some common kernel of reasoning, small as it may be.