Читать «Логика смысла / Theatrum Philosophicum» онлайн - страница 14

Однако предполагаемое первенство сигнификации над денотацией поднимает еще одну деликатную проблему. Когда мы говорим «следовательно», когда мы рассматриваем предложение как вывод, мы делаем его объектом утверждения. Это значит, что мы оставляем в стороне посылки и утверждаем предложение само по себе, независимо от них. Мы связываем предложение с положением вещей, на которое оно указывает, независимо от импликаций, устанавливающих его значение. Но для этого надо выполнить два условия. Нужно, чтобы предпосылки были действительно истинны. А значит, мы вынуждены отойти от чистого порядка импликации, чтобы связать предпосылки с предполагаемым нами обозначенным положением вещей. Но даже если считать, что предпосылки А и В истинны, то из них можно вывести только то предложение, о котором идет речь (назовем его Z). Остается только отделить его от этих предпосылок и утверждать само по себе, независимо от процедуры вывода, допуская, что Z, в свою очередь, истинно, раз истинны А и В. А это равносильно предложению С, остающемуся внутри процедуры вывода и не способному от нее оторваться, поскольку С отсылает к предложению D, утверждающему, что «Z истинно, если истинны А, В и С…», и так до бесконечности. Данный парадокс, лежащий в самой сердцевине логики и имеющий решающее по важности значение для всей теории символического вывода и сигнификации, — ни что иное, как парадокс Льюиса Кэррола, изложенный в блестящем тексте «Что черепаха сказала Ахиллу». Короче, заключение может быть отделено от предпосылок, но только при условии, что всегда добавляются другие предпосылки, от которых заключение как раз и неотделимо. Все это позволяет сказать, что сигнификация никогда не бывает однородной, а два знака — «имплицирует» и «следовательно» — полностью разнородны, и что процедура вывода никогда не обосновывает денотацию, ибо последняя уже выполнена: один раз в предпосылках и другой раз в заключении.