научного знания непрерывно расширяется. Современная логика явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания. В современной логике логические процессы изучаются путем их отображения в формализованных языках или логических исчислениях. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются логической семантикой.
Современная логика с особой наглядностью показала, что развитие логики тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Современная логика активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в методологии познания. Сфера приложений современной логики в изучении систем научного знания и в образовании непрерывно расширяется. Она явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания.
Не лишне рассмотреть современную логику в её соотносительности с логикой науки, так как образование представляет собой важнейшую грань научной сферы.
Логика науки, по определению в философии, – дисциплина, применяющая понятия и технический аппарат современной формальной логики к анализу систем научного знания. Сам термин «логика науки» используется также для обозначения законов развития науки, правил и процедур научного исследования. В данном контексте логика науки начала изучаться в середине XIX века и окончательно оформилась в первой четверти XX века под влиянием идей Фреге, Рассела и Витгенштейна.
Логика науки не является особой дисциплиной, существующей наряду с современной логикой, а есть лишь особый аспект логики, связанный с приложением логических систем к практике научного теоретизирования и выделяемый только по контрасту с чистым исследованием формальных построений (исчислений). В современной логике нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы современной логики, включая и центральный – теорию логического следования, так или иначе связаны с логическим анализом научного познания.
Современная логика взаимодействует с наукой, прежде всего, через методологию научного познания, поэтому обычно говорят не просто о «логике науки» («логике научного познания»), а о «логике и методологии науки»
