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

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

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

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

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

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

---

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

[Для всех значений х ( х является математиком) ⊃ ( х является квалифицированным логиком)],

где знак «⊃», как обычно, означает отношение «если… то» между суждениями, полученными из пропозициональных функций путем придания значений для х.

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

Выразим все четыре вида категорических суждений в новой записи:

1. «Все студенты – независимые мыслители» эквивалентно «[Для всех х ( х является студентом) ⊃ ( х является независимым мыслителем)]».

2. «Ни один студент не является независимым мыслителем» эквивалентно «[ «Для всех х ( х является студентом) ⊃ ( х является независимым мыслителем)′».

3. «Некоторые студенты – независимые мыслители» эквивалентно «[Существует х такой, что ( х является студентом) . ( х является независимым мыслителем)]».

4. «Некоторые студенты не являются независимыми мыслителями» эквивалентно «[Существует х такой, что ( х является студентом) . ( х является независимым мыслителем)′».

Два общих суждения (1 и 2) с очевидностью обладают логической формой, отличной от формы двух частных суждений (3 и 4). При этом все четыре суждения отличаются по форме от суждений с субъектно-предикатной формой.

Глава III. Отношения между суждениями

§ 1. Возможные логические отношения между суждениями

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

В заключительной части платоновского диалога «Протагор» Сократ резюмирует обсуждение вопроса о природе добродетели: «Да ведь я спрашиваю… только ради того, чтобы рассмотреть, как обстоит дело с добродетелью и что это такое – добродетель. Я знаю, если это будет раскрыто, тогда всего лучше выяснится и то, о чем каждый из нас держал столь длинную речь: я – когда утверждал, что добродетели нельзя научиться, ты же – когда утверждал, что можно. И мне кажется, что недавний вывод наших рассуждений, словно живой человек, обвиняет и высмеивает нас, и, если бы он владел речью, он бы сказал: «Чудаки вы, Сократ и Протагор! Ты, утверждавший прежде, что добродетели нельзя научиться, теперь вопреки себе усердствуешь, пытаясь доказать, что все есть знание: и справедливость, и рассудительность, и мужество. Но таким путем легче всего обнаружится, что добродетели можно научиться. Ведь если бы добродетель была не знанием, а чем-нибудь иным, как пытался утверждать Протагор, тогда она, ясно, не поддавалась бы изучению; теперь же, если обнаружится, что вся она – знание (на чем ты так настаиваешь, Сократ), странным было бы, если бы ей нельзя было обучиться. С другой стороны, Протагор, тогда полагавший, что ей можно обучиться, теперь, видимо, настаивает на противоположном: она, по его мнению, оказывается чем угодно, только не знанием, а следовательно, менее всего поддается изучению».

Меня же, Протагор, когда я вижу, как все тут перевернуто вверх дном, охватывает сильное желание все это выяснить» [23] .

Рассмотрим из данного отрывка следующие суждения:

a. Добродетели нельзя научиться.

b. Если добродетель не есть знание, то ей нельзя научиться.

c. Если добродетель есть знание, то ей можно научиться.

d. Добродетели можно научиться.

e. Добродетель есть знание.

f. Добродетель не есть знание.

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

Что можно сказать относительно суждений Ь и с? Читатель может посчитать их также противоречащими. Это, однако, будет неверно. Противоречия не возникает, если сказать, что добродетели можно научиться при одних случайных обстоятельствах (например, если добродетель является знанием), но нельзя при других (если добродетель не является знанием).

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

Теперь рассмотрим суждения Ь и f, как утверждаемые одновременно и тем самым формирующие конъюнктивное суждение. Существует ли отношение между этой конъюнкцией и суждением а? Несложно увидеть, что если и Ь и f – истинны, то а должно быть истинным. Однако если истинно а, следует ли из этого истинность Ь и f? Разумеется, нет, поскольку а может быть истинным вследствие совершенно других оснований, чем те, которые предоставляет конъюнкция Ь и f. Так, например, такими основаниями могут быть человеческое упрямство, дурные привычки или слабость тела. А конъюнкция может быть ложной, даже если а истинно, поскольку может оказаться истинным, что добродетель является знанием, но при этом ей все равно нельзя научиться. Если два суждения связаны отношением таким, что если первое истинно, то второе тоже истинно, но если второе истинно, то истинностное значение первого является неопределенным, или неограниченным, то такие суждения считаются находящимися в отношении подчиняющего к подчиненному. Для данного отношения также был введен удобный термин «суперимпликация». Предлагаем читателю самостоятельно отыскать другие сочетания суждений из приведенного списка, находящиеся друг с другом в этом же отношении.

На данный момент мы рассмотрели три типа отношений между суждениями: противоречие, независимость и отношение подчиняющего суждения к подчиненному. Существуют ли другие отношения помимо указанных? Исчерпывающий список всех таких отношений можно получить, если рассмотреть все возможные истинностные значения, которые будет принимать пара суждений. («Истинностным значением суждения» называется его истинность или ложность.) Пусть р символизирует одно любое суждение, a q – любое другое. Приведенная ниже таблица представляет все их возможные истинностные значения. Следует также учесть возможность того, что истинностное значение одного суждения не будет ограничиваться истинностным значением другого. Отсутствие такого ограничения мы обозначим термином «неопределенно».

Отношение между двумя суждениями может быть представлено одним из указанных шести способов. Однако придания паре суждений лишь одного из шести предложенных условий недостаточно, чтобы однозначно определить их логическое отношение друг к другу. Поэтому для задания свойств отношения противоречия (или контрадикторности), существующего, например, между суждениями ей/, требуется привести два условия: 2 и 4. Отношение суперимпликации также требует двух условий: 1 и 6. Рассмотрение других возможных логических отношений между суждениями показывает, что для задания их свойств также требуется два из шести приведенных в таблице условий. Сопоставив три первых условия с тремя последними, мы получим девять возможных отношений между суждениями. При этом некоторые из них будут совпадать.