То есть, на самом деле, обсуждая проблему, может ли атеист быть математиком, не просто формально, по профессии, а математиком, уверенным в очевидности и безошибочности своих рассуждений, Декарт имеет в виду философское воссоздание каждый раз мыслительного акта в полном его виде, со всеми его предпосылками, допущениями. Что можно рассуждать, забыв все начала, на которых оно построено. Потому что, будучи построено на одном из каких-то начал, рассуждение затем обретает свою автономию, у него появляется свой аппарат или, скажем так, другой слой мыслительной процедуры, когда мы можем уже формально и точно что-то вычислять, не восстанавливая всякий раз те основания, с которыми связана процедура. В этом смысле мы можем о них забыть. Представьте себе математика, который, решая задачу, каждый раз восстанавливал бы основания самого математического рассуждения со всеми его предпосылками и допущениями! Невозможно представить. Значит, их можно забыть. И в той мере, в какой об этом можно не помнить или забыть, нет и не может быть полной уверенности в действии самого математического формализма. Восстанови в полном виде - тогда можешь быть уверен. И уверенность эта предполагает актуальное существование всех причин, почему нужно думать именно это, а не что-нибудь другое. Это мистическая, сложная фраза. Я сказал "мистическая", потому что подумал: дай Бог, чтобы это было так. Она просто сложная.
Обратим внимание на следующую особенность. Я частично уже касался ее в связи с характеристикой уравнений "мысль-бытие". Вернемся к рисунку, изображающему "Иванова". И к прямой линии. Ведь речь шла в этом случае не о знаках или рисунках-именах, рисунках-названиях, изображениях акта мысли, когда знаки дублируются в других целях. Здесь материальные штрихи и черточки (или в случае слова - звуки) или их следы в чувствующем устройстве еще не говорят однозначно о том, что мы видим. Вообще внятность видимого вовсе не сама собой разумеется. Декарт весьма тонко избегает призрачного представления "третьего глаза", когда, например, есть материальный след предмета А, но то, чем мы узнаем (видим) именно А, причиной этого не может быть сам след А, а есть "идея" А. Иными словами, мы видим или узнаем путем смыкания "идей" с видимым (или слышимым) в материальных знаках, - "идей", являющихся образованиями, которые я назвал полными предметами (или полностью определенными) и притом существующими в особом режиме "вечного настоящего", а не в последовательности. И у них нет других оснований, кроме как оснований самих себя, которые и есть причина узнавания "Иванова", прямой линии, треугольника и o.a. Как и в случае проявлений добра, например, - все это предметы, обладающие одинаковыми свойствами в смысле оснований. Конечно, мир рисунка (а это именно мир) не такой сложный, как мир нравственности. Утверждение, что добро не имеет мирских оснований, кажется более сложным, чем то, что узнавание Иванова не имеет - и я скажу теперь - мирских оснований, а есть некое самоузнавание себя чем-то. Нечто себя узнает, является основанием самого себя, причиной самого себя. Добро, как предмет наших стремлений, уже есть. И только потому, что оно уже есть, оно может быть предметом наших стремлений; проявлением добра является мое стремление к добру. Другой причины у него нет: нельзя ни полезностью обосновать добро, скажем, во имя совершенствования общества, ни сенсуально-гедонистической природой человека, составив таблицу удовольствий-неудовольствий и подсчитав, что быть добрым выгоднее, потому что больше . удовольствия и o.a. Вы легко можете убедиться, что это совсем не так. Какая-то причина должна быть! Хотя, назвав ее причиной себя самой, я еще не ответил, разумеется, на вопрос, поскольку это же во мне срабатывает узнавание. Допустим, я могу сказать, что бытием называется то. что является причиной самого себя. Но какое бытие? Или - Бог есть причина самого себя. Но это не полный еще, не окончательный ответ на наш вопрос, а лишь движение к нему указанием на определенные свойства вот этих тавтологий или полностью определенных предметов, существующих 6 режиме настоящего и даже в области математики обеспечивающих возможную уверенность математика в истинности и безошибочности своих доказательств.