Читать «Иммануил Кант и современная логика» онлайн - страница 2

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

Не ставя целью изложить какие–то законченные результаты, я попытаюсь просто поставить некоторые проблемы для размышления. Не подлежит сомнению, что сейчас особое внимание привлекает эффективный подход. Возьмем, к примеру, логическую семантику. Стандартная семантика – теоретико–множественная: мы принимаем идею актуальной бесконечности. Упомянутые выше проблемы указывают на необходимость разрабатывать более эффективную семантику. И в этом смысле полезно обратиться к наследию Канта, в частности, к его работам на стыке критического и предкритического периода 1763 г. В дальнейшем я буду обращать внимание в основном на эти работы. Обратимся к работе «Единственно возможное основание для доказательства бытия Бога» (1, 391 – 510).

Известна лейбницевская концепция соотношения возможного и действительного. Лейбниц исходил из идеи, что понятие возможности является исходным понятием, а понятие действительности является вторичным, т. е. действительность – одно из возможного. Эта лейбницевская идея лежит, по существу, в основе всей классической математики: мы описываем возможное, а действительное выбираем как одно из возможных. Кант подходит к вопросу совершенно иначе. Он считает, что идея возможного (он различает логическую возможность и реальную возможность), идея реальной возможности не является первичной. Грубо говоря, для того, чтобы иметь идею возможного, нам нужно иметь идею действительного, потому что возможное есть некоторая перекомбинация существующего. Исходя из чего–либо и зная методы замены, перекомбинации существующего, мы и приходим к идее различных возможностей. Отсюда мысль Канта о доказательстве бытия Бога заключается в следующем: поскольку идея возможного вторична, а возможность у нас имеется, значит что–то должно быть абсолютно действительным. И это он отождествляет с идеей Бога.