Синтаксис
Третье измерение семиотики, или синтаксис, определяется Карнапом как такая область исследования, которая ограничивается формальным анализом выражений языка и не принимает во внимание ни лиц, употребляющих эти выражения, ни десигнаты этих выражений. Чистыйсинтаксис, как уже говорилось, представляет собой исследование не синтаксических особенностей эмпирически данных языков, но систем синтаксических правил. Система таких правил может быть или свободно изобретена, или построена относительно эмпирически данного языка. Ее отношение к данному языку в этом случае аналогично отношению между семантической системой и эмпирически данным языком. Система синтаксических правил называется синтаксическойсистемой или исчислением. Она включает в себя классификацию знаков, правилаобразования (определяющие «предложение в К») и правиладедукции. Правила дедукции обычно состоят из примитивных предложений и правил вывода (определяющих «непосредственно выводимо в К»). Иногда К содержит также правила опровержения (определяющие «непосредственно опровержимо в К»). Если К содержит определения, то последние могут считаться дополнительными правилами дедукции.
Первый шаг построения некоторого исчисления К состоит в классификациизнаковК, и выделении такого количества классов знаков, которое необходимо для формулировки синтаксических правил. Затем мы формулируем правилаобразования для К, иными словами, определение «предложения в К». Имеется определенное различие между правилами образования в синтаксической и в семантической системах. В последней правила должны ссылаться на десигнаты выражений. Однако в синтаксических правилах образования это запрещено; они должны носить исключительно формальный характер. Они указывают, какие выражения являются предложениями, описывая виды знаков, которые встречаются и тот порядок, в котором они встречаются. Определение этих видов, т.е. классификация знаков, также должно быть строго формальным. Определение «предложение в К» часто дается в рекурсивной форме; сперва описываются некоторые простые формы предложений, а затем – определенные операции для построения сложных предложений из исходных форм.
Важнейшая часть исчисления состоит в правилахдедукции (или трансформации). Они описывают, как можно сконструировать доказательства и выводы; иными словами, они конституируют определения «доказуемо в К» и «выводимо в К», а также ряд иных понятий. Обычно процедура заключается в следующем. Во-первых, формулируются примитивныепредложения, либо путем перечисления, или путем заявления, что все предложения определенных форм принимаются в качестве примитивных предложений. В последнем случае число примитивных предложений (сентенциальные схем) может быть бесконечным. Во-вторых, формулируются правилавывода. Они могут быть сформулированы следующим образом: «(j непосредственно выводимо из (i тогда и только тогда, когда выполняется одно из следующих условий» и затем каждое правило устанавливает формальное условие для (i и (j. Таким образом, правила вывода определяют «непосредственновыводимо в К». Иногда, однако не часто, формулируются также правилаопровержения, определяющие «непосредственноопровержимо в К».
Кроме того, исчисление К может содержать определения. Цель определения состоит в том, чтобы ввести новый знак на основе примитивных знаков К и знаков, определенных при помощи более ранних определений; поэтому огромную роль играет последовательность определений. Определение может иметь как форму предложения (а в случае рекурсивного предложения – нескольких предложений), именуемого предложением-определением (a definition sentence) (или определяющего предложения (defining sentence)) или простого определения, или простого правила, называемого правилом определения (или определяющим правилом). Предложение-определение в К может считаться дополнительным примитивным предложением в К, а правило определения для К – дополнительным правилом вывода для К. Предложение-определение может иметь форму u1 = Df u2, или u1 ( u2, а правило определения, например, «"..." для "–"», где «для» является сокращением для «является непосредственно С-взаимозаменимым с». u1 или «...» называется дефениендумом; оно содержит определяемый знак. u2 или «– – -» называется дефениенсом, оно содержит только примитивные знаки или знаки, определенные при помощи предыдущих определений. В дополнение к этому, как дефениенс, так и дефениендум могут содержать свободные переменные. Если определение сформулировано, то позволительно заменять дефениендум в любом контексте на дефиниенс и наоборот; и то же самое можно делать с любыми выражениями, построенными из дефениендума и дефениенса путем одинаковых подстановок на место свободных переменных. Иными словами, любые два выражения этого вида являются С-взаимозаменимыми; т.е. любые два предложения, содержащие их и подобные в иных отношениях непосредственно выводимы друг из друга. Определения должны удовлетворять определенным требованиям (смотри например [Syntax] §§ 8 и 29) для того, чтобы гарантировать (1) переводимость в обоих направлениях для введения и устранения нового знака; (2) С-непротиворечивость исчисления, содержащего определение, если исходное исчисление является С-непротиворечивым; (3) однозначную интерпретацию получивших определение знаков, если исходные знаки являются интерпретированными.