В предверии "Шестых Смирновских чтений по логике - Москва, 17 - 19 июня 2009 г.", обратил внимание на тезисы доклада Ларисы Анатольевны Дёминой. В тезисах "Перформативный смысл научного дискурса" автор пишет:

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

Необходимо признать, когда говорящий или пишущий сообщает нечто, то тем самым он, вопреки мнению Дёминой Л.А., несомненно совершает некоторое речевое действие. Если в вопросе и директиве (императиве) действительно не сообщается, а вопрошается и повелевается соответственно, то в 'утверждении' (повествовательном предложении) как раз "нечто" именно сообщается. А если следовать логике Дёминой Л.А., 'утверждения' надлежит исключить из перформативов.

Откуда пошла путаница трактовок перформативного высказывания в научном дискурсе, которой не было у самого Аристотеля?

Разрабатывая формальную логику и исходя из речевой практики, Аристотель из всех перформативных высказываний выбрал и положил в основу построения логической системы только 'суждения'. Мотивируя тем, что речь высказывающая, это только такая речь (в остиновско-сёрловской терминологии речевых актов - перформативы), о которой можно сказать, что она истинная или ложная:

"Но не всякая речь есть высказывающая речь, а лишь та, в которой содержится истинность или ложность чего-либо; мольба, например, есть речь, но она не истинна и не ложна. Итак, прочие виды речи оставлены здесь без внимания" (Аристотель. Об истолковании // Сочинения в четырёх томах. Том 2. - М., 1978. - C. 95).

Путаница возникает среди интерпретаторов на стадии редукции общей логики к логике математической. Хотя в математической логике 'высказывание' и истолковывается в классическом аристотелевском смысле как предложение, которое можно означить истинностными оценками 'истинно' и 'ложно'. Например В. И. Игошин пишет:

"Предметом исследования алгебры высказываний являются высказывания"..."Из многочисленных свойств высказывания алгебру высказываний интересует лишь одно: истинно оно или ложно. Итак, под высказыванием, понимается такое предложение, которое либо истинно, либо ложно. Высказывание не может быть одновременно и истинным и ложным" (Игошин В.И. Математическая логика и теория алгоритмов. - М., 2004. - С.15).

То есть сами математические логики сознательно отвлекаются от других (неистинностных) свойств высказываний и интересуются лишь свойством принимать значения 'истинно' или 'ложно'. Более того, в математической логике суждения отождествляются с высказываниями, поскольку среди остальных видов высказываний (вопросов, императивов, оценок) нет других, кроме как суждений, претендентов на несение логическим предложением значений 'истинно' и 'ложно':

"Предложения, выражающие определенные суждения, называются высказываниями. Они характеризуются тем, что могут быть истинными и ложными, и этим отличаются, например, от повелительных и вопросительных предложений" (В.А.Успенский, Н.К.Верещагин, В.Е.Плиско. Вводный курс математической логики. - М., 2002. - С.19).

Естественно, что гуманитариев - юристов, политиков, преподавателей не может устроить засилье в научном мышлении позитивистских установок на математическое по форме рассуждение и однобокое, бездумное внедрение математических принципов и методов в практику обычных нематематических рассуждений. Например, реакцией американских преподавателей на гипертрофированную математизацию общей логики стало движение неформальных логиков, сплотившихся вокруг журнала Informal logic. А также оживление исследовательских работ в области Риторики ("новая риторика") и Аргументации ("прагма-диалектика").

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

К сожалению, и новая риторика, и прагма-диалектика, и informal logic, с одной стороны, остаются в сфере тяготения формальной логики, с другой стороны, вновь впадают в психологизацию логики, которую столь тщательно и по всей видимости тщетно выкорчевывали, Гуссерль, Фреге, Рассел, Тарский, Лукасевич и др.

Альтернативное решение предлагает диалектическая логика. Только не в старом её виде субстанциональной диалектики (спекулятивной логики), а в обновлённом виде диалектической логики именно как логики - конкретной дисциплины с тем же предметом, что и у формальной логики (исследование рассуждений, построение моделей естественного рассуждения).

Проблема связи диалектики с формальной логикой поднималась Владимиром Александровичем Смирновым ещё в 1983 году:

"Для логики исключительно важен философский анализ актов мысли, отличных от суждения. В настоящее время в логике начато изучение императивов, вопросов, норм, задач. Проделана значительная предварительная работа, предложены различные модели указанных актов мысли. Но нам представляется, что исследование часто не учитывает их специфики, и модели этих актов необоснованно сближаются с суждениями" (Смирнов В.А. Символическая логика и теория познания //Философия и социология науки и техники. Ежегодник 1983. - М., 1985. - С. 45-60).

В диалектической логике развивающегося суждения понятие высказывания делится на четыре вида: суждение - истинностный вид высказывания ('истинностные' те высказывания, которые могут быть означены истинностными оценками 'истинно' или 'ложно') и три вида неистинностных высказываний - 'вопросы', 'оценки', 'императивы' (директивы, команды, требования, повеления, мольба, совет). Последним не могут быть присвоены истинностные значения 'истинно' или 'ложно'. В грамматике логические категории 'суждение', 'вопрос', 'оценка', 'императив' отображаются соответственно в повествовательном, вопросительном, оценочном и повелительном предложении.

Четкая артикуляция положения об истинностых и не-истинностных высказываниях позволяет зафиксировать исходную точку в начале движения по объединению формальной и диалектической логики в один универсум общей логики.

--
Михаил Петрович Грачёв
Москва, 14 июня 2009 г.