Закон единства и борьбы противоположностей

Формальная логика – это наука о формах мышления, правилах и формах следования одного суждения из других. Она изучает формы мышления со стороны их строения, описывает простейшие приемы мышления, используемые в познании действительности, формулирует правила выведения одного суждения из других. Формальная логика, в частности, решает такие вопросы: из каких частей состоит умозаключение, каким образом связаны отдельные мысли в нем, в каком случае из них следует достоверный вывод, а в каком нет, и т.д.