Читать «Семантическая концепция истины и основания семантики» онлайн - страница 5

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

Со времен античности до наших дней понятия семантики играли важную роль в рассуждениях философов, логиков и филологов. Тем не менее, в течение долгого времени к этим понятиям относились с некоторым подозрением. С точки зрения истории, это подозрение следует считать вполне оправданным. Несмотря на то, что в повседневном языке значения семантических понятий представляются достаточно ясными и понятными, все попытки выразить эти значения общим и точным способом оказывались безуспешными. Еще хуже то, что многие рассуждения, включавшие в себя эти понятия и казавшиеся вполне корректными и опирающимися на, казалось бы, очевидные предпосылки, часто приводили к парадоксам и антиномиям. Достаточно указать здесь на антиномию лжеца, антиномию определимости (посредством конечного числа слов) Ришара и антиномию гетерологических терминов Греллинга-Нельсона.

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

6. Языки с точно заданной структурой.

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

Существуют некоторые общие условия, при выполнении которых структура некоторого языка считается точно заданной. Так, чтобы точно описать структуру языка, мы должны однозначно охарактеризовать класс тех слов и выражений, которые должны считаться осмысленными. В частности, мы должны указать все слова, которые решили употреблять без их предварительного определения и которые называются "неопределяемыми (или исходными) терминами". Нам нужно задать также так называемые правила определения для введения новых, или определяемых, терминов. Кроме того, нам нужно сформулировать критерии, позволяющие в классе всех возможных выражений выделять те, которые мы называем "предложениями". И, наконец, мы должны сформулировать условия, при которых можно утверждать некоторое предложение языка. В частности, нужно указать все аксиомы (или исходные предложения), т. е. те предложения, которые утверждаются без доказательства, и задать так называемые правила вывода (или правила доказательства), посредством которых из ранее принятых предложений можно дедуцировать новые предложения. Аксиомы и предложения, полученные из них посредством правил вывода, называются "теоремами" или "доказуемыми предложениями".