Читать «Иммануил Кант и современная логика» онлайн - страница 3
В. А. Смирнов
В данном случае нас интересует не теологическая сторона дела, тем более, что сам Кант впоследствии отказывается от теологической трактовки, а интересует сама общая концепция, открывающая совершенно иное понимание соотношения между действительным и возможным и совершенно другую понятийную структуру. Эта понятийная структура как раз и легла в основу интуиционизма – более тонкого подхода к основаниям математики и вообще к нашему стилю мышления. Этот подход, который заложен, в какой–то степени в кантовской работе, достаточно глубокий и воспринятый интуиционизмом, как раз очень интересен для нас в свете построения неклассических, более эффективных, более операционалистских семантик, которые сложнее традиционных, но имеют большое прикладное значение. Большой вклад в развитие такого подхода внесли ученые нашей страны, особенно математики школы Лузина и школы Маркова. Этот подход относится к одному из самых перспективных направлений в логической науке, в основаниях математики.
Теперь я хотел бы остановиться на некоторых общих моментах понимания логики. Сейчас, в связи с приложением логики к компьютерной науке, очень остро встал следующий вопрос. Традиционно считалось, что логика абстрагируется от психологии: логику не интересует, как реально мыслит человек, а важно то, как надо мыслить, чтобы при истинности посылок получить истинный результат, безотносительно к тому, кем реализуется этот способ мышления (человеком или машиной). Дело логики – изучать возможные классы рассуждений. Эта восходящая к Лейбницу традиция и в современной логической науке является господствующей. Однако сейчас, когда возникла необходимость решать серьезные прикладные задачи, нередко ставится вопрос, не следует ли от нее отказаться? Не обратиться ли логике вновь к обыденному мышлению? Высказывается мнение, что старая логика рассуждает абстрактно, а надо изучать, как на самом деле рассуждает человек. Я бы не согласился с такой постановкой проблемы, с таким ее решением.
Некоторые специалисты компьютерной науки, ставя вопрос именно так, пытаются развивать логику обыденного рассуждения. На мой взгляд, вряд ли это перспективное направление, ибо обращаться надо не к анализу обыденного рассуждения, а к очень глубоким теоретико–познавательным и другим учениям, к философии, может быть, даже к теории психологии. Математику мы не построим, бегая от одного человека к другому и спрашивая, как они вычисляют. Прикладные вопросы не дают оснований для развития логики и математики. По этому поводу Кант высказался очень четко. Я хочу обратить на это внимание. Кант пишет: «Далее логику принято разделять: на логику