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

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

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

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

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

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