Скачать книгу

значения. Понятия экстенсионала и интенсионала соответствуют значению и смыслу, предложенным Фреге. Различие между этими парами терминов состоит лишь в том, что у Фреге они, по мнению Карнапа, являются экспликатами понятий «денотация» и «коннотация», предложенных Дж. С. Миллем, а экстенсионал и интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Все языковые выражения, к которым применяется семантический анализ и которые соответственно имеют более или менее независимое значение, Карнап называет десигнаторами и выделяет среди них три основных вида: индивидные выражения, предикаторы и (декларативные) предложения. Десигнатор любого вида обладает экстенсионалом и интенсионалом. Для определения последних Карнап вводит понятия фактической истинности (F-истинности) и логической истинности (L-истинности)[49], а также понятия (фактической) эквивалентности (F-эквивалентности) и логической эквивалентности (L-эквивалентности). Если для установления F-истинности предложения необходимо обращаться к внеязыковым фактам, то L-истинность устанавливается на основе одних лишь семантических правил языка. Два предложения являются F-эквивалентными, если они одновременно F-истинны или одновременно F-ложны. Понятие F-эквивалентности Карнап распространяет, с соответствующими уточнениями, на все виды десигнаторов и на его основе определяет L-эквивалентность: два десигнатора L-эквивалентны, если их F-эквивалентность вытекает из одних только семантических правил, т. е. если они одновременно L-истинны или одновременно L-ложны. Все эти понятия нужны Карнапу для того, чтобы сформулировать следующие два постулата. 1. Два десигнатора имеют один и тот же экстенсионал, если и только если они F-эквивалентны. Это означает, что экстенсионалом индивидного выражения является объект, предикатора – класс объектов, а предложения – истинностное значение. 2. Два десигнатора имеют один и тот же интенсионал, если и только если они L-эквивалентны. В результате интенсионалом индивидного выражения является индивидный концепт (смысл), предикатора – свойство или отношение, предложения – выражаемое им суждение[50]. Интенсионал десигнатора – это то, что известно человеку, когда он понимает данный десигнатор. Экстенсионалы десигнаторов определяются их интенсионалами, и механизм этого определения обеспечивается связью между интенсионалом и аналитической истиной. Так, в случае индивидных выражений этот механизм состоит в том, что некоторый объект входит в экстенсионал некоторого выражения, если и только если он имеет характеристики, включенные в интенсионал данного выражения[51].

      Итак, в логической семантике Карнапа допускаются в качестве экстенсионалов разного рода языковых выражений (т. е. того, что обозначается ими) не только отдельные «индивиды», но и такие абстрактные сущности, как классы, свойства и т. п. Многие его молодые коллеги (У.В.О. Куайн,

Скачать книгу


<p>49</p>

Понятие L-истинности служит у Карнапа экспликатом для понятия аналитической истины.

<p>50</p>

Карнап, безусловно, дает более строгие определения, используя для этого понятие «описание состояния», под которым понимает класс предложений языка, содержащий для каждого атомарного предложения или его самого, или его отрицание, но ни то и другое вместе, и не содержащий никаких других предложений. Это понятие задает полное описание возможного состояния универсума индивидов с их свойствами и отношениями, выраженными десигнаторами языка. Сегодня в философской литературе такое полное описание называют возможным миром, а экстенсионал и интенсионал определяют следующим образом: экстенсионал термина – это множество объектов в каждом возможном мире, относительно которых данный термин является истинным. Поскольку в разных возможных мирах множество, составляющее экстенсионал термина, может быть различным, то вводится функция f(M), значением которой в каждом возможном мире M является множество объектов, составляющих экстенсионал термина. Эта функция и называется интенсионалом термина.

<p>51</p>

Так, если P — свойство, входящее в интенсионал T, то предложение «Все T есть является аналитическим, а стало быть, необходимо истинным.