Введение в логику и научный метод - страница 59

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

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

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

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

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