«Аристотель никогда не считал разработанную им логику лишь формальным инструментом, подобным правилам исчисления в математике. Он связывал логику с онтологией (метафизикой): мышление понятиями предполагает, что мир состоит из устойчивых видов» (J.Lenoble. La notion de l’experience. Paris, 1939. P.35).
Символическая логика представляет собой набор символов и правил обращения с ними, но этот набор не предполагает даже саму задачу понимания смысла и сути символов или их отношения к реальности, их «истинность» (в обычном, традиционном смысле слова «истина»). Работа компьютера основана именно на математической логике. Она количественная (цифровая), а не качественная. Она сводится к математике.
Новая логика, наряду с наименованиями «математическая логика» или «символическая логика», называется иногда «логикой высказываний», так как она начинается именно с высказываний, а не понятий. Ведь понятия («яблоко» или «человек») выражают универсалии, или иначе говоря, сущности или природу, что уже изначально предполагает метафизический реализм (уверенность, что универсалии существуют) и эпистемологический реализм (уверенность, что мы можем их познать).
Современные философы назовут эти предположения наивными, но мне кажется, что это очень разумные предположения, и абсолютно не наивные. Разве наивно предполагать, что мы знаем, что такое яблоко? Новая логика не пытается понять смысл высказываний. Она даже запрещает нам говорить, чем же являются вещи!
А если мы не говорим об этом, то скоро мы прекращаем и думать об этом, так как в нашем языке не останется средств для выражения этой мысли. Язык – это дом для мысли, а бездомность настолько же разрушительна для мыслей, как и для людей. И если мы начнем думать только номиналистскими «понятиями», это приведет к фундаментальным историческим изменениям. Это обратит вспять эволюционное развитие человека из животного мира, связанное именно с человеческой способностью познавать абстрактные универсалии. Это будет ментальным эквивалентом хождению голыми на четырех конечностях, жизни на деревьях и поеданию жуков и бананов. (А могли бы обезьяны путем естественного отбора эволюционировать от номиналистов?)
Возможно, подобно предположение и кажется слишком экстремистским, но подобная деградация разума не кажется чем-то невероятным. И изменения логики непосредственно связаны с этим. Уже сегодня «интернет-логика» или логика спонтанных ассоциаций ключевых слов заменяет «логику родов и видов», то есть
