What happens after death?

[Adrianis]

By the way, the argument

Spoiler below!

"IF Betty is a cow
AND
IF All cows are Ungulates
THEN Betty is an Ungulate"

is a formal fallacy. Betty being an ungulate simply because she is a cow and all cows are ungulates is an undistributed middle; Betty is merely a cow. You don't call all bovines ungulates, you call them bovines, which is a characterization of bovine nature. It's like saying "all monkeys stand upright; all humans also stand upright; therefore, all monkeys are humans". Just because monkeys and humans have a similar genus doesn't mean they should be lumped into the same classification.

My point was to point out that logic isn't about the topic 'making sense'. It's purely about the form, the fact that the classification is factually inaccurate is irrelevant unless you want to take the conclusion as factual, even then your conclusion can still be logical if your premises are correctly arranged

A wikipedia example of the form that an undistributed middle fallacy takes is this
All Z is B
Y is B
Therefore, Y is Z

Here B is the middle term and it is not distributed in the major premise All Z is B
In that form my argument would look like...

All Cows(Z) are ungulates (B)
Betty(Y) is an ungulate(B)
Therefore Betty(Y) is a Cow(Z)

But that wasn't my argument, this was...

All Z is B
Y is Z
Therefore, Y is B

All Cows(Z) are ungulates(B)
Betty(Y) is a Cow(Z)
Therefore, Betty(Y) is an ungulate(B)

Here Z is the middle term and is correctly distributed in the major premise All Z is B