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

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

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

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

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

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

---

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

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

§ 2. Окончательное основание, или доказательство

Рассмотрим суждение «В городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове». Обозначим его как q. Каким образом может быть установлена его истинность? Наиболее очевидным способом будет отыскание двух людей, обладающих одинаковым количеством волос. Однако исследовать головы шестимиллионного населения – занятие крайне трудоемкое и невыполнимое на практике. Но мы можем показать, что суждение q следует или с необходимостью выводится из других суждений, истинность которых установить гораздо проще. В таком случае мы сможем утверждать истинность суждения q в силу того, что оно является следствием других суждений, а также потому, что истинность этих суждений, выступающих в качестве оснований, установлена. Попробуем применить этот метод.

Предположим, что путем пересчета установлено, что в Нью-Йорке находится пять тысяч парикмахерских. Будет ли суждение «в Нью-Йорке существует пять тысяч парикмахерских» служить удовлетворительным основанием для q? Читатель, без сомнения, ответит: «Абсурд! Какое отношение имеет число парикмахерских к существованию людей с одинаковым количеством волос на голове?» Таким образом он выразит суждение (опирающееся на полученное ранее знание), что число парикмахерских вообще не является основанием для равенства в количестве волос. Не все суждения, даже если они истинны, уместны для установления истинности интересующего нас суждения.

Теперь рассмотрим суждение «число жителей Нью-Йорка больше, чем число волос на голове любого из них». Обозначим это суждение как р. Является ли истинность р достаточной для установления истинности q? У читателя вполне может возникнуть желание отбросить р как неуместное точно так же, как он отбросил информацию о количестве парикмахерских. Однако это было бы ошибкой. Можно показать, что если р истинно, то q тоже должно быть истинным. Для целей наглядности не будем оперировать с большими цифрами и предположим, что ни один житель Нью-Йорка не имеет более пятидесяти волос на голове и что в Нью-Йорке проживает всего пятьдесят один человек, и у всех них есть волосы. Припишем каждому из жителей число, соответствующее количеству волос на его голове. Тогда у первого жителя будет один волос, у второго – два, и так до тех пор, пока мы не достигнем пятидесятого жителя, у которого будет не более пятидесяти волос. Остается один житель, а поскольку мы предположили, что ни один житель не имеет более пятидесяти волос, то количество волос на голове у этого последнего будет с необходимостью равняться количеству волос на голове у одного из уже перечисленных жителей. Несложно заметить, что данное доказательство имеет совершенно общий характер и не зависит от числа пятьдесят, которое мы выбрали в качестве максимального для количества волос. Таким образом, мы можем заключить, что следствием суждения р («число жителей Нью-Йорка больше, чем число волос на голове любого из них») является суждение q («в городе Нью-Йорке есть, по крайней мере, два человека с одинаковым количеством волос на голове»). Было показано, что между этими двумя суждениями существует отношение такое, что если первое суждение (которое называется основанием, или посылкой) истинно, то невозможно, чтобы второе суждение (именуемое заключением, или тем, что должно быть доказано) было ложным.

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

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

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

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

§ 3. Природа логической импликации

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

1. Являются ли истинными суждения, выступающие в качестве оснований?

2. Является ли отношение между заключениями и основаниями, или посылками, таким, что первые с необходимостью следуют и, следовательно, могут быть правильно выведены из последних?

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