Новая логика

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

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

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

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

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

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

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

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

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

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