I don’t think mortal is included in the definition of human.
Shouldn’t the syllogism be rendered:
All [~feathers, bipedal] are mortal. Socrates is a [~feathers, bipedal]. Therefore, Socrates is mortal.
Which is at least a little bit more interesting than you’ve indicated.
Compare also Mill’s discussion of finding out that diamonds are combustible from “A System of Logic”
I don’t think mortal is included in the definition of human.
Shouldn’t the syllogism be rendered:
All [~feathers, bipedal] are mortal. Socrates is a [~feathers, bipedal]. Therefore, Socrates is mortal.
Which is at least a little bit more interesting than you’ve indicated.
Compare also Mill’s discussion of finding out that diamonds are combustible from “A System of Logic”