История развития логики

Частное образовательное учреждение

Высшего профессионального образования

«Южно-Уральский институт управления и экономики»

 

 

 

 

 

 

 

 

 

 

Реферат

 

НА ТЕМУ: История развития логики

ПО ДИСЦИПЛИНЕ: Логика

 

 

 

 

 

 

Выполнил студент

Гаврилов Дмитрий Александрович

Группа ИЗ-101

 

 

 

 

 

 

Проверил преподаватель

Пивоварова Ольга Павловна

 

 

 

 

 

 

Челябинск 2014г.

 

Оглавление

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение

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

Вначале законы и формы правильного мышления изучались в рамках ораторского искусства — одного из средств воздействия на умы людей, убеждения их в целесообразности того или иного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции, Древнем Риме, средневековой России. Но в искусстве красноречия логический момент выступает еще как подчиненный, поскольку логические приемы служат не столько цели достижения истины, сколько цели убеждения аудитории.

развитие логической науки на протяжении ряда столетий протекало по двум руслам, обособленным и не связанным между собой. Одно из этих течений логики начиналось в Древней Греции (в особенности логика Аристотеля). На его основе развивалась логика в Древнем Рим, затем в Византии, Грузии, Армении, арабоязычных странах Ближнего Востока, Западной Европе и России. Другое направление имело своим истоком индийскую логику, на основе которой развивалась логика в Китае, Тибете, Монголии, Корее, Японии, Индонезии, на Цейлоне'.

 

 

 

 

 

Логика в Древней Индии

История логики Индии связана с развитием индийской философии. Древнейший литературный памятник Индии - Веды (II-начало I тысячелетия до н.э.), а наиболее древняя ее часть - Ригведа. С целью разъяснения Вед появляются Упанишады, прозаические трактаты брахманов, в которых они развивают или комментируют многие философские мысли, содержащиеся в Ведах.

Индийский ученый Мадхава в своем сочинении “Обзор всех систем” (1350) насчитывает 16 школ древнеиндийской философии. На первом месте стоит материалистическая философская школа чарвака (основатели Брихаспати и его ученик Чарвака). К ней примыкала школа локаята. В основном материалистическими были рационалистические философские системы вайшешика (ее основатель получил прозвище Канада, что значит “пожиратель атомов”), ньяя (основатель школы ньяя - Гаутама) и джайнизм (основатель Вардхамана Махавира, получивший прозвище “Джина” - победитель). Материализм как философское направление исходит из того, что мир материален, существует объективно, что материя первична, существует вечно, а сознание, мышление - свойство материи.

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

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

Диспуты между представителями различных философских школ способствовали развитию теории познания и логики. Но логика самостоятельно трактуется лишь школой ньяя, хотя еще не систематически, а в формах кратких афоризмов (сутр). Лишь начиная с Дигнаги (VI в.) индийская логика приобретает стройную и систематическую форму.

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

В индийской логике много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством. Существовавший первоначально взгляд, что силлогизм состоит из десяти суждений (членов), меняется. Развитие логики шло по пути сокращения членов силлогизма. Гаутама сократил их до пяти: 1) тезис, 2) основание, 3) пример, 4) применение и 5) вывод. Эта система силлогизма стала господствующей в индийской логике.

Особенностями индийской логики являются следующие:

1) оригинальное  учение о пятичленном силлогизме, в котором важна мысль о неразрывной связи дедукции и индукции;

2) суждение  не признается самостоятельным  актом мысли, а рассматривается  как член умозаключения;

3) восприятие  не есть нечто непосредственно  данное, а заключает в себе акт “суждения - умозаключения”. Иными словами, в основе наших восприятии лежит приобретенный нами опыт;

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

В сжатой форме системы индийской логики (“старая” ньяя, буддийская логика, “новая” нъяя) изложены в двухтомной “Индийской философии” С. Радхакришнана.

Одним из наиболее полных систематических изложений основ индийской логики навья-ньяя на Западе является работа видного американского индолога, профессора Гарвардского университета Д. Г. X. Инголлса1.

Навья-ньяя (“новый метод”, “новая логика”) - единственная завершенная система логики, возникшая вне пределов европейской культуры. Основоположником школы считается автор трактата “Таттва-чин-тамани” Гангша (ХII-ХIII вв.). В этой школе логика становится самостоятельной наукой, выступает методом и инструментом познания. Однако восходящая к древней традиции громоздкая система категорий, несоблюдение различия между абстрактным выводом и конкретным примером вывода говорят о том, что эта логика не лишена недостатков. Во многом их преодолевает поздняя, или радикальная, школа навья-ньяя, основанная Рагхунатхой.

Знакомя с главными понятиями, теорией и методами малоизвестной за пределами Индии логики навья-ньяя, с крупнейшими представителями этой школы за период с XII по XVII в., Инголлс опирается на достижения современной ему символической логики.

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

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

Д. Инголлс в своей книге отмечает, что формальная логика навья-ньяя отличалась высокой степенью абстракции. Ньяики ограничивались чисто лингвистическим анализом, всегда пытались вскрыть отношения между самими вещами. В некоторых отношениях, считает американский исследователь, навья-ньяя превосходит аристотелевскую логику. Ее создатели, например, имели понятие о конъюнкции, дизъюнкции и их отрицании, знали следствие о классах из законов де Моргана. В школе навья-ньяя кванторы, т. е. логические термины, выраженные словами “все”, “некоторые”, “любые” и т. п., почти никогда не использовались, так как они выражались с помощью абстракции свойств и путем комбинирования отрицаний. В навья-ньяя анализировались следующие проблемы: отношение “проникновения” (т. е. теория логического следования), проблема отрицательных высказываний, способы образования сложных терминов и др.

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

Древнеиндийская логика самобытна. Она возникла и развивалась независимо от древнегреческой. С греческой философией и логикой Индия познакомилась лишь в результате похода Александра Македонского (356-323 до н. э.).

Логика Древнего Китая

Под логикой Древнего Китая, по утверждению Пань Шимо, принято понимать прежде всего логику периода Чуньцю и Чжаньго (722-221 до н. э.), когда появляется понятие “философская дискуссия” и создается ситуация, известная как “соперничество ста школ”. Ученые исследуют теорию имен, понятий, вопросы об искусстве спора (дискуссии). Такими мыслителями являлись: Дэн Си (ок. 545-501 до н. э.), Конфуций (551-501 до н. э.), Хуэй Ши (ок. 370-318 до н. э.), Гунсунь Лун (ок. 325-250 до н. э.), Мо-цзы (ок. 490-403 до н. э.), Сюнь-цзы (ок. 313-238 до н. э.), Хань Фей-цзы (ок. 280-233 до н. э.) и др1.

Пань Шимо так характеризует достижения различных школ того периода: “Усилиями школы имен (минцзя), школы законников фацзя), конфуцианской школы (жуцзя) и особенно школы поздних моистов (моцзя) была создана более или менее целостная логическая концепция. В Древнем Китае большинство логических теорий было рассеяно по различным трактатам, посвященным вопросам политики, философии, этики и естествознания. Поздние моисты обобщили достижения своих предшественников, взяв при этом за основу учение Мо-цзы, и создали первый в истории китайской логики энциклопедический трактат “Мобянь” (Рассуждения Мо-цзы), называемый также “Мо-цзы”2.

Автор статьи “Логика Древнего Китая” дает концентрированную интересную информацию о тех проблемах, которые разрабатывались в логических теориях периода раннего Циня: 1) теория имени; 2) теория “цы” (высказываний); 3) теория “шо” (рассуждения) и “бянь” (спора)3; 4) об основных законах мышления. Пань Шимо отметил ряд особенностей логики Древнего Китая:

а) логические теории концентрировались вокруг основных понятий - “мин” (имени) и “цы” (предложения, высказывания);

б) развитие логики было тесно связано с языком того времени; не обращалось внимания на различие между логической природой “мин” и “цы” и их языковыми свойствами;

в) логика этого периода “обычно исходила из практических требований риторики (способы ведения спора) и познавательного аспекта дискуссии... Логика Древнего Китая не смогла выработать строгих представлений о формах умозаключений и отделить их от теории познания”', так как придавала чрезмерное значение содержательной стороне мышления и пренебрегала его формой;

г) логика в Древнем Китае находилась под сильным влиянием различных политических доктрин и морально-этических концепций.

В результате обстоятельного анализа Пань Шимо сформулировал следующий вывод: “Хотя логические концепции в Древнем Китае и сформулировались раньше, чем в Древней Греции, но после периода ранний Цинь они практически прекратили свое дальнейшее развитие. Это одна из причин того, что логика в Китае не достигла той зрелости, которой она достигла на Западе”2.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логика в средние века

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

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

Теоретические источники средневековой арабоязычной логики следует искать в логике Аристотеля. Основателем арабоязычной логики считается сирийский математик аль-Фараби (ок. 870-950), который прокомментировал весь аристотелевский “Органон”. Логика аль-Фараби направлена на анализ научного мышления. Имисследуются вопросы и теории познания, и грамматики. У него, как и у Аристотеля, метод мышления соотносится с реальными отношениями и связями бытия. Аристотель был “духовным наставником” аль-Фараби в области логики.

Аль-Фараби выделяет в логике две ступени: первая охватывает представления и понятия, вторая — теорию суждений, выводов и доказательств.

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

Таджик Ибн-Сина (Авиценна) (ок. 980-1037) комментирует Аристотеля и сам пытается развить логику. Авиценне известна зависимость между категорическими и условными суждениями, выражение импликации через дизъюнкцию и отрицание, т. е. формула

(р → q)   (  q)

В учебнике “Логика” Ибн-Сина стремился обобщить аристотелевскую силлогистику. Вначале Ибн-Сина пользовался комментариями к работе Аристотеля “Метафизика”, сделанными аль-Фараби.

Другим крупным арабским аристотеликом был Ибн-Рушд (Аверроэс) (1126-1198). Он также тщательно комментировал логические тексты Аристотеля. Ибн-Рушд развивал понимание модальностей.

Во второй половине ХIII в. самым популярным руководством по логике было “Summulae logicales” Петра Испанского (прибл. 1220-1277). В трактате Петра Испанского имеется ряд новых идей (по сравнению с мегаро-стоической школой), относящихся к логике высказываний.

Логику разрабатывали также англичанин Дунс Скот, испанец Раймунд Луллий, англичанин Вильям Оккам, француз Жан Буридан, немец Альберт Саксонский.

 

Логика эпохи Возрождения и Нового времени

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

В разработку материалистических основ логики большой вклад внес Фрэнсис Бэкон (1561-1626) - родоначальник английского материализма. Выступая против крайностей рационализма и эмпиризма, Бэкон говорил, что ученый не должен уподобляться ни пауку, ткущему паутину из самого себя, ни муравью, который только собирает и накапливает материал, а должен, подобно пчеле, собирать и перерабатывать материал, преобразуя его в научную теорию.

Ф. Бэкон разработал основы индуктивной логики в своем знаменитом произведении “Новый органон”. Как показывает само заглавие, Бэкон противопоставляет свою логику логике Аристотеля. Его “Новый органон” должен заменить старый аристотелевский “Органон”. Но Бэкон был несправедлив по отношению к Аристотелю, он не знал подлинного Аристотеля, знакомился с его работами в изложении средневековых философов. Заслугой Бэкона является разработка им вопросов научной индукции, целью которой является раскрытое причинных связей между явлениями окружающего мира. Ф. Бэкон разработал методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков. Далее, в XIX в., разработка вопросов научной индукции была продолжена Дж. Ст. Миллем и другими логиками.

Французский философ Рене Декарт (1596-1650) сформулировал четыре правила, которыми надо руководствоваться при всяком научном исследовании. Его последователи Арно и Николь в 1662 г. написали книгу “Логика, или Искусство мыслить” (“Логика Пор-Рояля”), в которой поставили задачу освобождения логики Аристотеля от внесенных в нее поздними логиками схоластических искажений.

Немецкий ученый и философ И. Кант (1724-1804), автор космогонической гипотезы происхождения небесных тел (известной в науке под названием гипотеза Канта - Лапласа) различал два типа логики - обычную, формальную, которая изучает формы понятия, суждения и умозаключения, отвлекаясь от их содержания, и трансцендентальную, которая исследует в формах мышления то, что сообщает знанию априорный характер и обусловливает возможность всеобщих и необходимых истин. Согласно трансцендентальной логике, логическое мышление, направленное на предметы опыта, дает достоверное и объективное знание.                                           

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

Априорные синтетические суждения Канта вызвали большую дискуссию среди логиков и философов, продолжающуюся до сих пор.