Теория и практика аргументации

Система подобной логики, так называемой не-не-фрегевской (метафорической) логики, была предложена автором в статье “Ситуации и смысл: не-не-фрегевская (метафорическая) логика. 1”{159}. Следует отметить, что еще сам создатель не-фрегевской логики Р.Сушко развивал в ранних работах теорию экстенсий и интенсий, которую можно было бы квалифицировать как некоторое различение смысла и денотата в рамках одной логической системы. Термин “не-не-фрегевская логика” вызван тем обстоятельством, что если Сушко отменил фрегевскую аксиому, провозглашающую единственность денотата для всех истинных (соответственно всех ложных) высказываний, то в не-не-фрегевской логике приходится отменять (расширять) принцип Сушко, гласящий, что кореферентность (совпадение ситуаций) влечет логическую эквивалентность (совпадение истинностных значений).

Главной особенностью системы не-не-фрегевской логики является введение в не-фрегевскую логику еще одной связки тождества — связки подобия по смыслу. Взаимоотношение связки кореферентности и связки подобия денотатов по смыслу можно было бы охарактеризовать следующим образом: кореферентность двух утверждений означает подобие их денотатов во всех смыслах. Мы как бы различаем максимальную кореферентность (во всех смыслах) и минимальную (кореферентность в некотором одном смысле).

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

Еще один трудный момент связан с наложением ограничений на аксиому, говорящую о том, что подобие сложных денотатов по смыслу влечет подобие по смыслу их составляющих (кореферентность в некотором смысле сложных выражений определяет кореферентность в некотором смысле их составляющих). При этом приходится запрещать вывод из кореферентности в некотором смысле сложного выражения, если в роли этого сложного выражения фигурирует противоречивая формула или атомарное утверждение. Но оправдание подобного ограничения можно найти у Л.Витгенштейна, на теорию которого опирается ситуационная семантика не-фрегевской логики. По мнению Витгенштейна, из противоречия не может следовать ничего ввиду его бессмысленности, отсюда тем более нельзя говорить о каком-то тождестве смыслов выражений, входящих в состав противоречивого утверждения. Что касается атомарности утверждения, то в этом случае нельзя аргументировать к совпадению денотатов по смыслу, поскольку атомарное утверждение не имеет составляющих.

Существенным моментом является отмена в не-не-фрегевской логике (СЕ)-принципа. На смену ему приходит иной принцип, принцип подобия по смыслу логически эквивалентных выражений, гласящий следующее:

(SF) Если из А выводимо В и из В выводимо А, то А кореферентно в некотором смысле В,

и этот принцип принимается, в отличие от (СЕ)-принципа в не-фрегевской логике. При этом в не-не-фрегевской логике от кореферентности по смыслу двух выражений мы не можем переходить к просто кореферентности этих выражений, что сохраняет отмену (СЕ) для связки кореферентности.

Если мы теперь вернемся к “рогатке” Черча, то трудность решения задачи запрещения интерпретации с помощью (1) и (2), о которой пишет Р.Вуйцицкий, представляется преодолимой как раз с помощью (SF)-принципа.

Напомним, что если принять точку зрения Черча, то получаем, что (1) кореферентно (2) кореферентно (3) кореферентно (4), и в этом случае (1) обозначает ту же ситуацию, что и (4). Но в рамках аргументации, основывающейся на не-не-фрегевской логике, если мы считаем, отвергая при этом (СЕ), что ситуации не сводятся к истинностным значениям и истинностные значения не проявляют ситуаций, как это имеет место в не-фрегевской логике, то вывод Черча не представляется совершенно абсурдным. Теперь мы на основании (SF)-принципа получаем, что аргументация Черча сводится не к кореферентности (1)-(4), но всего лишь к кореферентности в некотором смысле, т.е. (1) кореферентно в некотором смысле (2), (2) кореферентно в некотором смысле (3), (3) кореферентно в некотором смысле (4). При этом от совпадения ситуаций в некотором смысле мы не можем аргументировать к полному совпадению ситуаций (во всех смыслах). Помимо этого кореферентность в некотором смысле (подобие денотатов) нетразитивна, поэтому мы не получаем, например, кореферентность в том же некотором смысле (2) и (3), что и кореферентность (1) и (2).