ТО-ПАСКАЛЬ

Как рационалист и почитатель дедуктивного метода, Декарт выступает не против логики, как таковой,

а против превращения ее в повод для бесплодных дискуссий;

он осуждает отрыв логической теории от практики мышления и научного исследования.

Б. Паскаль, А. Арно и П. Николь, — внесли заметный вклад в развитие столь важных разделов логики,

как теория определений и доказательств.

Определение и доказательство, по мнению Паскаля, — это операции,

на которых основывается искусство убеждения собеседника в истинности какого-то тезиса.

Эти операции являются идеальным методом организации информации, превращающей ее в конкретную науку.

Поскольку в то время эти методы нашли наиболее, широкое применение в геометрии,

совокупность требований и правил, сформулированных Паскалем относительно определений,

аксиом и доказательств,- была названа геометрическим методом.

Правила; касающиеся определений.

(1) Не определяй вещей, известных по самой своей природе, или таких вещей,

для уяснения которых ты не располагаешь более ясными терминами.

(2) Не оставляй неопределенным ни одного неясного или двусмысленного термина.

(3) Используй в определениях только слова, которые уже известны. Правила, касающиеся аксиом.

(4) Не допускай не необходимых принципов.

(5) В качестве аксиомы бери только очевидные вещи. Правила, касающиеся доказательств.

(6) Не доказывай вещей, очевидных самих по себе.

(7) Доказывая любые предложения, даже те, неясность которых невелика,

используй только аксиомы или доказанные ранее предложения.

(8) Мысленно подставляй определяющее вместо определяемого, чтобы не быть сбитым с толку двусмысленностью терминов.

Из правил, относящихся к определениям, только третье формулирует внутреннее условие,

специфическое для определения, как такового.

В остальных идет речь о применении определений как метода организации научной информации.

Паскаль проводит различие между нахождением решения какой-либо проблемы

или раскрытием новых истин и обоснованием или доказательством какого-то высказывания,

в истинности которого мы убеждены.

Паскаль уловил роль определений в математических доказательствах и исчислениях.

Именно эти два аспекта его теории

— идея исходных терминов и осознание синтаксической роли определений

— сделали Паскаля предшественником современного дедуктивно-аксиоматического метода построения научных теорий.

Report Page