Анализ пропозициональных установок

Общая характеристика анализа пропозициональных установок

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

• пропозициональных переменных,
• связок,
• кванторов.

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

Пропозициональные переменные представляют собой высказывания, которые могут быть либо истинными, либо ложными. Связки определяют отношения между пропозициональными переменными, например, «и», «или», «не». Кванторы определяют количество элементов, на которые распространяется высказывание, например, «все», «некоторые».

Впервые термин «пропозициональные предложения» употребил в 1940-е годы Б. Рассел. Ученый вкладывал в него психологический смысл, рассматривая установки как предрасположенность субъекта к какому-либо видению объекта.

Дискуссия о семантическом статусе пропозициональных установок, начавшаяся в середине XX века, до сих пор не завершена. Анализировать логический анализ контекстов, включающих пропозициональные установки, весьма трудно из-за наложения разнородных пластов смысла. Анализ лингвистического поведения субъекта требует принимать во внимание специфику внутреннего мира человека как многомерной системы мотивов, интересов, предпочтений, верований и т. д. Поэтому в разных ситуациях человек может придавать одному и тому же выражению разные смыслы. Кроме того, неправомерно заменять выражения на синонимичные (по сугубо лингвистическим соображениям) – в подобных контекстах это может привести к изменению истинностного статуса, поскольку в них приоритет отводится прагматическим и рефлексивно-коммуникативным факторам, в частности:

• логико-семантической компетентности субъекта,
• его ответственности и безответственности,
• его провокативности и осознанности в намерениях.

Для анализа пропозициональных установок используются различные методы, такие как:

• таблицы истинности,
• деревья вывода,
• логические законы.

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

Целостный смысл контекста при этом зависит от позиции говорящего (автора), от достоверности имеющихся у него сведений, способности понять других людей. Чтобы оценить чью-то мысль как знание («он знает, что …») требуется рассмотреть обоснованность личного знания с позиции социальных норм, рассмотреть культурно-исторический фон и т. д.

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

Исследование У. Куайном семантики контекстов пропозициональных установок

Российское философское сообщество знает У. Куайна как автора критики различия аналитических и синтетических высказываний, опубликованной в виде статьи «Две догмы эмпиризма», а также ряда следствий этой критики:

• скептического отношения к понятию априори и теории смысла,
• проекта натурализованной эпистемологии,
• холистского подхода к обоснованию научного знания.

Менее известны его критика модальной логики и номинализм; их обсуждают в основном логики и философы языка. Вклад же У. Куайна в философию языка (в том числе в сферу пересечения семантики и эпистемологии) известен только узким специалистам – несмотря на то, что именно рассматриваемая проблематика наиболее фундаментальна в аналитической философии; она лежит и в основе «лингвистического поворота» в эпистемологии. Так, У. Куайн предложил методику анализа предложений, приписывающих субъектам какие-либо верования (пропозициональных установок).

Содержание статьи У. Куайна «Кванторы и пропозициональные установки», вышедшей в свет в 1956 году, внесло значительный вклад в формальную философию языка. Сама эта статья до сих пор остается одним из самых влиятельных источников дискуссии по данной проблематике.

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

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

Проводимый Куайном анализ контекстов пропозициональных высказываний вскрывает ряд проблем, упущенных его предшественниками – в частности, Фреге. Эти контексты порождают не только проблему подстановки равнообъемных выражений, но и проблему экзистенциального обобщения, являющегося стандартным правилом для натурального вывода (введение квантора существования). В работе Куайна продемонстрировано, что введение в предложения с такими контекстами квантора существования приводит к недопустимому изменению смысла. Далее Куайн показывает, как приписывание верования субъекту может привести к парадоксальным следствиям. Исследуя эти затруднения, Куайн приходит к решению о недопустимости квантификации в контекстах пропозициональных установок.