Современная логика как наука о законах и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую. Формальная логика – это наука о формах мышления, о формально-логических законах и других связях между мыслями по их логическим формам. Формальная логика является наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, то есть типичные алогизмы. При применении средств, вырабатываемых формальной логикой, можно отвлекаться от развития знания. Формальная логика изучает формы мышления, выявляя структуру общую для различных по содержанию мыслей. Рассматривая понятия, она изучает не конкретное содержание различных понятий, а понятия как форму мышления. Изучая суждения, логика выявляет общую структуру для различных по содержанию суждений. Формальная логика изучает законы, обуславливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики. Формальная логика в своем развитии прошла два основных этапа. Первый этап – это связь с работами Аристотеля, в которых дано систематическое изложение логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики – логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков – основа другого направления математической логики – логики высказываний. Следующими, кто развил учение Аристотеля, следует назвать Галена; Порфирия, который разработал схему отображающую отношения между понятиями; Боэция, сочинения которого были логическими пособиями. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода – огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж.С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона – Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время. Второй этап – это появление математической логики. Философ Г. В. Лейбниц считается основоположником. Он пытался построить универсальный язык, с помощью которого споры между людьми можно было разрешить посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. Для выявления структуры вывода строят различные математические исчисления. Другим основанием деления логики служит различие применяемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и неклассические логики. В.С. Меськов выделяет принципы классической логики: ”1)область исследования составляют обыденные рассуждения; 2)допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4)абстракция двузначности высказываний”. Кроме формальной логики, существует логика диалектическая, предметом специального изучения которой являются формы и закономерности развития знания. Средства диалектической логики применяются в тех случаях, когда от развития знания отвлекаться нельзя. Диалектическая логика исследует такие формы развития знания, как проблема, гипотеза и так далее, такие методы познания как восхождение от абстрактного к конкретному, анализ и синтез. В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин. Диалектическая логика изучает законы развития человеческого мышления. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны и так далее. Диалектическая логика служит методом познания диалектики объективного мира. Логика формальная и логика диалектическая изучают один и тот же объект – человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой. Логика занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами, операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и так далее. Но главные темы логических исследований – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. В правильном рассуждении заключения вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон. Рассуждать логически правильно – значит рассуждать в соответствии с законами логики.