Введение в логику и научный метод

Коэн Моррис Р.

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

Следует ли нам подчиняться закону или же мы свободны изменить его? Должны ли мы следовать примеру старших или можем попытаться улучшить сделанное ими? Целые библиотеки книг были написаны по этим и сходным темам, где данные альтернативы рассматривались как исключающие друг друга. Однако таковыми они могут представляться лишь необученному интеллекту. Мудрость заключается в том, чтобы увидеть, каким способом обе альтернативы могут быть истинными. Для примера рассмотрим разногласия относительно свободной торговли и политики протекционизма. Данные позиции иногда позиционируются так, что принятие одной из них в одно время, а другой – в другое несовместимо с государственными интересами. Однако при одних условиях для экономического развития страны может быть необходимым повышение пошлин, тогда как при других условиях их повышение может оказаться пагубным. Следовательно, в то время как суждения «пошлины пагубны для страны» и «пошлины полезны для страны» являются контрарными, если рассматривать их как формулировку общих принципов экономической политики, реальное положение дел не позволяет принять такие общие принципы. Следовательно, оба суждения могут быть истинными, если их рассматривать как утверждающие, что при определенных квалификационных условиях пошлины являются пагубными, а при иных квалификационных условиях – полезными. Мясо может быть и пищей, и ядом.

Суперимпликация

Любая теория соотносится со своими логическими следствиями как подчиняющая к подчиненному, согласно отношению суперимпликации. По этой причине позднее мы будем изучать это отношение вместе с обратным отношением более детально. Сейчас же можно указать на одну иллюстрацию данного типа суждений, которая будет несколько сложнее, чем то позволяет традиционный подход. Пусть р обозначает конъюнкцию постулатов и аксиом Евклида, a q обозначает суждение «сумма углов треугольника равна сумме двух прямых углов». В этом случае р является подчиняющей относительно q.

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

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

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

а) Умозаключение с добавленными детерминантами

Мы можем умозаключить от одного суждения к другому, если ограничим субъект

и предикат посылки тем же детерминантом. Так, из суждения «любители нюхательного порошка являются потребителями табака» мы можем вывести суждение «американские любители нюхательного порошка являются американскими потребителями табака». Из суждения «все папы являются итальянцами» мы можем вывести суждение «все высокие папы являются высокими итальянцами». Данные суждения, однако, не являются эквивалентными. Из суждения «все американские профессора являются американскими учеными» мы не можем вывести суждение «все профессора – ученые».

Добавлять детерминант к субъекту и предикату следует с осторожностью, поскольку детерминант должен иметь в обоих случаях одно и то же значение. Так, если мы делаем умозаключение и выводим из суждения «все мужья являются добытчиками денег» суждение «все неудачливые мужья являются неудачливыми добытчиками денег», то детерминант «неудачливый» не имеет одного и того же значения, будучи примененным к субъекту и предикату, несмотря на то что в обоих случаях использовано одно и то же слово. Муж является неудачливым относительно своих функций как мужа, а добытчик денег является неудачливым относительно своих функций по добыче средств. Следовательно, детерминанты, значение которых подразумевает ссылку на различные стандарты, не могут использоваться для умозаключения с добавленным детерминантом.

Ь) Умозаключение посредством сложного понятия

Одно суждение можно вывести из другого, если использовать субъект и предикат как части некоторого более сложного понятия. Так, если дано суждение «Нью-Йорк – самый большой город в мире», то из него можно вывести суждение «центр Нью-Йорка – это центр самого большого города в мире». Из суждения «лошадь есть животное» можно вывести «голова лошади есть голова животного». Умозаключение состоит в выведении того, что если один термин состоит в определенном отношении к другому, то все, что относится каким-либо образом к первому, состоит в таком же точно отношении ко всему, что относится таким же образом ко второму термину. Подобные умозаключения, однако, не дают эквивалентных суждений. Из суждения «цвет его носа является цветом свеклы» нельзя вывести суждение «его нос является свеклой».

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

Отношение субъимпликации, или конверсного подчиненного суждения

Если р обозначает «сумма углов равнобедренного треугольника равна сумме двух прямых углов», a q обозначает «сумма углов любого треугольника равна сумме двух прямых углов», р является субъимпликантом или суждением, подчиненным q. Из истинности р не следует ничего относительно истинности q, тогда как из ложности р с необходимостью следует ложность q. Как мы увидим впоследствии, отношение между подтверждающим примером теории и самой теорией является отношением подчиненного к подчиняющему.

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

Глава IV. Категорический силлогизм 

§ 1. Определение категорического силлогизма

Рассмотрим суждение «Том Муни представляет опасность для общества». Что может послужить адекватным основанием для этого суждения? Например, аргумент можно выстроить следующим образом: «Все общественные радикалы представляют опасность для общества; Том Муни является общественным радикалом; из этого следует, что Том Муни представляет опасность для общества». Здесь читателю придется признать, что если первые два суждения действительно имплицируют третье, и если первые два суждения истинны, то третье суждение будет истинным с необходимостью. Таким образом, заключение подчинено посылкам, поскольку если бы оно было истинным, то из этого не следовала бы истинность посылок. При этом ясно также и то, что посылки, в том случае если они истинны, будут адекватным основанием для истинности заключения, однако вопрос о том, являются ли они на самом деле истинными, не детерминируется тем логическим отношением, в котором они стоят относительно заключения.