Наука логика – одна из древнейших наук. Ее следы просматриваются в древнеиндийской и древнекитайской философии, а также в философии античной Греции. Наиболее значительной фигурой здесь был Аристотель, которого по праву считают основателем формальной логики. В его сочинениях мы находим основы теоретического знания о формах и приемах мышления. В дальнейшем логика развивалась другими философами, которые видели в ней необходимую науку о мышлении, без которой невозможно успешное развитие познавательного процесса. Возникнув в рамках философии, логика вышла за ее пределы и стала необходимым инструментом мышления в науке, в политике, в экономике, в сфере общественной и культурной жизни, в повседневных делах самых широких слоев населения. Сегодня логика служит политику и юристу, ученому и студенту, бизнесмену и общественному деятелю, руководителю и исполнителю, домохозяйке и педагогу и т.п. Формально-логическое мышление обладает всеобщей обязательностью, и в этом состоит его сила. Почему? Что такое логика как наука?