логика. Что изучает логика формальна, диалектическая?

Формальная_логика - -наука, изучающая мышление с т зр его способности быть оформленным в языке

Диалектическая логика наука о наиболее общих законах развития природы, общества и мышления