Логика Пор-Рояля
Монастырь Пор-Рояль был основан в 1204 г., после перенесен в пригород Парижа, Сент-Жан. Центром янсенизма он стал после 1640 г. Отсюда Белз Паскаль выступил против иезуитского пробабилизма, согласно которому знание является только вероятным, так как истина недостижима. В 1709 г. по приказанию короля монастырь был сожжен.
В указанной книге авторы обращают особое внимание на прикладное значение логики. Она является методологическим пособием для других наук, отсюда определяют ее как искусство
правильно прилагать разум к познанию предметов. Цель логики - анализировать деятельность ума, которая состоит в образовании понятий и суждений, в способности умозаключать и руководить рассуждением.
Логика делится на четыре части. В первой излагается учение о понятиях, которые делятся на простые и сложные, общие частные и единичные.
Авторы критикуют аристотелевское учение о десяти категориях за произвольность отбора и за то, что оно подменяет идеи словами. В этом они видят причину и источник логических ошибок: ложные выводы в умозаключениях - это следствие неоднозначного употребления слов в естественном языке. Представители поррояльской логики мечтали о языке, в котором за каждым словом закреплен один смысл.
Вторая часть логики посвящена анализу суждения. Это действие ума, когда связываются различные идеи. Суждение толкуется как сравнение идей о вещах. Все суждения подразделяются на простые и сложные, утвердительные и отрицательные, общие, частные и единичные, истинные, ложные и вероятностные.
Логика поррояля недостатком прежних логических систем считает ис-следования очень узкого круга суждений, неразработанность выделяющих и исключающих суждений.Третья часть логики посвящена изложению учения об умозаключениях. Задачу умозаключения они видели в установлении их истинности или ложности.
В четвертой части рассматриваются метод и правила доказательства. Метод определяется как способ расположения мыслей, с помощью которого открывается новая истина. Метод бывает аналитическим и синтетическим. Аналитический метод (метод решения) авторы поррояльской логики называют методом изобретения. Его назначение - открытие истины. Метод представляют не как правила или законы, а как проницательность и способность ума правильно оценивать предметы окружающего мира. Синтетический метод (метод композиции), который они обозначают еще как теоретический метод, имеет своим назначением передачу уже открытых истин. Процесс исследования должен строиться от более общего к частному, от рода к виду. Успех доказа-
тельства зависит от двух условий: содержание аргументов должно быть верным и форма доказательства не должна иметь погрешностей.