Из истории логики (средние века – наше время)

2012г.

Схоластическая логикаСредневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли. Историческая заслуга схоластической логики заключается во внимании, которое она уделяла точности понятий, выяснению их содержания, значению терминов и их логических соотношений ("суппозиций").

Уильям Оккам

Уильям О́ккам (ок. 1285— 1349) — английский философ. Сторонник номинализма, считал, что существует только индивидуальное, а универсалии существуют только благодаря абстрактному мышлению в человеческом уме, а помимо этого не обладают никакой метафизической сущностью. Считается одним из величайших логиков всех времен.

Альберт СаксонскийАльберт Саксонский (ок. 1316 — 8 июля 1390) — средневековый философ, логик, математик и естествоиспытатель. Альберту Саксонскому принадлежат «Вопросы к четырем книгам Аристотеля о небе и мире», в которой были сформулированы шесть доводов в пользу движения Земли. Вот самый известный из них:«Некоторые считали, что земля подобна жаркому, а солнце — очагу. Но подобно тому как не очаг движется вокруг жаркого, но жаркое поворачивают на вертеле, так, говорят они, не солнце движется вокруг земли, но, скорее, земля движется вокруг солнца, потому что земля нуждается в солнце, а не наоборот.»

Уолтер БерлиУолтер Берли  (Уолтер Бурлей; 1275—1344) — средневековый английский философ и логик.Он получил учёную степень магистра свободных искусств в Оксфорде в 1301 году и был членом университетской коллегии Мертонского колледжа (фелло) до 1305 года. Затем изучал теологию в Париже, с 1320 года доктор теологии. Член научного общества Сорбонны с 1324 года. 

Пьер АбелярПьер Абеляр (1079-1142) - самый значительный представитель Средневековой философии периода ее расцвета. Абеляр известен в истории философии не только своими взглядами, но и своей жизнью, которая изложена им в автобиографическом произведении "История моих бедствий". 

• Логика, по П. Абеляру, — это наука об оценке и различении аргументов по их истинности и ложности. Логику он рассматривает как науку о речи, т. е. о выражении мысли в словах.

Френсис БэконФрэ́нсис Бэ́кон (22 января 1561 — 9 апреля 1626) английский философ, историк, политический деятель, основоположник эмпиризма. Его работы являются основанием и популяризацией индуктивной методологии научного исследования, часто называемой методом Бэкона. Индукция получает знание из окружающего мира через эксперимент, наблюдение и проверку гипотез. Свой подход к проблемам науки Бэкон изложил в трактате «Новый органон», вышедшем в 1620 году. В этом трактате он провозгласил целью науки увеличение власти человека над природой, которую определял как бездушный материал, цель которого — быть использованным человеком.

Яков ЗабареллаДжако́мо Дзабаре́лла (Яков Забарелла,  5 сентября 1533, Падуя — 15 октября 1589) — итальянский философ, логик и астролог, представитель ренессансного аристотелизма.В логике Дзабарелла связывал традиционную дедуктивную логику и методологию науки. Его сочинения оказали заметное влияние на положение логики в XVII веке.

Рене ДекартРене́ Дека́рт (31 марта 1596 — 11 февраля 1650) — французский математик, философ,  физик и физиолог, создатель аналитической геометрии и современной алгебраической символики.В 1640 году Рене Декарт, введя систему координат, показал, что наглядные геометрические построения Евклида можно заменить механическими алгебраическими операциями.

Готфрид Лейбниц

Готфрид Лейбниц (1 июля 1646 — 14 ноября 1716) - немецкий философ, математик, физик.Под влиянием успеха Декарта Готфрид Лейбниц разработал фрагменты логического исчисления. Цель своих исследований он формулировал вполне в кибернетическом духе: это «инструмент нового рода, увеличивающий силу разума намного больше, чем какой-либо оптический инструмент когда-либо увеличивал силу зрения». Лейбниц нашел, что в теории силлогизмов Аристотеля есть неправильности, но не поверил себе, и не стал публиковать работы по математической логике.

Современная логикаВ конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

Использованные материалы:• Гейн А.Г. Информатика и ИКТ. Основы математической

логики. 10-11 классы: пособие для учащихся общеобразоват. учреждений/А.Г.Гейн – М.: Просвещение, 2012.

• http://pravouch.com/page/logikap/ist/ist-18--idz-ax272--nf-6.html

• http://istina.rin.ru/cgi-bin/print.pl?id=1135&sait=3• http://ru.wikipedia.org/wiki/%D0%91%D1%8D%D0%BA%D0%B

E%D0%BD,_%D0%A4%D1%80%D1%8D%D0%BD%D1%81%D0%B8%D1%81

• http://basesoflogic.narod.ru/history.html• http://dic.academic.ru/dic.nsf/brokgauz_efron/41292/%D0%97

%D0%B0%D0%B1%D0%B0%D1%80%D0%B5%D0%BB%D0%BB%D0%B0