АНАЛИТИЧЕСКИЕ СУЖДЕНИЯ

АНАЛИТИЧЕСКИЕ СУЖДЕНИЯ – класс суждений (утверждений, высказываний, предложений), истинность которых устанавливается путем чисто логического анализа составляющих их элементов (терминов, элементарных высказываний) без обращения к внелогической или внеязыковой информации. Понятие аналитических суждений в противопоставлении понятию синтетических суждений [СИНТЕТИЧЕСКИЕ СУЖДЕНИЯ]было впервые сформулировано И.Кантом применительно к суждениям с субъектно-предикатной структурой: «Аналитические суждения высказывают в предикате только то, что уже мыслилось в понятии субъекта, хотя и не столь ясно и не с таким же сознанием» (Кант И. Соч., т. 4 (1). М., 1965, с. 80). Однако определяющие признаки аналитических суждений, не связанные только с суждениями с субъектно-предикатной структурой, по существу были сформулированы уже Лейбницем в контексте противопоставления им «истин разума» и «истин факта». Последние понимались Лейбницем как необходимые истины, устанавливаемые путем анализа их составляющих, причем безотносительно к эмпирической информации. «Истины разума» рассматривались им как априорные «истины во всех возможных мирах», т.е. как истины, которые независимы от положения дел, как оно складывается в этом реально существующем мире. Д.Юм проводит различение «отношения идей» и «положений дел»: первые носят для него необходимый характер и устанавливаются путем чисто логического анализа понятий. И для Лейбница, и для Юма априорность утверждений, их независимость от опыта жестко связана с их аналитичностью (в отличие от Канта, вводящего понятие синтетических априорных суждений). Новая волна интереса к понятию «аналитические суждения» была связана в гносеологии и методологии науки 20 в. прежде всего с развитием исследований по обоснованию математики и математической логики. Б.Рассел и Л.Витгенштейн сформулировали понятие тавтологий (или тождественно истинных высказываний), посредством которого они интерпретируют статус т.н. законов логики, т.е. формул исчислений математической логики, истинных при любой подстановке в них дескриптивных постоянных вместо переменных. К содержанию этого понятия применяется термин «аналитические суждения», хотя, строго говоря, классическому смыслу этого термина, по Канту, соответствуют только дескриптивные аналитические суждения типа «всякий холостой мужчина не женат». В соответствии с разделявшейся Расселом и Витгенштейном концепцией логицизма [ЛОГИЦИЗМ], сводящей математику к логике, признак аналитичности был распространен и на положения математики. Эта трактовка аналитических суждений легла в основу классификации предложений языка науки логическим позитивизмом [ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ] Венского кружка. Согласно этой классификации, все осмысленные предложения языка науки исчерпывающе делятся на два взаимоисключающих типа, для обозначения которых применяются идущие от Канта термины аналитичности и синтетичности утверждений. Определяющим признаком первой выступает возможность чисто логического обоснования. При этом специфика трактовки аналитичности в логическом позитивизме заключается в истолковании аналитических предложений как схем допустимых формальных преобразований в системе языка. Если для классического рационализма аналитические суждения выступали как логически необходимые, содержательные «истины разума», то для логического позитивизма аналитические предложения оказываются языковыми конструкциями, которые не несут в себе какой-либо информации о мире, являются «тавтологиями» (в специфическом смысле этого термина в философии логического анализа), принимаются на основе конвенционально устанавливаемых правил «языка науки». Трактуя логику и математику в противопоставлении остальным т.н. фактуальным наукам как «формальную науку», состоящую из подобного рода аналитических предложений, логические позитивисты пытались примирить свой «радикальный эмпиризм» в трактовке фактуальной науки с признанием специфики статуса логики и математики, всегда представлявшим непреодолимую трудность для эмпиризма. Кроме аналитических предложений формальной науки, т.е. логики и математики, в предлагаемой логическими позитивистами схеме предусматривался и подкласс дескриптивных аналитических предложений фактуальной науки, приводимых на основе правил языка к виду «предложений логики», что, собственно, только и соответствовало аналитичности в классическом смысле Канта.

И логика, и математика, предлагая определенные правила работы в языке науки, основываются тем не менее на определенных онтологических установках. В последующем развитии методологии науки, использующей идеи логической семантики, аналитичность интерпретируется как возможность обоснования утверждений при помощи исходных семантических правил данного языка, но при этом она оказывается связанной с наличием некоторых исходных предпосылок рассмотрения мира, постулируемого семантикой данной языковой системы. Рациональный смысл различения аналитичности и синтетичности фиксирует реальную методологическую проблематику выделения исходных основоположений построения языков науки и предложений, связанных с выражением той информации, которая ассимилируется в этих языках. Поскольку и семантика исходных постулатов языковой системы задает определенный взгляд на мир, определенную его картину, аналитические суждения не являются в этом смысле «истинами во всех возможных мирах» (как характеризовал их Лейбниц), а только в том «мире», картина которого задана семантикой соответствующей языковой системы. Таким образом, явно или неявно сами исходные семантические постулаты языка предполагают определенную онтологию.

В.С.Швырев