(1) Позитивисты, конечно, заявят на это, что нормы не выводимы из фактуальных высказываний, потому что высказывания, выражающие нормы, не имеют смысла. Это, однако, показывает лишь то, что они, как и Л. Витгенштейн в «Логико-философском трактате», применяют критерий осмысленности настолько произвольно, что «осмысленными» у них оказываются только фактуальные высказывания. (См. мою книгу «The Logic of Scientific Discovery», p. 35 и след. и р. 51 и след.) «Психологисты», со своей стороны, императивные высказывания назовут выражением эмоций, нормы — выражением привычек, а стандарты — точек зрения. Однако, хотя привычка не воровать, несомненно, является фактом, тем не менее, необходимо отличать этот факт от соответствующей нормы. По вопросу о логике норм я согласен с большинством идей, высказанных в книге К. Менгера (К. Menger. Moral, Wille und Weltgestaltung, 1935). Мне кажется, что ему впервые удалось установить основания логики норм. Я думаю также, что нежелание признавать за нормами важное значение и их несводимость к фактам является одним из источников интеллектуальной — и не только интеллектуальной — слабости наших «прогрессивных» кругов.
(2) К тому, что я сказал о невозможности вывода предложений, выражающих нормы или решения, из предложений, выражающих факты, можно добавить следующее. Анализируя отношения между предложениями и фактами, мы вступаем в область логических исследований, которую А. Тарский назвал «семантикой» (см. прим. 29 к гл. 3 и прим. 23 к гл. 8). Одним из фундаментальных семантических понятий является понятие «истины». Как было показано А. Тарским, в рамках того, что Р. Карнап назвал «семантической системой», дескриптивное утверждение «Наполеон умер на острове Св. Елены» можно вывести из утверждения «Мистер А. сказал, что Наполеон умер на острове Св. Елены», конъюнктивно связанного с утверждением «То, что сказал мистер А., является истинным». (И если термин «факт» мы будем употреблять настолько широко, что фактом у нас будет не только то, что описывает предложение, но и то, что это предложение является истинным, то мы сможем даже сказать, что утверждение «Наполеон умер на острове Св. Елены» выводимо из двух фактов: что мистер А. говорил об этом и что мистер А. говорил правду.) Однако мы вправе применить эти же соображения и к области норм. Для этого нам следует ввести понятие «правомерности» или «логической правильности, общезначимости» («validity or trueness») нормы, соответствующее понятию истинности предложения. Это означает, что в рамках семантической системы норм мы можем вывести некоторую норму N из предложения, выражающего утверждение, что норма N правомерна: иначе говоря, норму или заповедь «Не укради» можно считать эквивалентной утверждению «Норма "Не укради" правомерна». (И опять-таки, если термин «факт» мы употребляем так широко, чтобы говорить о факте правомерности нормы, то и нормы можно будет выводить из фактов. Это, однако, не опровергает того, что было сказано в тексте главы, так как там мы говорили только о невозможности вывода норм из психологических и социологических, т.е. несемантических фактов.)