русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Логика в Древней Греции


Дата добавления: 2013-12-24; просмотров: 2746; Нарушение авторских прав


В Древней Греции логическую форму доказательства в виде цепи дедуктивных умозаключений мы встречаем в элейской шко­ле (у Парменида и Зенона). Гераклит Эфесский выступает с уче­нием о всеобщем движении и изменении. Борьба между элей­ской и гераклитовской философией в Древней Греции была борь­бой между метафизическим (рассматривающим явления в их не­изменности и независимости друг от друга) и диалектическим (когда явления действительности познавались в их развитии и самодвижении) направлениями в философии.

В древнегреческой философии в середине V в. до н. э. появи­лись так называемые софисты (Протагор, Горгий и др.), которые главным предметом своего философского исследования делают не природу (как это было до них), а человека и его деятельность,

 

___________________

'См.: Пань Шимо. Логика Древнего Китая (краткий очерк)//Философские науки, 1991, №11. С. 178.

2Там же.

 

в том числе этику, риторику, грамматику. Протагор, Горгий и Трасимах впервые в Греции создали теорию риторики. Софисты кри­тиковали и религию, и материалистическую философию. Разра­батывая теорию красноречия, софисты затрагивали и вопросы логики. Протагор написал специальное сочинение “Искусство спорить”. Протагор - мастер спорить; он разъезжал по Греции, устраивал диспуты, привлекавшие многочисленных слушателей. По выражению античного автора Диогена Лаэртского, “нынеш­нее племя спорщиков берет свое начало от него”'.

Протагор первым стал применять “сократический способ беседы”. Этот метод заключался в постановке собеседнику воп­росов и показе ошибочности его ответов. Поэтому Протагор стал изучать виды умозаключений в плане логических приемов в речи ораторов. Позднее это делал Аристотель в его “Топике”. Сочи­нение Протагора “Тяжба о плате” (вы уже познакомились с ним на с. 236-237 учебника) посвящено знаменитому софизму, от­носящемуся к спору Протагора с его учеником Эватлом.



Против софистов выступил выдающийся материалист Древ­ней Греции Демокрит (460-370 до н. э.), создавший всеобъем­лющую философскую систему, включающую учение о бытии, космологию, теорию познания, логику, этику, политику, эстети­ку и ряд других областей научного знания: математику, физику, биологию, медицину, филологию и др. Демокрит - творец пер­вой системы логики в Древней Греции, написавший специальный трактат “О логике” или “Каноны” (в трех книгах; название “Кано­ны” означает “критерии”, “правила”). До нас, к сожалению, дош­ли лишь незначительные отрывки. В книге “О логике” Демокрит, выступает против софистов, отрицавших объективную реальность. Демокрит строит логику на эмпирической основе, поэтому он - один из создателей индуктивной логики. Демокрит рассматривал суждения, выделяя в них субъект и предикат, а также рассматри­вал определения понятий.

В “Канонах” было изложено учение Демокрита о видах зна­ния. Вопросы логики здесь не отделялись от теории познания.

_____________________

'Диоген Лаэртский. Ожизни, учениях и изречениях знаменитых филосо­фов. 2-е изд. М., 1986. С. 349.

 

Последователями Демокрита были философы эпикурейской школы. Демокритовско-эпикурейское направление в логике предвосхитило индуктивную логику Ф. Бэкона и противостояло идеалистической сократово-платоновской логике.

У Сократа (около 469-399 до н. э.) на первый план была выдви­нута проблема метода, посредством которого можно получить истинное знание. Сократ считал, что любой предмет может быть познан лишь в том случае, если его свести к общему понятию и cyдить о нем на основе этого понятия. Поэтому он предлагал собеседнику дать определения ряду понятий, таких, например, как “справедливость”, “несправедливость”, “храбрость”, “красота” и т. п. Если собеседник давал поверхностное, непродуманное определение, то Сократ, взяв отдельные случаи из повседневной жизни, показывал, что данное определение оказывается ошибочным или недос­таточным и подводил его к исправлению. Новое определение (де­финиция) опять проверялось, дополнялось и т. д. Например, давая определение понятию “несправедливость”, в качестве неспра­ведливых назывались такие действия, как ложь, обман, делание зла, обращение в рабство и т. п. Но затем выяснилось, что во время войны с врагами эти действия не подпадают под понятие неспра­ведливости. Первоначальное определение ограничивается: дейст­вия эти являются несправедливыми только по отношению к друзь­ям. Но и новое определение недостаточно. Ведь тот, кто обманом заставляет своего больного ребенка принять лекарство или отни­мает меч у друга при его попытке самоубийства, не совершает несправедливого поступка. Следовательно, только тот совершает несправедливость против друзей, кто делает это с намерением им повредить.

Знание Сократ понимает как усмотрение общего (или еди­ного) для целого ряда вещей (или их признаков). Знание есть, таким образом, понятие о предмете, и достигается оно посред­ством определения понятия. При этом усматриваются как сход­ство или общность предметов, подходящих под данное поня­тие, так и различия между тем, что подходит под данное понятие, и тем, что подходит под сходное или смежные с ним понятия. Учение Сократа о знании как об определении общих

 

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

Учение Сократа о знании развил его ученик Платон (428-347 до н. э.) в теории “видов”, или “идей”, создавший систему объективного идеализма, утверждавшую существование духов­ного первоначала вне и независимо от человеческого сознания. Свою школу Платон основал в Афинах, создав там Академию. Платон общие понятия Сократа, говорящие о сущностях вещей, . превратил в абсолютные идеи, которые существуют сами по себе, вне познающего субъекта и независимо от материального мира. И считал эти идеи первичными, вечными и неизменными, образующими свой потусторонний мир. Материальный мир, по Платону, вторичен, он изменчив, и в нем отражаются вечные, неизменные идеи, которые являются прообразами всех сущест­вующих материальных вещей, а вещи эти - только “тени” идей.

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

В школе Платона много занимались определениями, в частно­сти, определениями предметов органической и неорганической природы. Платону принадлежит следующее определение челове­ка: “Человек есть двуногое животное без перьев”. Услышав об этом, Диоген, ощипав петуха, принес его в Академию и во время лекции Платона выпустил его со словами: “Вот человек Платона”. Платон признал свою ошибку и внес в свое определение поправку: “Чело­век есть двуногое животное без перьев с широкими ногтями”.

Один из величайших ученых и философов древности - Ари­стотель (384—322 до н. э.). Он родился в городе Стагире, поэто­му его называют Стагиритом. Глубокие сочинения Аристотеля

 

посвящены многообразным отраслям современного ему знания: философии, логике, физике, астрономии, биологии, психологии, этике, эстетике, риторике и другим наукам. Общее число напи­санных им работ около тысячи.

В течение 20 лет Аристотель был учеником в школе Платона. Через 12 лет после смерти Платона Аристотель основал в Афи­нах свою философскую школу (перипатическую, или Ликей).

Аристотель впервые дал систематическое изложение логи­ки. Логику Аристотеля называют “традиционной” формальной логикой. Традиционная формальная логика включала и включа­ет такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индук­тивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются “Первая аналитика” и “Вторая аналитика”, в которых даны тео­рия силлогизма, определение и деление понятий, теория доказа­тельства. Логическими сочинениями Аристотеля являются так­же “Топика”, содержащая учение о вероятных “диалектических” доказательствах, “Категории”, “Об опровержении софистичес­ких аргументов”, “Об истолковании”. Византийские логики поз­же объединили все перечисленные работы Аристотеля под об­щим названием “Органон” (орудие познания)'.

Законы правильного мышления - закон тождества, закон не­противоречия, закон исключенного третьего -Аристотель изло­жил также в своем главном произведении “Метафизика”. Пер­воначально он рассматривал законы мышления как законы бытия, а логические формы истинного мышления считал отображением реальных отношений.

Для Аристотеля истина есть соответствие мысли действитель­ности. Истинным он считал суждение, в котором понятия соеди­нены между собой так, как связаны между собой вещи в природе. А ложным - суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опи­раясь на эту концепцию истины, создал свою логику. В “Анали­тиках” Аристотель довольно основательно разрабатывает модаль­ную логику и дает описание силлогизмов из гипотез.

______________________

'См.: Аристотель. Соч.: в 4-х т. М., 1978. Т.2.

 

 

По характеристике В. И. Ленина, логика Аристотеля есть дви­жение мысли - “запрос, искание... поиски, колебания, приемы постановки вопросов”. Сила его учения в том, что в нем содер­жатся “живые зачатки и запросы диалектики”'.

Аристотель видел в логике орудие, или метод, исследования. Основным содержанием аристотелевской логики является тео­рия дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются начат­ки исчисления высказываний2.

Дальнейшая разработка логики высказываний, и в том числе теории условных и разделительных умозаключений, была осуще­ствлена логиками мегаро-стоической школы (учение, известное под названием “логики стоиков”). Основатели Стои - Зенон (333-261 до н. э.) и Хризипп (281/78-208/05 до н. э.). Мегарики: Диодор, Стилпон, Филон и Евбулид.

Логика, по их учению, должна изучать и словесные знаки, и обозначаемыеими мысли. А назначение логики они видели в задаче научить правильно судить о вещах, освободить ум от за­блуждений. Стоики делили логику на диалектику и риторику. Таким образом, они выходили за ограниченные рамки формаль­ной логики.

К сожалению, до нас дошли лишь отдельные отрывки из ло­гического учения мегариков и стоиков. Логики этой школы дали анализ логических терминов: отрицания, конъюнкции, дизъюнк­ции, импликации. В результате дискуссии об импликации у них выявились четыре различных ее понимания. Мегарик Евбулид открыл первый известный нам из истории семантический пара­докс под названием “Лжец”.



<== предыдущая лекция | следующая лекция ==>
Логика Древнего Китая | Логика в средние века


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.27 сек.