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

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

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

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

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

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

---

§ 11. Антилогизм, или несовместимая триада

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

Рассмотрим правильный силлогизм:

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

Все шотландцы являются музыкантами.

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

Если мы обозначим буквами «S», «М» и «Р» термины «шотландцы», «музыканты» и «гордые индивиды» соответственно и если мы используем результаты анализа того, что утверждается в категорическом суждении, который мы провели в главе IV, то данный силлогизм можно выразить как утверждающий следующее:

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

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

2. Все шотландцы являются музыкантами.

3. Некоторые шотландцы не являются гордыми.

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

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

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

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

Все шотландцы являются музыкантами.

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

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

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

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

∴ Некоторые шотландцы не являются музыкантами.

Это правильный модус второй фигуры. Наконец, если мы возьмем второе и третье суждения триады в качестве посылок, то получим силлогизм:

Все шотландцы являются музыкантами.

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

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

Это правильный модус третьей фигуры.

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

Структура антилогизма

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

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

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

Является ли правильным следующий силлогизм?

Некоторые азиаты вежливы.

∴ Все азиаты проницательны.

Некоторые проницательные люди вежливы.

Пусть «S», «P» и «О» обозначают меньший, больший и средний термин соответственно. В символах данное умозаключение может быть выражено следующим образом: OP ≠ 0, 

= 0, ∴ SP ≠ 0. Эквивалентным антилогизмом будет: OP ≠ 0, 

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

Является ли правильным следующий силлогизм?

Некоторые профессора неженаты.

Все святые женаты.

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

Пусть «S», «P» и «М» обозначают меньший, больший и средний термин. Символьное выражение данного силлогизма: 

≠ 0, 

= 0, ∴ SP ≠ 0. Эквивалентным антилогизмом будет: 

≠ 0, 

= 0, следовательно, SP = 0. Антилогизм содержит два общих суждения и одно частное, однако общий термин в общих суждениях не является утверждаемым в одном случае и отрицаемым в другом. Следовательно, силлогизм является неправильным. 

§ 12. Сорит

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

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

Все недемократические правительства нестабильны.

Все нестабильные правительства жестоки.

Все жестокие правительства являются объектами ненависти.

мы можем вывести заключение:

Все диктатуры являются объектами ненависти.

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

В вышеприведенном примере представлен аристотелевский сорит. В нем первая посылка содержит субъект заключения, а общий термин двух следующих друг за другом суждений сначала представлен как предикат, а затем как субъект. Вторая форма сорита – гоклениевский сорит. Он проиллюстрирован ниже:

Все священные вещи охраняются государством.

Все виды собственности священны.

Все торговые монополии являются собственностью.

Все виды сталелитейной промышленности являются торговыми монополиями.

∴ Все виды сталелитейной промышленности охраняются государством.

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