О целеустремленных системах

Значение знаковой функции: значение того комплекса знэксе, который получается при подстановке соответствующего знака вместо символа в знаковой функции.
Таким образом, одним значением знаковой функции «мистер X» будет «мистер Джонс», а другим — «мистер Смит». Значением х > 4 является утверждение 5 > 4. Поэтому х > 4 называется пропозициональной функцией.
В логике важную роль играет правило подстановки. Это правило гласит, что в выражении, содержащем переменные определенного типа, мы можем производить определенного рода подстановку знаков вместо переменных, и получающееся при этом выражение будет справедливым. Вообще говоря, правило подстановки означает социальное намерение рассматривать комплекс знаков, получающийся при замене входящей в некоторое выражение переменной каким-то знаком из определенной совокупности знаков, как один знак, имеющий определенное свойство (такое как денотация или коннотация).
Теперь рассмотрим знаковую функцию, значениями которой являются аналитические утверждения. К таким утверждениям относится «Все А — это А». Другим примером служит «Все то, что является одновременно и Л, и В является А». Таким образом, «Все, что является одновременно и зеленым, и столом, является столом» — это аналитическое утверждение.

Верный (ложный): некоторое утверждение верно (ложно) для некоторого субъекта в окружении выбора относительно какой-то его цели, если оно является действительным или потенциальным продуцентом такого отклика, который в данном окружении более (менее) эффективен, чем поведение данного субъекта при отсутствии этого утверждения.
В этом определении уточняется прагматическое представление о правде, как о том, что эффективно. В таком понимании правдивость утверждения не является чем-то абсолютным, а рассматривается относительно субъекта, его окружения и его цели. При изменении этих факторов может измениться и правдивость утверждения., Правда может быть более или менее общей в зависимости от того, к какому диапазону индивидов, окружений и целей она применима. Абсолютной будет только та правда, которая относится ко всякому индивиду в любом окружении независимо от его целей. Теперь вернемся к логике.