Правило смысла, приведенное ранее по образцу правила отделения, представляет собой пример дедуктивного правила смысла. Ему можно было бы придать следующую формулировку: только тот связывает с выражением русского языка подчиненный ему в этом языке смысл, кто готов признать предложение "В", если он признает предложение "если А, то В" и его антецедент "А". Как уже выше упоминалось, можно рассмотреть другие примеры дедуктивных правил смысла, исходя из дефиниции. Например, если в языке арифметики "2" определена как "1+1", то в этом языке обязательно правило: только тот связывает со знаками арифметики смысл, который им присущ в языке арифметики, кто готов признать предложение Z, содержащее знак "2", если он признает предложение, отличающееся от Z только тем, что вместо "2" в нем находится знак "1+1".
От всякого, кто хочет пользоваться выражениями данного языка в согласии с их смыслами , каждое дедуктивное правило смысла требует готовности определенным образом выводить следствия из некоторого вида посылок. Таким образом, дедуктивное правило смысла подчиняет каждому предложению некоторого типа как посылке предложение иного типа как заключение (либо же, если правило смысла требует готовности вывода из нескольких посылок, тогда оно ставит в соответствие каждому классу предложений определенных типов как посылкам определенный тип предложения как заключению).
Отсюда очевидно, что каждое дедуктивное правило смысла определяет отношение, членами которого являются предложения (или же классы предложений ), но и это отношение взаимно однозначно соответствует этому правилу смысла. Область (Vorbereich), кообласть (Nachbereich) и поле (Feld) этого отношения назовем областью, кообластью и полем этого дедуктивного правила смысла. Однако объемом (Umfang) дедуктивного правила смысла назовем класс, элементом которого является упорядоченная пара предложений (или пара: класс предложений-предложение), тогда и только тогда, когда между первым и вторым членом этой пары имеет место отношение, определенное этим дедуктивным правилом смысла.
В языках аксиоматизированных систем несомненно существуют примеры того, что мы называем аксиоматическими правилами смысла. А именно, от каждого, кто хочет пользоваться выражениями такой системы со смыслом, поставленным им в соответствие языком этой системы, требуется безусловно, чтобы он был готов безоговорочно признать предложения, принятые в качестве аксиом. Однако я считаю, что такие аксиоматические правила смысла обязательны также для обычных естественных языков. Кажется, что от каждого, кто с выражениями , например, "всякий" и "есть" связывает смысл, соответствующий им в русском языке, требуется, чтобы он был готов безоговорочно признать любое предложение вида "всякое А есть А". Как кажется, вообще все т.н. a priori очевидные предложения указывают на аксиоматическое правило смысла, которое каждому предписывает признать предложение этого вида, кто не намерен нарушать присущего языку соответствия смыслов. Подобно как дедуктивным правилам смысла соответствует отношение между предложениями, так опять же, аксиоматическому правилу смысла соответствует класс тех предложений, которые согласно этому правилу следует признать. Этот класс предложений назовем областью этого аксиоматического правила смысла.
Третий класс образуют эмпирические правила смысла. Особенность этих правил такова, что в них приводится в виде ситуации, в которой согласно присущему в языке соответствию выражений их значениям требуется готовность признания предложения, такое переживание, которое исключительно, или среди прочего заключается в переживании некоторого впечатления. В соответствии с этим правилом, как кажется, поступают тогда, когда признают предложение "болит" при переживании зубной боли. Если бы мы о ком-нибудь узнали, что этот кто-то при сильном раздражении обнаженного чувствительного зубного нерва испытывает нормальное, с нашей точки зрения, чувство и несмотря на это не готов признать предложение "болит", но отбрасывает это предложение и признает, например, предложение "испытываю приятное", тогда мы усмотрели бы в его поведении, как уже было сказано, доказательство того, что он не связывает с предложениями "болит", "испытываю приятное" тот же смысл, что и мы.
Существуют два вида эмпирических правил смысла, которые мы называем простыми и составными эмпирическими правилами смысла. Эмпирическое правило смысла является простым, если утверждает: только тот не нарушает присущего языку подчинения смыслов, кто ввиду переживания такого-то и такого впечатления готов признать так-то и так звучащее предложение. С другой стороны, составным эмпирическим правилом смысла назовем такое правило, которое требует готовности признать так-то и так звучащие предложения при выполнении некоторых условий, которые, среди прочего, состоят в переживании некоторого впечатления. Совокупность таких условий, как и отдельные впечатления, мы назовем эмпирическими данными (Erfahrungsdata). Они, например, могут состоять в наличии впечатлений и не артикулированных суждений, в которых ситуация признается "нормальной". Возможно, что составные эмпирические правила смысла требуют признания некоторых предложений на основании ряда следующих друг за другом впечатлений и некоторых прочих данных. Как кажется, это имеет место для т.н. предложений, относящихся к внешнему миру. Если для обычных естественных языков не удается отыскать безупречных примеров эмпирических правил смысла, управляющих нашими высказываниями о т.н. внешнем мире (а эти правила определенно не являются простыми эмпирическими правилами), то причиной этого, как кажется, является то, что т.н. естественные языки не суть языки в точном значении этого слова, поскольку присущее им подчинение смыслов неустойчиво и изменчиво (см. последний параграф этой работы).
Выражения, к которым относятся (существенно) эмпирические правила смысла, назовем выражениями с эмпирическим смыслом и поделим их на выражения с простым и составным эмпирическим смыслом в зависимости от того, являются ли соответствующие эмпирические правила смысла все составными, или же среди них встречаются простые эмпирические правила смысла. Выражения, являющиеся именами внешних предметов и их свойств, кажется, должны иметь составной смысл, если вообще имеют какой-либо эмпирический смысл. Простым эмпирическим смыслом, как кажется, обладают только имена объектов, принадлежащих миру психики, и их свойства. Поскольку в естественных языках имена внешних предметов и имена свойств психических объектов часто звучат одинаково (так , например, говорится о "красной" розе и о содержании некоторого впечатления), то отсюда у не обращающих на это внимания теоретиков познания возникли различные трудности и парадоксы, которые их привели к отказу приписывать внешним предметам т.н. чувственные свойства. Но об этом лишь коротко; этим вопросом я намерен заняться подробнее в иной работе. Равно как аксиоматические, так и дедуктивные правила смысла совместно назовем дискурсивными правилами смысла. Языки, в которых обязательны только дискурсивные правила смысла (например, языки чистой логики и чистой математики) назовем дискурсивными языками. Языки, в которых обязательны эмпирические правила смысла, будем называть эмпирическими языками.
Как для дедуктивных правил смысла, которые связывают предложения (или же классы предложений) с предложениями, мы утверждаем, что каждому из этих правил соответствует отношение между предложениями, так и эмпирическим правилам смысла можно подчинить отношение между данными опыта и предложениями. Область этого отношения состоит из чувственных данных, кообласть - из предложений. Объемом эмпирического правила смысла назовем класс, элементом которого является пара <чувственные данные - предложение> тогда и только тогда, когда между членами этой пары имеет место отношение, сопоставленное эмпирическому правилу смысла.
§ 6. Терминологические объяснения.
Если некоторое предложение является 1)элементом области аксиоматического правила смысла, или 2)элементом области дедуктивного правила либо элементом кообласти дедуктивного или эмпирического правила, или 3)элементом класса предложений, принадлежащего как элемент к области дедуктивного правила смысла - тогда скажем, что соответствующее правило смысла охватывает это предложение.
Если какое-то выражение включено в предложение, охватываемое правилом смысла, то скажем, что это правило смысла относится к этому выражению. Правило смысла R для выражения А является несущественным тогда и только тогда, когда оно вообще не касается этого выражения, или же область этого правила смысла не изменится при замене во всех охватываемых правилом смысла предложениях выражения А произвольным выражением А того же логического типа, что и А, и vice versa. Если правило смысла для некоторого выражения, к которому оно относится, не является несущественным, тогда скажем, что это правило смысла для этого выражения существенно. Так, например, приведенное выше аксиоматическое правило смысла русского языка, позволяющее без оговорок признать каждое предложение вида "всякое А есть А", является существенным как для выражения "всякое", так и для выражения "есть". Ведь если во всех предложениях вида "всякое А есть А" мы заменим выражение "есть" на "любит" (предположивши, что "любит" относится к тому же логическому типу, что "есть"), а также произведем замену "любит" на "есть" во всех возможных предложениях, то изменится область упомянутого правила смысла. Однако это же правило смысла несущественно для каждого имени, которое можно подставить вместо "А". Очевидно, что если некоторое правило смысла несущественно для некоторого выражения А, то оно несущественно и для всех выражений, принадлежащих к тому же логическому типу, что А[5].