Основные различия двух типов логики

В начале хотелось бы разобраться, что же представляет собой формальная и диалектическая логика.
Логика - наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.
Формальная логика. Формальная логика характеризуется структуризации мыслительного процесса при помощи специальных «символов и знаков». Особенностью предмета формальной логики служит также анализ форм и законов мышления вне их возникновения и развития.
Данная логика строиться по формально-логическим законам. Разберем по подробней эти законы.
Закон тождества.