История логики
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектика или аналитика.
В дальнейшем логика Аристотеля была развита исламскими и затем средневековыми европейскими логиками, и наибольшего подъёма достигла в середине XIV века. С XIV века до начала XIX века логика находилась в упадке, историки логики считают этот период непродуктивным.
Логика была возрождена в середине XIX века и успешно трансформировалась в строгую и формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества.
Прогресс в истории логики первой половины XX века связан, в частности, с работами Гёделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950-х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.
Предыстория
Правильные рассуждения можно встретить на протяжении всего периода ранней истории человечества. С другой стороны попутно происходило изучение принципов правильного мышления, вывода и доказательства. Вероятно, идея доказательства утверждений впервые возникла в связи с геометрией, которая буквально означает «измерение земли». В частности, древние египтяне эмпирическим путём получили некоторые геометрические знания, например, формулу для расчёта объёма усечённой пирамиды. Другое происхождение связывают с Вавилонией. Эсагиль-кин-апли в медицинском Руководстве по диагностике XI века до н. э. приводит множество аксиом и допущений. Вавилонские астрономы VIII и VII веков до н. э. применяли внутреннюю логику внутри их предсказательной планетарной системы — важный вклад в философию науки.
В то время, как древние египтяне опытным путём открыли отдельные истины геометрии, величайшим достижением древних греков стала замена эмпирических методов науками, построенными на доказательствах. Систематические изыскания в этом направлении, по всей видимости, начинаются со школы Пифагора в конце VI века до н. э. Три основных принципа геометрии: определённые положения должны быть приняты без доказательств, другие положения выводятся из них и вывод должен быть формальным, независимость того или иного рассматриваемого предмета. Фрагменты ранних доказательств сохранились в трудах Платона и Аристотеля, и идея дедуктивной системы, возможно, была известна в пифагорейской школе и Платоновской Академии.
Отдельно от геометрии идея стандартного метода аргументации усматривается в Reductio ad absurdum (приведение к абсурду) у Зенона Элейского — философа-досократика V века до н. э. Это правило заключается в выводе очевидно ложного, невозможного или абсурдного положения из утверждения того, что положение ложно. Платон в диалоге Парменид изображает Зенона, который написал сочинение, защищающее монизм Парменида и доказывающее абсурдность существования многого. Другие философы, которые также практиковали так называемые диалектические рассуждения, среди них младшие сократики, включая Евклида из Мегары, надо полагать были последователями Парменида и Зенона. Философов этой школы называют «диалектиками» (от греческого слова, означающего «искусство спорить, вести рассуждения»).
Дальнейшие свидетельства о том, как мыслители до Аристотеля применяли принципы логических рассуждений найдены в отрывках сочинения , предположительно написанного в начале IV века и представляющего собой часть продолжительных споров об истине и лжи.
У Платона
Из дошедших до нас сочинений знаменитого философа Платона (428—347) ни одно не относится к формальной логике, но они содержат важный вклад в развитие философской логики. Платон ставит три вопроса:
- Что собственно можно считать истиной и ложью?
- Какова природа связи между посылками в рассуждениях и заключениями?
- Какова сущность понятий?
Первый вопрос появляется в диалоге Теэтет, где Платон отождествляет мысль или мнение с разговором или рассуждением (logos). Второй вопрос является результатом платоновской теории форм. Формы — это не вещи в обычном смысле или определённые идеи субъективного сознания, они соотносятся с тем, что позже назвали , общие абстрактные имена, вместо которых можно подставлять имена конкретные. В диалогах Государство и Софист Платон предполагает необходимую связь между посылкой и следствием в рассуждениях в соответствии с необходимой связью между «формами». Третий вопрос о понятии. Многие диалоги Платона относятся к поиску некоторых важных понятий (справедливость, истина и благо); очевидно, на Платона оказала влияние значимость определений в математике. Форма, согласно Платону, лежит в основе каждого понятия, и общая сущность проявляется в частных вещах. Так понятие отражает высшую степень нашего понимания и основу всех валидных умозаключений. Взгляды Платона оказали сильное влияние на Аристотеля.
Логика Аристотеля
Логика Аристотеля, в частности его теория силлогизма, имела огромное влияние на западную мысль. Его указывают родоначальником логики как дисциплины. Его труды по логике, называемые Органон, представляют самое раннее исследование формальной логики и началом традиции, преемственность которой прослеживается до современности. Точная датировка затруднительна, но предположительно порядок работ Аристотеля по логике следующий:
- Категории, изучение десяти основных категорий.
- Топика (с приложением О софистических опровержениях), диалектические дискуссии.
- Об истолковании, анализ простых категорических суждений.
- , формальный анализ валидных форм рассуждений или силлогизмов.
- , изучение научных доказательств.
Эти труды имеют выдающееся значение для истории логики. Аристотель был первым логиком, который попытался провести системный анализ логического синтаксиса. В Категориях он классифицирует все возможные виды того, что может быть субъектом и предикатом суждения. Это послужило основой его философского сочинения Метафизика. Он первый последовательно применяет законы противоречия и исключённого третьего. Он первый показывает принципы аргументации, лежащие в основе логических форм умозаключений, с помощью переменных (основоположник формальной логики); исследует отношение зависимости, которое характеризуют необходимые условия вывода и различает валидность этих отношений. В Первой аналитике содержится его изложение силлогистики и впервые в истории применены три важнейших принципа: применение переменных, чисто формальное рассмотрение и использование аксиоматической системы. В сочинениях Топика и О софистических опровержениях также рассматривается неформальная логика (например — исследование логических ошибок).
В стоицизме
В стоицизме развивается другая значительная школа логики в Древней Греции. Логика стоиков имеет корни в конце V века до н. э. в философии Евклида из Мегары, ученика Сократа и старшего современника Платона. Ученики и последователи Евклида из Мегары были названы «мегариками» или «эристиками», позже «диалектиками». Наиболее значительными диалектиками Мегарской школы были Диодор Крон и Филон из Мегары (конец IV века до н. э.) Стоики переняли мегарскую логику и систематизировали её. Одним из самых известных представителей стоической школы стал Хрисипп (278—206 гг. до н. э.), третий глава школы, который формализовал доктрину стоиков. Он написал приблизительно 700 трудов, практически только девять сохранились. В сравнением с Аристотелем, у мегариков и ранних стоиков теория логики осталась незавершённой, и мы можем руководствоваться позднейшими оценками (иногда враждебными), данными в III веке Секстом Эмпириком.
К трём важным вкладам стоической школы в историю логики относятся: (1) их трактовка модальности, (2) теория материальной импликации и (3) оценка смысла и истины.
- Модальность. Согласно Аристотелю, мегарики из числа его современников утверждали отсутствие различий между потенциальностью и актуальностью. Диодор Крон определяет возможность как то, что или есть или может быть, невозможность как то, что не может быть истиной, контингентность как то, что уже есть или может быть ложным. Диодор также известен благодаря утверждению, что несовместны три пропозиции: «всё, что в прошлом истинно и необходимо», «невозможность не следует из возможного» и «возможное — это то, что или есть или будет». Диодор допускает первые две пропозиции и, как следствие, доказывает невозможность третьей. Хрисипп, напротив, отрицает второе высказывание и говорит, что невозможное может следовать из возможного.
- Материальная импликация. Первыми логиками, которые спорили об условных утверждениях были Диодор Крон и его ученик Филон из Мегары. Секст Эмпирик трижды ссылается на дискуссию между Диодором и Филоном. Филон утверждал, что истинная импликация не может начинаться с истины и заканчиваться ложью. Диодор утверждал, что истинная импликация может не начинаться с истины и заканчиваться ложью. Секст Эмпирик говорит, что согласно Филону существует три случая, в которых импликация может быть истинной и один, в котором она будет ложной.
- Смысл и истина. Наиболее важное и примечательное различие между логикой мегариков-стоиков и логикой Аристотеля в их отношении к пропозициям, не как к термам, но в приближении к современной логике высказываний. Стоики различали высказывания, которые могут быть бессмысленными и осмысленные рассуждения. Оригинальная составляющая их теории выражена в утверждении, что существует разница (лектон) между сказанным на определённом языке и значением. Секст Эмпирик сообщает о том, что, согласно стоикам, три вещи связаны друг с другом: что означало, что означает и сам объект. Например, что означает слово Дион, что оно означало в понимании древних греков, но не для варваров, и что оно означает само по себе.
В древних Индии и Китае
Древняя Индия
Формальная логика возникла независимо и продолжала развиваться до Нового времени без влияния древнегреческой логики. Медхатитхи Гаутама (VI в. до н. э.) основал школу логики анвикшики. Махабхарата (12.173.45), около V в. до н. э., ссылается на школы логики анвикшики и тарка. Панини (V в. до н. э.) развил вид логики (который имеет некоторое сходство с булевой логикой для его разработки грамматики санскрита. Логика, описанная Чанакья (350—283 гг. до н. э.) в его Артха-шастра, независима от анвикшики.
Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика.
Само название школы «ньяя» значит «логика». Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.
Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «катускоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.
у Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.
Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Гангешей Упадхьяей из Митхилы, автора трактата «Таттвачинтамани» («Исполняющий желания драгоценный камень категорий»), который опирался на работы своих предшественников.
Древний Китай
В Китае Мо-цзы, современник Конфуция, основал философскую школу моизма, предписания которой освещали правила вывода и условия правильных умозаключений. В частности, одна из школ на базе моизма -Мин цзя — рассматривается некоторыми учёными как раннее исследование формальной логики. К несчастью, легизм эпохи Чжаньго послужил причиной исчезновения этих исследований в Китае до знакомства с индийской логикой, которую представили буддисты.
Средневековье
Исламская философия
По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.).
Европа
Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
Эпоха Возрождения и Новое время
Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.
Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть Индукции (Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок.
В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
Разработанная в трудах Гегеля концепция диалектической логики была развита классиками марксистско-ленинской философии.
Современность
В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.
В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники.
В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
В 80-е годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
Примечания
- Oxford Companion p. 498; Bochenski, Part I Introduction, passim
- Oxford Companion p. 500
- Архивированная копия. Дата обращения: 5 декабря 2014. Архивировано 9 декабря 2014 года. с. 4
Литература
- Маковельский А. О. История логики Архивная копия от 12 октября 2011 на Wayback Machine. — М., 1967. — 504 с. (см. также здесь (недоступная ссылка))
- Переиздание: М., 2004. — 478, [1] с. — ISBN 5-86090-081-3. — РГБ 1 04-2/321; 1 04-2/320
- Бажанов В. А. История логики в России и СССР. — М.: Канон+, 2007. — 336 с. — ISBN 5-88373-032-9
- Лисанюк Е. Н. Модальная логика средневековья. // Историко-логические исследования. Межвузовский сборник. Издательство СПбГУ, СПб, 2003. С. 158—199.
- Лисанюк Е. Н. Средневековая логика (XI—XIV вв) // Историко-логические исследования. Межвузовский сборник. Издательство СПбГУ СПб, 2003. С. 92-110.
- Б. В. Бирюков, M. M. Новосёлов, А. С. Карпенко. Логика в России // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- Попов П. С. История логики нового времени. — М.: Издательство МГУ, 1960.
- Стяжкин Н. И. Формирование математической логики. — М., 1967.
- Логика: Биобиблиографический справочник (Россия — СССР — Россия). — СПб.: Наука, 2001. — 488 с. ISBN 5-02-028488-2
- Scholtz H. Geschichte der Logik, 1931. (Concise History of Logic. — New York, 1961).
- Bochenski, I.M., A History of Formal Logic, Notre Dame press, 1961.
- Kneale, William and Martha, 1962. The Development of Logic. Oxford University Press, ISBN 0-19-824773-7.
- Dov M Gabbay en John Woods (2004), Handbook of the History of Logic.
- Robert Blanché, La logique et son histoire d’Aristote à Russell, ed. Armand Colin, coll. U, Paris, 1970, 112 p.
У этой статьи по логике есть несколько проблем, помогите их исправить: |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о История логики, Что такое История логики? Что означает История логики?
Istoriya logiki izuchaet razvitie nauki o formah i zakonah pravilnogo myshleniya logika Poyavlenie logiki v kachestve razrabotannogo analiza principov umozaklyuchenij imeet otnoshenie isklyuchitelno k tryom lokalnym civilizaciyam a imenno Kitaj Indiya i Drevnyaya Greciya Iz nih tolko traktovka logiki v drevnegrecheskoj filosofii detalno rassmotrennaya v sochinenii Aristotelya Organon prinyata i nashla shirokoe primenenie v sovremennoj nauke i matematike V Drevnej Grecii logika byla izvestna kak dialektika ili analitika V dalnejshem logika Aristotelya byla razvita islamskimi i zatem srednevekovymi evropejskimi logikami i naibolshego podyoma dostigla v seredine XIV veka S XIV veka do nachala XIX veka logika nahodilas v upadke istoriki logiki schitayut etot period neproduktivnym Logika byla vozrozhdena v seredine XIX veka i uspeshno transformirovalas v stroguyu i formalnuyu disciplinu idealnym variantom kotoroj byli tochnye metody dokazatelstva ispolzuemye v matematike Poyavlenie sovremennoj matematicheskoj logiki yavlyaetsya naibolee znachitelnym sobytiem v istorii logiki za poslednie dve tysyachi let i vozmozhno odnim iz naibolee vazhnyh i primechatelnyh sobytij v intellektualnoj istorii chelovechestva Progress v istorii logiki pervoj poloviny XX veka svyazan v chastnosti s rabotami Gyodelya i Tarskogo i okazal znachitelnoe vliyanie na analiticheskuyu filosofiyu i filosofskuyu logiku v osobennosti s 1950 h gg blagodarya razvitiyu novyh razdelov modalnaya logika temporalnaya logika deonticheskaya logika i relevantnaya logika PredystoriyaPravilnye rassuzhdeniya mozhno vstretit na protyazhenii vsego perioda rannej istorii chelovechestva S drugoj storony poputno proishodilo izuchenie principov pravilnogo myshleniya vyvoda i dokazatelstva Veroyatno ideya dokazatelstva utverzhdenij vpervye voznikla v svyazi s geometriej kotoraya bukvalno oznachaet izmerenie zemli V chastnosti drevnie egiptyane empiricheskim putyom poluchili nekotorye geometricheskie znaniya naprimer formulu dlya raschyota obyoma usechyonnoj piramidy Drugoe proishozhdenie svyazyvayut s Vaviloniej Esagil kin apli v medicinskom Rukovodstve po diagnostike XI veka do n e privodit mnozhestvo aksiom i dopushenij Vavilonskie astronomy VIII i VII vekov do n e primenyali vnutrennyuyu logiku vnutri ih predskazatelnoj planetarnoj sistemy vazhnyj vklad v filosofiyu nauki Drevnegrecheskaya filosofiyaV to vremya kak drevnie egiptyane opytnym putyom otkryli otdelnye istiny geometrii velichajshim dostizheniem drevnih grekov stala zamena empiricheskih metodov naukami postroennymi na dokazatelstvah Sistematicheskie izyskaniya v etom napravlenii po vsej vidimosti nachinayutsya so shkoly Pifagora v konce VI veka do n e Tri osnovnyh principa geometrii opredelyonnye polozheniya dolzhny byt prinyaty bez dokazatelstv drugie polozheniya vyvodyatsya iz nih i vyvod dolzhen byt formalnym nezavisimost togo ili inogo rassmatrivaemogo predmeta Fragmenty rannih dokazatelstv sohranilis v trudah Platona i Aristotelya i ideya deduktivnoj sistemy vozmozhno byla izvestna v pifagorejskoj shkole i Platonovskoj Akademii Otdelno ot geometrii ideya standartnogo metoda argumentacii usmatrivaetsya v Reductio ad absurdum privedenie k absurdu u Zenona Elejskogo filosofa dosokratika V veka do n e Eto pravilo zaklyuchaetsya v vyvode ochevidno lozhnogo nevozmozhnogo ili absurdnogo polozheniya iz utverzhdeniya togo chto polozhenie lozhno Platon v dialoge Parmenid izobrazhaet Zenona kotoryj napisal sochinenie zashishayushee monizm Parmenida i dokazyvayushee absurdnost sushestvovaniya mnogogo Drugie filosofy kotorye takzhe praktikovali tak nazyvaemye dialekticheskie rassuzhdeniya sredi nih mladshie sokratiki vklyuchaya Evklida iz Megary nado polagat byli posledovatelyami Parmenida i Zenona Filosofov etoj shkoly nazyvayut dialektikami ot grecheskogo slova oznachayushego iskusstvo sporit vesti rassuzhdeniya Dalnejshie svidetelstva o tom kak mysliteli do Aristotelya primenyali principy logicheskih rassuzhdenij najdeny v otryvkah sochineniya predpolozhitelno napisannogo v nachale IV veka i predstavlyayushego soboj chast prodolzhitelnyh sporov ob istine i lzhi U Platona Iz doshedshih do nas sochinenij znamenitogo filosofa Platona 428 347 ni odno ne otnositsya k formalnoj logike no oni soderzhat vazhnyj vklad v razvitie filosofskoj logiki Platon stavit tri voprosa Chto sobstvenno mozhno schitat istinoj i lozhyu Kakova priroda svyazi mezhdu posylkami v rassuzhdeniyah i zaklyucheniyami Kakova sushnost ponyatij Pervyj vopros poyavlyaetsya v dialoge Teetet gde Platon otozhdestvlyaet mysl ili mnenie s razgovorom ili rassuzhdeniem logos Vtoroj vopros yavlyaetsya rezultatom platonovskoj teorii form Formy eto ne veshi v obychnom smysle ili opredelyonnye idei subektivnogo soznaniya oni sootnosyatsya s tem chto pozzhe nazvali obshie abstraktnye imena vmesto kotoryh mozhno podstavlyat imena konkretnye V dialogahGosudarstvoiSofistPlaton predpolagaet neobhodimuyu svyaz mezhdu posylkoj i sledstviem v rassuzhdeniyah v sootvetstvii s neobhodimoj svyazyu mezhdu formami Tretij vopros o ponyatii Mnogie dialogi Platona otnosyatsya k poisku nekotoryh vazhnyh ponyatij spravedlivost istina i blago ochevidno na Platona okazala vliyanie znachimost opredelenij v matematike Forma soglasno Platonu lezhit v osnove kazhdogo ponyatiya i obshaya sushnost proyavlyaetsya v chastnyh veshah Tak ponyatie otrazhaet vysshuyu stepen nashego ponimaniya i osnovu vseh validnyh umozaklyuchenij Vzglyady Platona okazali silnoe vliyanie na Aristotelya Logika Aristotelya Osnovnaya statya Organon Aristotel Logika Aristotelya v chastnosti ego teoriya sillogizma imela ogromnoe vliyanie na zapadnuyu mysl Ego ukazyvayut rodonachalnikom logiki kak discipliny Ego trudy po logike nazyvaemye Organon predstavlyayut samoe rannee issledovanie formalnoj logiki i nachalom tradicii preemstvennost kotoroj proslezhivaetsya do sovremennosti Tochnaya datirovka zatrudnitelna no predpolozhitelno poryadok rabot Aristotelya po logike sleduyushij Kategorii izuchenie desyati osnovnyh kategorij Topika s prilozheniem O sofisticheskih oproverzheniyah dialekticheskie diskussii Ob istolkovanii analiz prostyh kategoricheskih suzhdenij formalnyj analiz validnyh form rassuzhdenij ili sillogizmov izuchenie nauchnyh dokazatelstv Eti trudy imeyut vydayusheesya znachenie dlya istorii logiki Aristotel byl pervym logikom kotoryj popytalsya provesti sistemnyj analiz logicheskogo sintaksisa V Kategoriyah on klassificiruet vse vozmozhnye vidy togo chto mozhet byt subektom i predikatom suzhdeniya Eto posluzhilo osnovoj ego filosofskogo sochineniya Metafizika On pervyj posledovatelno primenyaet zakony protivorechiya i isklyuchyonnogo tretego On pervyj pokazyvaet principy argumentacii lezhashie v osnove logicheskih form umozaklyuchenij s pomoshyu peremennyh osnovopolozhnik formalnoj logiki issleduet otnoshenie zavisimosti kotoroe harakterizuyut neobhodimye usloviya vyvoda i razlichaet validnost etih otnoshenij V Pervoj analitike soderzhitsya ego izlozhenie sillogistiki i vpervye v istorii primeneny tri vazhnejshih principa primenenie peremennyh chisto formalnoe rassmotrenie i ispolzovanie aksiomaticheskoj sistemy V sochineniyah Topika i O sofisticheskih oproverzheniyah takzhe rassmatrivaetsya neformalnaya logika naprimer issledovanie logicheskih oshibok V stoicizme V stoicizme razvivaetsya drugaya znachitelnaya shkola logiki v Drevnej Grecii Logika stoikov imeet korni v konce V veka do n e v filosofii Evklida iz Megary uchenika Sokrata i starshego sovremennika Platona Ucheniki i posledovateli Evklida iz Megary byli nazvany megarikami ili eristikami pozzhe dialektikami Naibolee znachitelnymi dialektikami Megarskoj shkoly byli Diodor Kron i Filon iz Megary konec IV veka do n e Stoiki perenyali megarskuyu logiku i sistematizirovali eyo Odnim iz samyh izvestnyh predstavitelej stoicheskoj shkoly stal Hrisipp 278 206 gg do n e tretij glava shkoly kotoryj formalizoval doktrinu stoikov On napisal priblizitelno 700 trudov prakticheski tolko devyat sohranilis V sravneniem s Aristotelem u megarikov i rannih stoikov teoriya logiki ostalas nezavershyonnoj i my mozhem rukovodstvovatsya pozdnejshimi ocenkami inogda vrazhdebnymi dannymi v III veke Sekstom Empirikom K tryom vazhnym vkladam stoicheskoj shkoly v istoriyu logiki otnosyatsya 1 ih traktovka modalnosti 2 teoriya materialnoj implikacii i 3 ocenka smysla i istiny Modalnost Soglasno Aristotelyu megariki iz chisla ego sovremennikov utverzhdali otsutstvie razlichij mezhdu potencialnostyu i aktualnostyu Diodor Kron opredelyaet vozmozhnost kak to chto ili est ili mozhet byt nevozmozhnost kak to chto ne mozhet byt istinoj kontingentnost kak to chto uzhe est ili mozhet byt lozhnym Diodor takzhe izvesten blagodarya utverzhdeniyu chto nesovmestny tri propozicii vsyo chto v proshlom istinno i neobhodimo nevozmozhnost ne sleduet iz vozmozhnogo i vozmozhnoe eto to chto ili est ili budet Diodor dopuskaet pervye dve propozicii i kak sledstvie dokazyvaet nevozmozhnost tretej Hrisipp naprotiv otricaet vtoroe vyskazyvanie i govorit chto nevozmozhnoe mozhet sledovat iz vozmozhnogo Materialnaya implikaciya Pervymi logikami kotorye sporili ob uslovnyh utverzhdeniyah byli Diodor Kron i ego uchenik Filon iz Megary Sekst Empirik trizhdy ssylaetsya na diskussiyu mezhdu Diodorom i Filonom Filon utverzhdal chto istinnaya implikaciya ne mozhet nachinatsya s istiny i zakanchivatsya lozhyu Diodor utverzhdal chto istinnaya implikaciya mozhet ne nachinatsya s istiny i zakanchivatsya lozhyu Sekst Empirik govorit chto soglasno Filonu sushestvuet tri sluchaya v kotoryh implikaciya mozhet byt istinnoj i odin v kotorom ona budet lozhnoj Smysl i istina Naibolee vazhnoe i primechatelnoe razlichie mezhdu logikoj megarikov stoikov i logikoj Aristotelya v ih otnoshenii k propoziciyam ne kak k termam no v priblizhenii k sovremennoj logike vyskazyvanij Stoiki razlichali vyskazyvaniya kotorye mogut byt bessmyslennymi i osmyslennye rassuzhdeniya Originalnaya sostavlyayushaya ih teorii vyrazhena v utverzhdenii chto sushestvuet raznica lekton mezhdu skazannym na opredelyonnom yazyke i znacheniem Sekst Empirik soobshaet o tom chto soglasno stoikam tri veshi svyazany drug s drugom chto oznachalo chto oznachaet i sam obekt Naprimer chto oznachaet slovo Dion chto ono oznachalo v ponimanii drevnih grekov no ne dlya varvarov i chto ono oznachaet samo po sebe V drevnih Indii i KitaeDrevnyaya Indiya Osnovnaya statya Formalnaya logika voznikla nezavisimo i prodolzhala razvivatsya do Novogo vremeni bez vliyaniya drevnegrecheskoj logiki Medhatithi Gautama VI v do n e osnoval shkolu logiki anvikshiki Mahabharata 12 173 45 okolo V v do n e ssylaetsya na shkoly logiki anvikshiki i tarka Panini V v do n e razvil vid logiki kotoryj imeet nekotoroe shodstvo s bulevoj logikoj dlya ego razrabotki grammatiki sanskrita Logika opisannaya Chanakya 350 283 gg do n e v ego Artha shastra nezavisima ot anvikshiki Dve iz shesti ortodoksalno induistskih vedijskih shkol indijskoj filosofii nyaya i vajsheshika zanimalis metodologiej poznaniya iz etogo problemnogo polya i vydelilas logika Samo nazvanie shkoly nyaya znachit logika Glavnym eyo dostizheniem i byla razrabotka logiki i metodologii stavshih vposledstvii obshim dostoyaniem sr aristotelevskaya logika v Evrope Osnovnym tekstom shkoly byli Nyaya sutry Akshapady Gautamy II vek n e Poskolku nyaiki schitali edinstvennym putyom osvobozhdeniya ot stradanij dostizhenie nadyozhnogo znaniya oni razrabatyvali tonkie metody otlicheniya nadyozhnyh istochnikov znaniya ot lozhnyh mnenij Est tolko chetyre istochnika znaniya chetyre pramany vospriyatie umozaklyuchenie sravnenie i svidetelstvo Strogaya pyatichlennaya shema umozaklyucheniya vklyuchala v sebya nachalnuyu posylku osnovanie primer prilozhenie i vyvod Buddijskaya filosofiya ne vhodivshaya v chislo shesti ortodoksalnyh shkol byla glavnym opponentom nyaikov v logike Nagardzhuna osnovatel madhyamiki sredinnogo puti razvil rassuzhdenie izvestnoe kak katuskoti ili tetralemma Etot chetyryohstoronnij argument sistematicheski proveryal i otklonyal utverzhdenie vyskazyvaniya ego otricanie soedinenie utverzhdeniya i otricaniya i nakonec otklonenie i ego utverzhdeniya i ego otricaniya u Dignagi i ego posledovatelya Dharmakirti buddijskaya logika dostigla vershiny Centralnym punktom ih analiza bylo ustanovlenie opredelenie neobhodimoj logicheskoj prisushnosti vklyuchyonnosti v opredelenie vyapti takzhe izvestnoe kak neizmennoe sledovanie ili ubezhdenie Dlya etoj celi oni razvili uchenie ob apoha ili razlichenii o pravilah vklyucheniya priznakov v opredelenie ili isklyucheniya ih iz nego Shkola navya nyaya novaya nyaya novaya logika byla osnovana v XIII veke Gangeshej Upadhyaej iz Mithily avtora traktata Tattvachintamani Ispolnyayushij zhelaniya dragocennyj kamen kategorij kotoryj opiralsya na raboty svoih predshestvennikov Drevnij Kitaj Osnovnaya statya V Kitae Mo czy sovremennik Konfuciya osnoval filosofskuyu shkolu moizma predpisaniya kotoroj osveshali pravila vyvoda i usloviya pravilnyh umozaklyuchenij V chastnosti odna iz shkol na baze moizma Min czya rassmatrivaetsya nekotorymi uchyonymi kak rannee issledovanie formalnoj logiki K neschastyu legizm epohi Chzhango posluzhil prichinoj ischeznoveniya etih issledovanij v Kitae do znakomstva s indijskoj logikoj kotoruyu predstavili buddisty SrednevekoveIslamskaya filosofiya Po mere priblizheniya k Srednim vekam logika poluchala bolee shirokoe rasprostranenie Eyo nachali razrabatyvat araboyazychnye issledovateli naprimer Al Farabi ok 870 950 gg Evropa Srednevekovaya logika nazyvaetsya sholasticheskoj a eyo rascvet v XIV veke svyazyvayut s imenami uchyonyh Uilyama Okkama Alberta Saksonskogo i Uoltera Berli Epoha Vozrozhdeniya i Novoe vremyaEtot istoricheskij period v logike otmechaetsya poyavleniem mnozhestva krajne znachimyh dlya nauki publikacij Frensis Bekon v 1620 godu opublikovyvaet svoj Novyj organon soderzhashij osnovy induktivnyh metodov usovershenstvovannyh pozdnee Dzhonom Styuartom Millem i poluchivshih nazvanie metodov ustanovleniya prichinnyh svyazej mezhdu yavleniyami Bekona Millya Sut Indukcii Obobsheniya v tom chto znaniya nuzhno vozvodit v principy Takzhe neobhodimo iskat prichinu svoih oshibok V 1662 godu v Parizhe izdan uchebnik Logika Por Royalya avtorami kotorogo yavlyayutsya P Nikol i A Arno sozdavshie logicheskoe uchenie na osnove metodologicheskih principov Rene Dekarta Razrabotannaya v trudah Gegelya koncepciya dialekticheskoj logiki byla razvita klassikami marksistsko leninskoj filosofii SovremennostV konce XIX nachale XX vekov byli zalozheny osnovy t n matematicheskoj ili simvolicheskoj logiki Eyo sut zaklyuchaetsya v tom chto dlya obnaruzheniya istinnostnogo znacheniya vyrazhenij estestvennogo yazyka mozhno primenyat matematicheskie metody Imenno ispolzovanie simvolicheskoj logiki otlichaet sovremennuyu logicheskuyu nauku ot tradicionnoj Ogromnyj vklad v razvitie simvolicheskoj logiki vnesli takie uchyonye kak Dzh Bul O de Morgan G Frege Ch Pirs i dr V XX veke matematicheskaya logika oformilas v kachestve samostoyatelnoj discipliny v ramkah logicheskoj nauki Nachalo XX veka oznamenovalos stanovleniem idej neklassicheskoj logiki mnogie vazhnye polozheniya kotoroj byli predvoshisheny i ili zalozheny N A Vasilevym i I E Orlovym V seredine XX veka razvitie vychislitelnoj tehniki privelo k poyavleniyu logicheskih elementov logicheskih blokov i ustrojstv vychislitelnoj tehniki chto bylo svyazano s dopolnitelnoj razrabotkoj takih oblastej logiki kak problemy logicheskogo sinteza logicheskoe proektirovanie i logicheskogo modelirovaniya logicheskih ustrojstv i sredstv vychislitelnoj tehniki V 80 h godah XX veka nachalis issledovaniya v oblasti iskusstvennogo intellekta na baze yazykov i sistem logicheskogo programmirovaniya Nachalos i sozdanie ekspertnyh sistem s ispolzovaniem i razvitiem avtomaticheskogo dokazatelstva teorem a takzhe metodov dokazatelnogo programmirovaniya dlya verifikacii algoritmov i programm dlya EVM V 80 e gody nachalis takzhe izmeneniya v obrazovanii Poyavlenie personalnyh kompyuterov v srednih shkolah privelo k sozdaniyu uchebnikov informatiki s izucheniem elementov matematicheskoj logiki dlya obyasneniya logicheskih principov raboty logicheskih shem i ustrojstv vychislitelnoj tehniki a takzhe principov logicheskogo programmirovaniya dlya kompyuterov pyatogo pokoleniya i razrabotka uchebnikov informatiki s izucheniem yazyka ischisleniya predikatov dlya proektirovaniya baz znanij PrimechaniyaOxford Companion p 498 Bochenski Part I Introduction passim Oxford Companion p 500 Arhivirovannaya kopiya neopr Data obrasheniya 5 dekabrya 2014 Arhivirovano 9 dekabrya 2014 goda s 4LiteraturaMakovelskij A O Istoriya logiki Arhivnaya kopiya ot 12 oktyabrya 2011 na Wayback Machine M 1967 504 s sm takzhe zdes nedostupnaya ssylka Pereizdanie M 2004 478 1 s ISBN 5 86090 081 3 RGB 1 04 2 321 1 04 2 320Bazhanov V A Istoriya logiki v Rossii i SSSR M Kanon 2007 336 s ISBN 5 88373 032 9 Lisanyuk E N Modalnaya logika srednevekovya Istoriko logicheskie issledovaniya Mezhvuzovskij sbornik Izdatelstvo SPbGU SPb 2003 S 158 199 Lisanyuk E N Srednevekovaya logika XI XIV vv Istoriko logicheskie issledovaniya Mezhvuzovskij sbornik Izdatelstvo SPbGU SPb 2003 S 92 110 B V Biryukov M M Novosyolov A S Karpenko Logika v Rossii Novaya filosofskaya enciklopediya v 4 t pred nauch red soveta V S Styopin 2 e izd ispr i dop M Mysl 2010 2816 s Popov P S Istoriya logiki novogo vremeni M Izdatelstvo MGU 1960 Styazhkin N I Formirovanie matematicheskoj logiki M 1967 Logika Biobibliograficheskij spravochnik Rossiya SSSR Rossiya SPb Nauka 2001 488 s ISBN 5 02 028488 2 Scholtz H Geschichte der Logik 1931 Concise History of Logic New York 1961 Bochenski I M A History of Formal Logic Notre Dame press 1961 Kneale William and Martha 1962 The Development of Logic Oxford University Press ISBN 0 19 824773 7 Dov M Gabbay en John Woods 2004 Handbook of the History of Logic Robert Blanche La logique et son histoire d Aristote a Russell ed Armand Colin coll U Paris 1970 112 p U etoj stati po logike est neskolko problem pomogite ih ispravit V state est spisok istochnikov no ne hvataet snosok Bez snosok slozhno opredelit iz kakogo istochnika vzyato kazhdoe otdelnoe utverzhdenie Vy mozhete uluchshit statyu prostaviv snoski na istochniki podtverzhdayushie informaciyu Svedeniya bez snosok mogut byt udaleny 31 oktyabrya 2010 Pozhalujsta posle ispravleniya problemy isklyuchite eyo iz spiska parametrov Posle ustraneniya vseh nedostatkov etot shablon mozhet byt udalyon lyubym uchastnikom
