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

• Название: Введение в логику и научный метод
• Автор: Моррис Коэн
• Жанр: Философия
• Год: 2010
• ISBN: 978-5-91603-029-7

На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется спросом (последнее переиздание на английском языке увидело свет в 2007 г.). Авторам удалось органично совместить силлогистику Аристотеля с формализованным языком математической логики, а методология познания излагается ими в тесной связи с логикой. Освещаются все стандартные темы, преподаваемые в базовом курсе по логике, при этом их изложение является более подробным, чем в стандартных учебниках. Как синтетический курс логики и научной методологии не имеет аналога среди отечественных учебников.

Значительная часть книги посвящена исследованию проблем прикладной логики: экспериментальным исследованиям, индукции, статистическим методам, анализу оценочных суждений.

В книге дается анализ предмета логики и природы научного метода, рассмотрение той роли, которую методы логики играют в научном познании, а также критика многих альтернативных подходов к истолкованию логики и науки в целом. В этом отношении она представляет собой самостоятельное философское произведение и будет интересна специалистам в области философии и методологии науки.

Для преподавателей логики, философии науки, теории аргументации и концепций современного естествознания, студентов, изучающих логику и методологию науки.

---

§ 10. Сведение силлогизмов

Мы обнаружили правильные модусы посредством исключения всех форм, несовместимых с аксиомами обоснованности, а также с выведенными из них теоремами. Единственным обоснованием правильности выработанных нами форм стала их согласованность с аксиомами. Однако Аристотель, человек, первым написавший о силлогизмах, обосновывал правильные формы иначе. Согласно его подходу, модусы первой фигуры проверялись с помощью применения к ним принципа, известного с тех пор как dictum de omrti et nullo [30] . Данный принцип считался и зачастую до сих пор считается «самоочевидным». Формулировался он по-разному. Одной из таких формулировок была следующая: «Все, что предицируется, в утвердительном или отрицательном суждении, распределенному термину, может также предицироваться и всему, что в нем содержится» (Кейнс). Несложно показать, что принцип dictum эквивалентен аксиомам и теоремам, относящимся к первой фигуре. Однако он не может непосредственно применяться к силлогизмам в других формах. Соответственно первая фигура была названа совершенной, а остальные несовершенными.

Рассмотрим, как с помощью принципа dictum можно проверить правильность силлогизма в модусе Barbara: «Все русские – европейцы; все коммунисты – русские; следовательно, все коммунисты – европейцы». «Европейцы» предицируется в утвердительном суждении распределенному термину «русские», поэтому, согласно принципу dictum, этот термин можно предицировать в утвердительном суждении и «коммунистам», поскольку последний содержится в термине «русские» [31] . Однако силлогизм «все парижане – французы; ни один бостонец не является парижанином; следовательно, ни один бостонец не является французом» не согласуется с принципом dictum. «Французы» предицируется в утвердительном суждении распределенному термину «парижане»; при этом этот термин никак не может предицироваться термину «бостонцы», поскольку последний не содержится в термине «парижане» [32] .

Если мы вместе с Аристотелем будем рассматривать dictum как самоочевидный принцип и если мы вместе с ним решим, что он является единственным самоочевидным принципом, способным определять правильность силлогистических форм, то единственным способом обоснования модусов остальных фигур помимо первой будет демонстрация того, что они предполагают правильные модусы первой фигуры.

Данный процесс проявления связи модусов других фигур с модусами первой фигуры называется «сведением». Существует две разновидности сведения: 1) непосредственное сведение, осуществляющееся посредством обращения суждений, или перестановкой посылок, и 2) опосредованное сведение, требующее либо превращения и контрапозиции суждений, либо формы условного умозаключения, известного как reductio ad absurdum.

Несмотря на то что многие логики считали, что процесс сведения не является необходимым и даже является необоснованным, нет сомнения в том, что в свете той основы, на которой Аристотель развивал свою теорию силлогизма, сведение является неотъемлемой частью этой теории. Однако если учение о силлогизме развивать на иных основаниях, согласно которым первая фигура не считается самой главной, то операция сведения не сможет обладать той важностью, которая приписывается ей в традиционном подходе. Даже принятый нами подход не требует того, чтобы первая фигура рассматривалась как центральная. Ниже мы убедимся, что теорию силлогизма можно развивать, исходя из еще более общих установок. Более того, такие принципы, как dictum, можно выработать для каждой фигуры, и каждый из них будет обладать такой же степенью самоочевидности, как и dictum de omrti. Тем не менее, несмотря на снижение теоретической значимости сведения, оно продолжает представлять ценный логический инструмент. На данном этапе мы покажем, каким образом можно свести к первой фигуре некоторые из модусов других фигур.

Непосредственное сведение Рассмотрим силлогизм АЕЕ во второй фигуре:

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

Далее рассмотрим модус AII из третьей фигуры. Его можно свести к правильному силлогизму первой фигуры, приведенному ниже справа:

Наконец, модус IAI из четвертой фигуры может быть сведен следующим образом:

Опосредованное сведение

Читатель может заметить, что два силлогизма, содержащие частноотрицательную посылку, АОО во второй фигуре и ОАО в третьей, нельзя свести к первой фигуре только посредством обращения и перестановки посылок. Однако если допустить операцию превращения, то со сведением не возникнет сложностей.

Превращение, однако, не рассматривалось Аристотелем как допустимый способ осуществления сведения. При этом он открыл очень важный логический принцип, являющийся обобщением идеи контрапозиции условных суждений. Прежде чем формулировать данный принцип, проиллюстрируем его.

Допустим, посылки следующего силлогизма являются истинными. Нам нужно доказать, что заключение является истинным с необходимостью.

Некоторые виды стали не являются магнитными. Все виды стали суть металлы.

∴ Некоторые металлы не являются магнитными.

Заключение является либо истинным, либо ложным. Если оно ложно, то противоречащее ему суждение «все металлы являются магнитными» истинно. Сочетая это суждение с меньшей посылкой силлогизма, получаем:

Все металлы являются магнитными.

Все виды стали являются металлами.

∴ Все виды стали являются магнитными.

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

Таким образом, правильность модуса ОАО третьей фигуры доказывается с помощью правильного силлогизма из первой фигуры и принципа, известного как reductio ad absurdum. Правильность модуса АОО из второй фигуры может быть доказана таким же способом. Данный метод можно также использовать и для других модусов.

Проявим теперь принцип reductio ad absurdum в более абстрактной форме. Пусть «р» обозначает суждение «некоторые виды стали не являются магнитными», «q» обозначает суждение «все виды стали являются металлами», а «r» обозначает суждение «некоторые металлы не являются магнитными». Пусть «p′», «q′», «r′» обозначают суждения, противоречащие данным соответственно. Тогда в исходном силлогизме утверждается, что р и q вместе имплицируют r . В символьной форме: ( p . q ) ⊃ r . Мы показали, что суждение, противоречащее r , вместе с q имплицирует суждение, противоречащее р . В символьной форме: ( q . r′ ) ⊃ p′ . Сведение к первому силлогизму зависит от эквивалентности этих двух импликаций. Данная эквивалентность является простым продолжением эквивалентности между условным суждением и противопоставленным ему суждением. Ранее мы показали, что если а и b являются любыми двумя суждениями, то ( а ⊃ b ) ≡ ( b′ ⊃ a′ ). Теперь мы получаем:

[( p . q ) ⊃ r ] ≡ [( q . r′ ) ⊃ p′ ] ≡ [( p . r′ ) ⊃ q′ ].

Итак, принцип опосредованного сведения можно разложить следующим образом: силлогизм – это форма умозаключения, в которой два суждения, p и q, вместе имплицируют третье суждение, r , при этом данные три суждения содержат три, и только три, термина. Однако если мы отрицаем импликацию [( p . q ) ⊃ r ], то мы также должны отрицать и эквивалентную ей вторую импликацию [( q . r′ ) ⊃ p′ ]. Однако эта вторая импликация, как показано в нашем примере, является правильным силлогизмом, представляющим модус Barbara, который нельзя отрицать. Следовательно, также нельзя и отрицать первую импликацию, представляющую силлогизм модуса ОАО из третьей фигуры (т. е. Bocardo). Отрицание правильности модуса Bocardo приводит нас к отрицанию модуса Barbara, а это абсурдно. Если не допускать ослабленные и усиленные формы (т. е. если не предполагать экзистенциальной нагруженности общих высказываний), то сведение позволяет нам усмотреть, что все силлогистические аргументы можно свести к двум формам: одной, в которой обе посылки будут общими суждениями, и второй, в которой обе посылки будут частными суждениями. Первая форма представляет аргумент, в котором оба суждения могут быть всего лишь гипотезами, вторая форма предполагает утверждения относительно факта, которые, в конечном счете, основываются на наблюдении.