Логика науки не является особой дисциплиной, существующей наряду с современной логикой, а есть лишь особый аспект логики, связанный с приложением логических систем к практике научного теоретизирования и выделяемый только по контрасту с чистым исследованием формальных построений (исчислений). В современной логике нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы современной логики, включая и центральный – теорию логического следования, так или иначе связаны с логическим анализом научного познания.

Современная логика взаимодействует с наукой, прежде всего, через методологию научного познания, поэтому обычно говорят не просто о «логике науки» («логике научного познания»), а о «логике и методологии науки» или о «логико – методологическом анализе науки». В рамках такого анализа современная логика сама по себе не решает каких-либо конкретных проблем методологии науки или образования, но логическое исследование представляет собой, как правило, необходимую предпосылку рассмотрения таких проблем.

Современная логика не только используется в методологическом анализе, но и сама получает важные импульсы в результате обратного воздействия своих приложений. Имеет место взаимодействие логики и методологии в анализе научных теорий, а не простое применение готового аппарата к некоторому внешнему для него материалу. Особенно заметным это стало в последние годы, когда произошло смещение центра интересов методологии науки, а следовательно, и методологии образования, от анализа готового знания к исследованию роста и развития знания.

Логика занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и т. д. Но главные темы логических исследований – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон. Рассуждать логически правильно – значит рассуждать в соответствии с законами логики. Логика не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д.

В современной логике логические процессы изучаются путем их отображения в языках формализованных, или логических исчислениях. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются семантикой. Семантика исследует вопросы интерпретации формальных теорий, отношения ее выражений к некоторой предметной области.

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

Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязательным для всякого непредубежденного ума. Развитие логики показало, однако, что доказательства вовсе не обладают абсолютной, вневременной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргументации на деле историчны и социально обусловлены. В разных логических системах доказательствами считаются разные последовательности утверждений, и ни одно доказательство не является окончательным.

Перемены, происшедшие в логике в XX веке приблизили ее к реальному мышлению и тем самым к человеческой деятельности, одной из разновидностей которой она является.