Некоторые трудности возникли с переводом термина «establish» в таких контекстах, как «establish a proposition» или «establish a theory». В одних случаях он используется в смысле «принятия в качестве истинного в результате проверки» (например, с. 378), в других случаях он используется в словосочетаниях, где речь идет лишь о выработке или формулировке суждения или теории (с. 169), в третьих случаях он используется в смысле «установить истинностное значение» суждения (с. 378). Представляется, что такое смешение различных смыслов в рамках одного термина и производных словосочетаний следует, как и в случае с термином «verification», объяснять тем, что данная книга была написана гораздо раньше, чем важность проведения указанных различий была реально осознана. Как бы то ни было, в тех случаях, когда «establish» употребляется авторами в смысле установления истинностного значения соответствующего суждения, данная специфика отражена в переводе, тем более что в таких ситуациях авторы зачастую (хоть и не всегда) и сами пишут «establish the truth of». Иными словами, в подобных случаях «establish q» переводится как «установить истинность q». В остальных же случаях «establish» и «establishing» переводится как «устанавливать» или «установление» без дополнительных уточнений.
Термин «inference» в большинстве случаев переводится как «умозаключение» и лишь иногда как «вывод». Вообще, оба варианта перевода могут рассматриваться как в равной степени корректные. Упоминаются же они здесь по следующей причине. Как уже было сказано выше, для авторов данного учебника представляется очень важным определить логику не как науку о правильном мышлении, а как дисциплину, изучающую обоснованный вывод, т. е. имеющую свою собственную независимую исследовательскую область и поэтому никак не связанную с психологией и психологическими законами. В этом смысле русский термин «умозаключение» может давать читателю не вполне правильные аллюзии, и поэтому, быть может, было бы правильно повсеместно заменить его термином «вывод». Однако в данном переводе я решил не отказываться от «умозаключения» по причине широкой распространенности этого термина в отечественной литературе по логике.
Наконец, немалые сложности были связаны с переводом на русский язык терминов «proposition» и «judgment». Единственное имеющееся русское слово для перевода обоих – это «суждение». Однако в английском языке указанные термины имеют разный смысл и не всегда являются взаимозаменимыми. Так, если термин «proposition» может использоваться как для обозначения содержания суждения, так и для обозначения самого акта вынесения суждения, то за термином «judgment» закреплен лишь второй из двух перечисленных смыслов. Однако для обоих случаев в русском языке существует лишь один термин: «суждение».
В рамках современных философско-переводческих дискуссий по этому поводу [2] высказывалось предложение закрепить русский термин «суждение» за английским «judgment» в смысле акта вынесения суждения, а для английского «proposition» ввести неологизм «пропозиция». Данный вариант представляется неудовлетворительным, как минимум, потому, что в отечественной литературе по логике существует многолетняя традиция использования термина «суждение» (особенно это касается пропедевтических учебных изданий). Во многих отечественных учебниках по логике, например, в классическом учебнике Г. И. Челпанова, термин «суждение» используется без строгого закрепления только за содержанием или только за актом. Поскольку таких учебников за десятилетия развития отечественной логики было написано множество и во всех них термин «суждение» понимался именно указанным образом, мне представляется неправильным отказываться от всей этой традиции и вводить термин «пропозиция».
Разумеется, сохранение термина «суждение» в его традиционном понимании отнюдь не делает общую ситуацию перевода легче, поскольку остается неясно, как тогда переводить «judgment» в тех случаях, когда он открыто разводится авторами с термином «proposition». В тексте данной книги подобное разведение встречается дважды: впервые – на с. 65, где авторы поясняют, что понимают «proposition» именно как содержание утверждения, а не как акт вынесения суждения. В данном случае соответствующие изменения русскоязычного текста вкупе с комментарием переводчика, похоже, позволяют преодолеть указанное затруднение. Сложнее дела обстоят на с. 475, и особенно на с. 489–490), где авторы противопоставляют propositions, которые имеют истинностное значение, и judgments в моральных контекстах, которые такового не имеют. Здесь propositions переводятся как «логические суждения», a. judgments как «оценочные суждения» или «моральные», «этические» или «эстетические суждения» в зависимости от контекста. Иными словами, в каждом отдельном случае возникновения двусмысленности она преодолевается соответствующими контекстуальными пояснениями.
В завершение хотелось бы поблагодарить д.ф.н. A. Л. Никифорова и к.ф.н. Л. Б. Макееву за помощь в разрешении ряда переводческих сложностей и продуктивное обсуждение связанных тем, поспособствовавших существенному улучшению русскоязычной версии данного текста. При этом ответственность за все возможные недостатки перевода остается сугубо на переводчике.
Предисловие написано при поддержке лаборатории философии образования Научно-исследовательского института столичного образования Московского городского педагогического университета в рамках программы СО-5.
Предисловие
Формальная логика, несмотря на все радикальные и эмоциональные нападки, которым она подвергается в последнее время с самых разных сторон, остается и, по-видимому, будет оставаться наиболее часто преподаваемым университетским курсом как в нашей стране, так и за рубежом. Не стоит удивляться тому, что наиболее серьезные обвинения в адрес формальной логики, т. е. те, которые направлены против теории силлогизма, существовали еще во времена Аристотеля и были ему хорошо известны. Однако, будучи достаточно защищенной от внешних атак, сфера логики страдает от немалой путаницы изнутри. Несмотря на то что содержание практически всех книг по логике (даже в том, что касается приводимых иллюстраций) следует за стандартом аристотелевского «Органона» – термины, суждения, силлогизмы и связанные формы умозаключения, научный метод, вероятность и ошибки, – тем не менее, существует множество разногласий относительно того, что именно изучает логика. Различные школы логики, такие как традиционная, лингвистическая, психологическая, эпистемологическая и математическая, используют разные языки, и представители каждой из них считают, что сторонники других подходов на самом деле вообще не имеют дела с логикой.
Пожалуй, нет более неблагодарной задачи, которая вызвала бы больше возмущений от всех направлений, чем попытка представить подход, который был бы срединным относительно всех враждебных друг другу точек зрения. Более того, в сфере интеллектуальных дисциплин традиционно существует недоверие к подобного рода миротворческим проектам, поскольку в них позиции, обладающие, по крайней мере, определенной ясностью, заменяются неясными и противоречивыми смесями. Но при этом нет и более значимой задачи, чем эта, особенно для новичка, который пытается согласовать и дополнить утверждения борющихся сторон, отказываясь при этом пожертвовать ясностью и строгостью мышления.
Цель данного текста – упорядочить в той мере, в какой это возможно с помощью пропедевтической книги, все переплетения языков относительно вопроса о предмете логики. Разрешение конфликтов между различными школами предлагается в самом отборе излагаемого материала и в способе его подачи, а не в обширной полемике с каким-либо из существующих направлений. Данная книга была написана, исходя из убеждения о том, что логика является автономной наукой, изучающей хоть и формальные, но при этом объективные условия обоснованного умозаключения. В то же самое время авторы этого учебника считают, что скучность, которая зачастую приписывается изучению логики (что в ряде случаев справедливо), в большинстве случаев происходит из тех лишенных воображения способов, с помощью которых преподается логика или используется не по назначению. В предлагаемом тексте осуществляется попытка совместить фундаментальное учение логики с фундаментальными методами педагогики, а также предоставить достаточно материала для иллюстрации той роли, которую логика играет в любой сфере мышления. Во время написания данной книги идеалом, достигнуть которого стремились авторы, было сочетание реалистического формализма Аристотеля, научной проницательности Пирса, педагогической последовательности Дьюи и математической строгости Рассела.
Независимо от успешности воплощения этого идеала в данной книге, в самом этом воплощении содержится и некоторое позитивное учение, представленное таким образом, чтобы учесть хотя бы отчасти существующие дополнительные подходы к логике.
1. Авторы этого текста разделяют традиционное видение логики как науки об обоснованном умозаключении, вопреки всем попыткам смешать логику с психологией, в которой под термином «логика» понимается систематическое исследование работы сознания. Логика, как наука о значимости оснований в каких бы то ни было областях, не может отождествляться с конкретной наукой психологией, ибо такая конкретная дисциплина может устанавливать те или иные результаты, прибегая к тем же критериям обоснованности, которые используются и в других областях науки. Ясно также и то, что вопросы обоснованности являются вопросами не о том, каким образом мы мыслим в той или иной ситуации, а о том, согласуется или не согласуется то, что мы утверждаем, с определенными объективными фактами.
2. С другой стороны, авторы не обошли вниманием педагогические аспекты психологической логики. Мы стремились представлять материал так, чтобы обсуждение новых тем вытекало из того знания, которым изначально владеет читатель. Поэтому мы стремились отойти от синтетического метода представления материала, т. е. метода, согласно которому начинать следует с высшей степени абстрактных элементов, из которых впоследствии осуществлять построение излагаемой научной дисциплины. Вместо этого мы шли путем, который казался нам в психологическом плане более подходящим. Для обсуждения излагаемых тем мы использовали примеры текстов, которые, как нам казалось, должны быть знакомы учащимся университетов, и, опираясь на них, постепенно проявляли формальные элементы как абстрактные этапы, конституирующие область исследования. Мы надеемся, что таким образом нам удалось преодолеть ряд трудностей, с которыми сталкивается студент, начинающий знакомство с логикой, а также помочь ему усмотреть ту важную роль, которую играет логика во всех сферах деятельности людей.