История Логики
Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектикаили аналитика.
В дальнейшем логика Аристотеля была развита исламскими и затем средневековыми европейскими логиками, и наибольшего подъёма достигла в середине XIV века. С XIV века до начала XIX века логика находилась в упадке, историки логики считают этот период непродуктивным.[1]
Логика была возрождена в середине XIX века и успешно трансформировалась в строгую и формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества.[2]
Прогресс в истории логики первой половины XX века связан, в частности, с работами Гёделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950-х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.
Правильные рассуждения можно встретить на протяжении всего периода ранней истории человечества. С другой стороны попутно происходило изучение принципов правильного мышления, вывода и доказательства. Вероятно, идея доказательства утверждений впервые возникла в связи с геометрией, которая буквально означает «измерение земли». В частности, древние египтяне эмпирическим путём получили некоторые геометрические знания, например, формулу для расчёта объёма усечённой пирамиды. Другое происхождение связывают с Вавилонией. Эсагиль-кин-апли в медицинском Руководстве по диагностике XI века до н. э. приводит множество аксиом и допущений. Вавилонские астрономы VIII и VII веков до н. э. применяли внутреннюю логику внутри их предсказательной планетарной системы — важный вклад в философию науки.
В то время, как древние египтяне опытным путём открыли отдельные истины геометрии, величайшим достижением древних греков стала замена эмпирических методов науками, построенными на доказательствах. Систематические изыскания в этом направлении, по всей видимости, начинаются с школы Пифагора в конце VI века до н. э. Три основных принципа геометрии: определённые положения должны быть приняты без доказательств, другие положения выводятся из них и вывод должен быть формальным, независимость того или иного рассматриваемого предмета. Фрагменты ранних доказательств сохранились в трудах Платона и Аристотеля, и идея дедуктивной системы, возможно, была известна в пифагорейской школе и Платоновской Академии.
Отдельно от геометрии идея стандартного метода аргументации усматривается в Reductio ad absurdum (приведение к абсурду) у Зенона Элейского — философа-досократика V века до н. э. Это правило заключается в выводе очевидно ложного, невозможного или абсурдного положения из утверждения того, что положение ложно. Платон в диалоге Парменид изображает Зенона, который написал сочинение, защищающее монизм Парменида и доказывающее абсурдность существования многого. Другие философы, которые также практиковали так называемые диалектические рассуждения, среди них младшие сократики, включая Евклида из Мегары, надо полагать были последователями Парменида и Зенона. Философов этой школы называют «диалектиками» (от греческого слова, означающего «искусство спорить, вести рассуждения»).
Дальнейшие свидетельства о том, как мыслители до Аристотеля применяли принципы логических рассуждений найдены в отрывках сочинения Dissoi Logoi, предположительно написанного в начале IV века и представляющего собой часть продолжительных споров об истине и лжи.