Язык, истина и логика

Язык, Истина и Логика

Обложка первого издания
Автор	Эй Джей Эйер
Язык	Английский
Предмет	Значение
Опубликовано	1936
Место публикации	Великобритания
Тип носителя	Печать ( в твердом и мягком переплете )
Страницы	206 (издание Penguin 1990 г.)
ISBN	0-14-013659-2

«Язык, истина и логика» — книга 1936 года о смысле философа Альфреда Жюля Айера , в которой автор определяет, объясняет и аргументирует принцип верификации логического позитивизма , иногда называемый критерием значимости или критерием смысла . Айер объясняет, как принцип верифицируемости может быть применен к проблемам философии. «Язык, истина и логика» привлекла внимание англоязычного мира к некоторым идеям Венского кружка и логических эмпириков .

Согласно автобиографической книге Айера « Часть моей жизни» , именно работа, начатая им летом и осенью 1933 года, в конечном итоге привела к «Языку, истине и логике» , в частности к «Демонстрации невозможности метафизики» , позднее опубликованной в журнале Mind под редакцией GE Moore . Название книги было взято («в некоторой степени плагиатом» по словам Айера) из «Логики, языка, философии» Фридриха Вайсмана . [ ^1]

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

Синтетические утверждения или эмпирические предложения утверждают или отрицают что-то о реальном мире. Действительность синтетических утверждений не устанавливается просто определением слов или символов, которые они содержат. По мнению Айера, если утверждение выражает эмпирическое предложение, то действительность предложения устанавливается его эмпирической проверяемостью.

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

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

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

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

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

Айер соглашается с Юмом в том, что существуют два основных класса предложений: те, которые касаются «отношений идей», и те, которые касаются «вопросов факта». Предложения об «отношениях идей» включают априорные предложения логики и математики. С другой стороны, предложения о «вопросах факта» делают утверждения об эмпирическом мире.

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

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

Значительным следствием отказа от метафизики как предмета философии является отказ от взгляда, согласно которому функция философии заключается в предложении основных принципов смысла и построении дедуктивной системы , предлагая следствия этих принципов смысла как полную картину реальности. Но это, как могут утверждать некоторые ^{[ кто? ]} , то, что делает Айер, представляя принцип проверяемости как критерий осмысленности любого эмпирического предложения.

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

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

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

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

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

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

Для Айера этические или эстетические суждения субъективны, а не объективны, и не могут быть продемонстрированы как истинные или ложные. Этические или эстетические суждения выражают чувства, а не предложения, и не имеют объективной обоснованности. Оценочные суждения не являются аналитическими и не поддаются проверке как «вопросы факта».

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

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

Логический эмпиризм Айера вносит важный вклад в философию, поскольку он предоставляет метод, позволяющий положить конец неразрешимым в противном случае философским спорам. В логическом эмпиризме Айера философия больше не рассматривается как метафизическая проблема, это не поиск первых принципов и не попытка предоставить спекулятивные истины о природе высшей реальности. Вместо этого философия рассматривается как деятельность по определению и прояснению логических связей эмпирических предложений. Рассматривая вопрос о том, как отличить сознательного человека от бессознательной машины, ^[2] Айер также предвосхищает разработку в 1950 году теста Тьюринга для проверки способности машины демонстрировать интеллект (сознание).

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

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

Наиболее часто высказываемая оговорка относительно принципа заключается в том, является ли он сам по себе проверяемым; это было рассмотрено в вымышленном диалоге «Логический позитивизм: обсуждение». Айер считал, что его можно вывести аналитически из обычных определений слов, таких как «понимание». Он признавал, что затем можно было бы запросить проверку этого определения, а затем продолжить в бесконечный регресс. Айер считал последний вариант просто не заслуживающим рассмотрения, хотя философы, такие как Дональд Дэвидсон и Ричард Рорти, с тех пор использовали его, чтобы подорвать конкретный взгляд на язык, изложенный в таких работах, как «Язык, истина и логика» . ^{[ требуется цитата ]}

Логический позитивизм был философским направлением дня в 1920-х и 1930-х годах, и он был действительно популяризирован Айером в его книге «Язык, истина и логика» . Однако сам Айер позже отверг большую часть своей собственной работы. Спустя пятьдесят лет после того, как он написал свою книгу, он сказал: «Логический позитивизм давно умер. Я не думаю, что многое из « Языка, истины и логики» является истинным. Я думаю, что она полна ошибок». ^[3]

К 2002 году книга была напечатана в двенадцати изданиях. ^[4] В их число вошли:

• 1936, Лондон : Victor Gollancz Ltd , LCCN  36-18286, 254 страницы
• 1946, Лондон : Victor Gollancz Ltd, LCCN  46-8544, 160 страниц
• 1952, Нью-Йорк : Dover Publications , LCCN  52-860, 160 страниц
• 1971, Хармондсворт : Penguin Books , ISBN 0-14-021200-0 , 208 страниц 

• Язык, Доказательство и Логика

• Полный текст в формате PDF и других форматах доступен в Интернет-архиве
• Сжатый Айер — сжатая и сокращенная версия « Языка, истины и логики»
• Проблемы и изменения в эмпирическом критерии смысла Карла Густава Гемпеля — критика принципа верификации
• Две догмы эмпиризма Уилларда Ван Ормана Куайна — знаковая критика логического позитивизма