Становление неформальной логики
СОДЕРЖАНИЕ
Введение
1. История становления классической математической логики…………3 стр.
1.1. Создание и предмет символической логики………………3 стр.
1.2.Применение символической логики ……………………… 5 стр.
2. Основные виды и направления в развитии неклассической логики….6 стр.
2.1 Виды неклассической логики……………………………….8 стр.
3. Становление неформальной логики……………………………………13 стр.
Заключение
Список литературы
Логика - одна из древнейших
наук. Точно установить, кто, когда
и где впервые обратился к
тем аспектам мышления, которые составляют
предмет логики, в настоящее время
не представляется возможным. Отдельные
истоки логического учения можно
обнаружить еще в Индии, в конце
II тысячелетия до н.э. Однако если говорить
о возникновении логики как науки,
то есть о более или менее
1. История становления
классической математической
1.1. Создание и предмет символической логики
Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики.
Зачатки этой логики прослеживаются уже у Аристотеля, а также у его последователей, стоиков в виде элементов логики предикатов и теории модальных выводов, а также логики высказываний. Однако систематическая разработка ее проблем относится к гораздо более позднему времени.
Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой - математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1416). Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции - исчисления.
Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815-1864) в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848-1925) применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872-1970) совместно с А. Уайтхедом (18б 1-1947) в трехтомном фундаментальном труде «Принципы математики» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.
Символическая логика - интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и так далее). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности - «истинно» и «ложно» - допускается много значений истинности. Отметим, что в связи с двузначностью традиционной логики ее еще называют пропозициональной логикой. В разработанной польским логиком Я. Лукасевичем (1878-гг.) трехзначной логике вводится третье значение - «возможно» («нейтрально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т.п., а также четырехзначная и бесконечнозначная логики. Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия - от 0 до 1, временная логика и другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики, исследующий структуры языка предписаний, т.е. высказываний со значением «обязательно», «разрешено», «запрещено», «безразлично», которые широко используются в правотворческой и правоохранительной деятельности.
Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить ее. Это два направления, две ступени в развитии формальной логики.
Так открылся новый, современный
этап в развитии логических исследований.
Пожалуй, наиболее важная отличительная
особенность этого этапа
1.2.Применение символической логики
Значение символических языков в логике трудно переоценить. Г. Фреге сравнивал его со значением телескопа и микроскопа. А немецкий философ Г. Клаус (1912-1974) считал, что создание формализованного языка имело для техники логического вывода такое же значение, какое в сфере производства имел переход от ручного труда к машинному. Возникая на основе традиционной формальной логики, символическая логика, с одной стороны, уточняет, углубляет и обобщает прежние представления о логических законах и формах, особенно в теории выводов, а с другой - все более значительно расширяет и обогащает логическую проблематику. Современная логика - сложнейшая и высокоразвитая система знаний. Она включает в себя множество направлений, отдельных, относительно самостоятельных «логик», все более полно выражающих запросы практики и в конечном счете отражающих многообразие и сложность окружающего мира, единство и многообразие самого мышления об этом мире.
Символическая логика находит
все более широкое применение
в других науках - не только в математике,
но и в физике, биологии, кибернетике,
экономике, лингвистике. Она приводит
к возникновению новых отраслей
знаний (метаматематика). Особенно впечатляюща
и наглядна роль современной логики
в сфере производства. Открывая возможность
как бы автоматизировать процесс
рассуждений, она позволяет передать
некоторые функции мышления техническим
устройствам. Ее результаты находят
все более широкое применение
в технике: при создании релейно-контактных
схем, вычислительных машин, информационно-логических
систем и т.д. По образному выражению
одного из ученых, современная логика
- это не только «инструмент» точной
мысли, но и «мысль» точного инструмента,
электронного автомата. Специально отметим,
что достижения современной логики
используются и в правовой сфере.
Так, в криминалистике на разных этапах
исследования производится логико-математическая
обработка собранной
2. Основные виды
и направления в развитии
Из истории неклассической логики
Критика классической логики началась уже в начале этого века и велась с разных направлений. Результатом ее явилось возникновение целого ряда новых разделов современной логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике, но были основательно забыты в новое время.
В 1908 г. Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом и не содержащей указанных законов. Одновременно с Брауэром идею неуниверсальности закона исключенного третьего отстаивал Н.А. Васильев.
Еще в 1912 г. американский логик и философ К.И. Льюис обратил внимание на так называемые «парадоксы импликации», характерные для формального аналога условного высказывания в классической логике — материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определявшееся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получиларелевантная логика, развития американскими логиками А.Р. Андерсоном и Н.Д. Белнапом.
На рубеже 20-х гг. К.И.Льюисом и Я.Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т.п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.
В 20-е гг. начали складываться также многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но могут иметь и другие истинностные значения; деонтическая логика, изучающая логические связи нормативных понятий; логика абсолютных оценок, исследующая логическую структуру и логические связи оценочных высказываний; вероятностная логика, использующая теорию вероятностей для анализа проблематичных рассуждений, и др. Все эти новые разделы логики не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
2.1 Виды неклассической логики.
Интуиционистская и многозначная логика :
- Основные идеи интуиционизма
Источник математики,
считал Брауэр, — фундаментальная
математическая интуиция. Не все обычные
логические принципы приемлемы для
нее. Так, в частности, обстоит дело
с законом исключенного третьего,
говорящим, что либо само утверждение,
либо его отрицание истинно. Этот
закон исторически возник в рассуждениях
о конечных множествах объектов. Но
затем он был необоснованно
- Многозначная логика
Классическая логика
основывается на принципе, согласно которому
каждое высказывание является либо истинным,
либо ложным. Это так называемый
принцип двузначности. Саму логику,
допускающую только истину и ложь
и не предполагающую ничего промежуточного
между ними, обычно именуют двузначной.
Ей противопоставляют многозначные
системы. В последних наряду с
истинными и ложными
Принцип двузначности был известен еще Аристотелю, который не считал его, однако, универсальным и не распространял его действие на высказывания о будущем.
Два враждебных флота расположились друг против друга и выжидают утра и вместе с ним подходящего ветра. Будет ли завтра морская битва? Очевидно, что она или состоится, или же не состоится. Но по мысли Аристотеля, ни одно из этих двух предсказаний не является сегодня ни истинным, ни ложным. Нет еще твердой причины ни для того, чтобы битва произошла, ни для того, чтобы ее не случилось. Оба варианта возможны в равной мере, и все будет зависеть от дальнейшего хода событий. Могут измениться планы флотоводцев, может случиться буря и разметать флоты по морю. Пока же нельзя утверждать с определенностью ни то, что битва будет, ни то, что ей не бывать. Оба эти утверждения возможны, но ни одно из них не является сейчас ни истинным, ни ложным.
Модальная логика:
Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, — как один из бесчисленного множества возможных миров.
Язык классической логики слишком беден, чтобы на нем удалось передать рассуждения не только о реальных событиях (имеющих место в действительном мире), но и о возможных событиях (происходящих в каких-то возможных мирах) или о необходимых событиях (наступающих во всех таких мирах).
- модальные понятия
Стремление обогатить
язык логики и расширить ее выразительные
возможности привело к
Еще Аристотель начал изучение таких, наиболее часто встречающихся модальных понятий, как «необходимо», «возможно», «случайно». В средние века круг модальностей был существенно расширен, и в него вошли также «знает», «полагает», «было», «будет», «обязательно», «разрешено» и т.д.
В принципе число
групп модальных понятий и
выражаемых ими точек зрения не ограничено.
Современная логика выделяет наиболее
важные из этих групп и делает их
предметом специального исследования.
Она изучает также общие
- абсолютные и сравнительные мод
альности
Все модальные понятия можно разделить на абсолютные и сравнительные. Первые представляют собой характеристики, приложимые к отдельным объектам, вторые относятся к парам объектов, первые являются свойствами объектов, вторые — отношениями между объектами. Абсолютными модальными понятиями являются, например, понятия «хорошо» и «плохо», сравнительными — понятия «лучше» и «хуже». С точки зрения какой-то системы ценностей невыполнение обещания можно охарактеризовать как негативно ценное («плохое»), сказав: «Плохо, что данное обещание не выполнено», т.е. приписав определенное свойство конкретному обещанию. Но можно также установить ценностное отношение между невыполнением обещания, и, допустим, воздержанием от обещания, сказав: «Лучше не давать обещание, чем не выполнять его».
Логика оценок и логика норм:
- законы логики оценок:
вот некоторые примеры законов логики оценок: «Ничто не может быть хорошим и плохим одновременно», «Ничто не может быть и плохим, и безразличным», «Невозможно быть и хорошим, и безразличным». «Безразличное» здесь понимается как то, что не является ни хорошим, ни плохим. Особый интерес среди законов логики оценок представляют конкретизации закона непротиворечия на случай оценок. «Два состояния, логически не совместимых друг с другом, не могут быть оба хорошими» и «Эти состояния не могут быть вместе плохими» — так можно передать смысл этих конкретизации. Несовместимыми являются, например, честность и нечестность, здоровье и болезнь, дождливая погода и погода без дождя и т.д. В случае каждой из этих пар исключающих друг друга состояний справедливо, что если быть здоровым хорошо, то неверно, что не быть здоровым тоже хорошо, если быть нечестным плохо, то неправда, что быть честным также плохо, и т.д.
- законы логики норм:
в числе законов логики норм — положения, что никакое действие не может быть одновременно и обязательным, и запрещенным, что безразличное не является ни обязательным, ни запрещенным и т.п. Одна из групп законов касается связей между основными нормативными понятиями. Эти законы, в частности, говорят: «Действие обязательно только в том случае, если запрещено воздерживаться от него», «Действие разрешено, когда оно не запрещено», «От запрещенного обязательно воздерживаться» и т.д.
Очевидность этих положений
становится особенно наглядной, когда
они переформулируются в
Невозможно что-то сделать и вместе с тем не сделать, выполнить какое-то действие и одновременно воздержаться от него. Нельзя засмеяться и не засмеяться, вскипятить воду и не вскипятить ее. Понятно, что требовать от человека выполнения невозможного неразумно: он все равно нарушит это требование. На этом основании в логику норм вводят принцип, согласно которому действие и воздержание от него не могут быть вместе обязательными.
Логика изменения:
Логика изменения — раздел современной логики, занимающийся исследованием логических связей высказываний об изменении или становлении материальных и иных объектов. Задача логики изменения — построение искусственных (формализованных) языков, способных сделать более ясными и точными рассуждения об изменении объектов — переходе от одного состояния объекта к другому его состоянию, о становлении объекта, его формировании. В логике изменения ничего не говорится о конкретных характеристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, позволяющий дать строгие формулировки утверждений об изменении объектов, вскрыть основания и следствия этих утверждений, выявить их возможные и невозможные комбинации. Использование искусственного языка при обсуждении проблем изменения объектов не означает подмены этих онтологических проблем логическими, сведения эмпирических свойств и зависимостей к логическим.
Разработка логики изменения идет по двум направлениям: построение специальных логик изменения и истолкование определенных систем логики времени как логических описаний изменения. При первом подходе обычно дается «одномоментная» характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между последовательными состояниями объекта.
Логика причинности:
Понятие причинности является одним из центральных как в науке, так и в философии науки. Причинная связь не является логическим отношением. Но то, что причинность не сводима к логике, не означает что проблема при-чинности не имеет никакого логического содержания и не может анализироваться с помощью логики. Задача логического исследования причинности заключается в систематизации тех правильных схем рассуждений, посылками или заключениями которых служат каузальные высказывания. В этом плане логика причинности ничем не отличается, скажем, от логики времени или логики знания, целью которых является построение искусственных языков, позволяющих с большей ясностью и эффективностью рассуждать о времени или знании.
В логике причинности связь причины и следствия представляется особым условным высказыванием — каузальной импликацией. Последняя иногда принимается в качестве исходного, не определяемого явным образом понятия. Смысл ее задается множеством аксиом. Чаще, однако, такая импликация определяется через другие, более ясные или более фундаментальные понятия. В их числе понятие онтологической (каузальной, или фактической) необходимости, понятие вероятности и др.
Паранепротиворечивая логика:
В последние десятилетия начали разрабатываться различные варианты паранепротиворечивой логики. Несколько необычное ее название призвано подчеркнуть, что она иначе трактует противоречие, чем классическая логика. Исключается, в частности, возможность выводить из противоречий любые утверждения. Доказуемость в теории противоречия перестает быть смертельно опасной угрозой, нависшей над ней. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Интересно отметить, что одним из первых (еще в 1910 г.) сомнения в неограниченной приложимости закона непротиворечия высказал русский логик Н.А.Васильев. «Предположите, — говорил он, — мир осуществленного противоречия, где противоречия выводились бы, разве такое познание не было бы логическим?» Васильев писал не только научные статьи, но и стихи. В них иногда своеобразно преломлялись его логические идеи, в частности идея воображаемых (возможных) миров:
Мне грезится безвестная планета,
Где все идет иначе, чем у нас.
Логика квантовой механики:
Возникновение квантовой механики, пришедшей на смену классической механике Ньютона, произвело подлинный переворот в физическом мышлении.
Пересмотр традиционных представлений привел к возникновению идеи особой логики квантовой механики.
Предполагалось, что теории классической физики, описывающие факты, опираются на законы обычной логики — логики макромира; квантовая же физика имеет дело не просто с фактами, а с их вероятностными связями, и в ней рассуждают, опираясь на совершенно иные схемы мышления. Выявление и систематическое описание последних — задача специальной логики микромира.
Эту идею впервые высказал американский математик Д. фон Нейман. В середине 30-х гг. им вместе с другим американским математиком Д. Биркгофом была построена особая квантовая логика, положившая начало еще одному направлению неклассической логики. Позднее немецкий философ Г. Рейхенбах построил еще одну логику с целью устранения «причинных аномалий», возникающих при попытках применить классическое причинное объяснение к квантовым явлениям. К настоящему времени предложены десятки разных логических систем, стремящихся выявить своеобразие рассуждений о квантовых объектах.
Эти «квантовые логики» серьезно различаются как множествами принимаемых в них законов, так и способами своего обоснования. Чаще всего в них отказываются от классических законов ассоциативности и дистрибутивности, касающихся сложных утверждений, построенных с помощью союзов «и» и «или». Иногда отбрасывается даже закон исключенного третьего.
3. Становление неформальной логики.
Неформальная
логика (термин принят прежде всего в англоязычной
литературе) — исследование аргументации
в естественном языке. Одной из главных
задач её является исследование логических
ошибок.
в 70-е годы XX века. в Канаде и США возникает
новый подход к изучению аргументации,
который получил название "неформальная
логика" (informal logic). Представителями
современной неформальной логики является
Энтони Блэйр (J. Anthony Blair), Ральф Джонсон
(Ralph H. Johnson), Дуглас Уолтон (Douglas Walton), Джон
Вудс (John Woods), Роберт Пинто (Robert C. Pinto), Майкл
Гильберт (Michael A. Gilbert), Труди Говьер (Trudy
Govier) и другие.
Сама идея неформальной
логики родилась, по признанию ее учредителей,
благодаря неудовлетворенности как преподавателей,
так и студентов тем, как аргументация
излагалась в учебной литературе. Начиная
с 1978 г., Е. Блейр и Р. Джонсон начали издавать
журнал "Неформальная логика", на
страницах которого ученые высказывали
свои мнения по поводу нового направления
в логическом знании.
Неформальные логики утверждают, что логика,
которую они развивают, - не новый тип логики.
Это особое направление в нормативном
изучении аргументативних процессов,
имеющих место в реальной жизни людей,
в реальных коммуникативных ситуациях.
Неформальный подход ориентируется на
размышления и их составляющие, выраженные
в естественном языке, публичном дискурсе,
а не в формализованном языке, как принято
в формальной логике. Рассуждения здесь
рассматривают с присущими естественном
языке характеристиками: многозначностью
языковых выражений, их неопределенностью
и незавершенностью.
Характерным признаком
неформального подхода является сомнение
в том, что дедуктивная и индуктивная логики
достаточны для моделирования различных
аргументативних процессов. Могут существовать
логические стандарты аргументации, которые
выходят за пределы формальных критериев.
В связи с этим цель неформальной логики
заключается в разработке таких норм и
процедур интерпретации, оценки и построения
аргументации.
Так, в работе "Логической
самозащиты" ("Logical Self-Defence", 1993)
Р.Джонсон и Д. Е. Блейр приводят объяснения
неформальной альтернативе формальному
критерию дедуктивной правильности аргументации.
По их мнению, аргументы должны удовлетворять
трем критериям: они должны быть:
- релевантным
- достаточными
- приемлемыми.
Аргументы релевантные,
если имеется адекватный содержательная
связь между исходными аргументами и заключением
аргументации. Они достаточны, если содержат
основания для выдвижения заключения.
Приемлемость аргументов зависит от того,
являются ли они истинными, вероятными
или в каком-то другом смысле заслуживают
доверия.
Для того чтобы
выяснить, соответствуют или нет предпосылки
аргументации этим критериям, ученые разработали
специальные методы, которые отличаются
от методов формальной логики. Среди них
наибольшей популярностью пользуется
диаграммная метод. Он заключается в том,
чтобы структуру аргумента или цепи аргументов
рассматривать с помощью диаграмм. Этот
метод является главным в учебниках неформальной
логики.
Ученые, работающие
в рамках такого подхода, не отрицают наследие
формальной логики. Они считают, что формальная
и неформальная логики должны взаимодополнять
друг друга при исследовании аргументативних
процес
