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

Логика науки, по определению в философии, – дисциплина, применяющая понятия и технический аппарат современной формальной логики к анализу систем научного знания. Сам термин «логика науки» используется также для обозначения законов развития науки, правил и процедур научного исследования. В данном контексте логика науки начала изучаться в середине XIX века и окончательно оформилась в первой четверти XX века под влиянием идей Фреге, Рассела и Витгенштейна.

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

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

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

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

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