В А Смирнов - Иммануил Кант и современная логика

В. А. Смирнов (Институт философии АН СССР) Иммануил Кант и современная логика

Логика в своем развитии всегда обращалась к истории философской мысли. Это стало традицией. С одной стороны, результаты логики опробовались при решении тех или иных философских проблем, а с другой стороны, обращаясь к различным философским учениям, логика черпала в них новые идеи, получала дополнительные стимулы для развития новых направлений. Хорошо известно, что целый ряд направлений логической науки возник именно так. Яркий пример – временная логика. Первоначально временная логика возникла просто как вспомогательная историко–философская дисциплина для анализа античных текстов, а затем, получив импульс со стороны сугубо историко–философской проблематики, она превратилась в самостоятельный очень интересный раздел неклассической логики, в котором были получены результаты, обнаружившие неожиданные выходы даже на технические приложения (например, применение логических средств к синтезу и верификации программ – одно из перспективных направлений, которое имеет прикладное значение). При этом за небольшой срок, буквально за 10 – 15 лет, произошел переход от историко–философской проблематики к проблемам прикладного характера.

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

В Москве прошел Всемирный конгресс по логике, методологии и философии науки (август 1987 г.), и, осмысливая результаты конгресса, можно отметить такую очень характерную черту в логической науке. На Канадском конгрессе было сконцентрировано внимание на связи логики с теорией познания, Зальцбургский конгресс привлек внимание ученых к связи логики с лингвистикой и ориентировал на контакты логиков с лингвистами. Московский конгресс четко проявил связи логики с прикладными темами, с компьютерной наукой, причем в очень разностороннем плане. Здесь надо подчеркнуть, что эта связь логики с современной компьютерной наукой в широком смысле слова осуществляется не сама по себе, а через связь логики с теорией познания, с глубокими философскими проблемами. Это и понятно. Например, японская программа создания компьютеров 5–го поколения требует глубокого анализа общения человека с машиной, создания языков, понятных и для человека, и для машины. Здесь возникает очень много интересных проблем. Какого рода эти проблемы и почему обращение к Канту здесь интересно?

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

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

Не ставя целью изложить какие–то законченные результаты, я попытаюсь просто поставить некоторые --">