By using this site, you agree to our Privacy Policy and our Terms of Use. Close
dsgrue3 said:
happydolphin said:
There exists a trait such that, for all animals A, t(A), where t is the function of having the trait, resolves true if the argument has the trait.

Sure.

Now you need to prove that for all trait t1...tn, ti(A).

From there exists to all, it is a fair stretch of the mind. Easier to disprove that all trait are not shared by all animals. Example: flying.

Once that's done, it's fair to say that there exists a trait tj such that, for an animal A, !tj(A).

If homosexuality is a trait, it is possible !tj(A).

This is incredibly unreasonable and false to begin with haha. Why are you allowing him to attempt this? It's mean.

Because I'm naughty like that