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

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

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

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

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

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

---

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

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

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

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

( р ⊃ q ) ≡ ( q ′ ⊃ р ′) ≡ ( р ′∨ q ) ≡ ( p . q ′)′,

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

( р ⊃ q )′ ≡ ( q ′ ⊃ р ′)′ ≡ ( р ′∨ q )′ ≡ ( p . q ′).

Иными словами, суждением, противоречащим суждению «если р , то q », будет « р и q ′»; суждением, противоречащим суждению « р или q », будет « р ′ и q ′»; суждением, противоречащим суждению «неверно, что вместе р и q », будет « р и q ».

Читателю следует обратить внимание на эквивалентность ( р ′ ∨ q )′ ≡ ( р . q ′). Данное отношение является абсолютно общим, и совершенно неважно, какие суждения мы подставим вместо символов. Поэтому подставим « r » вместо « р ′». Тогда вместо « p » будет подставлен символ « r ′». И тогда мы получим:

( r ∨ q )′ ≡ ( r ′. q ′).

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

( р . r )′ ≡ ( p ′ ∨ r ′).

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

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

В качестве проверки усвоения этой записи предложим читателю привести противоречащее суждение для суждения «некоторые люди – бедные, но честные». Следует понимать, что сила слова «но» в данном суждении заключается в том, что бедные чаще всего являются бесчестными, хотя случается и так, что некоторые из них являются честными. Следовательно, явным значением здесь будет «некоторые люди – бедные и честные, и некоторые люди – бедные и бесчестные». Из этого следует, что суждение «некоторые люди не бедные и честные» не противоречит исходному утверждению, равно как не противоречит ему и суждение «все люди не являются одновременно бедными и честными или все люди не являются одновременно бедными и бесчестными». Сходным образом суждение «Джон не вернулся вчера домой на велосипеде» не будет противоречить суждению «Джон вчера вернулся домой на велосипеде». Этому суждению скорее будет противоречить суждение «Джон не вернулся домой, или Джон не вернулся домой вчера, или Джон не вернулся домой на велосипеде».

Контрарное противопоставление

Данное отношение было проиллюстрировано в традиционном квадрате противопоставлений. Однако можно найти примеры подобного противопоставления и помимо тех, что были указаны в логическом квадрате. Рассмотрим следующие суждения: «мой рост – семь футов» и «мой рост – шесть футов»; «Сократ был мудрейшим из греков» и «Платон был мудрейшим из греков»; «Колумб был первым европейцем, открывшим Америку» и «Лиф Эриксон был первым европейцем, открывшим Америку». Все они представляют пару противоположных суждений, выходящих за рамки рассмотрения традиционного подхода. Очевидно, что общие суждения могут иметь больше чем одно противоположное суждение.

Какое суждение будет противоположным суждению «книга была украдена, или я ее переложил»? Одним из противоположных суждений будет «книга не была украдена, и я ее не переложил, и мой брат ее не одалживал». Эти два сложных суждения могут быть вместе ложными, например, в том случае, если суждение «мой брат одолжил ее» истинно. Вообще нижеприведенная символическая запись представляет пару противоположных сложных суждений:

( р ∨ q )

и

( р ′ . q ′ . r ),

где р, q и r могут быть любыми суждениями.

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

Субконтрарное противопоставление

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

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