Философия науки. Учебное пособие

привела к возникновению на стыке таких двух разных наук, как философия и математика, современной, или математической, логики.

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

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

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

 п.).

Логика не только используется в исследовании научного познания, но и сама получает мощные импульсы для развития в результате воздействия своих научных приложений.

Имеет место именно взаимодействие логики и науки, а не простое применение готового аппарата логики к некоторому внешнему для него материалу.

Без логического закона нельзя понять, что такое логическое следование, а тем самым – и что такое доказательство. Законы логики составляют тот невидимый железный каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь.

Для целей логики, для формулировки ее законов необходим искусственный язык, построенный по строгим правилам.

Этот язык служит только одной задаче – выявлению логических связей наших мыслей. Но она должна решаться эффективно.

Язык, специально созданный современной логикой для своих задач, получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и разными специальными символами. Формализованный язык – это «насквозь символический язык».