Строгость

Комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых в нем терминов, достоверность исходных принципов, логическую обоснованность переходов от посылок к следствиям. Еще с античности С. считалась отличительной чертой математического рассуждения. Логическая необходимость математических доказательств и точность вычислений позволяют рассматривать математику как образец формальной С. для других наук. Иногда считают, что именно С. рассуждения гарантирует абсолютную надежность результатов математики. Как показывает история науки, понятие С. развивалось постепенно. В ходе общего прогресса науки обычно оказываются превзойденными каноны С., представлявшиеся ранее абсолютно безупречными. Так обстояло, в частности, дело с геометрией Евклида. Долгое время она являлась идеалом С., но в XIX в. Н. М. Лобачевский писал о ней: "...Никакая Математическая наука не должна бы начинаться с таких темных понятий, с каких, повторяя Евклида, начинаем мы Геометрию, и... нигде в Математике нельзя терпеть такого недостатка С., какой принуждены были допустить в теории параллельных линий". С. обеспечивается выводами из достоверных принципов, но вместе с тем сами общие принципы начинают восприниматься как достоверные, когда дают возможность сделать строгими прежде нестрогие рассуждения. На разных этапах развития научной теории требование С. может быть более или менее актуальным. За поисками строгих доказательств уже известных истин обычно скрывается недостаток их понимания и стремление выявить все те неявные условия, с которыми связано их принятие. С., как правило, не является самоцелью. Введение С. может быть консервативным, опирающимся на общепринятые посылки, но может быть также революционным, вводящим посылки, казавшиеся ранее неприемлемыми. Так, выдвинутое Г. Лейбницем требование строгой и внимательной проверки каждого шага в цепи доводов вместе с его идеей рассуждения как вычисления по однозначно определенным правилам означало революцию в логике. С., в том числе и в математике, не является сама по себе объективным критерием истинности и ценности новых открытий и теорий.