1.1. Логика как наука
1.1. Логика как наука
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Китай, Индия). В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Развитая политическая жизнь в греческих государствах-полисах, борьба разных партий за влияние на массы свободных граждан, стремление решать возникавшие имущественные и иные конфликты через суд - все это требовало умения убеждать людей, защищать свою позицию на различных народных форумах, в государственных учреждениях, судебных заседаниях и т.п.
Искусство убеждения, ведения спора, мастерства обоснованно защищать свое мнение и возражать оппоненту в ходе спора и полемики культивировалось в рамках античной риторики, ориентированной на совершенствование ораторской речи, и эристики - специального учения о споре. Первые учителя риторики многое сделали для распространения и развития знаний о мастерстве убеждения, приемах спора и построения публичной речи, обращая особое внимание на эмоционально-психологические, нравственные и ораторские ее стороны и особенности. Однако впоследствии, когда школы риторики стали возглавлять софисты, они стремились научить своих учеников не поискам истины в ходе спора, а скорее выигрышу, победе в словесном состязании любой ценой. В этих целях широко использовались преднамеренные логические ошибки, которые в дальнейшем стали называть софизмами, а также разнообразные психологические уловки и приемы для отвлечения внимания оппонента, внушения, переключения спора с основной темы на второстепенные моменты и т.п.
Против этой тенденции в риторике решительно выступили великие античные философы Сократ, Платон и Аристотель, которые считали главным средством убеждения - обоснованность содержащихся в ораторской речи суждений, их правильную связь в процессе рассуждений, т.е. вывода одних суждений из других. Именно для анализа рассуждений и была создана Аристотелем (IV век до н.э.) первая система логики, названная силлогистикой. Она представляет собой простейшую, но вместе с тем наиболее часто используемую форму дедуктивных умозаключений, в которых заключение (вывод) получается из посылок по правилам логической дедукции. Заметим, что термин дедукция в переводе с латинского означает вывод.
Для пояснения сказанного обратимся к античному силлогизму:
Все люди смертны.
Кай — человек.
________________________________
Следовательно, Кай смертен.
Здесь, как и в других силлогизмах, умозаключение совершается от общего знания о некотором классе предметов и явлений к знанию частному и единичному. Сразу же подчеркнем, что в других случаях дедукция может осуществляться от частного к частному или от общего к общему.
Главное, что объединяет все дедуктивные умозаключения, состоит в том, что заключение в них следует из посылок по логическим правилам вывода и имеет достоверный, объективный характер. Другими словами, заключение не зависит от воли, желаний и предпочтений рассуждающего субъекта. Если вы принимаете посылки такого умозаключения, то обязаны принять и его заключение.
Часто также заявляют, что определяющим признаком дедуктивных умозаключений является логически необходимый характер заключения, его достоверная истинность. Иначе говоря, в таких умозаключениях истинностное значение посылок полностью переносится на заключение. Вот почему дедуктивные умозаключения обладают наибольшей силой убеждения и широко применяются не только для доказательства теорем в математике, но и всюду, где необходимы достоверные заключения.
Очень часто в учебниках логика определяется как наука о законах правильного мышления или же принципах и способах правильных умозаключений. Поскольку, однако, остается неясным, какое мышление считается правильным, то в первой части определения содержится скрытая тавтология, так как неявно предполагается, что такая правильность достигается при соблюдении правил логики. Во второй части предмет логики определяется точнее, ибо главная задача логики сводится к анализу умозаключений, т.е. к выявлению способов получения одних суждений из других. Нетрудно заметить, что когда говорят о правильных умозаключениях, то неявно или даже явно имеют в виду дедуктивную логику. Именно в ней только и существуют вполне определенные правила для логического вывода заключений из посылок, с которыми мы познакомимся более детально в дальнейшем. Часто дедуктивную логику отождествляют также с формальной логикой на том основании, что последняя изучает формы умозаключений в отвлечении от конкретного содержания суждений. Такой взгляд, однако, не учитывает других способов и форм рассуждений, которые широко применяются как в опытных науках, изучающих природу, так и в социально-экономических и гуманитарных науках, опирающихся на факты и результаты общественной жизни. Да и в повседневной практике мы часто делаем обобщения и строим предположения, исходя из наблюдения частных случаев.
Рассуждения подобного рода, в которых на основе исследования и проверки каких-либо частных случаев приходят к заключению о неизученных случаях или о всех явлениях класса в целом, называют индуктивными. Термин индукция означает наведение и хорошо выражает сущность таких рассуждений. В них обычно изучаются свойства и отношения некоторого числа членов определенного класса предметов и явлений. Выявленное в результате этого общее свойство или отношение затем переносится на неисследованные члены или на весь класс полностью. Очевидно, что такое заключение не может считаться достоверно истинным, ибо среди неисследованных членов класса и тем более всего класса в целом могут оказаться члены, которые не обладают предполагаемым общим свойством. Поэтому заключения индукции имеют не достоверный, а лишь вероятностный характер. Часто такие заключения называют также правдоподобными, гипотетическими или предположительными, так как они не гарантируют достижение истины, а лишь наводят на нее. Они имеют эвристический (поисковый), а не достоверный характер, помогая искать истину, а не доказывать ее. Наряду с индуктивными рассуждениями сюда относят также выводы по аналогии и статистические обобщения.
Отличительная особенность подобных недедуктивных рассуждений состоит в том, что в них заключение не следует логически, т.е. по правилам дедукции, из посылок. Посылки лишь с той или иной степенью подтверждают заключение, делают его более или менее вероятным или правдоподобным, но не гарантируют его достоверной истинности. На этом основании вероятностные рассуждения иногда явно недооцениваются, считаются второстепенными, вспомогательными и даже исключаются из логики.
Такое отношение к недедуктивной и, в частности к индуктивной логике объясняется в основном следующими причинами:
• Во-первых, - и это главное - проблематический, вероятностный характер индуктивных заключений и связанная с ним зависимость результатов от имеющихся данных, неотделимость от посылок, незавершенность заключений. Ведь с получением новых данных меняется и вероятность таких выводов.
• Во-вторых, наличие субъективных моментов в оценке вероятностного логического отношения между посылками и заключением рассуждения. Одному эти посылки, например факты и свидетельства, могут показаться убедительными, другому - нет. Один считает, что они достаточно сильно подтверждают заключение, другой придерживается противоположного мнения. Подобных разногласий не возникает при дедуктивном выводе.
• В-третьих, такое отношение к индукции объясняется также историческими обстоятельствами. Когда впервые возникла индуктивная логика, то ее создатели, в частности Ф. Бэкон, верили, что с помощью ее канонов, или правил, можно открывать новые истины в опытных науках чуть ли не чисто механическим путем. "Наш же путь открытия наук, - писал он, - немногое оставляет остроте и силе дарования, но почти уравнивает их. Подобно тому как для проведения прямой или описания совершенного круга много значат твердость, умелость и испытанность руки, если действовать только рукой, - мало или совсем ничего не значит, если пользоваться циркулем и линейкой. Так обстоит и с нашим методом". Говоря современным языком, творцы индуктивной логики рассматривали свои каноны как алгоритмы открытия. С развитием науки становилось все более очевидным, что с помощью таких правил (или алгоритмов) можно открывать лишь простейшие эмпирические связи между наблюдаемыми на опыте явлениями и характеризующими их величинами. Открытие же сложных связей и глубоких теоретических законов требовали использования всех средств и методов эмпирического и теоретического исследования, максимального применения психических и интеллектуальных способностей ученых, их опыта, интуиции и таланта. А это не могло не породить негативного отношения к механическому подходу к открытию, существовавшему раньше в индуктивной логике.
• В-четвертых, расширение форм дедуктивных умозаключений, появление логики отношений и, в особенности, применение математических методов для анализа дедукции, которое завершилось созданием символической (или математической) логики во многом способствовало выдвижению на первый план именно дедуктивной логики.
Все это делает понятным, почему нередко предпочитают определять логику как науку о способах, правилах и законах дедуктивных умозаключений или как теорию логического вывода. Но нельзя забывать, что индукция, аналогия и статистика являются важными способами эвристического поиска истины, а потому они служат рациональными методами рассуждений. Ведь поиск истины можно вести наудачу, путем проб и ошибок, но такой способ крайне неэффективен, хотя иногда и используется. Наука к нему прибегает весьма редко, поскольку она ориентируется на поиск организованный, целенаправленный и системный.
Надо также учитывать, что общие истины (эмпирические и теоретические законы, принципы, гипотезы и обобщения), которые используются как посылки дедуктивных умозаключений, невозможно установить дедуктивно. Но нам могут возразить, что они не открываются и индуктивно. Тем не менее поскольку индуктивные рассуждения ориентируются на поиск истины, то они оказываются более полезным эвристическим средством исследования. Разумеется, в ходе проверки предположений и гипотез используется и дедукция, в частности для вывода следствий из них. Поэтому нельзя противопоставлять дедукцию индукции, поскольку в реальном процессе научного познания они предполагают и дополняют друг друга.
Следовательно логику можно определить как науку о рациональных методах рассуждений, которые охватывают как анализ правил дедукции (вывода заключений из посылок), так и исследование степени подтверждения вероятностных или правдоподобных заключений (гипотез, обобщений, предположений и т.д.).
Традиционная логика, которая сформировалась на основе логического учения Аристотеля, дополнилась в дальнейшем методами индуктивной логики, сформулированными Ф. Бэконом и систематизированными Дж.С. Миллем. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.
Возникновение математической логики коренным образом изменило отношение между дедуктивной и недедуктивной логиками, которое существовало в традиционной логике. Это изменение было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама дедуктивная логика приобрела строго формальный характер. По сути дела, такую логику вполне правомерно рассматривать как математическую модель дедуктивных умозаключений. Нередко поэтому ее считают современной ступенью развития формальной логики, но забывают при этом добавить, что речь идет о дедуктивной логике.
Нередко также говорят, что математическая логика сводит процесс рассуждения к построению различных систем исчислений и тем самым заменяет естественный процесс мышления вычислениями. Однако модель всегда связана с упрощениями, поэтому она не может заменить оригинал. Действительно, математическая логика ориентируется прежде всего на математические доказательства, следовательно, абстрагируется от характера посылок (или аргументов), их обоснованности и приемлемости. Она считает такие посылки заданными или ранее доказанными.
Между тем в реальном процессе рассуждения, в споре, дискуссии, полемике анализ и оценка посылок приобретает особо важное значение. В ходе аргументации приходится выдвигать определенные тезисы и утверждения, находить убедительные доводы в их защиту, исправлять и дополнять их, приводить контраргументы и т.д. Здесь приходится обращаться уже к неформальным и недедуктивным способам рассуждений, в частности к индуктивному обобщению фактов, выводам по аналогии, статистическому анализу и т.д.
Рассматривая логику как науку о рациональных способах рассуждений, мы не должны забывать о других формах мышления - понятиях и суждениях, с освещения которых начинается любой учебник логики. Но суждения и тем более понятия играют вспомогательную роль в логике. С их помощью становится более ясной структура умозаключений, связь суждений в различных видах рассуждений. Понятия же входят в структуру любого суждения в виде субъекта, т. е. предмета мысли, и предиката - как признака, характеризующего субъект, а именно утверждающего наличие или отсутствие у предмета мысли определенного свойства. В нашем изложении мы придерживаемся общепринятой традиции и начинаем обсуждение с анализа понятий и суждений, а затем более подробно освещаем дедуктивные и недедуктивные способы рассуждений. В главе, где анализируются суждения, рассматриваются элементы исчисления высказываний, с которых обычно открывается любой курс математической логики.
Элементы логики предикатов освещаются в следующей главе, где в качестве частного случая рассматривается теория категорического силлогизма. Современные формы недедуктивных рассуждений нельзя, очевидно, понять без четкого разграничения логической и статистической интерпретации вероятности, поскольку под вероятностью подразумевается чаще всего как раз ее статистическое истолкование, которое имеет вспомогательное значение в логике. В связи с этим в главе, посвященной вероятностным рассуждениям, мы специально останавливаемся на выяснении различия между двумя интерпретациями вероятности и более подробно разъясняем особенности логической вероятности.
Таким образом, весь характер изложения в книге ориентирует читателя на то, что дедукция и индукция, достоверность и вероятность, движение мысли от общего к частному и от частного к общему не исключают, а скорее дополняют друг друга в общем процессе рационального рассуждения, направленного как на поиск истины, так и ее доказательство.
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКЧитайте также
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”,
Глава 1. ЛОГИКА КАК НАУКА
Глава 1. ЛОГИКА КАК НАУКА Освоение проблем формальной логики требует глубокого понимания, в первую очередь, ее объекта и предмета как науки, уяснения методологической роли для конкретного вида деятельности. При этом решаются не только теоретические задачи. Познание
А. Логика
А. Логика I. Задача логики Форма науки сама составляет предмет особой науки, и эта наука – логика – всегда одна и та же, совершенно независимо от разнообразия объектов знания. Именно вследствие этого логика не может теоретически основываться на какой-либо одной науке,
3. Частная наука и универсальная наука.
3. Частная наука и универсальная наука. - Если все знание внутренне взаимосвязано и постольку есть единое знание, сама собою напрашивается неопределенная мысль об одной-единственной универсальной науке. В таком случае, насколько вообще возможно деление, имело бы силу
Глава I ЛОГИКА КАК НАУКА
Глава I ЛОГИКА КАК НАУКА § 1. РОЛЬ МЫШЛЕНИЯ В ПОЗНАНИИ Логика — наука о законах и формах, приемах и операциях мышления, с помощью которой человек познает окружающий мир. Данное определение предполагает прежде всего выяснение вопроса, сформулированного в названии
Логика
Логика Существуют ли специфические тенденции в логике, связанные с наукой второй половины XX века? Анализ структуры теории относительности и квантовой механики приводит к представлению о мобильности исходных математических и логических норм науки, которая в
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”,
Вводный раздел. Логика как наука
Вводный раздел. Логика как наука Прежде чем непосредственно приступить к проблематике логики, необходимо иметь хотя бы общее представление о самой этой науке — уяснить себе ее предмет, познакомиться с историей ее возникновения и развития вплоть до наших дней, осмыслить
§ 1. Логика как наука о типах порядка
§ 1. Логика как наука о типах порядка В предыдущих главах мы видели, что обоснованность доказательства зависит не от истинности или ложности посылок, а от их формы, или структуры. В качестве фундаментальной задачи логики мы признали изучение этих объективных отношений
Глава 4. НАУКА САКРАЛЬНАЯ И НАУКА ПРОФАНИЧЕСКАЯ
Глава 4. НАУКА САКРАЛЬНАЯ И НАУКА ПРОФАНИЧЕСКАЯ Выше мы показали, что в традиционных цивилизациях в основе всего лежит интеллектуальная интуиция. Иными словами, в таких цивилизациях самым существенным является чисто метафизическая доктрина, а все остальное проистекает
139. Логика
139. Логика Деятельность может обеспечить только одну половину мудрости; другая половина зависит от воспринимающей бездеятельности. В конечном счете, спор между теми, кто основывает логику на «истине» и теми, кто основывает ее на «исследовании», происходит из различия в
Логика открытия и логика оправдания гипотезы
Логика открытия и логика оправдания гипотезы В стандартной модели развития теории, которая разрабатывалась в рамках позитивистской традиции, логика открытия и логика обоснования резко разделялись и противопоставлялись друг другу. Отголоски этого противопоставления
Наука сакральная и наука для профанов
Наука сакральная и наука для профанов Ранее мы уже говорили, что в традиционных обществах в основе всего находится интеллектуальная интуиция. Иначе говоря, метафизическая доктрина является самым важным элементом такого общества, а все остальные области человеческой
2. Наука не рождается из мифа, но наука всегда мифологична
2. Наука не рождается из мифа, но наука всегда мифологична В связи с этим я категорически протестую против второго лженаучного предрассудка, заставляющего утверждать, что мифология предшествует науке, что наука появляется из мифа, что некоторым историческим эпохам, в
V. Логика
V. Логика Пресловутый «скептицизм» Гассенди был не итогом, выводом его философии, а необходимой и исторически оправданной ее предпосылкой — не эпилогом, а прологом его неоэпикуреизма. Расчищая путь мысли от схоластических преград, он вместе с тем побуждал ее не