Под высказыванием будем понимать утверждение, относительно которого в любой момент можно сказать, является оно истинным или ложным, или по крайней мере предполагать, что ему может быть приписана такая интерпретация. Например, фразы «Пик Коммунизма есть высочайшая вершина СССР», «Все жители земли имеют рост более двух метров», «В Африке находятся более десяти еще неизвестных захоронений фараонов Египта» являются высказываниями. Первое из них истинно, второе – ложно (легко приводятся конкретные опровергающие примеры), а относительно третьей фразы мы не можем говорить, является она истинной или ложной, так как наши знания о еще не найденных погребениях фараонов пока недостаточны. Но мы вполне можем предполагать, что это высказывание, ибо оно обязательно либо истинно, либо ложно.
Не всякие фразы на естественном языке могут быть высказываниями. Например, утверждение «Девушка была очень красивой» таковым не является. Одни мужчины могут согласиться с мнением, высказанным в этой фразе, т.е. посчитать, что это утверждение истинно, но другие могут и не принять данной точки зрения, т.е. посчитать утверждение ложным. Такого рода утверждения в рамках формальной системы, называемой исчислением высказываний, не рассматриваются.
О формальной системе речь шла во второй главе, и читатели, наверное, помнят, что такие системы задаются как четверки, состоящие из множества базовых элементов Т, множества синтаксических правил L, множества аксиом Q и множества правил вывода R. Поэтому, если мы хотим рассматривать исчисление высказываний как формальную систему, то должны задать указанные четыре множества.
