V

Я думаю, на этот вопрос также сравнительно легко ответить. Научившись говорить и использовать наш язык для описания фактов, мы вскоре более или менее хорошо овладеваем процедурой, называемой «рассуждением» или «аргументацией», т.е. интуитивной процедурой получения некоторой вто-

345

ричной информации, которая не имела явного выражения в нашей первичной информации. Отчасти эта интуитивная процедура может быть представлена в виде правил вывода. Формулировка этих правил является важнейшей задачей логики.

В соответствии с этим мы можем установить, что логические правила вывода являются, по определению, хорошими или «действенными» правилами вывода тогда и только тогда, когда их соблюдение гарантирует получение истинных заключений из истинных посылок. Если же мы обнаруживаем, что соблюдение некоторого правила позволяет нам получить ложное заключение из истинных посылок — я называю это «контрпримером», — то мы не считаем это правило общезначимым. Иными словами, некоторое правило вывода мы называем «общезначимым» тогда и только тогда, когда для этого правила не существует контрпримера и мы можем доказать, что таких контрпримеров не может быть. Аналогичным образом, соблюдение некоторого правила вывода мы называем «общезначимым» тогда и только тогда, когда для соблюдаемого правила не существует контрпримеров.

Таким образом, «хорошее» или «общезначимое» правило вывода полезно потому, что для него нельзя найти контрпримера, и мы можем опираться на него как на правило той процедуры, которая от истинных описаний фактов приводит к истинным описаниям фактов. Об истинном описании можно сказать, что оно соответствует фактам, поэтому «применимость» в смысле «соответствия» в конечном итоге косвенным образом входит в наш анализ. Можно сказать, что правила вывода применяются к фактам в той мере, в которой каждое их применение к описаниям, соответствующим фактам, приводит к описаниям, которые также соответствуют фактам.

Небезынтересно, быть может, то обстоятельство, что фундаментальное значение того принципа, что общезначимый вывод от истинных посылок всегда должен приводить к истинным заключениям, обсуждалось еще Аристотелем (Первая аналитика, II, 1—4). (346:)