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

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

В рамках современных философско-переводческих дискуссий по этому поводу[2] высказывалось предложение закрепить русский термин «суждение» за английским «judgment» в смысле акта вынесения суждения, а для английского «proposition» ввести неологизм «пропозиция». Данный вариант представляется неудовлетворительным, как минимум, потому, что в отечественной литературе по логике существует многолетняя традиция использования термина «суждение» (особенно это касается пропедевтических учебных изданий). Во многих отечественных учебниках по логике, например, в классическом учебнике Г. И. Челпанова, термин «суждение» используется без строгого закрепления только за содержанием или только за актом. Поскольку таких учебников за десятилетия развития отечественной логики было написано множество и во всех них термин «суждение» понимался именно указанным образом, мне представляется неправильным отказываться от всей этой традиции и вводить термин «пропозиция».

Разумеется, сохранение термина «суждение» в его традиционном понимании отнюдь не делает общую ситуацию перевода легче, поскольку остается неясно, как тогда переводить «judgment» в тех случаях, когда он открыто разводится авторами с термином «proposition». В тексте данной книги подобное разведение встречается дважды: впервые – на с. 65, где авторы поясняют, что понимают «proposition» именно как содержание утверждения, а не как акт вынесения суждения. В данном случае соответствующие изменения русскоязычного текста вкупе с комментарием переводчика, похоже, позволяют преодолеть указанное затруднение. Сложнее дела обстоят на с. 475, и особенно на с. 489–490), где авторы противопоставляют propositions, которые имеют истинностное значение, и judgments в моральных контекстах, которые такового не имеют. Здесь propositions переводятся как «логические суждения», a. judgments как «оценочные суждения» или «моральные», «этические» или «эстетические суждения» в зависимости от контекста. Иными словами, в каждом отдельном случае возникновения двусмысленности она преодолевается соответствующими контекстуальными пояснениями.

В завершение хотелось бы поблагодарить д.ф.н. A. Л. Никифорова и к.ф.н. Л. Б. Макееву за помощь в разрешении ряда переводческих сложностей и продуктивное обсуждение связанных тем, поспособствовавших существенному улучшению русскоязычной версии данного текста. При этом ответственность за все возможные недостатки перевода остается сугубо на переводчике.

Предисловие написано при поддержке лаборатории философии образования Научно-исследовательского института столичного образования Московского городского педагогического университета в рамках программы СО-5.

П. С. Куслий

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

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

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

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

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