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

, логика добра, имеющая дело с понятиями «хорошо», «плохо» и «безразлично», логика предпочтений, исследующая понятия «лучше», «хуже» и «равноценно», логика изменения, говорящая об изменении и становлении нового, логика причинности, изучающая утверждения о детерминизме и причинности, и др.

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

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

По-новому представляются теперь взаимные отношения математики и логики. Один из авторов сведения первой из этих наук ко второй – Б. Рассел – писал, что логика стала более математической, математика – более логической; в действительности они составляют одно целое. Однако замысел вывести всю математику из чистой логики без принятия дополнительных основных понятий и дополнительных допущений оказался утопичным. Особенно чувствительный удар нанес по нему К. Гёдель, показавший, что все системы формализованной, логически совершенной арифметики существенно неполны: их средствами нельзя доказать некоторые содержательно истинные арифметические утверждения.

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

Законы логики когда-то представлялись абсолютными истинами, никак не связанными с нашим опытом. Уверенность в их непогрешимости подкреплялась длительным и, как казалось, безотказным их использованием.

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

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