тиннісне значення A 1, тобто для того, щоб встановити, чи є A 1 істинним або хибним. p> Яким чином можна визначити умови істинності для пропозицій будь-якої системи? Тут можливі два основні варіанти. p> Якщо система містить кінцеве число пропозицій, то ми можемо дати вичерпний список умов істинності - по одному на кожне пропозиція. Так йде справа, наприклад, з звичайним телеграфним кодом. Код переводить кожну пропозицію окремо і тим самим інтерпретує його. Такі примітивні семантичні системи, що містять кінцеве число пропозицій, Карнап називає кодовими. p> Якщо ж система містить нескінченне число пропозицій, то умови істинності можуть бути задані тільки формулюванням загальних правил. Такі системи Карнап називає мовними. p> У той час як кодова система перераховує умови істинності окремо для кожної пропозиції, мовна система дає загальні правила для виразів, що входять до пропозиції, причому таким способом, що умова істинності для кожної пропозиції визначається правилами для виразів, з яких пропозиція полягає. Як підкреслює Карнап, у випадку з мовний системою, що складається з нескінченного числа пропозицій, можлива тільки друга форма завдання умов істинності, а саме за допомогою загальних правил, оскільки ми не можемо сформулювати нескінченне число правил для кожного окремої пропозиції. p> Наприклад, ми будуємо семантичну систему S 1, вибираючи для цього сім знаків: три індивідуальна змінні, А 1, А 2, А 3, два предиката - В 1 і В 2 і знаки дужок "(" і ")". Пропозиціями системи S 1 є вирази форми В (А). Умови істинності задаються окремо для кожної пропозиції за допомогою наступних правил:
В 1 (А 1) істинно, якщо і тільки якщо Чикаго велике місто. p> В 1 (А 2) істинно, якщо і тільки якщо Нью-Йорк велике місто. p> В 1 (А 3) істинно, якщо і тільки якщо Кермелу велике місто. p> В 2 (А 1) істинно, якщо і тільки якщо Чикаго має гавань. p> В 2 (А 2) істинно, якщо і тільки якщо Нью-Йорк має гавань. p> В 2 (А 3) істинно, якщо і тільки якщо Кермелу має гавань. p> На підставі системи S 1 будується система S 2, яка являє собою узагальнення першою; побудова здійснюється за рахунок формулювання п'яти приватних правил позначення, кожне з яких виділяє десігнат одного з п'яти основних знаків, і одного загального правила для умов істинності пропозицій:
А 1 позначає Чикаго. p> А 2 позначає Нью-Йорк. p> А 3 позначає Кермелу. p> В 1 позначає властивість бути великим містом. p> У 2 позначає властивість мати гавань. p> Пропозиція У i (А j) істинно тоді і тільки тоді, коли десігнат А j має десігнат У i (тобто тоді, коли об'єкт, позначений А j, має властивість, що позначений У i). p> Системи S 1 і S 2 містять одні й ті ж пропозиції, і кожна пропозиція має одне і те ж умова істинності (Інтерпретацію, значення) в обох системах. Отже, ці дві системи подібні, і розрізняються виключно способом застосування правил позначення і істинності; в S 1 це кодова система, а в S 2 - мовна. p> Звідси стає ясно, що семантична система б...
