Читать «Истина и доказательство» онлайн - страница 7

Легко показать, что «нигилизм» в теории истины признает только на словах некоторые популярные формы человеческой речи, а на самом деле устраняет понятие истины из концептуального строя человеческого разума.

Поэтому мы рассмотрим другой выход из затруднения и попытаемся найти решение, которое, по существу, сохранит в целостности классическую концепцию истины. Для этой цели подвергнем анализу те свойства обыденного языка, которые являются реальными источниками антиномии лжеца. В этом плане внимание привлекает прежде всего такое свойство естественных (разговорных) языков, как их универсальный характер. Предполагается, что обыденный язык должен обеспечить адекватные средства для выражения всего того, что может быть выражено вообще в каком бы то ни было языке. Он непрерывно расширяется для того, чтобы удовлетворить этому требованию. В частности, он семантически универсален в следующем смысле: совместно с лингвистическими объектами, такими, как предложения и термины, которые являются компонентами этого языка, в него включаются также и имена этих объектов; кроме того, обыденный язык содержит семантические термины — «истина», «имя», «обозначение» которые прямо или косвенно связаны с отношениями между лингвистическими объектами и некоторой внелингвистической реальностью. Следовательно, для каждого предложения, сформулированного в обыденном языке, мы можем сформулировать на том же самом языке другое предложение относительно того, истинно оно или ложно. Используя дополнительный «трюк», мы можем даже построить в языке то, что иногда называется самореферентным высказыванием, то есть высказывание, утверждающее своё собственное значение истинности. В том случае, если Ѕ утверждает свою собственную ложность, мы можем доказать, что Ѕ как истинно, так и ложно, и тем самым прийти к антиномии лжеца.

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