Некоторые специалисты компьютерной науки, ставя вопрос именно так, пытаются развивать логику обыденного рассуждения. На мой взгляд, вряд ли это перспективное направление, ибо обращаться надо не к анализу обыденного рассуждения, а к очень глубоким теоретико–познавательным и другим учениям, к философии, может быть, даже к теории психологии. Математику мы не построим, бегая от одного человека к другому и спрашивая, как они вычисляют. Прикладные вопросы не дают оснований для развития логики и математики. По этому поводу Кант высказался очень четко. Я хочу обратить на это внимание. Кант пишет: «Далее логику принято разделять: на логику естественную, или популярную, и на искусственную, или научную… Но такое разделение неправомерно, ибо естественная логика, или логика обычного разума, есть, собственно, не логика, но антропологическая наука, имеющая лишь эмпирические принципы, так как она толкует о правилах естественного применения рассудка и разума, каковые познаются лишь in concreto, следовательно, помимо сознания их in abstracto. Поэтому лишь искусственная, или научная, логика заслуживает этого имени как наука о необходимых и всеобщих правилах мышления, которые могут и должны быть познаваемы in concrete a priori, независимо от естественного применения рассудка и разума, хотя первоначально их можно было бы находить лишь посредством наблюдения этого естественного применения»

В связи с этим мне хотелось бы обратить внимание на некоторые моменты. Я хочу вернуться к ранним кантовским работам, пониманию Кантом логики. Мы привыкли считать, что Кант остался в стороне от основного русла развития логики, и если Кант оказал влияние, скажем, на Фреге, то скорее как мыслитель, высказывавший противоположные идеи. Существует точка зрения, что Кант не имеет отношения к формальной логике, не внес в нее никакого вклада. Я думаю, здесь нужны некоторые коррективы. Поставим такой вопрос. Возможны ли, по Канту, истинные суждения с пустым субъектом? Это важный вопрос. На мой взгляд, при традиционной интерпретации силлогистики предполагается непустота субъекта в позитивных суждениях, а в отрицательных нет. Такое понимание категорических суждений было предложено В. Оккамом. Мною была аксиоматизирована силлогистика, соответствующая этой трактовке (и названа С2)