или
не есть, я все время встречаюсь с суждениями, связанными с помощью
следует или
не следует» (Трактат III. i.I, стр. 618 русского издания). И он переходит далее к требованию, согласно которому «должны быть приведены резоны, что кажется совсем невероятным, как это новое отношение может быть выведено из других, полностью отличных от него». Тот же самый общий принцип, выраженный уже не в форме вопроса, но в виде утверждения, появляется у Канта, который настаивал на том, что моральные запреты не могут быть выведены из какого-либо множества утверждений относительно человеческого счастья или воли Бога, а также у Кьеркегора при рассмотрении им этического. Какова значимость этого общего утверждения?
Некоторые более поздние философы зашли столь далеко, что полагали утверждение о невозможности значимого морального заключения из множества фактических посылок «истиной логики». При этом они имели в виду более общий принцип, который некоторые средневековые логики формулировали как тезис о том, что в значимом аргументе в заключении не может появиться ничего такого, чего нет в посылках. И, как предполагали такие философы, в аргументе, в котором делается попытка выведения морального или оценочного заключения из фактических предпосылок, то есть заключения, которого нет в посылках, а именно моральных или оценочных элементов, появляется как раз такое заключение. Отсюда любой такой аргумент будет обречен. И все же на самом деле этот якобы общий логический принцип, на котором основан этот результат, является фикцией и избитым местом, применимым только к аристотелевской логике. Существуют несколько типов значимых аргументов, в которых в заключении может появиться такой элемент, которого нет в посылках. Контраргумент А. Прайора этому предполагаемому принципу иллюстрирует это вполне адекватно; из посылки «Он является морским капитаном» вполне значимо может быть выведено «Ему следует делать то, что пристало морскому капитану». Этот контрпример показывает не только, что не существует вообще такого общего принципа, но и то, что является по крайней мере грамматической истиной — посылка «есть» может временами давать заключения «следует».
Приверженцы невозможности вывода от «есть» к «следует» легко могли бы встретить трудности, возникающие в связи с контрпримером Прайора, переформулировав свою позицию. То, что они хотели сказать, можно было бы выразить так: никакое заключение с существенно моральным и оценочным содержанием — а заключение в примере Прайора определенно лишено такого содержания — не может быть выведено из фактических предпосылок. И все же перед ними все равно встала бы проблема, которая состоит в том, почему нужно принимать их тезис. Ведь они сами допускали, что он не может быть выведен из любого неограниченного общего логического принципа. И все же их тезис имеет существенное содержание, но оно зиждится в конкретной, новой для XVIII века концепции моральных правил и сужений. То есть этот тезис может утверждать принцип, чья значимость вытекает не из некоторого общего логического принципа, а из смысла ключевых используемых терминов. Предположим, что в течение XVII и XVIII веков смысл и следствия ключевых терминов, используемых в моральном дискурсе, изменили свой характер. Тогда могло бы случиться так, что то, что однажды было значимым выводом из некоторой конкретной моральной посылки или же некоторого конкретного морального включения, больше не будет значимым выводом из того, что