Аналитическая философия

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

Во-вторых, системы символов не могут даже приближенно исчерпать всего богатства фактических логических связей. Как мы уже пытались показать, область отношений, которые по существу являются логическими, то есть не зависят от неязыковых фактов, много шире области науки. Например, импликативные отношения можно обнаружить в политических, субъективных, исторических, этических, религиозных, эстетических и других типах рассуждений, которые вряд ли можно считать научными. Кроме того, разнообразие и сложность неэмпирических связей, содержащихся в одних только научных рассуждениях, никоим образом нельзя адекватно выразить в символических системах, разработанных на сегодняшний день. Наиболее явный недостаток подобных систем – их неспособность выразить сослагательные условные суждения, которые по-видимому, содержатся в большинстве научных обобщений. Можно указать также на многие другие недостатки таких систем в выражении многообразных типов рассуждений, которые применяются в научных исследованиях. Богатство логики в ее самом широком смысле не уступает богатству самого языка, и любая попытка вместить все неэмпирические отношения в такие узкие формы, как системы символов, предложенные логическими позитивистами, неизбежно затемняет различия, которые могут оказаться очень существенными. В последние годы обращение АФ к семантике и прагматике во многом определяет ее развитие.

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

3.6.3 Переводимость осмысленных высказываний на физикалистский язык

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

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