Формальная и диалектическая логика: различия и применение