Метод / правила научных определений по Антуану Арно и Пьеру Николю
«Два правила касательно определений
1. Не оставлять без определения ни одного сколько-нибудь неясного или неоднозначного термина.
2. Использовать в определениях только хорошо известные или уже разъясненные термины.
Два правила для аксиом
3. Принимать за аксиомы только совершенно очевидные положения.
4. Принимать за очевидное то, что признаётся истинным без особого напряжения внимания.
Два правила для доказательств
5. Доказывать все сколько-нибудь неясные положения, используя для их доказательства только предшествующие определения, или принятые аксиомы, или положения, которые уже были доказаны.
6. Никогда не обманываться неоднозначностью терминов и не забывать мысленно подставлять определения, которые их ограничивают и разъясняют.
Два правила для метода
7. Рассматривать вещи по возможности в их естественном порядке, начиная с самого общего и самого простого и излагая, прежде чем переходить к отдельным видам, всё то, что относится к сущности рода.
8. По возможности делить всякий род на все его виды, всякое целое - на все его части и всякую задачу - на все мыслимые в ней случаи.
Я прибавил в двух последних правилах по возможности, так как их часто невозможно строго соблюсти, будь то из-за ограниченности человеческого ума или же из-за неизбежной ограниченности всякой науки.
Вследствие этого в науках нередко трактуют о виде, не имея возможности рассмотреть всё, что относится к роду. Например, в обычной геометрии, трактуя об окружности, ничего не говорят о кривой линии, являющейся её родом; ей только дают определение.
Равным образом у нас нет возможности излагать всё, что мы могли бы сказать о роде, поскольку такое изложение часто было бы слишком длинным; достаточно, если мы скажем о роде всё, что хотели бы сказать, прежде чем перейдем к видам.
Но я считаю, что наука может быть доведена до совершенства только тогда, когда на два последних правила обращают такое же внимание, как и на все другие, и отступают от них только по необходимости или если из этого предполагают извлечь большую пользу».
Антуан Арно и Пьер Николь, Логика, или Искусство мыслить, М., «Наука», 1991 г., с. 342-343.
