Развитие логики в XX веке

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Введение

Сегодня, что ни день, формируется новая логика. Логика прогресса, логика развития, и др. …. И как определить, чем та логика отличается от этой, и какое различие вообще между ними, или наоборот, чем они похожи, чтобы называться одинаково - логика?

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

Актуальность темы изучения логики 20 века в том, что к концу 20 столетия проблема связи логики и мышления оказалась на задворках науки, и это обстоятельство стало одной из главных причин потери интереса общества к логике. Рассмотрим вкратце некоторые аспекты этой проблемы.

Цель данной работы - изучение логики 20 века.

Для достижения данной цели поставим следующие задачи:

1. Рассмотрим развитие логики в 20 веке;

2. Изучим основные направления логики 20 века;

3. Проанализируем проблемы современной логики.

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

1. Основные этапы развития логики в 20 веке

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

В 20 столетии формальная логика продолжила свое развитие. Появилась математическая логика, которая широко использовала метод математической формализации и специфический набор символов к определенному кругу логических операций. Основными представителями математической логики стали такие мыслители, как Г. Фреге, Б. Рассел, Б. Аккерман и другие ученые.

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

Большое значение на развитие символической логики оказали такие мировые учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В 20 веке произошло выделение математической логики из логической науки в самостоятельную дисциплину.

В начале 20 века произошло становление идеи неклассической логики, многие важные положения которой были определены отечественными учеными Н.А. Васильевым и И.Е. Орловым.

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

В восьмидесятых годах 20 века на базе языков и систем логического программирования проводились исследования в области искусственного интеллекта. Для верификации алгоритмов и программ для ЭВМ были созданы специальные системы, в которых были использованы методы автоматизированного доказательства теорем, а также методы доказательного программирования.

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

2. Основные направления логики 20 века

Современная логика - одно из названий этапа в развитии формальной логики, который начался во второй половине 19в. - начале 20 в. Также этот этап в развитии логики получил название математическая логика и символическая логика. Родство данной логики по применяемым методам с математикой принесло ей имя - математическая. Применение в логике специально созданных для целей логического анализа языков формализованных, являющихся, так сказать, «насквозь символическими» дает ей определение - символическая. Новый этап формалистической логики противопоставляется традиционной логике, отличительной особенностью которой было то, что она использовала при описании правильных способов рассуждения обычный, или естественный, язык, дополненный небольшим количеством специальных символов.

Математическая логика - это такая логика, которая развивается математическим методом. Отличительной чертой для математической логики является использование формальных языков с точным синтаксисом и чёткой семантикой, которые однозначно определяют значение формул. Необходимость в данной логике появилась в начале 20 века в связи с тем, что были интенсивно разработаны основы математики, возникло множеств теории, где открыли антиномии, были уточнены понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Несмотря на это влияние математической логики для науки в целом не заканчивается её математическими приложениями, поскольку правильные рассуждения и умение доказывать свою точку зрения нужны во всех сферах деятельности. Поэтому математическая логика является современной логикой.

Идея создания универсального языка для всей математики и формализации на базе такого языка математических доказательств предлагалась еще в 17 в. Г. Лейбницем. Но первые научные работы по алгебраизации логики появились только в середине 19 века. Их авторами были Дж. Буль и О. де Морган. Реальная возможность применить этот язык к вопросам оснований математики появилась после того, как Г. Фреге и Ч. Пирс ввели в язык алгебры логики предикаты, предметные переменные и кванторы.

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

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

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

Логические связи и отношения, которые находятся в основе логического (дедуктивного) вывода, с использованием языка математики изучает математическая логика.

Часть из рассматриваемых в математической логике языков обладает семантически полными и пригодными расчетами. Так, известно, что логик К. Гёдель получил результат о том, что для предикатов первого порядка классическое исчисление предикатов будет семантически полным и семантически пригодным для языка классической логики. А с другой стороны, существует немало языков, для которых нельзя провести семантически полного и семантически пригодное исчисление. Теорема Гёделя о неполноте, говорящая о невозможности семантически полного и семантически пригодного исчисления для языка формальной арифметики является классическим результатом этого.

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

Основными разделами математической логики являются:

- алгебра логики или алгебра высказываний - один из разделов математической логики, в котором проводятся логические операции над высказываниями. Предполагается, что применяется так называемая бинарная или двоичная логика, где высказывания могут быть только истинными или ложными, чем она отличается, например, от троичной логики.

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

Логику высказываний можно определить как классическую логику нулевого порядка.

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

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

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

Такие ученые как Тарский, Мальцев и Робинсон независимо друг от друга занимались разработкой данной теории.

Основным направлением теории моделей является изучение полученных связей между синтаксисом, которому отвечает формальный язык, и семантикой, которая является математической системой, частично допускающая описание этим языком. Данная теория моделей появилась при изучении имеющихся подходов решения математических проблем, которые были связанны с такими науками как алгебра и математическая логика. Эти подходы уже давно существовали, но еще ни кем не были изучены в рамках одной логико-философской парадигмы. Проблема, связанная с пятым постулатом Евклида о параллельности линий является естественным примером в данном контексте. Много веков математикам не удавалось доказать его истинность, пока, наконец, в 19 веке Бойяи и Лобачевский, построили неевклидову геометрию, доказав тем самым, что данный постулат параллельности не имеет ни доказательств, ни опровержений. Это означает, что с точки зрения теории моделей, система аксиом без пятого постулата предполагает несколько вариантов реализации геометрии, то есть в этом случае - несколько различных моделей.

Из вышесказанного можно сделать вывод, что теория моделей произошла из математической логики, универсальная алгебра, теория множеств в качестве обобщения и укрупнения полученных данных. Поэтому можно утверждать, что первые предпосылки теории моделей появились еще до её официального открытия. Одним из первых результатов принято считать теорему Лёвенгейма - Сколема (1915). Следующим крупным достижением стала теорема компактности, доказанная Гёделем (1930) и Мальцевым (1936).

логика дедуктивный философский

3. Проблемы современной логики

В 1991 г. прошел девятый Международный Конгресс по логике, методологии и философии науки. На нем с докладом «Логика и философия в 20 веке» выступил один из крупных ученых - логиков современности Г. фон Вригт. В данном докладе он попытался дать оценку места формальной логики в философии нашего века. Знаменитый ученый довольно высоко оценил это место. Однако очень неожиданным оказался его итоговый вывод. Он сказал: «Думаю, среди ведущих направлений философии 21 века у логики не будет места».

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

Можно сделать вывод, что за все 2,5 тысячелетия существования логики она так и не смогла - занять в культуре свое значимое и не подвергаемое сомнению место. На довольно простой с первого взгляда вопрос - почему без логики нельзя логики всего мира так и не смогли обстоятельно ответить. Необходимо основательное теоретическое и методологическое осмысление феномена быстрого падения культурного авторитета логики как науки, потери ею своего места в духовной панораме цивилизации в начале 21-го века. Теперь вопрос уже стоит о том, раз основа культурного наследия человечества - наука логика - оказывается в столь бедственном положении, сохранится ли оно вообще как таковое.

Подводя итоги сказанного, можно отметить следующее:

Большое количество философов - логиков считают, что логика не должна обучать людей правильно мыслить. А это приводит к следующему безрадостному порядку:

- снижается значимость логиков и логики и вообще в обществе, культуре и ученой среде в частности, происходит рост мнений о том, что логика ненужная и бесполезная наука;

- происходит увеличение социальных и геополитических тенденций к созданию «общества фашиствующего безмыслия»: логика теоретически существует, но ее реальных дел нет;

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

- все возрастает объективная сложность на пути освоения курса логики студентами, происходит потеря интереса к логике, как у преподавателей, так и студентов

2. В плане ее реальных социальных перспектив позиция «логика для логиков» является тупиковой, тем не менее, можно заметить, что многие приемы и методы формальной логики достаточно необходимы для применения их любым человеком в его жизни, хотя и на первый взгляд кажутся довольно абсурдными. Здесь речь идет о том, что используя задания, примеры, теоретические выкладки из предмета формальной логики индивидуум овладевает необходимыми навыками культуры общения. Здесь можно привести такое сравнение. В повседневной жизни нам не часто приходится поднимать по сто килограммов. Но это является целесообразными при поднятии штанги в тренажерном зале! Говорить, что в жизни данное не потребуется это довольно необдуманно. Однако это не единственный аргумент при обосновании необходимости логики в жизни. Необходимо разрабатывать новые модели и направления логики, а не игнорировать конкретные практические задачи логики, нельзя не рассматривать логику как нечто единое теоретическое, философское и практическое, нельзя не задаваться вопросами совершенствования методического инструментария самой формальной логики и т.д.

Заключение

Современная эпоха уже давно характеризуется как эпоха диалога. Умение произносить речь, вести переговоры, разрешать возникающие в коллективе и обществе конфликты - всё это не даётся человеку от рождения.

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

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

И все же в настоящее время возникает и множество вопросов к логике: будет ли сохранена логикой функция органона (орудия познания), элемента культуры в широком смысле, которая была ей свойственна на протяжении всей истории ее развития в 21-м веке? Будет ли логика принимать участие в повседневной жизни, и может ли она реально влиять на уровень практической рациональности членов общества.

Список использованной литературы

1. Бажанов В.А. История логики в России и СССР. - М.: Канон+, 2007. - 336 с.

2. Войшвилло Е.К., Дегтярев М.Г. Логика. - М.: ВЛАДОС-ПРЕСС, 2005. - 528 с

3. Демидов И.В. Логика. Учебное пособие для юр. ВУЗов. - М.: Юриспруденция, 2007

4. Чуешов В.И. Основы современной логики. - М.: Издательство: НОВОЕ ЗНАНИЕ, 2006.с. 123.

5. http://dic.academic.ru/dic.nsf/enc_mathematics/3037/МАТЕМАТИЧЕСКАЯ

6http://www.braintools.ru/thinking/typology/logical-thinking

7 http://www.pandia.ru/text/77/246/75403.php

8.http://ru.wikipedia.org/wiki

9. http://tolkslovar.ru/s8840.html

Размещено на Allbest.ru