Логика — крайне непоследовательная вещь. Если исходить из неё, то получается, что кошка — это собака. Каково классическое описание кошки? Хищное животное, покрытое шерстью, одомашненное и прирученное человеком. Да, конечно, есть ещё детали, по которым видна разница. Но это детали. А деталями можно и пренебречь. Но тогда получится, что кошка и собака станут одним и тем же. Они разные, нередко выступают вообще как противоположности. А через логику становятся похожи. Сама логика нелогична.
