охватывающей не только обещания в прямом смысле этого слова, но и принятие конвенций, аксиом вновь вводимой теории и т. п.
Имеются, таким образом, четыре основных употребления языка: описание, экспрессив, оценка и оректив, а также целый ряд промежуточных его употреблений, в большей или меньшей степени тяготеющих к основным: нормативное, магическое, постулативное и др.
Важность классификации употреблений языка для логики несомненна. Многие понятия логики (например, понятия доказательства, закона логики и др.) определяются в терминах истины. Но существует большой класс таких употреблений языка, которые явно стоят вне «царства истины». Это означает, что логике необходимо шире взглянуть на изучаемые объекты и предложить новые, более широкие определения некоторых из своих основных понятий. С другой стороны, классификация позволяет уточнить связи между отдельными разделами, или ветвями, логики. Если, например, нормы – только частный случай оценок, то логика норм должна быть частным случаем логики оценок. Тому, кто попытается, скажем, построить «логику деклараций» или «логику обещаний», следует помнить, что декларации и обещания – частный случай норм, логика которых существует уже давно.
Из обычной грамматики хорошо известно деление на части речи. Среди этих частей – существительное, прилагательное, глагол и т. д. Деление языковых выражений на логические категории напоминает это грамматическое подразделение и в принципе произошло от него. На этом основании теорию логических категорий иногда называют «логической грамматикой».
Результатом разложения предложения на простые, далее неразложимые части будут выражения двух типов: содержательные и логические.
Содержательные части – это выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе.
Логические части, или символы, – выражения языка, не имеющие самостоятельного содержания, но в сочетании с одними или несколькими содержательными выражениями образующие сложные выражения с самостоятельным содержанием.
Коротко говоря, содержательные части – это содержательные выражения, логические символы – несодержательные выражения, служащие для образования одних содержательных выражений из других.
Логические символы называются также логическими постоянными.