3. Пытаясь представить в данной книге все значимые достижения символической, или математической, логики для тех, кто ранее не имел знакомства с этим предметом, мы не стремились развивать в студентах технические навыки манипулирования символами ради самих этих навыков. Мы считаем, что, несмотря на всю ценность такой техники, она скорее должна быть отнесена исключительно к области математики, развиваемой как органон науки в целом, а не к вводной книге по логике. Точно так же мы не разделяем той неприязни к аристотелевской логике, которая распространена среди некоторых пылких исследователей новой логики. В данной книге мы осуждаем ограниченность, свойственную традиционному подходу к логике. Однако при этом мы считаем, что достижения в точной современной логике являются расширением и исправлением аристотелевского учения. Именно поэтому мы уделили достаточно внимания и традиционным подходам, которыми можно было бы пренебречь, если бы перед нами стояла задача систематического представления нашего нынешнего знания о логике. Мы считаем, что обсуждение и исправление ограничений, присущих традиционному подходу, содержит много преимуществ педагогического характера и позволяет лучше прояснить нашу окончательную мысль.
4. Мы не считаем, что существует какая-либо неаристотелевская логика в том смысле, в каком существует неевклидова геометрия, т. е. логическая система, в которой утверждения, противоположные аристотелевским принципам противоречия и исключенного третьего, считаются истинными и с их помощью строятся обоснованные умозаключения. Появившиеся в последнее время так называемые альтернативные системы логики являются лишь другими системами записи или символизации одних и тех же логических фактов. Мы не раз прибегали к примерам из истории естественных наук для иллюстрации логических принципов именно потому, что логическая структура этих наук с очевидностью не сводится к представляющей их лингвистической структуре. В связи с этим мы открыто указывали на метафизическую значимость принципов логики и подчеркивали то, что сама по себе структура языка зачастую является ключом к чему-то отличному от лингвистических фактов. Придерживаясь позиции о том, что логика, как автономная дисциплина, должна быть формальной, мы утверждали, что это не означает того, что ее принципы лишены значимого содержания; наоборот, эти принципы по своей природе являются применимыми во всех областях потому, что они связаны с наиболее общими онтологическими характеристиками. Мы считаем, что категория объективной возможности представляет существенную важность для обсуждения логики.
Именно поэтому мы рассматриваем историю логики как историю тех вкладов, которые сделали различные школы в развитие общей дисциплины. Такое стремление предоставить студенту либеральный, а не узкий взгляд на логику может сделать нашу конечную точку зрения несколько эклектичной. Тем не менее, в том, что касается проведения фундаментальных различий, мы старались занять определенную и ясную позицию. Флоренс Найтингейл изменила современные лазареты с помощью девиза: что бы ни делали госпитали, они не должны ни в коем случае распространять болезни. Сходным образом логика не должна инфицировать студентов заблуждениями и путаницей в отношении основополагающей природы обоснованного, или научного, мышления.
Работающие с этой книгой преподаватели будут уделять большее внимание разным ее частям. Не все, что содержится в ней, можно преподать в рамках семестрового курса. Данный учебник содержит достаточно информации, чтобы представлять интерес для студентов на протяжении целого учебного года. Если говорить о семестровом курсе, то авторы этой книги убедились, что наилучшие результаты достигаются при полном изложении содержания книги II с добавлением глав III, IV и VIII из книги I. Те, кто не интересуется математикой, может пропустить главу VII. Книги являются инструментами, которые мудрые люди используют для достижения собственных целей. Один из авторов этой книги, читавший курс по элементарной логике на протяжении двадцати лет, как правило, излагал содержание книги II (Прикладная логика и научный метод), перед тем как преподавать формальную логику, изложенную в книге I. Следует сказать, что некоторые темы из книги II предполагают ознакомление с книгой I. Однако опыт показывает, что связанные с этим трудности легко преодолимы. Авторы особенно надеются на то, что эта книга окажется полезной для понимания научного метода как для простых читателей, так и для студентов, изучающих естественные и социальные науки.
М. Р. К.
Э.Н.
Продолжающийся спрос на эту книгу, которая уже пережила три издания, позволил нам исправить некоторые ошибки и переформулировать некоторые утверждения для достижения большей ясности.
7 января 1936 г.
М. Р. К.
Э.Н.
Глава I Предмет логики
§ 1. Логика и совокупность оснований
§ 2. Окончательное основание, или доказательство
§ 3. Природа логической импликации
Логическая импликация не зависит от истинности наших посылок
4. Мы не считаем, что существует какая-либо неаристотелевская логика в том смысле, в каком существует неевклидова геометрия, т. е. логическая система, в которой утверждения, противоположные аристотелевским принципам противоречия и исключенного третьего, считаются истинными и с их помощью строятся обоснованные умозаключения. Появившиеся в последнее время так называемые альтернативные системы логики являются лишь другими системами записи или символизации одних и тех же логических фактов. Мы не раз прибегали к примерам из истории естественных наук для иллюстрации логических принципов именно потому, что логическая структура этих наук с очевидностью не сводится к представляющей их лингвистической структуре. В связи с этим мы открыто указывали на метафизическую значимость принципов логики и подчеркивали то, что сама по себе структура языка зачастую является ключом к чему-то отличному от лингвистических фактов. Придерживаясь позиции о том, что логика, как автономная дисциплина, должна быть формальной, мы утверждали, что это не означает того, что ее принципы лишены значимого содержания; наоборот, эти принципы по своей природе являются применимыми во всех областях потому, что они связаны с наиболее общими онтологическими характеристиками. Мы считаем, что категория объективной возможности представляет существенную важность для обсуждения логики.
Именно поэтому мы рассматриваем историю логики как историю тех вкладов, которые сделали различные школы в развитие общей дисциплины. Такое стремление предоставить студенту либеральный, а не узкий взгляд на логику может сделать нашу конечную точку зрения несколько эклектичной. Тем не менее, в том, что касается проведения фундаментальных различий, мы старались занять определенную и ясную позицию. Флоренс Найтингейл изменила современные лазареты с помощью девиза: что бы ни делали госпитали, они не должны ни в коем случае распространять болезни. Сходным образом логика не должна инфицировать студентов заблуждениями и путаницей в отношении основополагающей природы обоснованного, или научного, мышления.
Работающие с этой книгой преподаватели будут уделять большее внимание разным ее частям. Не все, что содержится в ней, можно преподать в рамках семестрового курса. Данный учебник содержит достаточно информации, чтобы представлять интерес для студентов на протяжении целого учебного года. Если говорить о семестровом курсе, то авторы этой книги убедились, что наилучшие результаты достигаются при полном изложении содержания книги II с добавлением глав III, IV и VIII из книги I. Те, кто не интересуется математикой, может пропустить главу VII. Книги являются инструментами, которые мудрые люди используют для достижения собственных целей. Один из авторов этой книги, читавший курс по элементарной логике на протяжении двадцати лет, как правило, излагал содержание книги II (Прикладная логика и научный метод), перед тем как преподавать формальную логику, изложенную в книге I. Следует сказать, что некоторые темы из книги II предполагают ознакомление с книгой I. Однако опыт показывает, что связанные с этим трудности легко преодолимы. Авторы особенно надеются на то, что эта книга окажется полезной для понимания научного метода как для простых читателей, так и для студентов, изучающих естественные и социальные науки.
М. Р. К.
Э.Н.
Продолжающийся спрос на эту книгу, которая уже пережила три издания, позволил нам исправить некоторые ошибки и переформулировать некоторые утверждения для достижения большей ясности.
7 января 1936 г.
М. Р. К.
Э.Н.
Глава I Предмет логики
§ 1. Логика и совокупность оснований
Подавляющее большинство наших ежедневных дел мы проделываем, не задумываясь, и лишь изредка задаемся вопросом об истинной природе того, что по привычке считаем истинным. Однако при этом мы не можем всегда пребывать в состоянии уверенной убежденности в истинности собственных верований, поскольку все, к чему мы привыкли, зачастую может быть поставлено под вопрос либо неожиданными изменениями в окружающем мире, либо же вследствие нашего собственного любопытства, либо пытливостью других людей.
Предположим, что наш читатель сидит поздно вечером за столом. В комнате темнеет, и ему становится сложно читать. В обычной ситуации он бы включил находящийся поблизости источник света и продолжил работу. Но предположим, что в этот раз ему вдруг является тень Сократа, как раз в тот момент, когда он коснулся выключателя, и спрашивает, что он делает. У нашего читателя крепкие нервы, поэтому он быстро оправляется от удивления и отвечает: «Я намерен включить свет, а это выключатель. Дело в том, что со времен твоей смерти…» «Да, да, – перебивает его тень, – я знаком с современной теорией света и способами его использования. Тебе не стоит тратить время на то, чтобы объяснять мне это. Но мне бы хотелось, чтобы ты мне ответил, откуда ты знаешь, что указываешь именно на электрический выключатель». К этому моменту спокойствие читателя может уже быть существенно поколеблено, и после молчаливого смущения он может ответить с натужным удивлением и резкостью: «Разве ты сам не видишь, Сократ?» – и включит свет.
В этом выдуманном диалоге для нас, прежде всего, интересно то, что сомнение, пусть даже самое малое, может зародиться в голове читателя относительно такого суждения, как «это – электрический выключатель», которое ранее казалось ему бесспорным. Интересно также, что это самое сомнение может быть рассеяно утверждением о том, что для получения достаточных оснований для истинности данного суждения достаточно просто видеть выключатель. Любые же дополнительные основания можно считать избыточными. Есть и другие суждения, для которых сложно отыскать какое-либо основание кроме непосредственного восприятия с помощью зрения, слуха, прикосновения или обоняния. «На моих часах половина двенадцатого», «мой лоб кажется горячим», «вдыхаемый мной аромат розы очень приятен», «мне неудобно в этих ботинках», «этот шум – громкий». Истинность суждений данного типа не является для нас проблематичной, и мы бы рассердились, если бы кто-то начал требовать от нас причин, почему мы считаем их истинными.
Однако существуют суждения, истинность которых не представляется столь очевидной. Если тень Сократа настигнет читателя при входе в здание страховой компании и спросит, что именно тот намеревается сделать, то читатель, по всей видимости, ответит следующее: «Я намереваюсь приобрести страховой полис». Если тень поинтересуется причинами такого поступка, то, возможно, в качестве ответа услышит: «Однажды я умру, и мне хотелось бы обеспечить своих близких». Если же Сократ спросит, почему читатель считает суждение «однажды я умру» истинным, то тот уже не сможет ответить ему словами «разве ты сам не видишь?». Дело в том, что мы не способны в буквальном смысле увидеть свою будущую смерть. Однако после некоторого раздумья можно ответить следующее: «О, Сократ, все живые существа однажды умирают, а поскольку я также являюсь живым существом, то я тоже однажды умру».
Таким образом, существуют суждения, которые мы считаем истинными, поскольку можем отыскать другие суждения, в истинности которых не сомневаемся и которые, как нам кажется, служат основанием для истинности исходного суждения. «Расстояние до Солнца составляет приблизительно сто пятьдесят миллионов километров», «Цезарь перешел Рубикон», «в следующем году в Северной Америке будет затмение Солнца», «сумма углов треугольника равна сумме двух прямых углов». В истинность таких суждений мы верим в силу того, что либо мы сами, либо кто-то другой может представить другие суждения, подтверждающие их истинность.
Не всегда можно четко различить суждения, в истинность которых мы верим, не имея каких-либо оснований, кроме непосредственного наблюдения или осознания, и суждения, в которые мы верим, считая, что можно отыскать другие суждения, которые послужат основаниями их истинности. Иногда мы верим в истинность некоего суждения, отчасти в силу непосредственного наблюдения, а отчасти потому, что можем найти подтверждающие суждения. Если мы с определенной высоты одновременно бросаем два камня разного веса, то считаем суждение «оба камня упадут на землю одновременно» истинным не только потому, что мы видим, как это происходит, но еще и потому, что мы знаем причину, почему происходит так, а не иначе. Кроме этого, есть множество суждений, являющихся ложными, несмотря на то, что их истинность кажется нам очевидной. Мы зачастую видим то, что ожидаем увидеть, а не то, что происходит в действительности. Прогресс в знании очень часто становился следствием нашего усомнения в истинности суждений, которые до этого считались самоочевидными. Критические исследования человеческих верований и убеждений демонстрируют, как много интерпретации присутствует в том, что на первый взгляд казалось «непосредственным знанием». Для наших целей вовсе не нужно отвечать на вопрос о том, существуют ли суждения, истинность которых может быть познана «непосредственно», и если да, то что это за суждения.
Все, что нам требуется на данном этапе, – это признать общую необходимость наличия оснований для того, чтобы во что-то верить или в чем-то сомневаться. Чем бы мы ни занимались, будь то научное или историческое исследование, судебная тяжба или принятие решения в любой практической ситуации, нам всегда приходится приводить доводы в поддержку тех или иных суждений. Некоторые из них, даже если они – несомненно истинны, мы зачастую рассматриваем как неуместные и совсем не представляющие нужных оснований. Иные же суждения мы расцениваем как решающие в пользу определенной позиции и убедительно доказывающие ее истинность. Помимо этих двух крайних ситуаций мы также сталкиваемся с ситуациями, где имеет место некоторое основание или обстоятельство, подтверждающее определенный вывод, но при этом недостаточное, чтобы исключить все остальные возможные выводы. В большинстве случаев нам достаточно большего количества оснований в поддержку некоторого суждения, чем против него. Однако иногда, например в том случае, если мы выступаем в качестве присяжных в суде и признаем подсудимого виновным в совершении преступления, нам нужно, чтобы не осталось никаких обоснованных сомнений в его виновности. Иными словами, не должно остаться никаких сомнений в том, что всякий разумный человек в аналогичной ситуации вынес бы то же самое решение.
Можно сказать, что логика исследует вопрос об адекватности и доказательной силе различных видов оснований. Однако традиционно она имеет дело по преимуществу с исследованием того, из чего состоит доказательство, т. е. с полным и неопровержимым основанием. Ибо, как мы увидим ниже, последнее требуется для определения степени доказательности частичных оснований и нахождения выводов, которые можно считать более или менее вероятными.
Предположим, что наш читатель сидит поздно вечером за столом. В комнате темнеет, и ему становится сложно читать. В обычной ситуации он бы включил находящийся поблизости источник света и продолжил работу. Но предположим, что в этот раз ему вдруг является тень Сократа, как раз в тот момент, когда он коснулся выключателя, и спрашивает, что он делает. У нашего читателя крепкие нервы, поэтому он быстро оправляется от удивления и отвечает: «Я намерен включить свет, а это выключатель. Дело в том, что со времен твоей смерти…» «Да, да, – перебивает его тень, – я знаком с современной теорией света и способами его использования. Тебе не стоит тратить время на то, чтобы объяснять мне это. Но мне бы хотелось, чтобы ты мне ответил, откуда ты знаешь, что указываешь именно на электрический выключатель». К этому моменту спокойствие читателя может уже быть существенно поколеблено, и после молчаливого смущения он может ответить с натужным удивлением и резкостью: «Разве ты сам не видишь, Сократ?» – и включит свет.
В этом выдуманном диалоге для нас, прежде всего, интересно то, что сомнение, пусть даже самое малое, может зародиться в голове читателя относительно такого суждения, как «это – электрический выключатель», которое ранее казалось ему бесспорным. Интересно также, что это самое сомнение может быть рассеяно утверждением о том, что для получения достаточных оснований для истинности данного суждения достаточно просто видеть выключатель. Любые же дополнительные основания можно считать избыточными. Есть и другие суждения, для которых сложно отыскать какое-либо основание кроме непосредственного восприятия с помощью зрения, слуха, прикосновения или обоняния. «На моих часах половина двенадцатого», «мой лоб кажется горячим», «вдыхаемый мной аромат розы очень приятен», «мне неудобно в этих ботинках», «этот шум – громкий». Истинность суждений данного типа не является для нас проблематичной, и мы бы рассердились, если бы кто-то начал требовать от нас причин, почему мы считаем их истинными.
Однако существуют суждения, истинность которых не представляется столь очевидной. Если тень Сократа настигнет читателя при входе в здание страховой компании и спросит, что именно тот намеревается сделать, то читатель, по всей видимости, ответит следующее: «Я намереваюсь приобрести страховой полис». Если тень поинтересуется причинами такого поступка, то, возможно, в качестве ответа услышит: «Однажды я умру, и мне хотелось бы обеспечить своих близких». Если же Сократ спросит, почему читатель считает суждение «однажды я умру» истинным, то тот уже не сможет ответить ему словами «разве ты сам не видишь?». Дело в том, что мы не способны в буквальном смысле увидеть свою будущую смерть. Однако после некоторого раздумья можно ответить следующее: «О, Сократ, все живые существа однажды умирают, а поскольку я также являюсь живым существом, то я тоже однажды умру».
Таким образом, существуют суждения, которые мы считаем истинными, поскольку можем отыскать другие суждения, в истинности которых не сомневаемся и которые, как нам кажется, служат основанием для истинности исходного суждения. «Расстояние до Солнца составляет приблизительно сто пятьдесят миллионов километров», «Цезарь перешел Рубикон», «в следующем году в Северной Америке будет затмение Солнца», «сумма углов треугольника равна сумме двух прямых углов». В истинность таких суждений мы верим в силу того, что либо мы сами, либо кто-то другой может представить другие суждения, подтверждающие их истинность.
Не всегда можно четко различить суждения, в истинность которых мы верим, не имея каких-либо оснований, кроме непосредственного наблюдения или осознания, и суждения, в которые мы верим, считая, что можно отыскать другие суждения, которые послужат основаниями их истинности. Иногда мы верим в истинность некоего суждения, отчасти в силу непосредственного наблюдения, а отчасти потому, что можем найти подтверждающие суждения. Если мы с определенной высоты одновременно бросаем два камня разного веса, то считаем суждение «оба камня упадут на землю одновременно» истинным не только потому, что мы видим, как это происходит, но еще и потому, что мы знаем причину, почему происходит так, а не иначе. Кроме этого, есть множество суждений, являющихся ложными, несмотря на то, что их истинность кажется нам очевидной. Мы зачастую видим то, что ожидаем увидеть, а не то, что происходит в действительности. Прогресс в знании очень часто становился следствием нашего усомнения в истинности суждений, которые до этого считались самоочевидными. Критические исследования человеческих верований и убеждений демонстрируют, как много интерпретации присутствует в том, что на первый взгляд казалось «непосредственным знанием». Для наших целей вовсе не нужно отвечать на вопрос о том, существуют ли суждения, истинность которых может быть познана «непосредственно», и если да, то что это за суждения.
Все, что нам требуется на данном этапе, – это признать общую необходимость наличия оснований для того, чтобы во что-то верить или в чем-то сомневаться. Чем бы мы ни занимались, будь то научное или историческое исследование, судебная тяжба или принятие решения в любой практической ситуации, нам всегда приходится приводить доводы в поддержку тех или иных суждений. Некоторые из них, даже если они – несомненно истинны, мы зачастую рассматриваем как неуместные и совсем не представляющие нужных оснований. Иные же суждения мы расцениваем как решающие в пользу определенной позиции и убедительно доказывающие ее истинность. Помимо этих двух крайних ситуаций мы также сталкиваемся с ситуациями, где имеет место некоторое основание или обстоятельство, подтверждающее определенный вывод, но при этом недостаточное, чтобы исключить все остальные возможные выводы. В большинстве случаев нам достаточно большего количества оснований в поддержку некоторого суждения, чем против него. Однако иногда, например в том случае, если мы выступаем в качестве присяжных в суде и признаем подсудимого виновным в совершении преступления, нам нужно, чтобы не осталось никаких обоснованных сомнений в его виновности. Иными словами, не должно остаться никаких сомнений в том, что всякий разумный человек в аналогичной ситуации вынес бы то же самое решение.
Можно сказать, что логика исследует вопрос об адекватности и доказательной силе различных видов оснований. Однако традиционно она имеет дело по преимуществу с исследованием того, из чего состоит доказательство, т. е. с полным и неопровержимым основанием. Ибо, как мы увидим ниже, последнее требуется для определения степени доказательности частичных оснований и нахождения выводов, которые можно считать более или менее вероятными.
§ 2. Окончательное основание, или доказательство
Рассмотрим суждение «В городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове». Обозначим его как q. Каким образом может быть установлена его истинность? Наиболее очевидным способом будет отыскание двух людей, обладающих одинаковым количеством волос. Однако исследовать головы шестимиллионного населения – занятие крайне трудоемкое и невыполнимое на практике. Но мы можем показать, что суждение q следует или с необходимостью выводится из других суждений, истинность которых установить гораздо проще. В таком случае мы сможем утверждать истинность суждения q в силу того, что оно является следствием других суждений, а также потому, что истинность этих суждений, выступающих в качестве оснований, установлена. Попробуем применить этот метод.
Предположим, что путем пересчета установлено, что в Нью-Йорке находится пять тысяч парикмахерских. Будет ли суждение «в Нью-Йорке существует пять тысяч парикмахерских» служить удовлетворительным основанием для q? Читатель, без сомнения, ответит: «Абсурд! Какое отношение имеет число парикмахерских к существованию людей с одинаковым количеством волос на голове?» Таким образом он выразит суждение (опирающееся на полученное ранее знание), что число парикмахерских вообще не является основанием для равенства в количестве волос. Не все суждения, даже если они истинны, уместны для установления истинности интересующего нас суждения.
Теперь рассмотрим суждение «число жителей Нью-Йорка больше, чем число волос на голове любого из них». Обозначим это суждение как р. Является ли истинность р достаточной для установления истинности q? У читателя вполне может возникнуть желание отбросить р как неуместное точно так же, как он отбросил информацию о количестве парикмахерских. Однако это было бы ошибкой. Можно показать, что если р истинно, то q тоже должно быть истинным. Для целей наглядности не будем оперировать с большими цифрами и предположим, что ни один житель Нью-Йорка не имеет более пятидесяти волос на голове и что в Нью-Йорке проживает всего пятьдесят один человек, и у всех них есть волосы. Припишем каждому из жителей число, соответствующее количеству волос на его голове. Тогда у первого жителя будет один волос, у второго – два, и так до тех пор, пока мы не достигнем пятидесятого жителя, у которого будет не более пятидесяти волос. Остается один житель, а поскольку мы предположили, что ни один житель не имеет более пятидесяти волос, то количество волос на голове у этого последнего будет с необходимостью равняться количеству волос на голове у одного из уже перечисленных жителей. Несложно заметить, что данное доказательство имеет совершенно общий характер и не зависит от числа пятьдесят, которое мы выбрали в качестве максимального для количества волос. Таким образом, мы можем заключить, что следствием суждения р («число жителей Нью-Йорка больше, чем число волос на голове любого из них») является суждение q («в городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове»). Было показано, что между этими двумя суждениями существует отношение такое, что если первое суждение (которое называется основанием, или посылкой) истинно, то невозможно, чтобы второе суждение (именуемое заключением, или тем, что должно быть доказано) было ложным.
Примеры неопровержимых оснований можно приводить бесконечно. Так, можно доказать, что пропавший человек мертв, показав, что он отправился в плавание на судне, уничтоженном в море взрывом, при котором никто не мог спастись. Сходным образом мы можем доказать, что наш сосед мистер Браун не имеет права голосовать, показав, что он не достиг двадцати одного года, а также закон, запрещающий голосовать лицам моложе этого возраста.
Для такой области, как математика, доказательство, несомненно, является неотъемлемым. Однако в данном случае следует провести различие между прикладной и чистой математикой. В прикладной математике, как и в вышеприведенных примерах, мы предполагаем, что определенные суждения, например законы механики, являются истинными; и мы доказываем истину других суждений, показывая, что они с необходимостью следуют или же математически выводимы из суждений, истинность которых мы заранее предполагаем. В чистой математике, с другой стороны, мы демонстрируем лишь то, что наши исходные допущения с необходимостью влекут или имеют следствием теоремы, которые выводимы из этих допущений. Мы не задаемся вопросом о том, являются ли наши заключения, равно как и наши аксиомы или постулаты, в действительности истинными.
Для удобства можно было бы использовать слово «доказательство» для операций из области прикладной математики (в которых мы заключаем, что некоторое суждение является истинным), а такими терминами, как «вывод» или «демонстрация», будем обозначать операцию, которая только устанавливает импликацию, или необходимую связь между посылкой и заключением, безотносительно истинности или ложности того и другого. Данная терминология позволила бы нам говорить, что суждение доказано, когда и только когда оно следует из посылки, которая сама является истинной. Однако в чистой математике так часто принято говорить о «доказательстве» теорем, что тщетно пытаться что-либо изменить. Поэтому термин «доказательство» можно, не опасаясь, использовать и в чистой математике, не забывая, однако, что доказываем мы всегда исключительно импликации, т. е. то, что если одни суждения истинны, то определенные другие суждения должны быть истинными. В конце концов, именно с этим уровнем доказательства главным образом связана логика.
Таким образом, во всех случаях полного основания, или доказательства, заключение является следствием посылок, а рассуждение или умозаключение от посылок к заключению называется дедуктивным. Мы выводим одно суждение из другого обоснованно, только если существует объективное отношение импликации между первым суждением и вторым. Поэтому важно различать умозаключение, являющееся временным процессом, и импликацию, являющуюся объективным отношением между суждениями. Импликация может сохраняться, даже если мы не знаем, как вывести одно суждение из другого. Таким образом, чтобы умозаключение было обоснованным, между суждениями должна существовать импликация. Существование же импликации не зависит от наличия психологического процесса умозаключения.
Предположим, что путем пересчета установлено, что в Нью-Йорке находится пять тысяч парикмахерских. Будет ли суждение «в Нью-Йорке существует пять тысяч парикмахерских» служить удовлетворительным основанием для q? Читатель, без сомнения, ответит: «Абсурд! Какое отношение имеет число парикмахерских к существованию людей с одинаковым количеством волос на голове?» Таким образом он выразит суждение (опирающееся на полученное ранее знание), что число парикмахерских вообще не является основанием для равенства в количестве волос. Не все суждения, даже если они истинны, уместны для установления истинности интересующего нас суждения.
Теперь рассмотрим суждение «число жителей Нью-Йорка больше, чем число волос на голове любого из них». Обозначим это суждение как р. Является ли истинность р достаточной для установления истинности q? У читателя вполне может возникнуть желание отбросить р как неуместное точно так же, как он отбросил информацию о количестве парикмахерских. Однако это было бы ошибкой. Можно показать, что если р истинно, то q тоже должно быть истинным. Для целей наглядности не будем оперировать с большими цифрами и предположим, что ни один житель Нью-Йорка не имеет более пятидесяти волос на голове и что в Нью-Йорке проживает всего пятьдесят один человек, и у всех них есть волосы. Припишем каждому из жителей число, соответствующее количеству волос на его голове. Тогда у первого жителя будет один волос, у второго – два, и так до тех пор, пока мы не достигнем пятидесятого жителя, у которого будет не более пятидесяти волос. Остается один житель, а поскольку мы предположили, что ни один житель не имеет более пятидесяти волос, то количество волос на голове у этого последнего будет с необходимостью равняться количеству волос на голове у одного из уже перечисленных жителей. Несложно заметить, что данное доказательство имеет совершенно общий характер и не зависит от числа пятьдесят, которое мы выбрали в качестве максимального для количества волос. Таким образом, мы можем заключить, что следствием суждения р («число жителей Нью-Йорка больше, чем число волос на голове любого из них») является суждение q («в городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове»). Было показано, что между этими двумя суждениями существует отношение такое, что если первое суждение (которое называется основанием, или посылкой) истинно, то невозможно, чтобы второе суждение (именуемое заключением, или тем, что должно быть доказано) было ложным.
Примеры неопровержимых оснований можно приводить бесконечно. Так, можно доказать, что пропавший человек мертв, показав, что он отправился в плавание на судне, уничтоженном в море взрывом, при котором никто не мог спастись. Сходным образом мы можем доказать, что наш сосед мистер Браун не имеет права голосовать, показав, что он не достиг двадцати одного года, а также закон, запрещающий голосовать лицам моложе этого возраста.
Для такой области, как математика, доказательство, несомненно, является неотъемлемым. Однако в данном случае следует провести различие между прикладной и чистой математикой. В прикладной математике, как и в вышеприведенных примерах, мы предполагаем, что определенные суждения, например законы механики, являются истинными; и мы доказываем истину других суждений, показывая, что они с необходимостью следуют или же математически выводимы из суждений, истинность которых мы заранее предполагаем. В чистой математике, с другой стороны, мы демонстрируем лишь то, что наши исходные допущения с необходимостью влекут или имеют следствием теоремы, которые выводимы из этих допущений. Мы не задаемся вопросом о том, являются ли наши заключения, равно как и наши аксиомы или постулаты, в действительности истинными.
Для удобства можно было бы использовать слово «доказательство» для операций из области прикладной математики (в которых мы заключаем, что некоторое суждение является истинным), а такими терминами, как «вывод» или «демонстрация», будем обозначать операцию, которая только устанавливает импликацию, или необходимую связь между посылкой и заключением, безотносительно истинности или ложности того и другого. Данная терминология позволила бы нам говорить, что суждение доказано, когда и только когда оно следует из посылки, которая сама является истинной. Однако в чистой математике так часто принято говорить о «доказательстве» теорем, что тщетно пытаться что-либо изменить. Поэтому термин «доказательство» можно, не опасаясь, использовать и в чистой математике, не забывая, однако, что доказываем мы всегда исключительно импликации, т. е. то, что если одни суждения истинны, то определенные другие суждения должны быть истинными. В конце концов, именно с этим уровнем доказательства главным образом связана логика.
Таким образом, во всех случаях полного основания, или доказательства, заключение является следствием посылок, а рассуждение или умозаключение от посылок к заключению называется дедуктивным. Мы выводим одно суждение из другого обоснованно, только если существует объективное отношение импликации между первым суждением и вторым. Поэтому важно различать умозаключение, являющееся временным процессом, и импликацию, являющуюся объективным отношением между суждениями. Импликация может сохраняться, даже если мы не знаем, как вывести одно суждение из другого. Таким образом, чтобы умозаключение было обоснованным, между суждениями должна существовать импликация. Существование же импликации не зависит от наличия психологического процесса умозаключения.
§ 3. Природа логической импликации
Пытаясь получить полное доказательство суждений, имеющих практическую важность, мы всегда сталкиваемся с двумя актуальными вопросами:
1. Являются ли истинными суждения, выступающие в качестве оснований?
2. Является ли отношение между заключениями и основаниями, или посылками, таким, что первые с необходимостью следуют и, следовательно, могут быть правильно выведены из последних?
Первый вопрос ставит проблему фактического, или материального, характера, и ответ на него не может быть получен только с помощью логики без привлечения всех наук и всего общеизвестного знания. Как отдельная наука, логика исследует только второй вопрос, а именно отношение импликации между суждениями. Таким образом, особая задача логики заключается в изучении условий, при которых одно суждение с необходимостью следует и, следовательно, может быть выведено из одного или более суждений, безотносительно фактической истинности последних. Поскольку ряд суждений нетрудно объединить в единое суждение, то можно сказать, что всякий пример импликации, или логического следования, относится к двум суждениям, которые можно наиболее точно обозначить как условное и имплицируемое[3], однако, как правило, они называются антецедентом и консеквентом или же посылкой и заключением. При этом следует отметить, что, используя термины «антецедент» и «консеквент» или выражение «логически следует», мы подразумеваем абстрактное отношение, которое, подобно отношению части и целого, непосредственно не указывает ни на какую временную последовательность. Логические следствия некоторого суждения – не явления, следующие за ним во времени, а скорее составные элементы его значения. Иногда наше осознание посылок предшествует осознанию заключения, однако мы зачастую точно так же сначала осознаем заключение и только после этого отыскиваем посылки, из которых оно следует.
Рассмотрим отношение импликации более подробно.
1. Являются ли истинными суждения, выступающие в качестве оснований?
2. Является ли отношение между заключениями и основаниями, или посылками, таким, что первые с необходимостью следуют и, следовательно, могут быть правильно выведены из последних?
Первый вопрос ставит проблему фактического, или материального, характера, и ответ на него не может быть получен только с помощью логики без привлечения всех наук и всего общеизвестного знания. Как отдельная наука, логика исследует только второй вопрос, а именно отношение импликации между суждениями. Таким образом, особая задача логики заключается в изучении условий, при которых одно суждение с необходимостью следует и, следовательно, может быть выведено из одного или более суждений, безотносительно фактической истинности последних. Поскольку ряд суждений нетрудно объединить в единое суждение, то можно сказать, что всякий пример импликации, или логического следования, относится к двум суждениям, которые можно наиболее точно обозначить как условное и имплицируемое[3], однако, как правило, они называются антецедентом и консеквентом или же посылкой и заключением. При этом следует отметить, что, используя термины «антецедент» и «консеквент» или выражение «логически следует», мы подразумеваем абстрактное отношение, которое, подобно отношению части и целого, непосредственно не указывает ни на какую временную последовательность. Логические следствия некоторого суждения – не явления, следующие за ним во времени, а скорее составные элементы его значения. Иногда наше осознание посылок предшествует осознанию заключения, однако мы зачастую точно так же сначала осознаем заключение и только после этого отыскиваем посылки, из которых оно следует.
Рассмотрим отношение импликации более подробно.
Логическая импликация не зависит от истинности наших посылок
Импликация является особым логическим отношением, которое может существовать либо 1) между ложными суждениями, либо 2) между ложным суждением и истинным, а также 3) может не существовать между истинными суждениями.
1. Рассмотрим следующий аргумент: «Если Спарта была демократией и ни в одной демократии не существует короля, то, следовательно, в Спарте не было короля». Ложность суждения «Спарта была демократией» не мешает ему обладать некоторыми следствиями, равно как и иметь определяющее значение в конкретных логических следованиях.
В обыденной жизни самым распространенным является аргумент, устанавливающий логические следствия для условных суждений, не соответствующих фактам. Если бы не было смерти, то не было бы кладбищ, надгробных речей и т. п. Все наши сожаления опираются на выведение следствий из суждений, в которых утверждается то, что могло бы быть, но чего в действительности не произошло.
То, что суждение обладает определенными логическими следствиями, даже если оно ложно, следует также из того обстоятельства, что данные логические следствия, или импликации, являются частью его значения. А значение суждения нам необходимо знать прежде, чем мы сможем определить истинность суждения. Однако в любом случае (независимо от истинности или ложности суждения) установление существования логической импликации между двумя суждениями исключает возможность ложности второго суждения при истинности первого.
2. Существует широко распространенное мнение о том, что ложные посылки должны логически вести к ложным суждениям. Это серьезная ошибка, происходящая, вероятно, из неправильного понимания истинного принципа о том, что если следствия ложны, то посылки должны быть ложными. Однако в том, что истинные следствия могут имплицироваться, или логически следовать, из ложных посылок, можно легко убедиться на следующих примерах.
Если все мексиканцы являются гражданами Соединенных Штатов и все жители штата Виргиния являются мексиканцами, то логически следует, что все жители Виргинии являются гражданами Соединенных Штатов. Если все дельфины являются рыбами и все рыбы являются водными позвоночными, то с необходимостью следует, что все дельфины являются водными позвоночными животными. (Это же заключение следует из посылок, что все дельфины являются моллюсками и все моллюски являются водными позвоночными животными.) Повторим еще раз: отношение между антецедентами и консеквентами исключает возможность того, чтобы первые были истинными, а вторые в то же самое время – ложными.
1. Рассмотрим следующий аргумент: «Если Спарта была демократией и ни в одной демократии не существует короля, то, следовательно, в Спарте не было короля». Ложность суждения «Спарта была демократией» не мешает ему обладать некоторыми следствиями, равно как и иметь определяющее значение в конкретных логических следованиях.
В обыденной жизни самым распространенным является аргумент, устанавливающий логические следствия для условных суждений, не соответствующих фактам. Если бы не было смерти, то не было бы кладбищ, надгробных речей и т. п. Все наши сожаления опираются на выведение следствий из суждений, в которых утверждается то, что могло бы быть, но чего в действительности не произошло.
Огромное заблуждение считать, как многие легкомысленно и делают, что при рассуждении, которое называется научным, мы исходим только из фактов или истинных суждений. Данное убеждение не учитывает необходимости делать дедуктивный вывод из ложных гипотез. В науке, как и в ситуациях практического выбора, мы постоянно сталкиваемся с альтернативными гипотезами, все из которых не могут быть истинными. Следует ли объяснять феномен горения через выделение вещества, именуемого «флогистоном», или через соединение с веществом, именуемым «кислородом»? Действует ли магнетизм на расстоянии подобно гравитации или же ему, подобно звуку, требуется среда? Как правило, мы делаем выбор между двумя несовместимыми суждениями, выводя следствия из каждого из них и исключая как ложную ту гипотезу, которая приводит к ложным заключениям, т. е. к результатам, не превалирующим в области обозримых фактов. Если бы у ложных гипотез не было логических следствий, мы не смогли бы удостовериться в их ложности.
Не любить бы нам так нежно,
Безрассудно, безнадежно,
Не сходиться, не прощаться,
Нам бы с горем не встречаться![4]
То, что суждение обладает определенными логическими следствиями, даже если оно ложно, следует также из того обстоятельства, что данные логические следствия, или импликации, являются частью его значения. А значение суждения нам необходимо знать прежде, чем мы сможем определить истинность суждения. Однако в любом случае (независимо от истинности или ложности суждения) установление существования логической импликации между двумя суждениями исключает возможность ложности второго суждения при истинности первого.
2. Существует широко распространенное мнение о том, что ложные посылки должны логически вести к ложным суждениям. Это серьезная ошибка, происходящая, вероятно, из неправильного понимания истинного принципа о том, что если следствия ложны, то посылки должны быть ложными. Однако в том, что истинные следствия могут имплицироваться, или логически следовать, из ложных посылок, можно легко убедиться на следующих примерах.
Если все мексиканцы являются гражданами Соединенных Штатов и все жители штата Виргиния являются мексиканцами, то логически следует, что все жители Виргинии являются гражданами Соединенных Штатов. Если все дельфины являются рыбами и все рыбы являются водными позвоночными, то с необходимостью следует, что все дельфины являются водными позвоночными животными. (Это же заключение следует из посылок, что все дельфины являются моллюсками и все моллюски являются водными позвоночными животными.) Повторим еще раз: отношение между антецедентами и консеквентами исключает возможность того, чтобы первые были истинными, а вторые в то же самое время – ложными.