Введение в логику и научный метод
Шрифт:
Мы предвосхитим некоторые последующие темы данной книги, сформулировав суть дела следующим образом. Общее суждение «все дворники – бедняки» следует понимать как утверждающее: для всех частных случаев или значений X, если X является дворником, то X является бедняком. Частное суждение «некоторые дворники – бедняки» следует понимать как утверждающее: существует X такой, что X является дворником и что X является бедняком . Данное уточнение поможет нам понять, почему для современной логики представляется проблематичной одинаковая классификация таких суждений, как «Наполеон был солдатом» и «все французы – солдаты». Второе суждение, как мы видели, при анализе означает: для всех частных случаев или значений X, если X является французом, то X является солдатом . Первое же суждение, в свою очередь, никак не может
Мы достигли следующего заключения: общие суждения не имплицируют существования каких-либо конкретных случаев, тогда как частные суждения имплицируют. Данное заключение может показаться читателю парадоксальным. (В самом деле, для того чтобы прояснить, насколько данное заключение зависит от наших соглашений, а насколько навязывается нам логическими соображениями, требуется более подробное исследование, чем то, которое мы можем себе здесь позволить.) Быть может, читатель приведет в пример суждение типа «все собаки суть верные» и скажет, что оно имплицирует существование собак. Действительно, может вполне статься, что, утверждая «все собаки суть верные», читатель может подразумевать и утверждать суждение «существуют собаки». Однако в таком случае ему следует обратить внимание, что он делает два отдельных и отличающихся друг от друга утверждения. В суждении же «пусть бросит камень тот, кто безгрешен» с очевидностью не имплицируется, что в действительности существуют безгрешные индивиды. Общее суждение может быть просто гипотезой относительно класса, который, как мы заранее знаем, не содержит членов.
Так, первый закон движения Ньютона гласит: все тела, не испытывающие воздействия со стороны других тел, всегда сохраняют состояние покоя или равномерного прямолинейного движения. Станет ли читатель утверждать, что в данном суждении утверждается существование какого-либо тела, не испытывающего воздействия со стороны других тел? Нам стоит лишь напомнить ему о законе тяготения, согласно которому все тела притягивают друг друга. В первом же законе Ньютона утверждается гипотеза о том, что если бы некоторое тело не испытывало воздействия со стороны других тел, оно всегда сохраняло бы состояние покоя или равномерного прямолинейного движения. Точно так же в принципе рычага говорится о том, что имело бы место, если бы рычаг был идеально жестким телом. В этом принципе не утверждается, что такое тело существует. На самом деле исследование принципов различных наук достаточно ясно демонстрирует, что общие суждения в науке всегда функционируют в качестве гипотез, а не высказываний о фактах, в которых утверждалось бы существование индивидов, представлявших частные случаи данных суждений. Разумеется, истинным является и то, что если бы общие суждения не были применимыми в практике, то стали бы бесполезными для науки, которая имеет дело с фактами. Истинно также и то, что значение общих высказываний требует, по крайней мере, применимости в возможных фактах. Однако мы не можем отождествлять абстрактные возможности, описываемые общими суждениями, и то, что действительно существует, поскольку последнее является местом, в котором абстрактные возможности либо исключаются, либо сочетаются с другими возможностями. Так, инерция считается фазой любого механического действия, хотя ни один частный случай инерции самой по себе не может быть найден в природе. Принцип рычага применим в той мере, в какой тела в действительности являются жесткими, хотя нет частных примеров чистой жесткости отдельно от других свойств тел.
На данный вопрос можно посмотреть и с другой стороны. До настоящего момента мы говорили, что в суждениях утверждаются отношения между классами индивидов. На с. 68 мы видели, что суждения могут пониматься как утверждающие определенные связи между признаками. Рассмотрение общих суждений, как не утверждающих существования каких-либо индивидов, выводит на первый план их понимание в терминах постоянных связей между признаками.
Наконец, следует отметить, что, затрагивая вопрос об экзистенциальной нагруженности, мы вовсе не обязаны сводить область указания терминов к физическому универсуму. Когда мы спрашиваем: «Была ли у Юпитера дочь?» или «Был Гамлет на самом деле сумасшедшим?», мы задаемся вопросом не о физическом существовании, а о существовании индивидов в рамках некоторой предметной области, управляемой определенными допущениями, в нашем случае утверждениями о Гомере или Шекспире. Поэтому индивид, «существование» которого допускается в одной предметной области (универсуме рассуждения), может не существовать в другой. В суждении «Самсон – это чистый миф» отрицается существование Самсона
Таким образом, когда в формальной логике говорится о том, что общие суждения не имплицируют, а частные имплицируют существование отдельных случаев, читатель может понимать это (по крайней мере, отчасти) как указание на различные функции, которые каждый из типов суждений выполняет в научном исследовании. Мы не можем обоснованно выводить истинность суждения, в котором речь идет о наблюдении, из посылок, в которых не содержится суждения, полученного на основании наблюдения. Точно так же не можем мы и выводить истинность частного суждения только из посылок, содержащих общие суждения, если, конечно, мы неявным образом не допускаем как само собой разумеющееся существование членов классов, на которые указывают термины общих суждений.
§ 3. Сложные, простые и родовые общие суждения
До настоящего момента нами анализировались только категорические суждения. Однако логические связи присутствуют и между более сложными формами суждений. Рассмотрим следующие суждения:
1. Вес В равен весу G .
2. Прямые АВ и CD параллельны.
3. Если углы AFG и CGF больше двух прямых углов, то оставшиеся углы BFG, DGF меньше двух прямых углов.
4. Сумма внутренних углов одной и той же стороны либо равна, либо больше, либо меньше, чем два прямых угла.
При сравнении первых двух суждений со вторыми двумя видно, что, в отличие от первых двух суждений, вторые два содержат суждения в качестве своих составных компонентов или элементов. Таким образом, «если углы AFG и CGF больше двух прямых углов» и «оставшиеся углы BFG, DGF меньше двух прямых углов» – это тоже суждения, являющиеся компонентами суждений 3 и 4.
Назовем все суждения, содержащие в качестве своих компонентов другие суждения, сложными. При этом читателю следует иметь в виду, что в форме предложения не всегда проявляется выражаемое им суждение. Вспомним сказанное нами в конце предыдущего параграфа, в котором анализировались категорические суждения.
Можно различить четыре типа сложных суждений. В каждом из них простые суждения, входящие в состав сложного, связаны особым отношением.
1. Рассмотрим суждение «если объявлена война, то цены поднимаются». Мы договорились называть суждение, следующее за словом «если» («объявлена война»), «антецедентом», а суждение, вводимое словом «то» («цены поднимаются») – «консеквентом». Иногда частица «то» пропускается, но при этом она неявно подразумевается во всех подобных случаях. Составное суждение, соединяющее два простых посредством отношения, выражаемого союзом «если… то», называется условным, или импликативным.
Что мы имеем в виду, когда утверждаем, что условное суждение истинно? Мы, разумеется, не имеем в виду, что истинен антецедент или консеквент, несмотря на то что оба они на деле могут оказаться истинными. Мы пытаемся утверждать, что если антецедент является истинным, то консеквент тоже является истинным. Иными словами, антецедент и консеквент связаны таким образом, что первый не может быть истинным без того, чтобы последний тоже был истинным. Иногда считается, что условное суждение выражает сомнение. Однако данный способ описания этого суждения может вводить в заблуждение. Мы, действительно, можем сомневаться в том, что объявлена война, однако когда мы утверждаем данное условное суждение, мы не сомневаемся: «если объявлена война, то цены поднимаются».
Антецедент и консеквент условного суждения сами по себе также могут быть сложными суждениями. Вследствие этого анализ логической формы суждений будет облегчен, если мы используем особые символы, разработанные специально для проявления логической формы. Договоримся, что штрих, следующий сразу после скобок, будет обозначать отрицание, или негацию, суждения, находящегося внутри скобок. Так, суждение «неверно, что Карл I умер в кровати» может быть записано, как (Карл I умер в кровати)\' [18] . Также заменим вербальные символы «если… то» идеографическим символом «» [19] . Условное суждение «если бы Карл I не умер в кровати, то он был обезглавлен» может быть записано так: