и аксиомам, которые могут быть сформулированы различным образом. Обычно в числе правил фигурируют некоторые, относящиеся к так называемой распределенности терминов. Термин называется распределенным в данном суждении (в которое он входит либо как логическое подлежащее, либо как логическое сказуемое), если суждение служит для выражения информации, относящейся к каждому предмету класса, который имеется в виду в данном термине. Например, в предложении «все млекопитающие позвоночные» термин подлежащего (млекопитающие) распределен (так как суждение выражает информацию о том, что каждое млекопитающее есть позвоночное животное), а термин сказуемого (позвоночные) не распределен (так как в суждении не выражена информация о том, что каждое позвоночное есть млекопитающее). К числу правил, относящихся к распределенности терминов, принадлежит следующее: термин, не распределенный в посылке, не может быть распределен и в заключении. Смысл этого правила состоит в том, что если в посылке нет информации о каждом члене класса, который имеется в виду в данном термине, она не может появиться и в заключении. Нарушение этого правила будет, конечно, логической ошибкой.
Ошибочное рассуждение, которое рассматривается в тексте, таково: «Если бы все действия человека определялись некоторой совокупностью правил, то он был бы машиной. Но у человека нет такой совокупности правил. Значит, человек не есть машина».
Это рассуждение логически неправильно, так как из отрицания основания условного суждения не следует отрицание его заключения. Представленное в виде категорического силлогизма, оно выглядит так: (1) Все то, чьи действия полностью определены некоторой совокупностью правил, есть машина. (2) Люди не действуют согласно некоторой совокупности правил, полностью определяющей их поведение. (3) Следовательно, люди не машины. Это рассуждение содержит логическую ошибку, так как в посылке (1) термин «машина» не распределен, в то время как в заключении он является распределенным (поскольку в нем выражена информация, относящаяся к каждой машине, именно что она не есть человек). Если в приведенном выше рассуждении вместо «правил действия» подставить «законы поведения» (в смысле, разъясненном в тексте), то логическая ошибка легко устраняется за счет замены посылки (1) обратным ей суждением: «Все машины отличаются тем, что их поведение полностью определено некоторыми законами» (в истинности которого, говорит Тьюринг, мы убеждены), в котором термин «машины» распределен (так как речь идет обо всех машинах). Но тут оказывается, что – в отличие от случая, когда речь шла о «правилах действия», – истинность второй посылки вызывает сомнения; по мнению Тьюринга, мы не имеем возможности убедиться в ее достоверности.
18
Напомним, что под «машиной» Тьюринг имеет в виду значительно более общее понятие, чем понятие машины, которую можно действительно построить. Критические замечания по поводу излагаемых здесь взглядов Тьюринга см. в предисловии к русскому переводу.
