Георгий Рузавин - Логика и аргументация: Учебн. пособие для вузов.

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

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

Из предыдущего раздела становится ясным, что взгляды на предмет и задачи логики не оставались неизменными на протяжении ее истории. Однако долгое время эти изменения были весьма незаметными, что дало повод, как упоминалось ранее, заявить Канту, что "после Аристотеля логика не могла сделать ни одного шага вперед и, по-видимому, имеет совершенно замкнутый, законченный характер". Хотя вклад Аристотеля, сформулировавшего основные законы логики и детально исследовавшего силлогистическую форму дедуктивных умозаключений, был действительно велик, тем не менее совершенствование и развитие методов логики, анализ новых способов рассуждений настойчиво продолжались и после него. Еще ученики Аристотеля, Теофраст и Евдем, ввели в логику условные и разделительные силлогизмы, которые используются в рассуждениях не менее часто, чем категорические силлогизмы, изученные их учителем.

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

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

Новый мощный толчок развитию логики дала эпоха Возрождения. Отказ от схоластических методов исследования, обоснования аргументов путем обращения к вере и церковным авторитетам, настойчивое стремление к переходу от чисто умозрительных методов к опытному исследованию природы - все это в значительной мере стимулировало разработку проблем индуктивной логики. Простейшие приемы индуктивных рассуждений встречаются уже у Аристотеля, который называл их диалектическими и противопоставлял аналитическим умозаключениям силлогистики. Однако у древних греков не существовало экспериментального естествознания, поэтому теория индукции не получила у них заметного развития, в связи с чем ученым Возрождения приходилось не просто возрождать идеи индукции, а создавать индуктивную логику заново. Первые усилия в этом направлении были сделаны Леонардо да Винчи. Позднее Ф. Бэкон задался амбициозной целью построить логику открытия в опытных науках с помощью разработанных им методов индуктивного исследования: сходства, различия, остатков и сопутствующих изменений. Эти методы он излагает в своей книге "Новый Органон", т.е. орудие мысли, которое было направлено против "Органона" Аристотеля, где были собраны его логические сочинения. Силлогистика, по мнению Бэкона, является бесполезной для открытия новых истин; в лучшем случае она может служить лишь для оправдания и обоснования их. В связи с этим интерес к вопросам дедукции значительно ослабевает.

Положение начинает меняться после возникновения в математике анализа бесконечно малых. Крупные успехи, достигнутые благодаря применению методов анализа в экспериментальном естествознании и технических науках в XVII-XVІІІ вв., возродили интерес к дедуктивной логике. Этому в значительной мере способствовали также рационалистические идеи, отстаивавшие приоритет разума, которые защищали и пропагандировали два выдающихся математика и философа той эпохи: Р. Декарт и Г. В. Лейбниц. По мнению Декарта, дедукция служит верным путем к познанию истины, когда приходится выводить заключения из положений, не вызывающих сомнений и очевидных, какими являются аксиомы математики и математического естествознания.

Г.В. Лейбниц считал, что применение дедукции не должно ограничиваться рамками математики, а обязано охватить несравненно более широкую область знания и практического действия. В этих целях он намеревался построить универсальный символический язык или формальное исчисление, с помощью которого можно было бы свести любое содержательное рассуждение к вычислению. В таком случае, писал он, двум ученым не придется больше бесконечно спорить. Вместо этого они возьмут перья в руки, сядут за счетные доски и скажут друг другу: "будем вычислять". Такая программа, как показали современные исследования, даже при новейших быстродействующих компьютерах не может быть реализована. Несмотря на это, идея о формализации дедуктивных рассуждений, применении языка символов и формул математики для анализа рассуждений оказалась в высшей степени плодотворной. Она положила начало возникновению символической (математической) логики (родоначальником ее по праву считается Лейбниц, но это произошло только в середине XIX века, а как самостоятельная наука математическая логика оформилась лишь в конце прошлого - начале нынешнего века.