Новая логика

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

Вот некоторые эмбрионы оккамовской логики. Прежде чем говорить о предложениях, пропозициях, нужно выяснить термины, их составляющие. В "Сумме логики" он выделяет следующие. Термин ментальный, отражающий модификацию души; как обозначающий он становится частью ментальной пропозиции. Термин оральный, или устный, составляет часть устного предложения. Наконец, термин письменный, воспринимаем уже не ушами, а глазами. Первый термин натуральный, два других — конвенциональные, ибо от языка к языку меняют свой облик.

Есть, среди прочего, еще и "категорематики", т. е. термины, имеющие определенный и точный смысл, как, например,"человек" (обозначающий всех отдельных людей), "животное", "белизна" и т.п. Есть и так называемые "синкатегорематики", среди которых такие понятия, как "каждый", "никто", "кто-то", "все", "только" и подобные этим, не имеющие точного и определенного смысла.

Нужно отличать термины абсолютные от терминов коннотативных, соотнесенных. Так, имя "животное" относится к первому классу, ибо, включая в себя и быков, и ослов, и котов, оно не обозначает их в порядке преимущества, предшествования. Термин же "белое", к примеру, будет коннотативным, ибо предполагает наличие понятия "цвет", с которым он соотносится, или слова "белизна", во вторую очередь.

Употребление коннотативных терминов связано с модальностью существ в том смысле, что они могут прямо указывать на какую-то вещь и косвенно на другую, выявляя связь между предметами, которой в реальности нет. Теперь, полагает Оккам, можно включить глагол в дефиницию, выражающую номинальную сущность. Например, на вопрос, что значит термин "причина", можно сказать, что "это нечто, за которым следует нечто другое, или: нечто, способное продуцировать другое".

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

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

Становится очевидным намерение Оккама придать логике автономный статус и строгие очертания, чего не было у предшественников. Но окне устает подчеркивать, что никакой объективной реальности за терминами нет. Мы имеем дело с радикальным разводом логики и реальности, именами и вещами. И каковы же плоды этого развода?

Во-первых, это дает возможность, по мнению Оккама, заняться терминами как чистыми символами, как если бы они коррелировали сами с собой. Он даже предлагает в качестве результата такой чистки неуязвимую теорию логического доказательства, строгого и очевидного, как образованного из чистых символов. Гениальная интуиция реализована полностью современной символической логикой с ее разделением "синтаксиса" и "семантики".

Ставя затем задачу уточнения употребляемых терминов уже в отношении обозначаемой реальности, Оккам дает мощную возгонку экспериментальной традиции. Постоянный контроль за нашими ссылками на реальность, строгость языка и научного дискурса, — таковы его требования. Вера в продуктивность логических суппозиций в различных формах соседствовала с призывом избавиться от приблизительности в суждениях и вредных засорений языка, стремиться к пунктуальности и строгости мышления. Речь идет, таким образом, о логической конструкции, где порядок мысли гарантирует ясность языка и реализм познавательных интенций.