Блин, чёрт меня дёрнул вступать в дискуссию и обещять объяснить...
Дело в том что там очень -очень много всего, но попробую в кратце.
Итак почему Шарик-собака но при этом собака-это не Шарик.
Дело в том что Шарик входит в так сказать, страту, группу ,определение, Ну давайте называть "Сообщество" Собак.
НО! Шарик не обладет всеми свойствами "Сообщества" собак, ну и кроме Шарика в этом "сообществе "есть другие Шарики, Бобики ,Верные, Мухтары и прочее. Если мы примем что собака-это Шарик, то все кто НЕ Шарик это НЕ собаки.
Ну или давай так, Шарик же может одновременно являться членом не только сообщества " Собаки", Давай как-бы подселим его на усадьбу к Полме ( Вот она обрадуется

)
Тогда Шарик-живёт в усадьбе Полмы. НО! Тот кто живёт в усадьбе Полмы-Это не Шарик! Нельзя провести такого тождества, Полма например, её супруг, куры , коза и прочие- они НЕ Шарик.
То есть ЧАСТЬ группы обладает каким-то признаком, позволяющим отождествлять эту часть с группой. Но Группу отождествлять с частью группы нельзя.
Это один из постулатов Логики.
Их там много, они интересные...