Обычно всю логику делят на формальную и диалектическую. В формальной логике имеет смысл остановиться на индуктивной и дедуктивной логике.
Индуктивную логику (от частного к общему) можно рассматривать как логику вероятностную, логику не строгого логического доказательства (в отличии, например, от математической), а только для того, чтобы из определённых частностей сформировать представление об общем. Истину в данном случае можно получить только при учёте абсолютно всех факторов, определяющих общее, что зачастую бывает невозможно.
Дедуктивная логика (от общего к частному) наоборот, логика строгих доказательств, при соблюдении правил логики и при истинных посылках (исходных положений) она даёт и истинный результат.
Когда-то в журнале «Наука и жизнь» регулярно публиковались логические задачи. Одна из них звучала примерно так.
На острове жили аборигены и пришельцы. Аборигены всегда говорили только правду, а пришельцы всегда только лгали. Путешественник взял проводника, представившегося ему как абориген. Увидев ещё одного человека, он послал к нему проводника узнать, кто он. Проводник, вернувшись, доложил, что тот сказал, что он пришелец. Это позволило путешественнику безошибочно определить, кем действительно является его проводник.
То есть, доказательства на основе дедуктивной логики при верности посылок дают верный результат с математической точностью. Но чтобы не стать жертвой случайных или преднамеренно сконструированных софизмов необходимо уметь обнаруживать логические ошибки в рассуждениях, в том числе и в своих собственных. А для этого надо более детально познакомиться с законами и правилами логики.
Что касается диалектики и диалектической логики, то по этому вопросу споры идут и по сей день. Понятие «диалектика» зародилось во времена Сократа, как умение вести беседу, по сути, на основе основных законов логики. Но со временем оно несколько трансформировалось, и на основе работ Гегеля были сформулированы три закона диалектики, как всеобщие законы развития: единство и борьба противоположностей, переход количества в качество и отрицание отрицания. Если не углубляться в существующие разногласия, то в общих чертах законы диалектики вероятно можно рассматривать как механизм реализации более общего закона мироздания, утверждающего невозможность сколь угодно большого количества одного качества. Но надо иметь в виду, что под качеством здесь понимается не набор качественных характеристик объекта, а его качественное состояние в целом. Например, лёд, вода, пар как разные качественные состояния одного объекта.