Введение в логику и научный метод
Шрифт:
Для того чтобы понять суть данной критики, читателю следует провести различие между обвинением в том, что посылки силлогизма могут быть истинными, только если истинным является заключение, и обвинением в том, что мы должны знать истинность заключения, чтобы установить истинность той или иной из посылок. Читатель вполне может убедиться, что первое обвинение является неопасным. Оно не представляет критики теории силлогизма, а является формулировкой условий обоснованности дедуктивного умозаключения. Серьезность представляет второе обвинение, и именно на нем нам следует остановиться. В нем ставится уместный вопрос о том, не устанавливается ли истинность суждения, являющаяся основанием для истинности некоторого другого суждения, на основании, которое само, в свою очередь, содержит это другое суждение. Согласно критике, данный вопрос упускается теорией силлогизма из вида, поскольку посылки, предлагаемые как основания для заключения, могут предлагаться в качестве таковых только при истинности самого заключения. Таким образом, указанное обвинение может быть резюмировано
если рассмотрены не все посылки, то он является petitio principii. При этом рассматриваются либо все факты, либо некоторые упускаются. Следовательно, силлогизм является либо излишним, либо цикличным. Будучи правильно понятым, данное обвинение само по себе не является направленным против обоснованности дедуктивного вывода как такового.
Исследуемый вопрос, таким образом, касается того, можно ли когда-либо утверждать истинность общей посылки силлогизма без рассмотрения составляющих ее отдельных случаев и в случае если истинность такой посылки утверждать нельзя, то означает ли это, что силлогизм является излишним или бесполезным. Разумеется, существуют случаи, когда истинность общего суждения устанавливается путем рассмотрения всех отдельных случаев. Так, когда мы утверждаем суждение «все известные планеты вращаются вокруг Солнца», то основанием для его истинности является истинность суждений «Меркурий вращается вокруг Солнца», «Венера вращается вокруг Солнца» и т. д. для всех известных планет. Полученное таким способом общее суждение называется «перечислимым» и может справедливо считаться четко суммирующим подобный набор единичных суждений. В таком случае если бы мы утверждали, что Юпитер вращается вокруг Солнца потому, что известные планеты вращаются вокруг Солнца, а Юпитер является известной планетой, то тогда обвинение было бы оправданным.
Однако являются ли перечислимые общие суждения в действительности типичными общими суждениями, использующимися в исследовании? Разве суждение «все люди смертны» всего лишь суммирует некоторый набор: «человек Адам смертен», «человек Абель смертен» и т. д.? В последующих главах мы увидим, что подобная точка зрения является абсурдной интерпретацией научного метода. На данном же этапе мы можем пока только предложить альтернативный взгляд. Во-первых, общее суждение может выражать готовность действовать определенным образом, появившуюся вследствие причин, совершенно не связанных с каким-то конкретным событием, на которое оно, тем не менее, распространяется. Так, может существовать правило, гласящее: «Все полицейские должны быть не ниже пяти футов и восьми дюймов». Мы вполне можем считать, что если оно существует, то оно соблюдается сейчас и будет соблюдаться в будущем, для чего не будет требоваться знакомство с сегодняшними, равно как и с будущими полицейскими. В таком случае мы сможем вывести, что Смит ростом не ниже пяти футов и восьми дюймов на том основании, что он работает в полиции. И наш аргумент при этом не будет цикличным.
Во-вторых, и это наиболее важный пункт, общее суждение может выдвигаться как гипотеза, с тем чтобы обнаружить решение некоторой практической проблемы или для унифицирования нашего знания. В таком случае истинность суждения с достоверностью неизвестна. Тем не менее, основания для признания его истинным могут быть адекватными и более сильными, чем для любого единичного суждения, являющегося его верифицируемым следствием, но при этом не включенного в основания, на которые опирается вся теория. Так, одним из следствий ньютоновской физики является то, что пара двойных звезд будет вращаться вокруг их общего гравитационного центра по эллиптической орбите. Однако ньютоновская физика может быть вполне тщательно обоснована и без исследования двойных звезд, а основания в поддержку самой теории могут быть более значимыми, чем основания в поддержку существования таких эллиптических орбит, даже если мы попробуем напрямую исследовать двойные звезды. Умозаключение о том, что двойные звезды движутся по таким орбитам, следовательно, не содержит круга. Данное заключение в действительности не является достоверным, поскольку теория также не является с достоверностью истинной. Однако отвергаться оно может только вследствие ошибочного понимания науки, которое представлено в позиции Милля, требовавшего от науки абсолютной несомненности относительно фактического положения дел. Сходным образом мы выводим смертность любого живущего человека из посылки «Все люди смертны», не обосновывая эту посылку перечислением умерших людей. Мы знаем, что суждения «все люди обладают органическими телами» и «все органические тела со временем разрушаются» подтверждаются основаниями, характер которых не покоится на рассмотрении вопроса о смертности каждого отдельного человека.
Попытка Милля защитить теорию силлогизма представляет отдельный интерес. Согласно его позиции, когда мы выводим истинность суждения о том, что герцог Веллингтон является смертным (когда Милль писал свою книгу, герцог еще был жив), из посылок «все люди смертны» и «герцог Веллингтон – человек», большая посылка не является реальным основанием для умозаключения. Милль утверждает:
«Мы предполагаем, что суждение „герцог Веллингтон смертен" является непосредственным следствием суждения «все люди смертны». Но откуда мы берем знание относительно истинности общего суждения? Разумеется, из наблюдения. При этом человек может наблюдать лишь отдельные случаи. На их основании выводятся все общие истины, и к ним же они вновь могут быть сведены. Общая истина – это всего лишь совокупность единичных истин, объемлющее выражение, с помощью которого разом утверждается или отрицается неопределенное число индивидуальных фактов. Однако общее суждение – это не просто сжатая форма фиксации и хранения в памяти некоторого количества отдельных фактов, каждый из которых непосредственно наблюдался. Обобщение не является просто процессом именования. Оно также является процессом умозаключения. На основании наблюдавшихся примеров мы считаем себя вправе заключить, что признанное нами в качестве истинного в тех примерах будет таковым и во всех сходных примерах, существующих в прошлом, настоящем и будущем, какими бы многочисленными они ни были. Тогда мы с помощью такого ценного механизма, существующего в языке и позволяющего нам говорить о многом, как если бы оно было единым, способны учесть все, что мы наблюдали, вместе со всем, что мы вывели из этих наблюдений, в одном лаконичном выражении. Таким образом, для запоминания и коммуникации вместо бесконечного числа суждений мы получаем всего лишь одно суждение. Результаты многих наблюдений и умозаключений, указания по осуществлению бесчисленных выводов в непредвиденных ситуациях – все это сводится в одно короткое предложение…
Если из нашего опыта о том, что Джон, Томас и др. некогда были живыми, но теперь мертвы, мы были бы вправе заключить, что все человеческие существа являются смертными, то тогда мы вполне без какой-либо логической несостоятельности на основании этих же примеров могли бы заключить и что герцог Веллингтон также является смертным. В конечном счете все наше основание для утверждения смертности герцога Веллингтона сводится к тому, что Джон, Томас и др. также смертны. Введение общего суждения ни на йоту не способствует продвижению доказательства… Мы не только можем рассуждать, переходя от одного единичного утверждения к другому, без обращения к общим суждениям, но мы непрестанно это делаем» [53] .
Таким образом, согласно позиции Милля, обвинение силлогизма в том, что он является petitio principii, аннулируется через отрицание того, что посылки силлогизма являются истинным базисом для заключения, а также через утверждение о том, что заключение не является частью информации, из которой выводится большая посылка. Читатель, однако, должен заметить, что основная часть попытки Милля защитить силлогизм заключается в утверждении о том, что умозаключение признается обоснованным, даже когда оно таковым не является. И этому своему заключению Милль не предлагает никакой дополнительной посылки. Почему мы можем на основании смерти Джона, Томаса и др. заключать, что герцог Веллингтон является смертным? Потому что, говорит Милль, то, что было истинным в указанных условиях, останется таковым и при сходных условиях. Однако если мы взглянем на данный аргумент с формальной точки зрения, то обнаружим (что бы вы думали?) силлогизм: «То, что истинно в случае Джона, Томаса и т. д., является истинным и в сходных примерах; но Джон, Томас и т. д. умерли; следовательно, герцог Веллингтон, будучи сходным примером, является смертным». И большая посылка данного силлогизма не может, даже с точки зрения Милля, рассматриваться просто как совокупность единичных суждений. Во многих случаях, например, в теории гравитации, общие суждения невозможно рассматривать как краткое сообщение о единичных суждениях. В таких случаях абсолютная необходимость общих суждений даже более очевидна, чем в предлагаемых Миллем простых иллюстрациях. Однако мы слишком углубляемся в дискуссию, которую следует оставить на более позднее время.
Суммируем проведенное обсуждение силлогизма как petitio percipii:
1. Обвинение силлогизма в том, что он является petitio регcipii, значимо, только если мы заинтересованы в основаниях для материальной истинности посылок и заключения. Даже если бы данное обвинение было состоятельным, оно никак не повлияло бы на силлогизм как вид обоснованного умозаключения.
2. Общие посылки, выражающие нашу решительность, приказы, законы, могут утверждаться без рассмотрения возможных примеров, к которым они могут быть применимы.
3. Общие посылки могут утверждаться как вероятно истинные на основании, которое не содержит в качестве своих частей каждое верифицируемое следствие этих посылок.
К тому же утверждение о том, что каждое общее суждение является коротким способом суммирования набора ранее известных единичных суждений, является просто ложным.
§ 3. Законы мышления
Логика часто определялась как исследование «законов мышления». В частности, три принципа – принцип тождества, принцип противоречия и принцип исключенного третьего – рассматривались как необходимые, а иногда и достаточные условия для обоснованного мышления. Мы намерены подробно рассмотреть эти принципы, обсудить вопрос о том, являются ли они на самом деле законами мышления, а также указать, наконец, природу логических принципов.
Три упомянутых принципа формулировались несколькими способами. Одна такая формулировка гласит (в том же порядке, в котором сами принципы приведены выше): если нечто является А, то оно является А; ничто не может одновременно являться А и не-А; все должно быть либо А, либо не-А. При этом предпочтительнее сначала рассмотреть иную формулировку. В принципе тождества утверждается: если суждение истинно, то оно истинно. В принципе противоречия: ни одно суждение не может быть одновременно истинным и ложным. В принципе исключенного третьего: любое суждение должно быть либо истинным, либо ложным.